 + 89. Is a bigger than d?
True
Let f = 490 - 495. Which is smaller: -34/9 or f?
f
Suppose l - 3 = -3. Let r(g) = 3*g + 18. Let c be r(-6). Is l not equal to c?
False
Let p = 17 - 43. Let h = p - -38. Is h at most as big as 1?
False
Suppose -5*p + 4269 = -4*x, 0 = 23*p - 22*p - 3*x - 845. Is 857 > p?
False
Suppose 145*u + 279 = 142*u. Is u less than -95?
False
Let u be (-1)/((-4)/72) - 4. Let p be 49/(-14)*(-4)/u. Is 1 less than p?
False
Let z = -11 + 16. Let o be (-2 - -3*z)/1. Suppose n - 2*n = -12. Is n >= o?
False
Let s be -10 - -3 - -2 - (-10 - -8). Is s not equal to -39/10?
True
Suppose 0 = 5*a - 25, 8*a - 3*a = 5*w. Suppose j = w*d - 25, 4*j + d = -j + 5. Is j greater than 1/239?
False
Let s(i) = 2*i - 4 - 16 - 10 + 9. Let u be s(11). Which is greater: 5/9 or u?
u
Suppose -231*r + 232*r = -7. Let i be (-2 - -2)*(r - -6). Which is greater: i or 4/7?
4/7
Let d(r) = 40*r. Let f be d(2). Let a be 60/f + (-19)/12. Which is greater: a or -1?
a
Let l(u) = -168*u**2 + 5*u - 1. Let o be l(-5). Let i be (o/32)/((-4)/(-4)). Let d = 132 + i. Is d at most 0?
True
Let t = -2.9 + 3. Let c = -7 - -5.8. Let h = c + 1.12. Which is smaller: t or h?
h
Let n(d) = d**3 - 8*d**2 + 4. Let f be n(7). Let w be 3/6*f/36. Which is bigger: w or -2?
w
Let m(k) = 2*k + 5. Let w be m(-5). Let o = -1989995/7701 + 12992/51. Let c = o + -2/453. Is c greater than w?
True
Suppose c + 6 = 3*q, -q + 42 = 5*c - 8. Let g be (5 - -1)/((-6)/c). Let b = 14 + g. Which is bigger: b or 4?
b
Let c = -5.63 + 0.23. Let o = 13.4 - 30. Let z = o + c. Which is greater: z or 0?
0
Let y = -19 - -33. Suppose -y = -0*j - j. Is 17 != j?
True
Suppose -4*f = -14*f - 6430. Does -641 = f?
False
Let q = -715 - -714.982. Which is smaller: q or 4?
q
Let g(a) = -a**2 + 11*a + 60. Let o be g(15). Let f be -2*1 - (-21)/15. Let k = 1/2 + f. Is o not equal to k?
True
Let f = 56 - 57. Which is bigger: f or 942?
942
Let z = -83194/65 + 1280. Let s = 16/65 - z. Is s <= 1?
True
Suppose 2*o - 89 = -13. Suppose v = -4*t - o, v = 3*t + 13 + 12. Let a be (t*4/(-60))/(-4). Which is smaller: a or 1?
a
Let s(y) = -y**2 + 10*y - 11. Let v be s(8). Let c be ((-2)/v)/(3*52/(-120)). Are c and 0 equal?
False
Suppose -u = -5*c - 1 - 2, -2*u + 6 = c. Suppose 3*z = -12 + 27, -2*j - z - 1 = 0. Let m be 2*((-4)/(-2) + j). Are c and m nonequal?
True
Let s = -1/3 + 4/7. Let d = -8/63 + s. Is d less than or equal to 1?
True
Let z be 1 + (5 + -3 - 3). Suppose z = -4*c - u + 4*u + 15, -c = -5*u - 25. Suppose -3*m + m - 2 = c. Which is bigger: m or 1/28?
1/28
Suppose -39 = -5*d + 11. Let u = d - 5. Which is smaller: u or 6?
u
Let t(w) = w**2 - 28*w - 49. Let o be t(29). Is o at least as big as -16?
False
Let k = -13 + 9. Let l = 195 + -75. Let y = l - 119.7. Is k less than or equal to y?
True
Let o = 38 + -25. Let p = -13.08 + o. Let t = p + -0.92. Which is smaller: t or 1/3?
t
Let y be 6/15*(-5)/2. Is y bigger than 2/463?
False
Let u(s) = -17*s + 503. Let v be u(22). Is 0.06 at most v?
True
Let f(t) = 24*t - 357. Let d be f(16). Is 28 bigger than d?
True
Let c be 2/(-14) + (-52)/(-756). Suppose -19*y + 2*y = 0. Is c at most y?
True
Let w be -2 + -2 + 2 + 4 + 1. Let o be (-4 - -9)/15*w. Which is smaller: o or -7/6?
-7/6
Let b be 0 + (-250)/(-56) + (-119 - -115). Is 0 less than b?
True
Suppose -204*n + 205*n + 341 = 0. Is n less than -340?
True
Suppose -167 + 47 = -3*u. Let y be (-6)/8 - (-190)/u. Suppose 0*q - 1 = q + 2*p, y*p = 5*q + 5. Which is smaller: q or -4?
-4
Let v be (10 - (3 + 363))/2. Is v at most as big as -179?
False
Let x = -94705/16083 + -2/5361. Let c = x + 7. Which is smaller: 2 or c?
c
Let i = 19 + -12. Let j = i + -7. Does j = -11?
False
Let d = -116 - -115. Let k be -4 + (-2 - -4) - (-7)/d. Is -72/7 at most as big as k?
True
Let b be 1/(-5) - 1645/(-6475). Let w(u) = 14*u + 12. Let k(x) = -5*x - 4. Let f(m) = -17*k(m) - 6*w(m). Let t be f(3). Which is bigger: t or b?
b
Let j = 15 - 16. Let c be -2*3*j/318. Which is smaller: 0 or c?
0
Let o(b) = 2*b - 1. Let i be ((-3)/(-3) - 0)/1. Let j be o(i). Let x be (-10)/(-20) + j/(-4). Is x greater than 1?
False
Let i = -31 - -30.52. Let g = 0.41 + i. Suppose -3*h - 1 + 3 = -l, -8 = -3*l - 5*h. Is l <= g?
False
Let b = 85 - 88. Which is smaller: 0.05 or b?
b
Suppose 7*o = 4*o + 246. Suppose 5*d = 2*m + 98, 0 = 5*d - 2*m + 4*m - o. Which is smaller: d or 19?
d
Let m = -157.07 - 3.93. Let j = 160.93 + m. Do 0.7 and j have the same value?
False
Let o(l) be the first derivative of -l**3/3 + 4*l**2 - 2*l + 2. Let m be o(7). Suppose -m*x + 2*x = -2*i + 4, 4 = 3*x + 2*i. Is 0 greater than or equal to x?
True
Suppose -2*n - 48 = 5*i + 18, 0 = i + 5*n + 27. Let h be (-215)/30*3/2. Is i < h?
True
Let t = 190 + -207. Suppose -l - 1 = 5*f - 0, 0 = 5*l + f + 77. Which is smaller: t or l?
t
Let n be 10*((-69)/675 - (-48)/216). Which is bigger: 1 or n?
n
Let q = 2 - 2. Suppose -2*p + q = -8. Let s = p - 0. Which is bigger: s or 0?
s
Let f = 3754 + -296559/79. Which is bigger: f or 1?
1
Let x be ((-120)/50)/(2/(-5)). Let t be (2/3)/(4/x). Is t <= 1/3?
False
Let u(h) = -288*h - 1081. Let i be u(-7). Is i bigger than 935?
False
Suppose 0 = 159*k - 166*k - 84. Suppose 5 = -3*q - 4. Let p be 2/(k/q)*-44. Which is smaller: p or -21?
p
Suppose 120 = 3*k + 3*f, 20 = 4*f + 4. Suppose 4*g + 3*w = 5*w + k, 0 = 2*g - 3*w - 18. Suppose -5*b = g - 4. Is 2/23 less than b?
False
Let r(j) be the first derivative of -j**3/3 - 3*j**2 - 6*j - 5. Let f be r(-5). Let q be 0 - (2 + f + -1). Is -3 < q?
True
Let d be (21/245)/(-1*6/465). Which is smaller: d or -2/3?
d
Let g be (-2)/((-2)/1)*0. Let q be (-5)/(1/(-2) + g). Let y be (-12)/(-3)*q/(-16). Is y < -4?
False
Let v(m) = -m - 570. Let x(a) = a. Let q be x(0). Let k be v(q). Let u = k + 2837/5. Which is smaller: u or -2?
u
Suppose 2*f - 14 = 3*f + 3*z, -4*f - 4*z - 16 = 0. Let o be (-3)/(-44) + 2/(-8). Is f at least o?
True
Let c be 763/(-77) + 9 - 0. Which is smaller: -1 or c?
-1
Suppose 3*x = 3, -t + 5*x + 4 = 136. Are -127 and t unequal?
False
Let t(m) = -2*m**2 - 6*m - 10. Let u be t(-3). Let a = u - -9. Which is smaller: a or -5?
-5
Suppose -4*a + 3*a = -4*n + 11, 0 = -4*a + 5*n + 11. Suppose v = -5*h + a, 25 = 5*h + v + 4*v. Is h not equal to 8/9?
True
Let q = -233 - -228. Which is smaller: -64/11 or q?
-64/11
Let x = 0.539 - 0.139. Let z = 0.4 - 6.4. Which is smaller: x or z?
z
Suppose 26 + 2 = 2*g. Suppose -10 = 3*n + g. Which is smaller: -6 or n?
n
Let i(z) = z - 2. Let u be i(5). Let r be 0/(-9*u/(-9)). Which is smaller: -2/97 or r?
-2/97
Let y = 386 + -447. Is -65 > y?
False
Let c = 4 + -1. Suppose c*n + 28 = 5*n. Let v be 2/(-18)*(15 - n). Does v = 1?
False
Let j be -2 - (-9 + 3) - 3. Suppose q = -3*i + 18, q + q + 3*i = 21. Suppose -q*d - 4*m - 6 = 2, 3*d + 5*m = -10. Is d at least as big as j?
False
Let b = 55 + -11. Is 41 > b?
False
Suppose 0*z = 3*z - 3. Let c = -129268/9 + 14460. Let g = c - 97. Which is bigger: z or g?
z
Let b = 95 + -138. Let p = -42.8 - b. Is -6/13 at most p?
True
Let t = 96.6 - 100. Is t < -2?
True
Let c = 835.03 - 835. Is 0.29 != c?
True
Let f = -0.01 + -2.99. Let s = -3.571 - -3.691. Is f bigger than s?
False
Let s be 3 - (-3 + 1 - -16). Let x = s + 9. Suppose 2*w = -2 - 4. Which is smaller: x or w?
w
Let p be 3/3*15 + (2 - -3). Are p and 5 equal?
False
Let m be 2*(2 + -2 - 5). Let h be ((-1)/m)/(14/(-5)). Do h and 0 have the same value?
False
Suppose 5*o + 5*p - 13 + 23 = 0, 2*p + 4 = o. Which is smaller: -2/515 or o?
-2/515
Suppose c = -4*l + 48, 2*c + 37 = -5*l + 127. Let g(q) = q**3 + 8*q**2 - 22*q - 163. Let m be g(-7). Are m and c non-equal?
False
Suppose r - 3*m = 15, 4*m - 1 = -4*r + 43. Suppose -17 = 2*c + c - 4*y, c - 3*y + 9 = 0. Let l be ((-8)/r)/(1/c). Is l greater than 1?
True
Suppose 0 = -5*t + 3*f + 11, -4*t = -t - 4*f. Suppose 0 = m - t. Let n(h) = h**3 - h**2 - h + 1. Let q be n(2). Is q at most as big as m?
True
Let i be 4*1 - (26 - 10). Let x be (-33)/i + 2/8. Let u be 9*(-3 + 6)/x. Is u greater than 8?
True
Let f(o) = -2*o**2 - 2*o**3 + 3*o - 4*o**2 + o**3 - 9. Let a be f(-7). Let d be (4 - 2) + a/(-6). Which is smaller: -1 or d?
d
Let m = 205 + -207. Is -35/13 at most m?
True
Let g = 479 - 512. Which is greater: g or 2/3?
2/3
Suppose -8*m + 11*m - 3 = 0. Suppose 0 = -2*b + m + 7. Suppose b 