 Which is smaller: c or -0.1?
-0.1
Let h = 2816/17 - 166. Is 0 bigger than h?
True
Let i(o) = o**2 + 6*o + 5. Let r be i(-5). Let c = 302 + -303. Let l be c/((-1)/4 + r). Is l <= 5?
True
Let t be (4/(-42))/((-51)/238). Are t and -1 equal?
False
Let o = 694 + -2775/4. Which is smaller: 1306 or o?
o
Suppose -11 = 4*q - 7. Let w be (-2 - 3/q) + -6. Which is bigger: -8 or w?
w
Let i = -19763008/4389 - -85540/19. Let p = i + 1/33. Let o be 54/(-42) - 2/(-7). Does p = o?
False
Let z = 376 - 397. Is -25 >= z?
False
Let n be 48/726*(-3)/(-6)*-3. Does n = -1?
False
Let q = 48 + -54.6. Let z = 7 + q. Let c = 0.8 - z. Is -1/4 equal to c?
False
Let x = 28 + 6. Which is smaller: 0.3 or x?
0.3
Let a be (-5)/(-2)*(-60)/(-1875). Which is bigger: -3 or a?
a
Let b(g) = 56*g + 168. Let r be b(-3). Is r <= 1/1155?
True
Suppose 14*q - 17*q + 21 = 0. Which is smaller: q or -8?
-8
Let a = -1073 - -1656. Is a not equal to 583?
False
Let j(m) = -m**2 + 50*m + 197. Let h be j(52). Which is smaller: h or -0.2?
-0.2
Let m(u) = -4*u - 2. Let j be m(7). Let x be 12/j + (-8)/5. Let y be 3/(-6)*(x + 4). Is y greater than or equal to -1/4?
False
Let q = -22 - -45/2. Let r = -1123 - -1132. Is q > r?
False
Let s be 12*5/(9 - -1). Suppose s*d = 4*d + 2. Which is smaller: 1/45 or d?
1/45
Let s = -10 + 10.7. Suppose k = -2*z + 6*k - 22, -3*z = -4*k + 19. Which is smaller: z or s?
z
Suppose -42*s = -6*s + 612. Is -16 smaller than s?
False
Let f = 8 - 10. Let s be 3*(f - (-1)/1). Let x = 53 + -61. Is s greater than x?
True
Let b be 1 - (-1 + 5/7). Let z = b + -211/175. Suppose -15 = -3*w + i - 20, 2*i = 4. Which is bigger: z or w?
z
Let g(p) = 28*p**2 + p + 2. Let i(k) = 2*k - 13. Let v be ((-18)/15)/((-7)/35). Let j be i(v). Let z be g(j). Is z less than or equal to 29?
True
Let x = 11 - 6. Suppose -x*d + 40 = 15. Suppose -3*j - 5*r + 9 = 26, r = d*j - 9. Which is greater: -1/4 or j?
j
Let n(v) = v**3 - 14*v**2 + 4*v + 128. Let w be n(13). Let k(p) = 3*p - 2. Let t be k(2). Let o(b) = -b**2 + 6*b + 3. Let q be o(t). Is q < w?
False
Let i = 142.5 + -142.5. Is i greater than -9.5?
True
Let a be (6/30)/(1/15). Let s(p) = p**3 - 5*p**2 - 1. Let r be s(5). Let j be 3*(r/3)/(-1). Which is smaller: a or j?
j
Let a = -1.96 - 0.04. Let x = 2.1 + a. Let p = 0.254 + -0.264. Which is greater: p or x?
x
Suppose -7*i + 148 = 484. Which is bigger: i or -49?
i
Suppose -6*n + 29 - 5 = 0. Suppose 2*q = -n*d, 4*q - d = 2*q. Is q smaller than -1/9?
False
Let q = 102 + -4. Which is smaller: -0.1 or q?
-0.1
Let a = -0.5 - -0.3. Let k = -11100 + 11053. Are a and k equal?
False
Let m(u) = -u**2 - 14*u - 12. Let i be m(-9). Let x = 360/11 - i. Let w = 7 + -6. Are w and x nonequal?
True
Let t = 10 - 13. Let z(k) = -k**2 - 4*k. Let o be z(t). Suppose -4*c - l = -6, -3*c + 4*l - 2 - o = 0. Do c and -1 have the same value?
False
Let r = -3094 + 3069.73. Let w = -24 - r. Are -0.1 and w nonequal?
True
Let h be (-6)/(-3 - -9)*19. Which is smaller: h or -101/5?
-101/5
Suppose 0 = j - 3*h + 12, -2*j + 19 = 5*h - 12. Suppose -c - 3*c = 48. Let v be 10/c*40/(-50). Which is bigger: v or j?
j
Let d be ((-2)/4)/((-7)/(-2) - 3). Which is bigger: d or -8?
d
Let o = -367 - -364.83. Let q = -0.17 - o. Let v be (2/3)/(-7 + 5). Is q at most v?
False
Let g(w) = -4*w + 5*w + 0*w + 8 - 28. Let f be g(20). Which is bigger: f or 1?
1
Let p be (3/(-94))/(781/88 - 9). Which is smaller: p or 1?
p
Let y(q) = 9*q**2 - 8*q**2 + 3 - 9*q - q. Let i be y(9). Let v be i/(-2*3/(-8)). Which is smaller: -6 or v?
v
Suppose -150 - 435 = 3*r. Are r and -194 unequal?
True
Let b be (5*2)/(6 - 4). Suppose -3 = n + 2*n + 2*t, -2*n + 17 = -b*t. Let j be ((-3)/(-6) - n)*4. Which is smaller: 0.3 or j?
j
Let z = -8 - -5. Let j(f) = -f - 1. Let i be j(z). Suppose 0 - 2 = i*l. Which is smaller: l or -2?
-2
Let o(k) be the first derivative of k**4/2 + k**2 + 4. Let s be o(-2). Which is smaller: s or 1?
s
Let h = -1.36 - -1.38. Let o = 3.29 - 0.27. Let y = h - o. Which is bigger: 0.1 or y?
0.1
Let n be 6/(-69) + (-1386)/(-69). Is n smaller than 176/9?
False
Let l(f) = f**2 + 5*f - 6. Let j be l(-6). Let r = 0 + j. Let c = -209 - -3969/19. Are c and r unequal?
True
Let h = -76 + 77. Let u(q) = -q**3 + 2*q**2 + q - 1. Let n be u(h). Is n >= 4/57?
True
Suppose 4*f - f = 12. Let l be (87/f)/(8/(-32)). Let n = 437/5 + l. Which is bigger: n or 0.2?
n
Let h be (34 - 660)*(-6)/(-14). Which is smaller: -269 or h?
-269
Let r = -683 + 689. Suppose 0*n + 28 = -4*n. Is r != n?
True
Let l be 181 + (7/1 - 10). Is l less than or equal to 178?
True
Let n be -4 + 4 - 2/(-12). Suppose -r - 16 = -1. Let g = r - -17. Which is smaller: n or g?
n
Let s = -716 + 780. Which is smaller: 2 or s?
2
Let h be (6/9)/((-2)/3). Suppose 3*f - 3*t - 15 = 0, 0*t + 15 = -3*t. Is h != f?
True
Let a be -3 + -3*(-6)/9. Let q be (-198)/348 + (-1)/2 - -1. Which is smaller: q or a?
a
Suppose -5*a - 25 = 2*g, a = -2*a - 15. Which is smaller: g or -2/1619?
-2/1619
Let n(x) = 4*x**3 - 21*x**2 - 6*x - 9. Let r be n(7). Is 289 at most as big as r?
True
Let x = 8773969/647 + -13561. Which is bigger: x or -1?
x
Let v(r) = r**3 + 8*r**2 + 16*r + 18. Let t be v(-5). Is t > 9?
True
Let t = 117 + -2923/25. Which is bigger: t or 5.1?
5.1
Let s be (-105536)/(-25883) + (-7 + 1)/2. Let h = -1/1991 + s. Are h and 2 unequal?
True
Let z = -1.2 - -6.2. Let u = -5.1 + z. Let k = 5.049 - 0.049. Is u less than k?
True
Let t(g) = 11*g + 116. Let o be t(0). Are o and 120 nonequal?
True
Suppose -4*c + 12*c + 136 = 0. Is -18 greater than or equal to c?
False
Let h be (-9)/(-15) - 1548/(-20). Suppose 20 = -5*z - q - h, 0 = -5*z + 2*q - 89. Which is smaller: -20 or z?
-20
Let s be 0*((19/2 - 5) + -4). Is 7/11 equal to s?
False
Let g = -0.44 - -0.5. Let t = 24.1 + -25.1. Which is smaller: g or t?
t
Let a be 14/(1792/(-696)) - -6. Do a and 1 have the same value?
False
Let f(h) = h**2 + h. Let j(u) = -u**3 - 3*u - 6. Let z(s) = -5*f(s) - j(s). Suppose -7 = b - 12. Let n be z(b). Which is smaller: n or -5?
-5
Suppose -1695*y - 3 = -1692*y. Is 2/317 < y?
False
Suppose -5*s - z - 70 = z, 3*z + 15 = 0. Let m(n) = 3*n - 28. Let q be m(12). Let k be (15 - 3)/(-4) - q. Which is bigger: k or s?
k
Suppose 0 = 3*z + 30 - 9. Suppose 0 = -4*n - 3*a - 0*a + 41, -3*n = 3*a - 33. Let c = -17 + n. Is z at least c?
True
Let d = 59 - 0. Let l = -77.6 - -78.6. Which is smaller: d or l?
l
Suppose 91 = 4*l + 4*o - 57, o = -4*l + 145. Which is smaller: l or 34?
34
Let v = 0.18 - -19.82. Let m = v - 21. Let z = -2 - -7/4. Which is bigger: m or z?
z
Let v be (49/28)/(-7)*-68. Is 22 at least v?
True
Let a = -1.31 - -1.3. Let y = a + -0.19. Let k = 0.1 + y. Is 1/6 < k?
False
Let k = 3361/72 + -1/72. Is 46 not equal to k?
True
Let u be 0/(1 + -3) - 1. Suppose 0 = 34*t - 41*t + 42. Let q be (-6)/(-30) + ((-8)/t)/4. Is u >= q?
False
Let o = 1144/909 - -30/101. Let f = 288 - 286. Which is bigger: f or o?
f
Suppose -5*y + 2*a - 2 = 8, -4*a + 20 = 5*y. Let u be y + 4 + (-20)/4. Is u at least as big as -2/59?
False
Let a be -5*(40560/125)/13. Is -124 at most as big as a?
False
Let i = 4 + -4.1. Let d be (1 - (-20)/(-18))/(48/144). Is i < d?
False
Let u(z) = 10*z**3 - z**2 - 9*z + 19. Let t be u(3). Is 253 <= t?
True
Let k be 222/(-4)*(-2)/12*8. Let s = 118 - k. Are s and 43 equal?
False
Let c = -220 + 221. Is c greater than or equal to -2/123?
True
Let s be 6/(5 - 7) - -8. Let y = -2 - -2. Suppose y*n = -s*n. Which is smaller: n or -4/3?
-4/3
Let u = 1/84 - 5/28. Suppose 0 = a - 18. Suppose 2*c + a = 4*i, 10 = 2*c + 4*i - 4. Is c greater than or equal to u?
False
Suppose 3*s = 7*s - 4. Let i be -25 + (-166804)/(-6578) + 2/26. Is i smaller than s?
True
Let x be ((-30)/4)/(-5)*(-12)/18. Which is greater: 2/601 or x?
2/601
Let i = 0.135 - 0.035. Let g = 0.34 + 14.66. Let x = g + -6. Is x less than or equal to i?
False
Let r = 0.02 - 6.22. Let k = -0.019 - -6.019. Let a = r + k. Which is bigger: a or -1?
a
Let q(d) = d + 7. Let r be q(-6). Suppose 7*b - 11*b + 8 = 0, b = 2*j + 8. Is r smaller than j?
False
Suppose 5*p - 10 = 2*g, 0 = -p - g - 1 + 3. Let a(b) = 8 - p*b + 2 + 4. Let h be a(6). Which is smaller: 1/2 or h?
1/2
Suppose 8*w - 2341 - 4651 = 0. Do w and 875 have the same value?
False
Let o = 206 + -620/3. Let j be (4/(-10))/((-3)/(-5)). Is j smaller tha