 s - 1130. Which is smaller: t or g?
t
Let q be (5/4 - 10/(-40)) + (-14)/4. Let r(w) = -2*w**3 - w**2 - 4*w + 1. Let i be r(-5). Let j be (q/(-5))/(i/(-10)). Which is greater: 1 or j?
1
Suppose 12 = -974*b - 1936. Let n = -4 - 0. Which is smaller: b or n?
n
Let q = 30 - 14. Let l be ((-76)/(-5))/(q/80). Suppose 2*u + l = 4*u. Is u < 37?
False
Let c be (-2)/1025*10/(-18). Let i = 232521 - 232522. Which is smaller: i or c?
i
Suppose 4*u - 4*w + 20 = 0, -w = -3*u + u - 14. Let m be (3/10)/(u/12)*-5. Suppose c - 20 = -j + 2*j, -j + m = 0. Which is bigger: 25 or c?
25
Let t be ((-64)/(-8) + (-148)/18)*2/367. Is 1 at most t?
False
Let p(a) = -9*a**3 + a**2 + a. Let w be p(-1). Let z = -7 - w. Let u be (2/(-4))/((-4)/z) - -7. Which is smaller: u or 3?
3
Suppose 131*x + 152695 = -189*x + 19575. Is x at most -2916/7?
False
Let o be ((-45)/30)/(4/(32/(-42))). Let x = -9802 + 48776/5. Let c = -47 - x. Is c < o?
True
Let g = -29 + 12. Let n = -22.5 - g. Let q = 7.5 + n. Which is smaller: q or 1/2?
1/2
Let x = -2 + -6. Let l be 9/((-9)/(-14))*1/2. Suppose 0 = 5*t + w + 50, -28 = -l*t + 9*t + 2*w. Which is smaller: x or t?
t
Let c be 1/(-4) + ((-25010)/(-136))/41. Let z = 140 + -136. Which is smaller: z or c?
z
Let z = 133 + -133. Suppose 11*d + 4*d + 30 = z. Which is smaller: d or -74?
-74
Let j be -2*(-6)/(-6) + (-249)/19. Which is bigger: j or -16?
j
Let k(b) = -b**3 - 8*b**2 + 11*b - 1. Let y be k(-6). Let n = -79 - y. Let o = 39 - n. Which is bigger: -19 or o?
-19
Suppose 309949 + 161821 = 142*c + 105*c. Is 1910 != c?
False
Let a = -1209942280933981/175271 - -6903265691. Let u = a + 2/3307. Let l = 150 - 150. Which is greater: l or u?
l
Suppose 3*m + x = -130, -125 = 3*m - 5*x + 35. Let t be 8/(-6)*m/6*5. Is t at most as big as 49?
False
Let o = 78 - 45. Let h = o - 28. Suppose -b - 2*b - 2*u - 20 = 0, -h*u = 5. Which is greater: -2 or b?
-2
Let j = -3.624 + 214.624. Which is smaller: 2/7 or j?
2/7
Suppose -12 = -5*v - 22, q - 39 = 5*v. Suppose 31*f - q*f = -44. Is f at least -22?
True
Suppose -3*m - 4*n - 6 = 0, 10*n + 8 = -4*m + 5*n. Suppose 0 = -h + 2*g - 1, -6*h + 2*h = 2*g + 34. Which is bigger: m or h?
m
Let j(z) = 2*z + 46. Let w = -8 + -13. Let m be j(w). Suppose m = -y + 5. Is y smaller than -2/43?
False
Let y(c) = -5*c**3 - 5*c**2 + 3*c + 1. Let v be y(1). Let t be (654/2)/(v*(-1)/10). Is t at most 545?
True
Suppose -11*b + 41 - 41 = 0. Suppose -2*o + 5*q + 16 = 45, b = -2*o - 4*q + 16. Is 2 less than o?
False
Let q = 7.3 - -31.7. Let s = q + -39.027. Let h = s + 0.177. Which is greater: 1 or h?
1
Suppose 19 = -n - 74. Let z = -94 - n. Is -3 at least z?
False
Let h be (6/4)/(17/(-34)) + 8. Suppose -4*i = -4*d - 44, -h*i - 6*d = -3*d - 71. Which is smaller: 9 or i?
9
Let q(p) = -p**3 - 34*p**2 + 37*p + 131. Suppose -3*i - 2*n = 103, 3*n = 4*i + n + 142. Let w be q(i). Which is smaller: -1 or w?
-1
Let y(t) = 13*t + 3. Let u be y(4). Let n = -51 + u. Suppose 0 = 3*r - 0*q + 2*q - 9, 4*r - n*q = -8. Which is smaller: -8 or r?
-8
Let h(l) = -l**3 - l**2 - 5*l + 1. Let c be h(-5). Suppose c = 3*a + 99. Let j be (-1*1)/(-6 + a). Does j = -1?
False
Let i be (12/(-8))/(27/18). Which is greater: 3/1126 or i?
3/1126
Let o be 134/(-3953) - (-10724)/(-413). Let k(u) = 16*u + 4. Let f be k(6). Suppose -f = 5*y - y. Does o = y?
False
Let u = -1331 - -1328.185. Let b = u - 0.185. Does -0.25 = b?
False
Let h be 3/(-6) + 550/20. Let t = h - 28. Is t > 3/25?
False
Let t = 465 - 969/2. Let c(v) = 265*v - 1040. Let l be c(4). Let f = t + l. Are f and 48 non-equal?
True
Suppose -117 - 243 = -z + 7*z. Which is smaller: -55 or z?
z
Let j(v) = v**2 - 205*v + 606. Let n be j(3). Is n > -7/507?
True
Let j = 109.279 + 0.421. Let l = j - 46.8. Let u = 68 - l. Is -1/4 at least u?
False
Suppose 29*l = 34*l - 280. Suppose -9*n - l = -n. Is -13 greater than or equal to n?
False
Suppose -195*u + 39*u + 1258733 + 621535 = 0. Is 12053 at least u?
True
Let h(x) = -3*x + 19. Let g be h(5). Suppose -25*s + 22*s + 5*r = 8, 0 = g*s + 5*r - 1. Let w be 1/((-38)/41) + 1. Do s and w have different values?
True
Suppose 2*l = 4*l - 5*z - 10, 0 = -4*l - 3*z + 20. Let m = l - 1. Let a be ((-8)/5)/m*(-5)/2. Do 3/13 and a have the same value?
False
Suppose -4*j = r + 1, 0*j + 2*j - 27 = -3*r. Let g be (3 - 0)*r/33. Let x = -3619 + 75995/21. Which is smaller: g or x?
x
Let h = -45 + 66. Let u = 3.23 - 2.98. Let s = u + -0.35. Is h less than s?
False
Let d = 577 + -571. Suppose 32*r + d*r = 0. Is r >= -2/951?
True
Let l(z) = 778*z**2 + 9*z + 9. Let b be l(-1). Is 780 at least as big as b?
True
Let n = 504.018 - 504. Let b = n - 563.018. Which is smaller: b or 1/4?
b
Suppose -34*d = -36*d - 228. Let t = -138 - d. Let v be ((-45)/100)/3*t. Is 4 at least as big as v?
True
Let d(v) = -v**3 - 28*v**2 - 146*v - 4129. Let x be d(-29). Are x and 954 non-equal?
True
Let i be (-2)/(-48)*454 - ((-17)/(-12))/(-17). Which is bigger: -95 or i?
i
Suppose 15*w + 11*w - 23608 = 0. Let x = w + -908. Is -4/75 less than x?
True
Let o(k) = k**3 + 93*k**2 + 133*k - 1305. Let d be o(-90). Is d smaller than 11025?
False
Let y(o) = -o**2 + 23*o + 5. Let r be y(23). Let i = -40 + 43. Suppose 3*s + 3*d - 24 = 0, i*s - 2*d + 4*d - 23 = 0. Does r = s?
False
Let v(x) = -2*x**3 + 9*x**2 - 7*x + 2. Let i be v(3). Let z be ((-8)/(-6))/((-2)/(-9)). Which is smaller: i or z?
z
Let v = 1211 - 1226. Suppose 2*y - 1 - 9 = 0. Suppose a = -18 + y. Is v greater than or equal to a?
False
Let j be (6/57 - 1887/57)*3/39. Which is greater: j or -2?
-2
Suppose 0 = 5*y - 3*j - 2394, -468 = 75*y - 76*y - 3*j. Which is smaller: y or -2/15?
-2/15
Let g = 2822 + -426120/151. Let s(w) = w**2 + w + 1. Let x(b) = -4*b**2 - 19*b - 4. Let u(n) = -5*s(n) - x(n). Let m be u(14). Which is smaller: m or g?
m
Let h(d) = 3*d**2 - 363*d - 58. Let f be h(120). Is -2920/7 bigger than f?
True
Let y be (-12)/(-28) + (-657351)/21 + 6. Let k = -344634/11 - y. Is -34 not equal to k?
True
Suppose -131*d - 3697 = -12081. Let k = 92 + -27. Is d <= k?
True
Let n(f) = 79*f + 67. Let o be n(-1). Let z be -261*(o/(-9))/(-4). Is 262/3 not equal to z?
True
Let r = 1234/2135 + -2/305. Let w = 30449 - 30449. Does w = r?
False
Let h = 0 - -5. Suppose -h*d = 0, 6*y = 4*y + 2*d - 16. Which is bigger: -11 or y?
y
Suppose -3*b - 1991 = b - 3*o, -5*b + 2*o = 2487. Let r = b + 498. Which is smaller: 1/12 or r?
1/12
Let g = -60 - -64. Suppose 0 = -g*z - 4*d - 7 + 3, -z - 5*d + 11 = 0. Let l = -1067/3 + 351. Which is smaller: z or l?
l
Suppose -3*o + 5*t = -1748, 582 = o - 10*t + 8*t. Let v = o - 206. Is v != 381?
True
Let f = 2282 - 3105. Do f and 1 have the same value?
False
Suppose 0 = 4*h + a + 46, 8*h + 37 = 5*h - 2*a. Let m be (-3)/h + 0/(-3). Suppose 44*k - 2 + 0 = -46. Which is smaller: k or m?
k
Let r = -21938945/208 + 105476. Let p = r + 566233/1872. Let k = p - 302. Which is bigger: k or 0?
k
Let f be (205 + -4)*(-39)/9. Let t = 790 + f. Which is smaller: -79 or t?
t
Let m = 43923 - 30238. Which is smaller: m or 13686?
m
Suppose 3*o - 4*o - 299 = -4*n, -n = -2*o - 66. Let p be (-115)/(-45)*21 + (-2)/(-6). Suppose 13*r - n = p. Is r > 11?
False
Let k = -213 + -32. Let i = -234 - k. Which is smaller: 14 or i?
i
Suppose 4*y - 13*k + 7908 = -11*k, 0 = y - 4*k + 1963. Which is greater: y or -1980?
y
Let f be 0/152*(0 + -1). Let g = -17.23 - -17. Let n = 9.23 + g. Is n at least f?
True
Let a be ((-58956)/8154 - -7) + 2/18. Is 0 greater than a?
True
Let w = 5.03 + -40.53. Let o = -19.5 - w. Which is greater: -1 or o?
o
Suppose y - v + 3*v = 1, 3*y - 5 = -4*v. Suppose 0 = 3*c, -y = 3*o + c + 3*c. Let a = 944.1 + -946. Is o < a?
False
Suppose 11*k - 31238 = -32294. Which is smaller: k or -69?
k
Let b be -2*821/(-2) + (-89 - -97). Which is smaller: b or 830?
b
Suppose 0*j + 16 = -4*j + 5*g, -j + g = 3. Let w be (((6 - 4) + -3)/1)/j. Which is smaller: -2/29 or w?
w
Let r = 0.132 + 29.168. Let k = r - 30. Let y = -6.7 - k. Is 1 less than or equal to y?
False
Let q = 1.8003 + -15947.8003. Which is bigger: q or 1?
1
Let l = -0.01445 - 2.98555. Let z = -0.04 - -0.13. Is z equal to l?
False
Let k(m) = -m**2 - 127*m - 3331. Let d be k(-37). Which is bigger: d or -4/5937?
-4/5937
Let w = 250292/9 - 6424995631/231030. Are w and 0 unequal?
True
Let i = 3742 - 3743. Which is smaller: 4