21*y + 24*y. Let o be ((-11)/(-66)*6)/(r/10). Which is smaller: t or o?
o
Let p = -36.1 + 249.1. Let c = p - 202. Which is smaller: 1/3 or c?
1/3
Let x(j) = -2*j**2 - 36*j + 11697. Let w be x(68). Let y be ((-2)/(-12))/((-31)/4). Is w greater than y?
True
Suppose -g + 18 = -0*g - y, g + 3*y + 2 = 0. Suppose 31*d + 72 = 40*d. Which is greater: d or g?
g
Let a be ((-81)/(-45) + -1)*(-60)/2. Let g be -6*(-3)/a*4. Let q be (-4)/6 + (-16)/12. Which is bigger: q or g?
q
Let s = -5810.8 + 5809. Which is smaller: s or -90?
-90
Suppose 399*p + 7*p - 934206 = 0. Which is greater: p or 2303?
2303
Let u = -12099 - -60819/5. Let m = u + -65. Let r be 1/10*(2 + 4). Which is greater: m or r?
r
Let m(u) = 13*u**2 + 8*u - 49. Let h be m(4). Let r = h + -189. Is r at least as big as 0.41?
True
Let n be (19 - 2278/119)/((-6)/21). Which is smaller: -15/142 or n?
-15/142
Suppose 4*n - 1042 - 125 = -r, n - 5854 = -5*r. Suppose -99 - r = -5*h. Which is smaller: 253 or h?
253
Let d(n) = -n**3 + 24*n**2 + 79*n - 2346. Let l be d(23). Is -2/9099 bigger than l?
False
Let z = 2513.4 + -2627. Is 2/5 < z?
False
Let q be -609 + 1 + (-1 + 12 + -8)/3. Which is smaller: -608 or q?
-608
Let i be (-1332)/1648 - (-36)/48. Let s = i - 238/2987. Are s and -1 non-equal?
True
Let s = -90 + 132. Let v = -0.054 + -41.946. Let n = s + v. Which is smaller: -12 or n?
-12
Let s = -1.75 + 2.64. Let o = s - 0.04. Which is smaller: o or -2?
-2
Let a be ((-6)/(-3))/(30/45). Suppose -a*t + 3*j + 368 = -j, t + j = 111. Which is smaller: t or 117?
t
Let u = -13680 + 13700.026. Let y = 0.026 - u. Let s = 3 + 0. Which is greater: y or s?
s
Let w(n) = 8*n**3 + n**2 - n + 1. Let d be w(1). Let a(p) = -2*p + 18. Let f be a(d). Is 2 less than f?
False
Let w = 0.14 - -3.66. Let d = -5318.6 - -5319. Which is greater: d or w?
w
Let m = 13.616 - 14.416. Is -336 > m?
False
Let u = -6.85 + -0.15. Let t = -1178 + 1186. Let r = t + u. Which is smaller: -2/5 or r?
-2/5
Suppose -8 = -4*w + 2*j, -3*w + w + 2*j + 2 = 0. Suppose w*q + 5*q - 48 = 0. Let v be ((-9)/(-6) - 1)*(-6 + q). Which is smaller: v or -18?
-18
Let p = -6539 - -2694073/412. Is 1/2 >= p?
True
Suppose -2*k - 8 = 3*s, -19 - 11 = 5*s - 5*k. Let v be ((-1)/s)/((-59)/236). Is 2/365 at most v?
False
Let s = 35570.138 - 35541. Let l = 29 - s. Which is greater: 0.1 or l?
0.1
Let t = 259270 - 2522956367/9731. Is t at least as big as 0?
True
Let k = -671/6 - -112. Let n = -320 - -321. Which is greater: n or k?
n
Let u = 1/1408 + 1405/4224. Which is bigger: -133.9 or u?
u
Let j = -572.247 - -572. Let w = j + 0.247. Is -104 >= w?
False
Let o(m) = 2 + 4 - 20 - m - 23 - 24. Let p be o(-34). Is p at least as big as 1/3?
False
Suppose 0 = 9*j + 2*k + 19716, -4*j + 0*k = -k + 8757. Are j and -2189 nonequal?
True
Let a(m) = m**3 + 6*m**2 + 8*m + 12. Suppose 0 = 6*z - 4*z + 10. Let w be a(z). Is w at most 4?
True
Let p = 32 + -32. Let g = -2.02 + 32.07. Let c = 0.05 - g. Is c greater than p?
False
Let z(s) = 102*s - 511. Let i be z(5). Let x be -2*(176*1 - -2). Let h be 1/(-2)*(-16)/x. Which is greater: i or h?
h
Let l = -1377323821/492 - -2799440. Let c = l + -1/164. Which is smaller: c or 0?
0
Let r(w) = 2*w**2 - 14*w - 2895. Let n be r(0). Let c be ((-36)/n)/(-4*9/120). Is 0 less than c?
False
Let q = 6 + -4. Let o(c) = c**2 + 2*c - 15. Let v be o(3). Suppose v = 4*w - 5*w + q. Is 0.05 greater than w?
False
Let f be 1582/(-15) - (-16)/(-48). Let h = -3778/35 - f. Which is smaller: -2 or h?
h
Suppose 5*m - 17 = 2*j, 0 = 2*m - 3*j - 0*j + 2. Let g = -444 + 446. Suppose 2*p - g*y - 13 = 3*y, -3*p + 5*y + 12 = 0. Which is smaller: p or m?
p
Let p be 4*321/(-10)*2380/1848. Which is smaller: p or -165?
p
Let w = 3 - 3. Let o = -74.4 + 142. Let v = o + -71. Are v and w non-equal?
True
Suppose 5*p - 2*p + 1 = q, -2*p = 2*q - 34. Let w = -16 - q. Do -33 and w have the same value?
False
Let v = -13550 - -13246. Which is smaller: v or 1/7?
v
Suppose -2*q - 328 = -5*b, 0*q - 5*b - 716 = 4*q. Let d(v) = 23*v**3 + v**2 - 3*v. Let g be d(-2). Is q greater than g?
False
Suppose 4*r + 14 = 38. Suppose 4*g = 8*g - 3*g. Suppose g = 4*j - 2*f - 3*f - 4, 2*f + 3 = 3*j. Is r at most as big as j?
False
Suppose -1029 = 22*g - g. Let i = 2.29 + -0.29. Is i at least as big as g?
True
Let w(y) = y**3 + 14*y**2 - 1. Suppose -3*o + 6*h = 3*h - 9, 2*o - 4*h - 12 = 0. Let d be w(o). Is -37 bigger than d?
False
Suppose -5*j + 4*o = -2476, -21*j = -17*j - 4*o - 1976. Which is smaller: j or 498?
498
Suppose -4*r - 3*t - 5 = -1, 0 = r + 2*t + 6. Suppose 0 = 4*l + 3*v - 93, r*l - 6*l + 4*v + 72 = 0. Let j = 25 - l. Is 21/5 != j?
True
Let z be ((-16)/20)/(4/(-390)). Let a = z - 115. Let j(p) = -p**2 - 42*p + 1370. Let l be j(22). Is a at most l?
False
Let g = 58.67 + -58.67. Does g = 700?
False
Let z(l) = 53*l - 43. Let n be z(0). Is -310 < n?
True
Let b be (-44)/(-132) + (-56)/(-3). Which is bigger: b or 263/13?
263/13
Let c = 3903 - 3904. Let k = 73 + -236. Is k equal to c?
False
Suppose -4*d = 4*c - 48, d - 39 + 15 = -5*c. Let t be (-3)/20*5/2. Do t and c have different values?
True
Let g be 4/38 + (-3404)/(-874). Let i be g*12/(-8) + 65/10. Does i = -1/16?
False
Let y = -1952 - -76130/39. Let a(c) = -c**2 - 10*c - 2. Let g be a(-10). Let f be 1/(-3) + g/3. Which is greater: f or y?
y
Let t = -5/3338 - 11789801/10014. Let q = 490949/417 + t. Is q at most 0?
False
Let u = 110/3 - 752/21. Suppose -5*c + 15 = -3*o + 2*o, 3 = 3*o - 3*c. Suppose -o*a - 5 = -15. Which is bigger: a or u?
a
Let b = -78 + 54.2. Let t = b + 24.1. Is t <= 5?
True
Let s = 42166 + -42167. Is s at most 9607?
True
Let c(w) = -w**3 - 14*w**2 - 15*w - 58. Let y be c(-13). Let m be 6/(-3) - 2 - -4. Suppose m = -17*j + 18*j + 32. Is j equal to y?
True
Let f = 97 + -17. Let o = f + -78. Suppose o*v = -8 - 2. Is v greater than -4?
False
Let l = 1111 - 1110. Which is greater: -3/6592 or l?
l
Suppose 0 = 2*f - 6*f + 20, -2*f = -3*z - 7. Suppose 0 = m - 4*p + 13, 16 = 5*m - 4*p + z. Which is greater: -3 or m?
m
Let r = 9631 + -9533. Is r at most as big as 98?
True
Let m = -13765 + 8437950/613. Which is bigger: -1 or m?
m
Let f = -40107/5 - -8028. Let r = 0.21 - -0.79. Is r greater than or equal to f?
False
Let h be 384 - 72/8*6/(-27). Is 1/2 less than or equal to h?
True
Let p be 3 - -28*14/(-882)*(-6)/(-1). Which is bigger: 1135 or p?
1135
Let r = -0.1568 - -0.0568. Let j = -33 + 35.7. Are r and j nonequal?
True
Let z = -1081/4 + 277. Let u = -22 - -83. Let k = 67 - u. Is z less than k?
False
Let g(i) be the first derivative of -i**4/4 + 4*i**3/3 - i**2 - 6*i - 1819. Suppose 4*f = -0 + 20. Let q be g(f). Are q and -42 equal?
False
Suppose 0 = 554*r - 538*r. Let f(w) = -w**3 + 4*w**2 - 4*w - 2. Let y be f(4). Let m be y/(-105) - (-2)/5. Is m < r?
False
Suppose 41 = 5*y + 31. Let o be -3 + (17 - (6 - y)/4). Is o equal to 12?
False
Let b = 17451 - 11268. Is b smaller than 6184?
True
Let t = -4924 - -4982. Is 58 less than t?
False
Let b = 1.068 + -0.95. Let m = b - -10.882. Which is smaller: -4 or m?
-4
Let s(u) = u - 6. Let b be s(7). Suppose 529 = 3*w + 469. Let o be ((w/30)/2)/(218/(-12)). Do b and o have different values?
True
Suppose -14 = 4*z - 26. Suppose 0 = -2*r - 3*r - 4*h + 16, -4*h + 8 = z*r. Which is bigger: 37/10 or r?
r
Let d = 5/6 - 4/3. Let s = -0.36511 - -1.76511. Which is smaller: d or s?
d
Let b = 0.652 + 50.348. Let o = -22 - -71. Let w = b - o. Is w < 2/3?
False
Let j(v) = 3*v**2 - v - 12. Let p = -43 - -49. Let c be j(p). Suppose c = -l + 11*l. Which is bigger: 10 or l?
10
Let m be -65 + 74 + (-160)/19. Which is smaller: m or 0?
0
Let f be -1 - ((-2)/(-10) + 12/(-60)). Let r be (0 - 3) + 5 - (f + 1). Suppose -3*q = -2*q + g - 2, r*q + 3*g = 5. Which is greater: q or -2/165?
q
Suppose m + 188*w = 186*w + 25, -90 = -5*m - 5*w. Do 15 and m have the same value?
False
Let y = 1.32 - -67.68. Suppose 0 = -11*d - 3*d. Which is smaller: d or y?
d
Let f be (-374466)/(-904) + (-3)/12. Suppose -17*q = -42*q - 10350. Let z = f + q. Which is bigger: 0 or z?
0
Suppose 9*v = 4*v + 55. Let r be 5 - 2 - v - (2 - 0). Let n = -33 + 25. Is r greater than or equal to n?
False
Suppose -5*v + 14057 = -3*n + 539, -n + 3*v = 4510. Is -4503 smaller than n?
True
Let m = -6109/32 - -191. Suppose w = -5*k - 5, -2*k - 15 = -3*k + 3*w. Is m >