 big as 49?
False
Suppose 0 = -123*m - 840 - 3834. Which is bigger: -14 or m?
-14
Suppose -34 = 33*w - 50*w. Suppose 3*u - 4*n + 3*n - 23 = 0, 0 = -5*u + 4*n + 36. Let o = w + u. Is 11 greater than or equal to o?
True
Let h(i) = 8*i - 8*i**2 - 27 + 5*i - 28*i + 5*i - i**3. Let a be h(-6). Is a < -41?
False
Suppose 26*w + 145201 = 39121. Are -4079 and w unequal?
True
Let z = -37 - -52. Let f be (-2 + z/(-35))*-20. Let s = -49 + f. Which is smaller: 2/9 or s?
s
Let g = -509 - -510. Is g greater than -14/397?
True
Let d(s) = s**2 + 10*s + 10. Suppose -2*c + r = 8, 4*r + 7 - 4 = c. Let i be d(c). Let f be (3/i)/((-1)/5). Which is smaller: f or -1/82?
-1/82
Let h = -15553 - -15552. Which is greater: -3774 or h?
h
Let w = 0.0764 + -89.9764. Let h = w - -98. Let u = -34.1 + h. Is u at least 0.2?
False
Suppose 3*n + 17 - 49 = -4*u, 2*n - 22 = -2*u. Let v be n/20*15/174. Which is smaller: v or -0.2?
-0.2
Let i(d) = d**2 + 4*d - 9. Suppose 3*w - 4*w - 7 = a, -2*a - 8 = -w. Let y be i(a). Let z be ((-30)/(-7))/(y - 174/(-42)). Are 1/4 and z unequal?
True
Suppose 0 = -4*y + 2180 - 8160. Let w be (-12)/(-20) + 312/y. Is 0 at least w?
False
Let o = -36.834 - -1.834. Which is smaller: o or 1/28?
o
Suppose 63 + 134 = j. Let k = j - 976/5. Is 1 <= k?
True
Let t be (-17)/(357/686) + (-5)/(-3). Let f(v) = -32*v**2. Let x be f(-1). Which is smaller: x or t?
x
Let v(i) = 2*i**2 - 20*i - 258. Let p be v(-7). Let c(r) = r**3 - 4*r**2 - 4*r - 5. Let q be c(4). Is p >= q?
True
Let w = -16 + 15.3. Let c = 28.4 - 5.4. Let t = c - 23.1. Which is bigger: w or t?
t
Let z = -4247 + 4178. Is z > -4/11?
False
Suppose -18*a - 526 = -2*d, 410 + 116 = 2*d + a. Let i be 264/(0 - (-2)/2). Is i at most d?
False
Let x = 3.8 - -12.2. Let j = 25929/8 + -181495/56. Is j bigger than x?
False
Suppose -74*n + 75*n + 1545 = -5*x, -5*x = -5*n + 1515. Do x and -311 have the same value?
False
Let f = 59 - 53. Suppose -2*q + 1 = h - f, 4 = q + h. Is q at least as big as -1.7?
True
Let a = 1621 - 4865/3. Is a at least as big as -1/26?
False
Let c(h) = h + 28. Let u be c(14). Let k = u - 22. Let m be k/(-70) + (-540)/(-1939). Is m less than or equal to 0?
True
Let c = -70.7832 - 0.2168. Is c at most -0.73?
True
Let z be 88/15 - (-3 + (-129)/(-45)). Suppose 3*y - 2*y = z. Suppose 2*c = y*c - 4. Are 4 and c equal?
False
Suppose 54*s + 1179 = 50*s - 3*t, 3*t = -s - 306. Is -314 at least as big as s?
False
Let x be ((-15)/(-4))/(30/80). Suppose x*r + 76 - 286 = 0. Let p be (5/3 + -1)/((-2)/r). Are p and -7 nonequal?
False
Suppose 0 = -0*k + k + 4*d + 44, -4 = 4*d. Let o be 54/(-45)*k/(-3). Let v be (o/(-5))/(5 + (-13)/3). Is 6 < v?
False
Let d be 6/(-4)*10*2. Let z be (-2 + (-50976)/(-25485))/(18/d). Let t = z + -13582/25485. Which is smaller: t or 0?
t
Suppose -2*t + 5*t - 21 = -3*i, 0 = 3*i - 18. Which is smaller: t or -2/301?
-2/301
Let i be 3 + 8/684*-249. Let q = 14387 + -14388. Do i and q have different values?
True
Let l be ((-12)/(-10) - 0)/(9/(-45)). Let i be ((-4)/l)/(32/(-144)). Let s be (-2)/i - (3 + -7). Which is smaller: s or 4?
4
Let u = 4780 + -4788.2. Which is smaller: -2/13 or u?
u
Let y = -139 + 40. Suppose -3*z = -5*n - 494 - 5, n + 86 = -4*z. Is n greater than y?
True
Let o(x) = 1274*x**3 + 5*x**2 - 9*x + 6. Let u be o(1). Is u < 1277?
True
Let j = -1/122 - 23/915. Let h(p) = p + 4. Let x be h(-4). Suppose 0 = -4*q - x*q. Is q less than j?
False
Suppose 18*x = 10 - 10. Suppose 3*u + 14 = -5*d, x*u - 5*u - 16 = d. Let c be -6*((-1)/(-3) - u*1). Which is smaller: -19 or c?
c
Suppose 5*a - 4 = a. Let f = 95.065238 - 0.065238. Which is smaller: f or a?
a
Let q = 6117 + -6114. Is -14 > q?
False
Let u = -178 + 166.1. Let z = u + 11.1. Is z smaller than 1/5?
True
Let b(m) = -2*m**3 + 10*m**2 - 16. Let h be b(8). Let r = -409 - h. Which is greater: -2/15 or r?
-2/15
Let l = 36 - -15. Let s = l - 50.2. Which is smaller: -2/13 or s?
-2/13
Let f(g) be the third derivative of -g**6/120 - 3*g**5/20 + 5*g**4/24 - 5*g**3/3 + 82*g**2 - 2. Let s be f(-7). Is s > -143?
False
Let v = -49476/23 - -44528929/20700. Which is greater: v or 0?
v
Suppose 3475*n - 117 = 3466*n. Suppose -5*m + 16 = -m. Suppose 0 = -3*d + 3*v + 63, -m*d - 2*v = -85 + n. Which is smaller: d or -1?
-1
Suppose -32 = -i - n, -3*i = -n - 34 - 42. Suppose -18*f + 36 = -i*f. Let l = -1 - f. Which is smaller: l or 8/5?
8/5
Let h = -340.27 + -10.93. Let w = h - -353. Is w less than or equal to 6?
True
Let v = 30 - 25. Suppose g - 4*k = -6, v*g - 4*k + 2 = -12. Is g smaller than -5?
False
Suppose -3*q = -9, 0 = -3*x + q + 29 - 20. Suppose -n - 6 = -5*f + x, 3*n - 9 = 2*f. Which is greater: n or -11?
n
Let f be 38/10 + (-2)/(-10). Suppose f = 2*l + 18. Let m(y) = 74*y + 443. Let p be m(-6). Does l = p?
False
Let s be 2/1 - ((-30)/6 + 1). Suppose -3*p = -3*f - s, p - 6 = -p. Which is greater: f or -4/79?
f
Let x be -2 - -9 - ((-27027)/1548 + 12 - -12). Which is smaller: x or -1?
-1
Let o = 30 - 32. Let i = -0.03 - -0.066. Let u = 0.054 + i. Is o at most u?
True
Let s(r) = 6*r**2 + 53*r + 14. Let t be s(-9). Is t smaller than 23?
False
Let x be 1 + (-46991)/(-7 + 0). Let w be -1*(-5 + x/1341). Are w and -1 equal?
False
Let g be 4*(-1)/(-4) + (11 - 2). Let z be (-32)/144*(-12)/g. Which is bigger: z or -1?
z
Let l(j) = 5*j**3 + j**2 + 2*j - 3. Suppose 2*r - 3 = -2*z + 3, -10 = -2*r - z. Let n(p) = 2*p**2 - 14*p + 1. Let g be n(r). Let d be l(g). Is d smaller than 8?
True
Suppose 20*q - 3843 = 2237. Which is bigger: 1514/5 or q?
q
Suppose -6*x - 40 = -4. Let a be (-1176)/16 + 3/x. Let f = a - -57. Is f >= -14?
False
Suppose y = 2*u + 145, 0 = -30*y + 31*y + 7. Which is bigger: -830/11 or u?
-830/11
Let l = 7.16 + -3.76. Let k = -1.4 + l. Is -23 > k?
False
Let g = 2433/265 - 46/5. Let w(h) = h + 5. Let d be w(6). Suppose -7*p = -d*p. Is g at most p?
True
Let p be (-158)/(-24) + ((-187)/(-51) - 5). Which is smaller: -2 or p?
-2
Let u be (35/6)/(-5)*(-27)/((-3402)/46344). Which is greater: -428 or u?
-428
Let y = -2058.0565 + 2058. Which is smaller: y or 0?
y
Suppose 85*s - 684 = 67*s. Suppose 41*j = s*j - 204. Are j and -67 unequal?
True
Suppose -5*r = -b + 358, -4*r = 48*b - 43*b - 1964. Which is smaller: 392 or b?
b
Let p = 367 - 404. Let r = p - -36.9. Do 219 and r have the same value?
False
Let r = -7.033 + 0.033. Let n = r - -8.4. Which is smaller: 4/3 or n?
4/3
Suppose 0 = 5*r + 5*h - 65, 0 = 5*r - 4*h - 34 + 5. Let t(i) = -i**3 + 8*i**2 + 12*i - 20. Let s be t(r). Let z = 1.8 + -1.3. Is z bigger than s?
False
Let a be (-6)/(-21) - 864/84. Let t be ((-36)/(-30))/(4/a). Let v be 1280/(-48) + 1/t. Is -26 at least v?
True
Suppose 0 = -5*v + 3*v + 40. Let l be ((-5)/v)/((-4)/32). Suppose l*s = i - 21, -5*i + 5*s - 17 = -127. Is i >= 23?
True
Suppose 165*m + 146132 - 712412 = 0. Is m >= 3434?
False
Let r be 16/(-86)*(-1)/4. Suppose -6*s + 7*s = 10. Let q be (3 + (-35)/s*1)*2. Which is smaller: q or r?
q
Let u = -8373.6 + 8366. Let p = -0.06 + 0.06. Which is smaller: u or p?
u
Suppose 39 = -4*f - 41. Let v = 91 - 69. Let q = 2 - v. Is f not equal to q?
False
Let d be (-1746)/63 - 4*2/28. Suppose -32 = 3*h + 55. Which is smaller: h or d?
h
Suppose 3 + 9 = -3*x. Let j = 467356/15 - 31160. Which is smaller: j or x?
x
Suppose 0 = p - 10 - 5. Let u be (125/p)/((-2)/12). Let s be (9/15)/((-65)/u). Which is greater: s or -2?
s
Let t = 7757.66 + -7756. Is t less than -2?
False
Suppose -78*v + 95*v - 221 = 0. Suppose v*y + 836 = -25*y. Which is smaller: -14 or y?
y
Let y = 178 - 50. Let r = y - 103. Which is smaller: r or 5/3?
5/3
Let o = -358 - -435. Is o equal to 46?
False
Suppose -2*a + 6*a = -24, 4*a = 4*l + 1432. Is -365 equal to l?
False
Let u = -3430/23 + 59043/368. Is 12 less than u?
False
Let s = -118 - -116. Let w be s + ((-4)/22)/((-24)/246). Let o be 2/3*4/((-72)/(-27)). Are o and w unequal?
True
Let z = 0.4049 - 0.3649. Let p = -4 - -8. Let q = 2 - p. Are q and z unequal?
True
Let u = 4723 + -8121. Does u = 0?
False
Let h = 0.57 - -2.93. Let t = -7.7 + h. Let g = -22.8 + t. Which is smaller: g or 1?
g
Suppose 5*h = -4*y + 86, -4*y = 2 - 18. Let j(i) = 22 - 14 + 2*i + h. Let t be j(-13). Which is smaller: -12 or t?
-12
Let t = -2/35007 + -210016/455091. Which is greater: -0.34 or t?
-0.34
Let n = -0.05 + 0.5. Let g = n - 0.25. Suppos