a. Which is greater: 24 or o?
24
Let x = 275.94 + -276. Which is smaller: -23.3 or x?
-23.3
Let n = 62 - 55. Let d = 9 + n. Let w be 6/15 + d*8/(-70). Is w < 0.1?
True
Let u = -66 + -40. Let a = -106.37 - u. Is a greater than or equal to -2?
True
Suppose 4*s = -7*s + 9*s. Suppose -10 = -s*l + l. Let n be (l - -8)*(-1 + 3)/(-10). Is n less than 1.4?
True
Let r(f) = -65*f - 1385. Let t be r(-20). Which is smaller: t or -90?
-90
Suppose -257 = 3*l - 4*j, -4*l = -5*l + 5*j - 71. Let m = 91 + l. Which is bigger: 15.9 or m?
15.9
Let d be 120/2220 + (-112916)/(-148). Is d < 761?
False
Suppose 5*s - 3*u = 34, s + 4*u + 2 = -s. Suppose s*y - 18 = q, -3*q = -4*y + 3*y + 12. Let k be 20/((-12)/(-3)) + y. Is 7 at most as big as k?
True
Let i be 2457 - (-33 - -29)*6/(-4). Is 2451 at least i?
True
Let y be (352/(-2))/((-230)/(-368)). Is y smaller than -283?
False
Let z = 3 + 79. Let b = -0.149634 - -0.049634. Which is bigger: z or b?
z
Let b be (416/(-112) - -4)/(16/(-14)). Is 8721 >= b?
True
Let d(q) = 4*q**2 + 9*q - 41. Let k(u) = u**2 - 2*u - 1. Let v(y) = -d(y) + 6*k(y). Let l be v(9). Let m = 254/39 + 2/13. Which is greater: l or m?
l
Let d(s) = s + 26. Let g be d(-13). Suppose -g*u = -4*u. Suppose -6*a - 5*a + 2*a = u. Which is smaller: -0.02 or a?
-0.02
Let b be (-6)/90*147 - -10. Let d = -3.8 + 1.5. Is b greater than d?
True
Let a(c) = -2*c**2 - 167*c + 254. Let h be a(-85). Which is smaller: 4/6391 or h?
h
Let c = 450 - 449.69. Let w = 6.31 - c. Which is greater: -45 or w?
w
Let x(o) = -2*o**3 - 14*o**2 - o - 5. Let j be x(-7). Suppose -j*s + 48 = 14*s. Let v(u) = u**2 - 10*u - 1. Let t be v(s). Which is greater: t or -23?
t
Let d(l) = -277*l - 113. Let x(i) = 69*i + 28. Let s(b) = 2*d(b) + 9*x(b). Let c be s(7). Let v be 1/((-3)/(-6))*(-3)/c. Are -1 and v nonequal?
True
Let b = 5.2839 - 0.6439. Do 6 and b have the same value?
False
Suppose -5*p + x = -0*x - 16, 5*x - 32 = -3*p. Let r be (12/p - -14)*7 + 3. Let c = r + -123. Is c > -6/5?
True
Let i = 295 - 5901/20. Suppose 38*b + 43*b - 24 = 29*b - 76. Is i less than or equal to b?
False
Let t(u) = u**2 + 12*u - 12. Let a be (-6 + 7)/(2/(-26)). Let o be t(a). Suppose l - 11 + o = -4*j, 5*j = 0. Is 3 >= l?
False
Let g = 91917/7535 + 2/1507. Let w be 3/6 + (-23)/(-2). Is g smaller than w?
False
Let l be ((-117)/(-27) + -14)*72. Which is smaller: -1/2 or l?
l
Let b be (1/(-4))/((-2)/(-3)). Let u = -269 - -268.841. Let i = u + 0.179. Which is smaller: b or i?
b
Let w = 2/5127 - -9800/1163829. Suppose 0 = -4*m - 2*q, m - 2*q = 4*m + 1. Is m equal to w?
False
Let c(z) be the first derivative of z**4/4 + 3*z**3 + 7*z**2/2 + 21*z + 29. Let n be c(-9). Let l be n/56*(-8)/1317*-1. Is l greater than or equal to 0?
False
Let i be ((-441)/4116)/(198/(-35)). Does i = 0?
False
Let y = -1010 - -1011. Which is smaller: -1/89 or y?
-1/89
Let n(q) = 4*q + 3. Let k be 2/10 - 16/80. Let i be n(k). Suppose 5*t + 4*f + 5 = 3*f, -4*t - 4 = i*f. Is t less than 2/105?
True
Let a = 0.00801 - -0.00999. Is -8 <= a?
True
Let t = 17369 + -17379. Let h = -4 + 0. Are h and t non-equal?
True
Let s be (-6)/4 + 2 + 26/4. Let a(t) = -t**3 + 8*t**2 - 5*t + 13. Let w be a(s). Let n = w + -26. Which is smaller: -2 or n?
-2
Let w = 8270 + -8268. Which is smaller: w or -1409?
-1409
Suppose -y - 3*c + 91 = -33, 5*y + 3*c = 560. Suppose 18*w = 89 + y. Let r be 1 + 9 + 5/15. Is r >= w?
False
Let u be -15 + 207138/20714 + 5. Which is smaller: 1 or u?
u
Let i = 2/25413 + 6920803/50826. Let r = i - 172399/1266. Is r greater than -1?
True
Let u be 9*(45562/3249 - 14). Let f = 0 - -3. Is u less than or equal to f?
True
Suppose -218 = 14*m - 176. Let z be -8 - -5 - m - (-49 + 4). Is z < 177/4?
False
Let a = -0.091 - -0.1. Let f = 39.009 - a. Let h = -38 + f. Does h = -3/8?
False
Let j(c) = 2*c. Let z be j(-1). Let i be (1 + (-6 - -4))*29. Let h = -33 - i. Which is greater: z or h?
z
Let v = -212 - -408. Let g = v + -196.1. Which is smaller: -2/11 or g?
-2/11
Let z = 655 - 654. Let t = 6151/379572 - 1/4038. Are z and t non-equal?
True
Let s = 39 + -64. Let r = 0.0165 - -170.9835. Let z = 170 - r. Which is bigger: z or s?
z
Suppose -389*u = -571*u + 182. Which is smaller: u or 1/1878?
1/1878
Suppose -91*b = -3*p - 95*b - 2136, -5*p - 3534 = -2*b. Is -713 smaller than p?
True
Let r(m) = -m - 9. Let n be r(-9). Suppose 0 = 3*q - 6*q - 3*h + 30, -4*q + 3*h + 5 = n. Let l be 122/(-10) - 10/q. Is l greater than or equal to -15?
True
Let d(i) = 5*i**2 + 78*i - 33. Let x be d(-16). Is -3150 at most as big as x?
True
Let s = -67730 + 67723. Suppose 0 = 3*r + 10 + 11. Is r at least s?
True
Let x(y) = -17*y - 44. Let b be x(-8). Let p = b - 141. Which is greater: p or 0?
0
Let v = -2.9 + 3.88. Let z = 2.93 - v. Let y = z + 0.05. Which is greater: y or -0.04?
y
Let f be 217/(-28) + ((-63)/7 - -17). Is f >= -1/2333?
True
Suppose 0 = 2*l + 691 + 37. Let j be 902/l - (-95)/38. Are j and -1 nonequal?
True
Let y = 4554 - 4554. Is y equal to -43?
False
Let b = -0.4 - 4.6. Let s be 48 + (-18)/(36/(-6)). Suppose s - 65 = 7*h. Is h greater than or equal to b?
True
Let t be ((-3)/(-2) + 0)*598/(-39). Let o(f) = -5*f + 10. Let v(m) = -2*m + 5. Let r(b) = 6*o(b) - 14*v(b). Let u be r(7). Which is smaller: t or u?
u
Let h be 4 + 0 - (-5)/1. Suppose h = -2*q - 3. Suppose 0 = -2*w - 27 + 7. Do w and q have the same value?
False
Let g(b) = -444*b - 28. Let i be g(-13). Let j = i - 178046/31. Which is smaller: 1 or j?
j
Let r = 124 + -367. Let g = 206 + r. Let m be ((-37)/1)/1*1. Is m > g?
False
Suppose 3*w + 3 = -3*s + 4*s, 0 = s + 4*w + 4. Let v be (-36)/28*(-133)/4218. Is v less than s?
False
Suppose 4*l - 3*l = 32. Let c = 206/15 - 168332/12255. Let s = c - 811/2451. Is s less than l?
True
Let q be (13 - 803/66)*(1 + (-3764)/3780). Is q at least 0.25?
False
Let o be (-6)/(-301)*-1*(-28)/4. Suppose 6*l - 17*l + 55 = 0. Suppose 3*p + 15 = -l*u, -4*u + u + 4*p = -20. Is o at most u?
False
Let a be (0 - -1)/(4*3/132). Let y = a + -11. Let d be (-4)/(-8)*-2 - (68 + y). Which is smaller: -68 or d?
d
Suppose -21 - 4 = -5*w. Let y(j) = j**3 - 5*j**2 + 5*j - 10. Let m be y(w). Is 15 at most as big as m?
True
Let g be 1/((-7)/(-26)) - (-68)/238. Let k be g*40/6*(-21)/(-14). Let l = -1065 - -2211/2. Is k >= l?
False
Let o = 3071 + -46082/15. Is o at most as big as 0.3?
True
Suppose 3*f + 2*f = 15. Let l be f/6 + 3/(-2). Let h = 132/7 - 2452/133. Which is smaller: h or l?
l
Let n = -1/5095 - -40871/565545. Which is smaller: n or 0?
0
Let n = 200 + -141. Let m = 22147/126 + -2125/18. Which is smaller: m or n?
m
Let s be -5 + 1 + (5 - 1) + 0. Is -1/8962 at least s?
False
Let v(j) = -2*j**3 + 12*j**2 - 56*j - 428. Let r be v(-8). Which is smaller: r or 3621/2?
3621/2
Let r be (4/5)/(-1*3/(-15)). Suppose 2 = m - 3, -r*i - 4*m - 192 = 0. Do i and -53 have the same value?
True
Let b be (-267)/(-1818) - 3/18. Let n(o) = -7*o + 77. Suppose -6*u + 5*u + 11 = 0. Let t be n(u). Which is greater: t or b?
t
Let z = -5352 - -5365. Let w(x) = -x**2 + 8*x. Let c be w(6). Is z != c?
True
Let w(j) = j**2 - 46*j + 84. Let a be w(-10). Which is smaller: 643 or a?
643
Suppose -4*i - 1 + 5 = 0. Let r be (3 - 7)*(-1 - i). Suppose -r + 0 = -2*y. Do 8 and y have different values?
True
Let w = 23 - 20. Suppose w*t - 23 = -5. Suppose 14 = -t*m - 10. Is -4 at least m?
True
Let d = 49 - 59. Let b(f) = -3*f - 26. Let t be b(d). Suppose 2*o - t*o + 16 = 0. Which is smaller: o or 27/4?
27/4
Let m be (137 - 135)*1330/4. Is m at most 664?
False
Let j(m) = 13*m**2 - 14*m - 4. Let c be j(5). Is c at least as big as 253?
False
Let x = 106 + 24. Let d = x + -129. Is 0.2 equal to d?
False
Let n = 0 + 0. Let j = 26348/166991 + 1/8789. Which is bigger: n or j?
j
Let n be 18406/8 - 343/196. Is n bigger than 2297?
True
Let p be 20/70 - 26/(-7). Suppose 1 = -3*a + d, 3*a + a - 20 = -p*d. Let x be (3 + (a - 5))*186/(-6). Is x > 31?
False
Let d = 1972 - 1970. Are -3.6 and d equal?
False
Suppose -2*s = -0*v + 4*v - 26, 0 = 3*v + 5*s - 9. Suppose 0 = v*x - 7*x - 7. Which is smaller: x or 6?
6
Let u(g) = -3*g**3 - 3*g**2 - 13*g + 3. Let c be u(-3). Let y = -72 + c. Is 21 at least y?
False
Let t = 22 - 20. Suppose -5*r + 2*b + 25 = -3*b, -t*r + b = -10. Suppose -r*q - 2 = -4*q + 3*s, 0 = 3*q - 3*s - 42. Which is smaller: q or -0.