t m = 57 + -38. Which is smaller: s or m?
s
Let r = -1619 + 8094/5. Is -21.1 < r?
True
Let x = 169205/27 + -6267. Which is greater: 60 or x?
60
Let z be ((-120)/(-56))/5 + (-48)/63. Is 2801 greater than z?
True
Let l be 1/6 - 4654/(-2506)*(-11501)/(-6). Which is bigger: 3559 or l?
l
Suppose -138*d = -4*n - 139*d, d = 5*n. Is n >= -4/1305?
True
Suppose 11*b + 98 = 9*b. Let t = -92 - b. Let y = -45 - t. Which is smaller: 2 or y?
y
Let m(p) = p**2 - 11*p + 22. Let t be m(8). Let u(y) = -3*y**2 - 5*y + 2. Let n be u(t). Suppose n = g - 0*g + 3*r - 7, -4*r - 21 = -3*g. Is g smaller than 7?
False
Let s be -3 + -1 + 2 - -23. Let v be s/24*4/14. Are v and -1/48 equal?
False
Let i be (-2)/(-30) + (-724)/60. Suppose t - 4*t + 9 = 0. Suppose -t*v - v = 40. Are i and v equal?
False
Let d = 85 + -82. Suppose d*k - 4*w - 4 = 0, 4*w + 4 = 3*k - 7*k. Suppose -10*i + 8 + 2 = k. Is -2/43 smaller than i?
True
Let z = -6235.71 - -6230. Is z greater than -0.4?
False
Let x(p) = 4*p**2 - 39*p + 119. Let o be x(7). Let w be ((-188)/8)/((-2)/4). Is o != w?
True
Let k = -4266 - -4155. Is k < 9?
True
Let s be (-74876)/(-56) + 11/(-154). Is 1338 smaller than s?
False
Let s be (-194488)/35 - 2/10. Let c = -8440 - s. Let x = -14369/5 - c. Which is bigger: x or 10?
10
Let g(l) = 6*l - 116. Let o be g(18). Let b be 20/16 - 1 - (-210)/o. Is b greater than -27?
True
Let h(a) = a - 90. Let z(i) = i - 180. Let c(n) = 5*h(n) - 3*z(n). Let y be c(-27). Which is greater: 37 or y?
37
Let o be 6/20*-2 - 27/5. Let w be o/(-4) - (-66)/12. Suppose -d + 5*q = 16, 15 = 2*q + w. Is 4 at least as big as d?
True
Let d be (-3)/1 + (88 - 2). Let s(k) = k**3 + 42*k**2 - 5*k - 127. Let g be s(-42). Is g smaller than d?
False
Suppose 1987*g = 1996*g + 2574. Which is bigger: 2/3 or g?
2/3
Let w = -149 + 108. Suppose 3*c + 12 = 3*x - 0*c, 20 = -5*x - 5*c. Suppose -2*j - 46 = p, -2*p - j - 31 - 52 = x. Is w less than or equal to p?
True
Let v = 3 - -106. Let o = v + -74. Suppose -3*j - 2*w + 25 = 0, 6*j + 5*w - o = j. Is j at least as big as 13?
False
Let y = 15.975 + -16. Let k = 3967 + -3966.9. Is y less than k?
True
Let j = -51 - -115. Let t = j + -62. Let u(d) = d**3 - d**2 - 4*d + 2. Let s be u(t). Are 7 and s nonequal?
True
Let h = -4612 - -96854/21. Is 0.029 > h?
False
Let r = -0.15801 - 11813.84199. Which is smaller: r or 2/7?
r
Let z be (-1796)/4041 - (-2270)/(-4662)*-1. Is z at least 0?
True
Let g = 52 - 51. Let w = 1779/793 + -33/13. Is g not equal to w?
True
Let f = -188.187 + 0.187. Let r = f + 266. Let n = 75 - r. Is n < -2/3?
True
Suppose -4*y = -2*y + 4*z + 52, 2*y + 52 = 4*z. Let c be (5 + -3)/((1/11)/(-1)). Is y > c?
False
Let l = -360 + 382. Let u be 822/(-36) - (2 + l/(-12)). Is -17 at most as big as u?
False
Let d = -98 - -97. Let v = 368 - 334.76. Let u = v + -33. Which is bigger: u or d?
u
Let d = -945 - -885. Let r be ((-34)/(-7))/(d/420). Are -41 and r nonequal?
True
Suppose 703*d = 780*d. Which is smaller: -1160 or d?
-1160
Let n = 477 - 847. Let o be (-11)/(-6) - (n/60 + 6). Is o >= -3?
True
Let x = 1/49725 + -8842/3331575. Is x greater than or equal to 1?
False
Let f(c) = c + 18. Let x(i) = -i**3 + 14*i**2 - 42*i + 2. Let z be x(10). Let a be f(z). Which is greater: a or -2/121?
a
Let f be 447/9 + 2/12*2. Let y be 2838/(-1100) - (-4)/f. Which is smaller: y or -2?
y
Let s = -16 - -18. Suppose -614 = -s*p + p. Let k = p - 21492/35. Which is smaller: 0 or k?
k
Let n = 257/70 - 29/14. Let s be (-3*2)/(39/(-52)). Let i = 10 - s. Is n bigger than i?
False
Suppose 4*r - 20 = 0, 89*b - 92*b + 5*r = -1271. Let c be ((-234)/b)/(2 - 1). Is 0 > c?
True
Let n(j) = -3*j**2 - 7*j - 6. Let s be n(-2). Let t be (-2)/s*2 - (72 + -70). Let r be (2/(-7))/((-10)/(-55)). Which is bigger: t or r?
t
Let q = -85 - -196. Let c be ((-6)/18)/(112/(-333) - 6/(-18)). Is c < q?
False
Let r = 1784.2 - 2259. Let u = r + 474. Is u bigger than 0.25?
False
Let x = 88 - 87.18. Let q = -12269/7 - -1753. Which is smaller: q or x?
q
Let r be (-12 - 1044/54)*(-9)/474. Which is smaller: -2 or r?
-2
Let v(t) = 17506271*t**3 - t**2 + 10*t - 21. Let k be v(5). Let d = 671804023656/307 - k. Let q = d - 2843. Which is bigger: q or 0?
q
Let a be (206/721)/(75/(-14)). Is 1 < a?
False
Suppose -9*i + 1122 = 942. Is i smaller than 0.6?
False
Suppose -4*v - 92 = -1660. Suppose 2*c + v = -12*c. Let w = 11 + -40. Which is greater: c or w?
c
Suppose 2 = 2*w + 2*n, 2*n = -4*w + 3 + 7. Suppose -5*d = 3*i - 6*d + 127, 5*d = -w*i - 201. Is i >= -36?
False
Let c be -2 + (2 - (0 + -1)). Let s = 2/235 + 1163/1410. Which is smaller: c or s?
s
Let g = 542 + -541.69. Let n be 2/(-12)*(-15)/(-10). Which is greater: g or n?
g
Let v be (-3)/(-6 + (1824/1842 + 1 - -4)). Is v at least 311?
False
Suppose 150 = 3*v - 13*v. Let r be (0 - 3)*(v/9)/(-5). Are r and -22/21 nonequal?
True
Let v = -336 + 131. Let s = v + 205.1. Which is smaller: 9 or s?
s
Let i be (100/12 - 8)/(2/24). Is i at least as big as -15?
True
Let p = 42889 - 28349607/661. Is p != 1?
True
Let o be (85723200/(-432944))/(-9) - 22. Are 0 and o equal?
False
Let k = 370197 - 17398621/47. Are 14 and k unequal?
True
Let x be 12 + (51134/(-2156) - -12) - 4/14. Is x at least 0?
False
Suppose -97*b = 29*b - 49505 - 125005. Are 1385 and b equal?
True
Suppose -238*n + 25656 = -235*n + 3*g, 5*g = 35. Which is greater: 8547 or n?
8547
Let l = 8252 + -8251. Do 1/7287 and l have the same value?
False
Suppose 17*s = 15*s + 8. Suppose -132 = 4*r - s*d, -3*r - 19 = d + 76. Which is smaller: r or -33?
-33
Let d(h) = 13*h - 37. Let r be d(5). Let z = 29 - r. Which is greater: 5/23 or z?
z
Let s = -0.1549 + -4.4551. Is s greater than or equal to 2/17?
False
Let l(u) = -u**3 + 17*u**2 - 17*u + 20. Let j be l(16). Let s be (j/(-14))/(3/(-14))*3. Suppose -7 = -s*q - h, -5 = 5*q + 3*h + h. Which is smaller: q or 26/7?
q
Let b be 370/(-2405) - (-30040)/194922. Are 2/5 and b nonequal?
True
Let u = 23 + -51. Let l = u - -50. Suppose k = -5*d - l, -k = 2*d - 5 + 15. Which is smaller: -3/4 or d?
d
Let q be (-35906)/(-156) + (-2)/12. Suppose -3*d - 2*o = 3*o + 670, -5*o = -d - q. Which is greater: -223 or d?
-223
Let s(z) = -33*z - 1399. Let q be s(-64). Is 2 less than q?
True
Let s be (-15)/(-24)*(-3)/5 - (-5)/(-8). Is 10/153 less than s?
False
Let h = -349.7 + 349.5. Which is greater: h or 53.5?
53.5
Let d = 2855 - 2854.6. Is d not equal to 188?
True
Let g(j) = j**2 - 6*j + 1. Let b(o) = -o**2 - 9*o - 8. Let z be b(-7). Let q be g(z). Let m be (93/(-2542))/((-3)/(-12)*-6). Which is smaller: q or m?
m
Let u = 24 - 19. Suppose 10 = 2*i - 3*f, i + f - 10 = u*f. Suppose -i*h + 42 = d - 44, -49 = -h + d. Is 46 bigger than h?
True
Suppose -46 = -i - 4*t, 0 = -25*i + 22*i + t + 99. Let x(r) = -r**3 + 10*r**2 - 5*r - 2. Let y be x(9). Is y at most i?
True
Suppose -4*g = -5*q - 9, 4*q - 1493 = -1497. Which is greater: g or -7/313?
g
Suppose -19118 - 3562 = 40*a. Let d be -5*(2 - a/45). Do -70 and d have the same value?
False
Let c be (-9 - (-37515)/4170)/(-1). Suppose 0 = -v + 2*v + 1. Is c > v?
True
Let l(q) = 5*q - 141. Let m be l(29). Suppose -2*r - 15 + 3 = 2*t, 2*r = -m*t - 18. Let z = -3/28 - 22/7. Which is smaller: r or z?
z
Let i(q) = 251*q + 3631. Let s be i(-16). Is -384 smaller than s?
False
Suppose 5*d + 5320 = 20*v + 185, 265 = v - 3*d. Which is bigger: v or 767/3?
v
Let t be 4/(-74) - (-10 - 125567/481). Which is greater: t or 306?
306
Let d = 78 + -75. Suppose -5*s + 7*s = -2, 4*u - 11 = d*s. Which is smaller: 9 or u?
u
Let s be -1 - (0 - (-16 + 2/(-2))). Let q be s + 21 - (26 - -1 - 3). Which is bigger: q or -20?
-20
Let f = -2 - 2. Suppose 19*s = 12*s + 14. Suppose 81*x - 79*x + s = 0. Which is smaller: x or f?
f
Let r = 45747293/838 + -54591. Which is bigger: r or 1?
1
Let g be (((-8)/576*-4)/(2/(-4)))/411. Which is greater: -1/4 or g?
g
Let y = 17.014 - 18.314. Which is bigger: -568 or y?
y
Let p be (-1 + 93)/(3 - 1). Let o = 65 - p. Suppose -4*w + 13 = -o. Which is bigger: 10 or w?
10
Let c(m) = 5*m + 13. Let u be c(-9). Suppose 6*l = -470 + 290. Is u != l?
True
Suppose -646 = -5953*q + 5972*q. Let o be 306/(-8) - 2/(-8). Which is smaller: q or o?
o
Let l(j) = -25*j + 1426. Let i be l(19). Is i not equal to 2855/3?
True
Let p = 71 + -51. Let b(t) = -t - 1. Let r be b(p). Suppose 75 + 123 =