et k = 313 + h. Which is smaller: k or 3/4?
3/4
Let k = -294.986 + -0.014. Let z = k - -315.1. Let m = z - 20. Which is smaller: -11 or m?
-11
Let b = -1.2767 + 1.1767. Which is bigger: b or 4877?
4877
Let l be (-12 - -36)*(-12)/(-16). Let h = -19 - -39. Is h not equal to l?
True
Let w = -1 + 1. Let p = 112 - 367. Let h = 8926/35 + p. Do w and h have different values?
True
Suppose -104*u + 107*u - 12 = 0. Suppose 4*v + t - 140 = 48, 188 = u*v - 4*t. Let c = -50 + 98. Which is smaller: v or c?
v
Let g = -1/2624 + 5419/18368. Let f = -167/784 + g. Is 0 < f?
True
Let y(p) = -4*p + 35. Let u be y(8). Suppose 2 + u = -5*z. Let i = 29 + -29.12. Which is greater: z or i?
i
Let f = -2852/83857383 - 3/17351. Which is smaller: f or 1?
f
Let j = -141.63 + 144. Let h = -0.63 - j. Let i(g) = g**3 - 9*g**2 - 11*g + 11. Let p be i(10). Does p = h?
False
Suppose 0 = -39*r - 169*r - 107120. Is -5664/11 > r?
True
Let w(j) = -13*j**2 + j + j**3 + 4 + 0*j**2 - 7. Let f be w(13). Suppose -13*t + 3 = -f*t. Which is bigger: -2/25 or t?
t
Let r be (32/96)/((-1)/3). Let z be 4544/592 - (-8)/(-1). Is r greater than or equal to z?
False
Let l = 27137 + -27142. Is 222 greater than or equal to l?
True
Let o be (-200)/627 - (-1)/3. Suppose -16*r + 5*j = -19*r + 13, -2*r + 6 = 2*j. Is r less than or equal to o?
False
Suppose -y + 0*y = 5, 0 = -4*o + 4*y + 28. Let i be o/(-9) - (-302)/144. Let d = -2 + i. Is d greater than or equal to 0?
False
Let g = -95.202 - -0.202. Let l = -220 - g. Let q = l + 190. Which is smaller: 1 or q?
1
Let a = 310 + -346. Is -23 at least as big as a?
True
Let v(q) be the first derivative of 9*q**2 + 186*q + 93. Let t be v(-14). Do t and -62 have the same value?
False
Let v = 41.6 + -41.6232. Let z = 0.1532 + v. Which is smaller: z or 10/11?
z
Let b(z) = -2*z**2 + 4 + 1 - 3. Let c be b(2). Let r be (-535)/(-30) + 1/c. Which is smaller: r or 18?
r
Suppose 12*n - 41*n + 91 = 4. Is 115/61 at most as big as n?
True
Let k(p) = p**3 + 6*p**2 - 4*p - 10. Let f be k(-5). Let u = -35 + f. Let t be 2254/(-2162) + u + 1/1. Which is smaller: 1 or t?
t
Suppose -5*t - 108*n = -110*n - 6, 0 = -3*n - 9. Do -33/116 and t have the same value?
False
Let u(d) = -d**2 - 37*d - 265. Let r be u(-22). Which is bigger: 19 or r?
r
Let t(a) = a**2 - a - 10. Let p be t(-10). Suppose 14*k = 9*k - p. Let w = -21 - k. Which is greater: -5 or w?
w
Suppose -74*w = -58*w + 736. Which is smaller: w or -55?
-55
Let v = 0.05 - 0.02. Let d = -54540 + 54569. Is d at least v?
True
Let r = 0.4898 + -0.6898. Which is smaller: r or 1245?
r
Let g = -0.051 - 12.949. Let m(a) = 2*a - 2. Let j(n) = n - 1. Let c(t) = -11*j(t) + 6*m(t). Let u be c(2). Which is bigger: u or g?
u
Let l be ((-4704)/(-3552))/((-3)/(-9)). Which is greater: l or 5?
5
Suppose -5*t = -9*t + 40. Let o be (2/12)/(5/t). Let d = 30.9772 + 0.0228. Is o < d?
True
Suppose -997 - 2553 = 10*z. Which is smaller: -352 or z?
z
Let f(t) = -2*t**2 + 41*t + 11. Let c be f(18). Let u = c + -123. Let h be 5/2*(-10 + 2). Is u at most h?
True
Let g = 439/1101 - 24/367. Is 464 bigger than g?
True
Let c be 0*(-7 - (-192)/28). Which is greater: -8/1307 or c?
c
Let i = 0.016897 - 880.876897. Let r = i - -964. Let o = r + -83. Which is smaller: o or -1?
-1
Let y = 3012/7 - 286308/665. Which is smaller: y or 1?
y
Suppose 0 = -4*f - 2*t + 3 + 3, 3 = 5*f + 4*t. Let k be 0 - (-2 + f)*1. Is 13/33 not equal to k?
True
Let x = -32 - -34. Suppose 0 = x*i + 19 - 13. Are i and -2 unequal?
True
Suppose -4*g + 859 = u, -8*u + 10*u - 1666 = 5*g. Which is bigger: 4/11 or u?
u
Suppose 16672 = -5*c + 18*c + 3*c. Is 1040 at least c?
False
Let l = 69.052 + -69. Let z = l - 45.052. Let f = 31 + z. Which is bigger: f or -2/7?
-2/7
Suppose 72*w + 333 = 93*w - 192. Which is smaller: 44 or w?
w
Suppose -498*l + 11296 = 5*g - 497*l, -4536 = -2*g + 4*l. Is g < 2261?
True
Let p = -67/5 + 4494/335. Suppose -3*j - 4 = -4*u, -3*u - 28*j + 33*j = -3. Is p > u?
False
Suppose 3*u = 2*b + 9, 7 = 5*b + 3*u - 2. Suppose 5*t = -b*z + 4*z + 526, -400 = -4*t - 2*z. Let g = t + -107. Are g and -26/5 nonequal?
True
Let p(y) = -13*y - 145. Let u be p(-11). Let w be 1*(u - -6 - -5). Is w at most 3?
False
Suppose 4*q + 0*q = 2*o - 6, q + 3 = o. Suppose -4*g - 3*j + j = -256, o*j = g - 64. Suppose 51 = 5*s - g. Which is smaller: 25 or s?
s
Suppose -5*n + 4*p = -179 - 19, p - 45 = -n. Let y = n + -35. Let j be (56/y)/(18/(-2)). Is j < -2?
False
Let h be 57/(-59) + (-146)/4307. Does h = 46/187?
False
Let q be (-6)/((-3)/18*(-16 - -25)). Let a be (1 - q)/((-3)/(-15)). Is a < -19?
False
Suppose 0 = -k + 2*v - 3, 55*k + 2*v + 1 = 60*k. Which is greater: k or -27/122?
k
Let x = -2218 + 2217.9. Which is greater: 395 or x?
395
Let q be -116 + (-1*4/10 - 84/15). Are q and -132 nonequal?
True
Let b = 539 + -528. Suppose 0 = -3*m + 6, -b = z - 2*m - 3*m. Is z equal to 2/525?
False
Let l = 1323.8 + -1324. Which is smaller: 1.124 or l?
l
Let j be (4/(-3))/(7 - -3). Let a = -215 + 117. Let b = a - -94. Is j equal to b?
False
Let f = -82.4 + 78.4. Suppose -4*z = -10*z + 144. Which is smaller: z or f?
f
Let v(p) = -p**3 + 45*p**2 - 18*p + 1651. Let k be v(45). Which is bigger: k or 838?
k
Let a = 8056 + -8055. Is 40/421 greater than or equal to a?
False
Suppose 0 = -o - 17*o - 7560. Let s be o/(-6417) + 28/(-322). Are s and 0 unequal?
True
Let o = 1457082/43 - 33884. Which is smaller: o or -2?
-2
Let d be -1 - ((-17)/8)/1. Let x = -1/2388 - 28045/33432. Let u = d + x. Is 7 at least u?
True
Let n = 313 - 282. Let a be (((-2)/4)/(n/(-1178)))/(-1). Suppose 5*g = -4*m - 0*m - 51, 5*g = m + 44. Do a and m have the same value?
True
Suppose 2736 = 85*w - 77*w. Let x be -6 - -1 - (-5)/(5/w). Which is smaller: 338 or x?
x
Suppose -5*h + v - 231952 = 0, v - 76825 = 4*h + 108737. Let o = 2319611/50 + h. Let z = o + -4/75. Is 3 >= z?
True
Let q(h) = h**3 - 7*h**2 + 5*h + 6. Let s be q(6). Suppose s = 3*f - 4*f. Let r be (-54 - -36 - -20)/(2/23). Is f smaller than r?
True
Let h be 346256/(-117776) + (-2 - -5). Are 1 and h equal?
False
Let g = 12991 + -12991. Which is smaller: 47/10 or g?
g
Let y(c) = 64*c - 2437. Let z be y(38). Is z smaller than 417?
True
Let x = -75863/26 - -2918. Is -1 smaller than x?
True
Let k = 571.083 + -571. Let u be 1/2*(7 + (-396)/55). Which is greater: k or u?
k
Let d be 10/10*(-2)/(-1). Let b(u) = -5*u**2 + u + 8. Let f(l) = 4*l**2 - l - 6. Let z(t) = 3*b(t) + 4*f(t). Let p be z(d). Which is smaller: 11 or p?
p
Let s(q) = 2*q**2 + 150*q + 564. Let c be s(-71). Which is smaller: -259/55 or c?
-259/55
Let d = -7531 - -7421. Is d > -106?
False
Let w = -2927 - -2927.4. Are w and 26/3 equal?
False
Let l(g) = g**2 + 23*g - 19. Let n be l(6). Let d = 152 - n. Is -3 >= d?
True
Let j(q) = q**2 + 14*q + 21. Let m = 3 - 18. Let t be j(m). Suppose 35 = -t*w + 31*w. Which is smaller: -3 or w?
w
Suppose -a = -k, -7*k - 9 = -2. Which is smaller: a or -1/549?
a
Let j be 358/50 - ((-344)/258)/(4/(-6)). Is 5 greater than or equal to j?
False
Let y(s) = 72*s + 984. Let b be y(-14). Which is smaller: -122/5 or b?
-122/5
Suppose -16101*p = -16120*p - 28215. Is 0.02 smaller than p?
False
Let y be 1494/4*(-2080)/(-30680). Are y and 26 equal?
False
Let s = -3.2634 + 2.2634. Which is greater: 0.0012 or s?
0.0012
Let q be -32 - (-11 + 2 + 5). Let a be (8/12)/(q/(-42)). Which is smaller: a or 4/3?
a
Let v = 35732/20881 + -212/157. Which is smaller: 0 or v?
0
Let r be -3 - (550/(-6))/(-11). Let i = -575/51 - r. Is -1 < i?
True
Suppose -f = -6, 5*z + 6*f = 4*f + 617. Is 155 >= z?
True
Let m be (-7)/(-10) - (-1)/(-5). Let y be (-1694)/(-1188) + 2/27. Do y and m have the same value?
False
Let q = 133 - 118. Let y(m) = 3*m - 1 - q - 19*m. Let h be y(-1). Are 0 and h nonequal?
False
Let z be -3 - ((-1529)/44 - 2/8). Is 63 != z?
True
Suppose -4*c = 23*c + 3240. Let k be (-2 - (-6)/4)/((-4)/c). Are k and -16 equal?
False
Suppose 0 = 5*x - 4*h + 12, 15 = 2*h + 3*h. Let z = -268 - -147. Let l = -969/8 - z. Is x < l?
False
Let w be (12/16)/((-1)/(-1072)). Suppose 6*k = -6*k + w. Are k and 68 equal?
False
Let n be (1/(-1))/((-45)/(-20151)). Let h = 447 + n. Do h and 0 have different values?
True
Let a be -6 + 14 + 3 + 2779/(-252). Let c(g) = g**3 + 2*g**2 - 5*g + 1. Let s(j) = -j**2. Let u(b) = -c(b) - 6*s(b). Let h be 