24. Does -1 = q?
False
Suppose 226*s + 83 + 69 = -74. Is s less than -26/183?
True
Let z(n) = n**2 + 12*n - 108. Let m be z(-12). Which is smaller: -0.03 or m?
m
Suppose 2*h + i = 6*i + 8, 2*i + 4 = 0. Let u be h/4*(-72)/1521. Is 0 > u?
False
Let w be (-6)/20 - (3880248/(-291760) + 13). Is 0 smaller than w?
False
Let k = -0.12634 - 0.02366. Which is smaller: 0.059 or k?
k
Let z(g) = -g**2 + 183*g + 1627. Let t be z(0). Is -2/5 at least as big as t?
False
Let g be ((-614)/(-4))/(-15 + 551/38). Which is bigger: -306 or g?
-306
Let w(l) = -l**2 + l + 5. Let p(d) = 6*d - 6. Let i be p(3). Suppose 4*z - z = i. Let x be w(z). Is 1/2 less than x?
False
Let f be -2 + 2 + -3 + 11 + 0. Suppose f*h - 63 = 5*h. Suppose 3*k - 7 = -5*y, k - 3*y = -h - 0. Which is greater: k or 0?
0
Let v = 9758.1 + -9253. Let s = v + -505. Which is bigger: s or 13?
13
Let n = 97 - 89. Suppose n*q - 319 - 113 = 0. Suppose b + 5*b + q = 0. Does -11 = b?
False
Let a = -9841 + 974249/99. Which is greater: a or 1?
1
Let d = 1692.4 + -1692.6. Let s be (6/(-3))/((-4)/(-2)). Let y be s - 3/(6/(-62)). Is y at most as big as d?
False
Suppose -4*o + o = -3*v + 3, 0 = 3*o - v - 1. Let g be o/2 + 62/4. Suppose -2*k + g = 18. Which is bigger: k or 1/4?
1/4
Suppose 0 = -5*x - w - 790, 5*x - 3*w + 785 = -5*w. Let y = -807/5 - x. Let o(p) = p**3 - 7*p**2 + 7*p - 7. Let h be o(6). Which is smaller: h or y?
y
Suppose -3*g - 147 = -5*k, -2*g + 415*k - 114 = 417*k. Is -17 smaller than g?
False
Let x(a) = -14*a + 539. Let k be x(34). Let i = 331 + -155. Suppose 0 = -4*q - 4*t - i, -t + 271 = -5*q + k. Is q != -41?
True
Let d = 280294173/20 - 14011925. Let x = d - 2783. Let u = 779/1260 - x. Which is bigger: u or -1?
u
Let m = -124/79 + 18248/553. Let b = m - 16514/525. Does 1 = b?
False
Let p = -30 - -69. Let c = 44 - p. Suppose v + 5*w + 3 = 18, -1 = -v + 2*w. Is c <= v?
True
Let u = -0.291896 + 0.231896. Let g = -414 - -418.89. Let v = -0.11 - g. Is v bigger than u?
False
Let i(h) = -h**3 - 4*h**2 - 3*h - 1. Let a(t) = t**2 - 12*t + 30. Let f be a(8). Let u be i(f). Is -2 bigger than u?
True
Let g = -493.9 + 494. Let l = -3/14 + -15/28. Are l and g equal?
False
Let j be (2990/104)/23*(-114)/5. Are j and -5 unequal?
True
Let n be 1/((-1 - -2)/(-1)). Let u be (194/42)/((-2)/6*-1). Let z = u - 14. Which is smaller: z or n?
n
Let z = -1624 - -1337. Let d = -617131/8 + 77428. Let o = z + d. Is o greater than -2/19?
False
Let c = 5665 - 7953. Let u = 107531/47 + c. Which is greater: u or 1?
1
Let c(l) = l**3 + l**2 - 5*l - 14. Let j = 8 - 8. Suppose 4 + j = -h. Let k be c(h). Is k at least as big as -42?
True
Suppose x = 3*a + 9313, 3*x - 3518 - 2679 = 2*a. Is 0 smaller than a?
False
Let f be 19/152*(-522)/(-27). Is f greater than -2?
True
Let o be (-2)/3*(-39)/(-26). Let c be o/(-7)*3/(-27). Which is greater: -1 or c?
c
Suppose 79632 = 201*z - 75*z. Which is greater: 628 or z?
z
Let r = 235393732/1779 - 132318. Which is bigger: -1 or r?
r
Suppose 0 = 5*g + 4*i + 3433, -3*g + 0*g = -3*i + 2049. Let t be g/15 - 4/12. Which is smaller: -48 or t?
-48
Let r(y) = -292*y**2 - 222*y - 218. Let s be r(-1). Which is bigger: -297 or s?
s
Let s(b) = 6*b + 11*b**2 + 4*b - 2 + b**3 + 8*b - 6*b. Let r be s(-6). Let x be -3 - (-3016)/28 - 2/(-7). Is r at least x?
True
Let w = 52012/5 + -10360. Is 2 smaller than w?
True
Let t = -40.472 + -5.528. Is -39 at least as big as t?
True
Let s be 0*-16*(-22)/(-2816). Let l = -1493/51118 - 3/838. Is s at most as big as l?
False
Let g(j) = -j**3 - 2*j**2 + 168*j - 4. Let n be g(12). Which is bigger: n or -236/79?
-236/79
Suppose -57*y + 1598 + 1488 = 350. Which is smaller: -17 or y?
-17
Let k be -3 + 7 + -1 - -1. Let o be 5923390/371*(14/k)/(-7). Let x = 7983 + o. Is 0 equal to x?
False
Let q = 39.8 - 4.6. Let o = q + -35. Let w = -8 - -7.9. Is w equal to o?
False
Let y(u) = 263*u**3 - 3*u**2 + 3*u - 2. Let s be y(1). Let k = s + -181. Let n be (-4)/k - ((-8)/(-10) - 1). Is n not equal to -1?
True
Let r = 18765.5 + -18766. Which is smaller: -20.83 or r?
-20.83
Let x be -8 + (-238)/17 + -22. Which is smaller: -0.006 or x?
x
Suppose 644 = -23*q + 46*q. Let h be (-4)/q*(-168)/144. Which is greater: h or -29?
h
Let p = 10.9 + -10.9. Let b = -4.099 + -0.301. Which is smaller: b or p?
b
Let o = 31/681 + -2699/89211. Which is smaller: 4/9 or o?
o
Let q = 1.729 + 122.271. Which is smaller: 0.12 or q?
0.12
Let z(k) = -k**2 - 2043*k - 15518. Let w be z(0). Which is greater: -15519 or w?
w
Let d be (-2 - -3)*8/(-1). Let m be (-5)/22*d/470. Suppose 642 - 51 = 3*x + 42*l, 3*l - 41 = x. Which is bigger: m or x?
x
Let k = 207 + -111. Let t = 115.03 + -18.93. Let u = k - t. Does u = -47?
False
Suppose -3*o - 90 = 5*y, 10 = y - o + 36. Let m = -407880 - -407861. Is y at most as big as m?
True
Suppose 3*l + 19 = 27*q - 23*q, 4*l = 2*q - 32. Let v be (-18)/14 + 2*-1. Which is bigger: v or q?
q
Let u = -0.0119 - -0.0119. Is u bigger than 0.1741?
False
Let h = -47 + 69. Let r = 503 + -356. Let z = 146.8 - r. Is h at most z?
False
Let c = -2920 - -2082. Let q = c + 21791/26. Does -3 = q?
False
Let n be 2 + (-564)/(-189) + 24*(-10)/(-420). Let t = 8 - 3. Which is bigger: n or t?
n
Let b(j) = 14*j**2 + 30*j - 103. Let s be b(-4). Which is greater: s or 53/68?
s
Let n = -142 - -83. Suppose 0 = -4*t - d + 196, 2*d - 247 = -5*t - 2. Suppose 236 = -4*f + 4*g, f + 10 = -2*g - t. Is f at least as big as n?
True
Suppose 3*u = 2*g - 3152, 5*g + 2*u - 14122 = -4*g. Is 1569 at least as big as g?
False
Let p = -4356469/11 - -395555. Is p greater than -489?
True
Let q(y) = 30*y**2 - 4*y + 3. Let t be q(1). Let k = -20 + t. Let c be ((-6)/4)/(k/96). Are c and -17 equal?
False
Let l = 102 - 123. Let o = l + 2. Are -0.2 and o equal?
False
Let t = 0.112 + -66.112. Let g = 25 + t. Let c = g - -38. Is c != -2?
True
Let y = -120 + 26. Let d = 88 + y. Is -3 > d?
True
Let y = -6 + 6. Suppose 0*w + 5*w + 20 = y. Let z = -27.33 + 26.63. Which is greater: z or w?
z
Suppose y = -4*h + 14, -3*h = 17*y - 18*y - 14. Suppose 4*n + 3*d = -9, 3 = -h*n - 14*d + 13*d. Let u = 1644 + -110152/67. Is n > u?
True
Let s = 7276/35 - 261/7. Let b = 170 - s. Which is smaller: b or -3/14?
b
Let j(x) = -2*x**3 + 2*x**2 - 3*x + 2. Let v be j(0). Let p be 1/(v/8) + 121/(-99). Is 3 > p?
True
Let x(l) = 3*l + 2. Let w be x(9). Suppose c = w*c + 1792. Is -64 bigger than c?
False
Let y(g) = 4*g**2 + 7*g + 6. Let s be y(-5). Suppose -5*n = -2*o - 378, -13*n - 2*o = -16*n + 238. Which is smaller: n or s?
n
Let t = -8.294287 + 1.294287. Let j = 11 - 7. Suppose j*c + 16 = -n + 3, 0 = -2*n + 3*c + 18. Is n smaller than t?
False
Let o be (2/(-5))/(1/15). Let g be 7*(-111)/126*2*o. Let q = g + -67. Which is bigger: -2/9 or q?
q
Suppose 0 = 59*s - 69*s - 12010. Which is smaller: s or -1200?
s
Suppose b = 3, 79*p - 83*p + 2*b + 6 = 0. Suppose w - 2 = -w. Let u(o) = 3*o**2 - 2*o + 1. Let n be u(w). Is n less than or equal to p?
True
Let v = 3.06 - -24.04. Let t = v + -26. Is -2/75 greater than t?
False
Suppose -88 = -3490*k + 3492*k. Let l = 90 - 132. Which is smaller: k or l?
k
Suppose -22*q - 5982 = 750. Let n = 29767/2 - 15190. Is q != n?
True
Let q = 195 - 112. Let s be -19 + (-18 - -31 - -89). Does q = s?
True
Let n = 762/1037 + 1745861/21777. Let f = n - 81. Let o = -13/63 - f. Which is smaller: o or 0?
o
Suppose -6182 = -2*j + 9890. Let u = j - 482173/60. Let b = -1/60 - u. Which is greater: -2/13 or b?
b
Suppose -5*a = -2*i + 28, -a + 5*i - 9*i + 12 = 0. Let p be 3 - 0*(1 + a)/(-6). Is 1 < p?
True
Suppose -2*f + 18*f + 0*f + 896 = 0. Which is smaller: -32 or f?
f
Let d be ((-50)/6)/((-16)/384). Suppose 7*u = d + 80. Let s = -39 + u. Which is smaller: s or -4?
-4
Let l = -7465 - -7474. Is l equal to 269/33?
False
Let f be ((-10)/44)/((-1120)/168). Which is bigger: -1 or f?
f
Let l(x) = 16*x + 15. Suppose 4*q + 10 = 3*f, -5*f - 6 = q - 2*q. Let c be l(q). Are -47 and c equal?
False
Let l be (112/(-1680))/(20/66). Let c be (2/(-3))/(2/(-3)). Which is smaller: l or c?
l
Let k = -1101 + 1568. Let m = k + -466. Which is bigger: m or 1.82?
1.82
Let t(x) = 4*x - 14. Let f be t(4). Suppose -41*p - 2*j + 16 = -44*p, f*p + 29 = 5*j. Let w = 327 - 4903/15. Is w equal to p?
False
Let m = -3229 + 3365. Which is bigger: 147 or m?
147
Let a(t) = -2*t**3 - t**2