: a or 145?
a
Suppose 0 = -50*t + 51*t - 6. Is t >= 12?
False
Let b be -5*297/(-36)*(-12)/9. Is b != -56?
True
Let u = -352 - -383. Is 0 at most as big as u?
True
Let z(d) = 2*d**3 - 3*d**3 - 4*d**2 + 1 + d - 2 - 3*d. Let l be z(-3). Suppose -4*m - 35 = -23. Which is greater: m or l?
m
Let h = -240 - -247. Suppose -s + 3*s - 19 = -3*a, -s - a = -8. Let n(r) = r**2 - 5*r + 7. Let z be n(s). Do h and z have different values?
False
Let u(a) = -a**2 + 6*a - 2. Let v be u(5). Let z be 1 - (v - (-2 - -24)). Suppose 4*b + z = 2*b. Are 1/3 and b unequal?
True
Let g = 693 - 694. Is g != -143?
True
Let p = -719.25 + 720. Is 1 at most as big as p?
False
Let o = -121 - -112. Is o greater than -65/8?
False
Suppose 161*x - 151*x + 330 = 0. Are x and -33 equal?
True
Suppose -4*h = -3*h - 2. Let d be 42 + (-2)/(-8)*-2*h. Which is greater: 43 or d?
43
Let o = -27 - -33. Suppose -o*n = -5*n - 2. Let t = -2 + 5. Which is smaller: t or n?
n
Let w = 5 + 4. Let p = w + -118/13. Suppose 10*u + 14 = 4. Is u smaller than p?
True
Let i = -245 - -166. Which is bigger: i or -83?
i
Suppose 6*h + 104 = 2*h. Let f be (-83)/3 + 12/18. Let n = h - f. Is 2/97 <= n?
True
Let q = -6 - -2. Let n be (-41)/q*(1 + -5). Let h = n - -165/4. Which is smaller: h or -2/3?
-2/3
Suppose -9*n + 14*n = -10. Let b be n/3 + 5/(-15). Which is smaller: -2/5 or b?
b
Let l = -24 + 24. Suppose l = -19*b + 14*b. Suppose z - a + 5 = 12, b = 3*z + 3*a - 3. Is 14/5 at least as big as z?
False
Let i = -10/3 + 11/3. Is i greater than or equal to 6/31?
True
Let a = 0.22 - 10.22. Let n = a - -25. Let o = -10 + n. Which is smaller: o or -3/7?
-3/7
Let s = 2366/5 + -478. Let i = s - -22/5. Is i greater than -0.3?
False
Suppose 4*u + 235 - 363 = 0. Do u and 29 have the same value?
False
Suppose 2*q - r + 7 = -0*r, 0 = -4*r - 4. Let v(b) = -b**2 - 4*b - 1. Let i be v(q). Let c = -493/4 + 123. Do c and i have the same value?
False
Let n = 2/449 + -1375/6286. Is n > -1/2?
True
Suppose 2*v = -15 - 17. Suppose -3*c - 8*i - 51 = -9*i, -85 = 5*c + 4*i. Which is smaller: v or c?
c
Let d = -6037 + 6038. Let a = -6.87 + -0.13. Let l = 7.3 + a. Which is greater: d or l?
d
Let l = 720 - 3069. Let p = 598996/255 + l. Is p at most as big as 1?
True
Suppose 3*c = -n - 0*n - 5, c - 89 = 5*n. Is -1 > n?
True
Let u = -55/12 + 65/12. Let y = -11.04 - -11. Let x = 0.04 + y. Which is smaller: u or x?
x
Suppose 0 = -5*k + 4*z - 8 - 23, -5*k - 36 = z. Let b = k + 11. Suppose -5*q + 34 - b = 0. Is 6 not equal to q?
False
Let h = -5 - -7. Suppose -2*f + 56 = h*f. Suppose 12 = 2*g - 14. Do f and g have different values?
True
Let y = 5 - 0. Suppose 4*o - 4 - 8 = 0. Suppose 4*i = x - 6, o*x - 2 = i - 5*i. Are y and x nonequal?
True
Let i(r) = -4*r**2 + 24*r - 94. Let v be i(3). Which is bigger: -6 or v?
-6
Let c(j) = j**3 - 10*j**2 - 9*j - 22. Let f be c(11). Suppose -p + 16 = -f*w + 4*w, 5*p = 5*w + 5. Is w equal to 11/5?
False
Let p = 0.49 - -41.51. Let n = -42 + p. Do n and -0.38 have the same value?
False
Let p = 3094 - 157808/51. Which is bigger: p or -1?
p
Suppose 2*k = -k - 828. Let l be 5/(1/(938/(-17))). Let m = l - k. Are 1 and m equal?
False
Let y = 834 + -835. Which is greater: y or 2/2027?
2/2027
Let t = 237 + -236. Is t > 2/1075?
True
Suppose 4*d + 15 - 19 = 0. Let s be d + -2*3/6 + -1. Which is bigger: -3/31 or s?
-3/31
Let h(d) = -2*d - 14. Let a be h(-12). Let k = a - 12. Suppose 5*r - i - 20 = 0, -3*r + 4 = -2*r + 2*i. Which is greater: r or k?
r
Suppose -97 = 3*z - 2*d, -3*d + 131 = -z - 3*z. Is -33 < z?
True
Let j = 0.0189 - -3.9811. Is j > 1/102?
True
Let b(w) = 3*w - 3. Let k be b(1). Suppose 0 = -4*a + 12, k*c + a = -2*c + 79. Which is greater: 37 or c?
c
Let z(f) = -f**3 + 4*f**2 + 5*f + 1. Let w be z(4). Suppose 26*s = w*s. Let a be -4 - (-3 - s - 0). Is a at least as big as -1?
True
Suppose i = -4*i. Suppose i*l - 4 = -l. Which is smaller: 0.3 or l?
0.3
Let n(k) = -4*k - 6. Let c(z) = 9*z + 11. Let w(a) = 3*c(a) + 7*n(a). Let d be w(-9). Let p be (1 - (1 + -2)) + d. Is 5/6 < p?
True
Let q = 7248123533/940 + -7710777. Let i = q + 8/235. Is -8 != i?
True
Suppose 2*u + 5 = -21. Let v be u/26 - 2/4. Which is smaller: v or 2?
v
Let n be (-6 - (-6 + (11 - 4)))*-1. Let f be 9 + -1 - (1 + -2). Which is smaller: n or f?
n
Let z = 70/11293 + 7525081/1185765. Let r = z + 190/21. Let n = -14 + r. Which is greater: 0 or n?
n
Suppose -4*c + 0*z - 9 = -3*z, 3*c + 2*z - 6 = 0. Let q = 335 + -6361/19. Let j = q - -63/152. Which is greater: j or c?
j
Let u(k) = -k**3 + 16*k**2 + 26*k - 152. Let z be u(17). Let y = 1175/8 + -146. Is y < z?
True
Suppose 3*n + 2*n - 4*r = 401, -4*n - 5*r = -288. Which is greater: n or 79?
79
Let l(w) = -2*w - 1. Let d be l(1). Let h = -8 + -34. Let z = h + 77/2. Are z and d unequal?
True
Suppose 6 = -2*q + 2. Suppose -f - x - 4*x = 21, 2*x + 36 = -5*f. Let c be (-25)/39 + q/f. Which is smaller: c or 1?
c
Suppose -5*k - 9 = 6. Let u = 5627/2 + -2763. Let i = u - 52. Which is greater: k or i?
i
Suppose 4*j = -d - 0*j + 82, -2*d + 134 = 2*j. Let a = d + -63. Is a bigger than -0.2?
False
Suppose -111*s + 85*s = 754. Is s > -40?
True
Suppose -248 = -2*x + 4*u, 0 = 4*u + 16. Let h be (-14)/21 + 1*x/(-6). Which is smaller: -21 or h?
-21
Suppose -y = 2*z - 15, -2*y = -3*z - 2*z + 15. Suppose 3*r - 4*s - 1 + 7 = 0, y*r = 3*s - 10. Which is greater: -17/9 or r?
-17/9
Suppose 0*b - 2500 = 5*b. Let z = b - -5512/11. Suppose -2*c + 2 = -0*c + 5*j, c + 4*j - 1 = 0. Which is smaller: z or c?
c
Let l be 8*(-4 - 91/(-22)). Let o be (-171)/308 - 4/14. Let x = l + o. Is x equal to 1?
False
Let r(o) = 9*o - 269. Let q be r(30). Which is smaller: q or 15/59?
15/59
Let s = 3 - 18. Let r be (-2)/(-10) + s/(-175). Do 0.1 and r have the same value?
False
Let d be (-3828)/(-312) + -7 + 10/(-2). Which is smaller: 2 or d?
d
Let u = 3 + 34. Let g = u + -23. Let d = g - 18. Which is bigger: d or 2?
2
Let h be (-5)/2 + (-55)/110. Suppose -4*n = -5*n + 9. Suppose b = -3*q - 2, 0 = -3*b - q - n - 5. Does h = b?
False
Let d = 54 + -325/6. Let u = 292 - 3503/12. Let s = d - u. Which is smaller: 11 or s?
s
Let k be 7 + (-2 - 1) + 6. Let r(u) = 2*u**2 + 5*u. Let q be r(-4). Let t = k - q. Are t and -2 equal?
True
Let f(h) = -2 + 8 - h**2 + 19 - 9*h - 8*h. Let d be f(-15). Which is greater: 54 or d?
d
Let a be 18/4*(-16)/6. Let h(t) = -t - 13. Let f be h(a). Are -0.04 and f non-equal?
True
Suppose 19*b + 256 = 3*b. Which is smaller: -10 or b?
b
Let w be 9/(-15) + (-261)/15. Is w > -89/5?
False
Let y = 47 + -19. Let j be (-67)/4 - 12/(-16). Let s = j + y. Which is smaller: s or 11?
11
Let v = -14 + 14. Let t = -162473/32232 + -5/5372. Let k = 35/8 + t. Which is greater: k or v?
v
Let i = 40.66 + -41. Let k = i + -1.76. Let r = 6.1 + k. Which is smaller: -1 or r?
-1
Let n = -185/1182 + -2/197. Suppose 4*r - 2*l - 2 = 0, 0 = 4*r - 4*l + l + 3. Suppose -h = -4*h - 3*g, -r*g = h. Which is greater: n or h?
h
Let d = -467 - -459. Which is bigger: d or -10?
d
Let n = -112 - -111. Is -0.081 greater than n?
True
Let h = 45 + -59. Let n be (h - (2 - 6)) + 1. Is n equal to -9?
True
Let w = 19 + -1. Let n = -28 + w. Let a = 245/3 + -81. Which is greater: a or n?
a
Let z = 49.17 + -49.2. Which is smaller: z or -2/49?
-2/49
Let o(l) = -l**3 + l**2 + 20. Let p be o(0). Let g be p/(-11) + 4/(-22). Let a be 6/4*(-16)/252*-3. Which is greater: a or g?
a
Suppose -g = 5*z + 13, -2*z = -6*g + 11*g + 19. Is -24/13 < z?
False
Let q be (-319)/(-22) - (-1)/2. Suppose -5*h - 2*k - q = 0, h + 3*h + 12 = -4*k. Let c be (-22)/(-6) + 12/h. Is -3 >= c?
False
Suppose 0*r - r = -5*r. Which is greater: r or -5?
r
Let r = -0.65 - 5.95. Let b = -6.33 - r. Let n = b - -1.73. Which is greater: n or -3?
n
Let j = 31 - 28. Let q be (-2)/(j/6*-5). Which is smaller: 2 or q?
q
Let l be (-12 + (0 - -11))*3/(-6). Is 1 less than l?
False
Suppose l - 14 = -2*y, -2*l - 31 - 5 = -4*y. Suppose 0 = -x + 5*x + y. Let c be (4/16)/(-1)*3. Is x < c?
True
Let v = -1 - -6. Suppose -4*a + v*d = 0, -4*a - 3*d - 2*d + 40 = 0. Let s(g) = g**2 - 3*g - 8. Let b be s(a). Is b at least 3/2?
True
Suppose z = -4*v - 16, -4*z + 5*v - 99 = -z. Let q be z/7 - (-2 - 0). Let h be 2/(-4)*9/2. Which is smaller: q or h?
h
Let q(v) = v**3 - 16*v**2 + 7*v + 119. Let c be q(15). Let p = 8 - 5. Is c at most p