w + 32. Let h be r(-20). Let f be 0/((-6)/h*(-60)/(-45)). Do f and -1/10 have different values?
True
Suppose -4*b = 2*u - 120, -179 = -5*b + 5*u - 29. Let c be 4/(-6)*b/(-25)*5. Let w be ((-60)/8)/5*c/(-69). Which is smaller: 0 or w?
0
Let u = 77365620/2681 - 28857. Which is smaller: u or 1?
u
Let c be (-5*168/480)/(1/(-2488)). Which is bigger: c or 8705/2?
c
Let v be 62/58 + ((-264)/319)/12. Do v and -1289 have different values?
True
Suppose -9*s + 0*s = -135. Suppose 11 = z + 2*f, 14*z - 4*f = s*z - 21. Which is smaller: z or 2/367?
2/367
Let j = -18539321119 + 1345936173892814/72599. Let w = -1/11463 + j. Is w at most as big as 0?
True
Suppose -278*a = -279*a - 15. Let l be 4/(-18) - a/(107460/1664). Is l at most 1?
True
Suppose 0 = 45*a - 52*a - 2884. Let p = a - -758. Which is bigger: 345 or p?
p
Let u(j) = -11*j**2 + 34*j - 1. Let d(o) = -4*o**2 + 11*o. Let t(l) = -8*d(l) + 3*u(l). Let k be t(10). Suppose 0 = x + 2 - k. Are x and 35 equal?
True
Let w(c) = -5*c + 289. Let v be w(0). Let a = 519/2 - v. Which is smaller: a or -30?
-30
Let y(t) = -23*t - 125. Let g be y(11). Which is bigger: g or -379?
g
Let y = -3590 - -3740. Which is smaller: 151 or y?
y
Let b = 4 - 4. Let q = 8.749 - 28.749. Is b <= q?
False
Let j = 17274 + -17268. Are -145 and j non-equal?
True
Let j be 2 - 3/4 - 64414/56. Which is bigger: j or -1151?
j
Let i = 131 + -171.5. Let o = 4.5 - i. Is o at most as big as 1?
False
Let u = -12 + -21. Let t(q) = -5*q - 81. Let m be t(-10). Is m <= u?
False
Let d be (0 + 1 - 1) + (-14654)/2074 + 11. Are d and 5 non-equal?
True
Suppose -440 = -4*h - 4*a, -19*a = -14*a. Let n = 548/5 - h. Which is smaller: n or -13?
-13
Let o(k) = -k**3 + 3*k**2 - 3. Let g be o(4). Let x(s) = -3*s**2 + 18*s - 5. Let b be x(5). Let j be (b/(-6) + 1)*g/(-95). Which is smaller: -0.1 or j?
j
Let c(g) = -49*g - 168. Let v be c(-11). Does v = 372?
False
Let w be (16 + -19)*-1*(-1 + 0). Let c be (0 + 7)*(3 + -2)*w. Let q be ((-2)/4)/(c/(-18) - 0). Which is bigger: -3 or q?
q
Suppose 120 = 2*s + 6*s. Suppose 3*l - 12 + s = 0. Let y = 239 - 3105/13. Which is smaller: y or l?
l
Let w = 1.05 + 120.95. Let l = 123 - w. Which is smaller: l or -2/19?
-2/19
Let n be 420/(-2673) - -3*12/198. Let w = 133/81 + n. Which is bigger: 2/9 or w?
w
Suppose 0 = 4*n + 1 + 3. Let b be (-35 + 5719/171)*(-48)/(-238). Which is smaller: b or n?
n
Let h be ((-150)/27 + 6)*469/(-132). Let w = 23/27 + h. Let r = 5 - 4. Which is bigger: r or w?
r
Let g(a) = -a**2 + 19*a + 44. Let i be g(21). Let s be ((-4104)/(-81))/(i/(-18)). Is s equal to -455?
False
Suppose 0*g = -5*g - 4*l + 8796, 6*g - 10608 = 4*l. Which is smaller: 1765 or g?
g
Let o be -2*(-3 + 2400325/800110). Let z = o - -47446509/1120154. Let j = z + -202/7. Which is bigger: 13 or j?
j
Suppose 1160 = 2*h - 3*b + 157, 0 = h + 3*b - 533. Is 512 at least as big as h?
True
Let f = 80 - 76. Let l(x) = -x**3 + x. Let w be l(1). Suppose -f*q = -2*j + 74, w = 4*q - 2*q + 5*j + 67. Is q not equal to -20?
True
Let y(u) = u**3 + 10*u**2 + 19*u + 13. Let i = 73 + -81. Let r be y(i). Let g = -0.3 + -0.7. Is g at most as big as r?
False
Suppose f = -j + 8, 0 = -5*f + 4*f + 5*j - 16. Suppose 0 = -f*r - 5*r - 1701. Do r and -189 have different values?
False
Suppose 24*z + 10726 + 16826 = 0. Let t be -1 - (-2 + (-1169)/z). Which is smaller: t or 1?
t
Let v = -2325 - -2373. Which is smaller: 36 or v?
36
Let m = -1026 + 993. Let b = 84 + -118. Does m = b?
False
Let y(q) = -35*q - 6. Let b be y(-3). Let u be 1/(b/(-51) - -2). Suppose 4*p + u = 3*t + 5, 0 = -5*t + p + 3. Which is greater: t or -2/45?
t
Let f(j) = -2*j**2 - 41*j + 69. Let g be f(-18). Is g greater than 159?
False
Let g = -451.1 - -505. Let r = -11.7 + 67.7. Let p = r - g. Which is greater: p or 2/3?
p
Let h be 30 - 10/((-10)/(-5)). Suppose 341 = h*a - 384. Which is smaller: 28 or a?
28
Let z = -9021 - -8809. Do -3 and z have the same value?
False
Let n = -2 + 3. Let h = 4090/1111089 - -4/7077. Which is smaller: n or h?
h
Suppose 4*l - 1193*o + 1188*o = -291, 4*l + 282 = 2*o. Which is bigger: l or -344/5?
-344/5
Let h(b) = 19*b**3 + 2*b**2 - 3*b. Let d be h(2). Let w = d + -167. Suppose -4*j - 44 = 2*t + 2*t, 4*t = 3*j - 72. Is t equal to w?
False
Let m = -2843/372 - -224/31. Do 16 and m have the same value?
False
Let c = -353 - -355. Suppose -11 - 31 = -c*h. Which is greater: h or 24?
24
Let q = -1228345/977801 + 3/88891. Which is smaller: 0 or q?
q
Let v be (-248)/(-1044)*3*9/12. Let a = v - 3473/638. Suppose -3*y + y + o - 11 = 0, 0 = -3*y + o - 16. Which is greater: y or a?
a
Let q be -7 + 5 - 5 - -9. Let h be 0 - q/(-13) - 110902/756860. Is 0 smaller than h?
True
Let j(x) = 134*x**2 + x + 3. Let f be j(-2). Let b be 26 + -25 + 2 + f/(-177). Which is greater: 0 or b?
0
Suppose 52*p = 25*p. Let l = 99 + -140. Let s = l - -777/19. Which is smaller: p or s?
s
Let v = 341192884/29 - 11763769. Let g = v - 1503. Is g < -1?
False
Suppose -463*b = -442*b - 21. Which is bigger: b or 10/573?
b
Suppose 5*o - 88 = 4*c, -3*o - 5*c + 83 - 8 = 0. Suppose 4*f = -4*l + o, 2*f + l + 7 = 3*f. Let z be -3*f/(-27)*(-138)/4. Which is smaller: z or -22?
z
Let j = 2467 + -2572. Let h be (-3)/(-18)*-14*45. Is j at least as big as h?
True
Let l = 51/9494 + 1/1414. Suppose -4*r + 3*t - 4 = 0, -5*r + 2*t = -90 + 95. Does l = r?
False
Let h be ((-2)/(-6))/(((-119)/63)/17). Let n(j) = -2*j**3 - 5*j**2 + 5*j + 6. Let p be n(h). Is 1/8 greater than p?
True
Let g be (3/((-6)/2))/(1/(-2313)). Is g > 2315?
False
Suppose -7*q = -q - 18. Suppose -2*d + 3*y = -21, 4*d + 4*y + 17 = q*d. Suppose -10 = -3*p - 2*p + 5*n, 4*p + d*n = 36. Which is smaller: 5 or p?
5
Let a = -46 + 49. Suppose -121 = -a*p - 46. Suppose -m + p = 4*v, -2*m + 4*v = -v - 37. Is m at most 43/2?
True
Let d = -152.4214 + 0.1214. Let z = -152 - d. Which is smaller: z or -32?
-32
Let m(o) = o**2 - 9*o + 15. Let p be m(7). Let i be (p + 0)*1/(3 + -4). Which is smaller: 2/149 or i?
i
Let u = -0.01 + 12.01. Let f = 12.01 - u. Let r = 3.01 - 6.01. Which is greater: r or f?
f
Suppose 0 = 53*g + 732 - 43. Let o = 17 + -14. Is o at least g?
True
Suppose -78*b = -100*b + 16126. Which is smaller: b or 734?
b
Let s(k) = -12900*k - 51857. Let b be s(-4). Suppose j = -5*m - 261, 0*m + 1285 = -5*j - 5*m. Is b at most j?
True
Let h = 317 + -325. Let a be (-2)/(1 + 2*28/h). Let z = 16 + -22. Is a >= z?
True
Let y = 44344625/1847 + -24009. Do -4 and y have the same value?
False
Let q = -15711.22 + 15711. Is q at least as big as -11.2?
True
Let q be (-30)/(-54) - 367148/660996. Which is smaller: 1 or q?
q
Let c(v) = -v**2 + 16*v + 11. Let o be c(8). Suppose -p = 2*i - 4*p - o, 5*i - 135 = -3*p. Let l = i - 119/4. Is l less than -1/11?
False
Let v = 14 + -9. Suppose -18 = 17*t + 16. Let z be t + 10 - 5*(-9)/(-15). Are z and v unequal?
False
Let d = -131 + 137. Suppose -39 = d*a + 237. Does -49 = a?
False
Let y = -10 - -9. Let m = -0.4458 + -0.0242. Is m greater than y?
True
Let g(s) = -s**2 - 23481*s + 23481*s + 37. Let a be g(6). Is -1/138 at most as big as a?
True
Let w be 8/(-12) + 224/12. Suppose -3*c - c + 5*i + 18 = 0, 0 = 5*c - 4*i - w. Suppose -c*s - 42 = -8*s. Which is greater: 38/5 or s?
38/5
Suppose 38 = -5*l + 4*l. Let a be (-2 - (-1 + 100/(-36))) + -42 + 40. Is l equal to a?
False
Let p = -0.04557 - 3.21443. Which is smaller: p or 2/15?
p
Let d(i) = 2*i**3 + 15*i**2 - 5*i + 52. Let f be d(-6). Is 190 bigger than f?
False
Let n = 1428877 - -24069. Let w = 188883939/130 - n. Let u = -8/65 - w. Which is greater: u or -7?
-7
Let n(b) = 48*b + 109*b - 3*b**2 - 6 - 94*b + 7*b**2 + 0*b**2. Let c be n(-16). Do c and 12 have different values?
True
Let f be 4 - ((-174)/(-44) + -3) - 3. Let q = 430 - 420. Which is smaller: q or f?
f
Suppose 2*q = -2*k + 47 - 147, 0 = -q - 2. Let h be k/(-20) - 2/1. Let u = 451 - 462. Which is smaller: h or u?
u
Suppose -2*l + 5*l = 12*l. Let p(g) = 9*g - 8. Let c be p(l). Which is greater: c or 9?
9
Let y = -42 + 59. Let c = 172 - 309. Let d = -138 - c. Is y bigger than d?
True
Let c(u) = 2*u - 91. Let o be c(35). Let x be -5 - o/(6 + -3). Which is bigger: -1.1 or x?
x
Let i = -0.154 + 84.154. Let d = 31459 - 31543.06. Let w = d + i. Which is smaller: w or 7?
w
Let r = 15985/13089442 + 4/7619. Are r and 1 unequal?
True
Suppos