 be u(1). Let f be a/4*(-112)/133. Are 1 and f equal?
False
Suppose -609057 = 2*f - 5815589. Let a = -70300492/27 + f. Let k = a + 456. Is 1 <= k?
False
Let x be 2/6 - 894/1872. Is x less than 1?
True
Let g(m) = 4*m**2 + 4*m - 10. Let i be g(-7). Suppose 3*h = -s + i, 311 = 5*s - 3*s + 5*h. Let v = 2575/18 - s. Which is bigger: -1 or v?
v
Let g = 25.97 + -24.97. Let y = -17/22 + 3/11. Is y at least g?
False
Let b(o) = 20*o - 73. Let j be b(6). Is j equal to 46?
False
Let c = -83 + 88. Suppose -c*m = 7*m. Are m and -2/21 equal?
False
Let p = 21 - 21.7. Let o = -0.7 - p. Are 5 and o equal?
False
Let n(g) = -62*g**2 - 77*g - 18. Let r be n(-5). Is r >= -1183?
True
Let f(d) = -3*d**2 - 22*d - 23. Let g(i) = -4*i**2 - 33*i - 34. Let v(j) = 7*f(j) - 5*g(j). Let b be v(12). Which is smaller: -2 or b?
b
Suppose k + k + 4 = 0. Let m be (1/k)/(7/(-2)). Let i = 16341 - 16337. Do i and m have different values?
True
Let z be (2/4)/(4/(-24)) - -2. Is 2/57 at most as big as z?
False
Suppose -3*c = 32 - 41. Suppose -c = b - 6. Which is greater: 4 or b?
4
Let w = 198 + -191. Let t = 10 + -19. Let n = t + w. Which is smaller: -1/2 or n?
n
Let c = -1.2085 - -1.27. Which is bigger: 1/4 or c?
1/4
Let d = 3.94 - -0.06. Let z = d - 4. Let l = -4 + 4. Is l <= z?
True
Let z = -208.9 - -209. Are 2/43 and z nonequal?
True
Suppose 4*a - 8 = 5*r, -4*r - 4 = -6*a + 4*a. Is 2/89 smaller than r?
False
Let r = -49/57 - 28/19. Let k(s) = 3*s**2 - 12*s - 19. Let c be k(9). Let p = c - 117. Is r at least as big as p?
False
Let g be 9/162*6*(-135)/78. Is g < -0.3?
True
Let t(d) = 15*d - 7. Let s be t(-3). Let g = -1 - s. Which is bigger: 52 or g?
52
Let u = 9 - 12. Let j be 15/3 - u/1. Suppose 31 = 3*d - 0*d + 4*t, j = -4*t. Which is bigger: d or 12?
d
Let u = -398 + 397. Which is smaller: -1/529 or u?
u
Let p = 80 - 643/8. Let a(h) = -h**3 - 4*h**2 - h + 6. Let t be a(-4). Suppose -2*m - t = -5*s + 13, -2*s + 10 = 0. Is m at most as big as p?
False
Let y(n) = -n**3 + 4*n**2 - n - 4. Let c be y(3). Suppose -3*s + v + 3 = -2*v, 16 = 4*s + 2*v. Which is greater: s or c?
s
Let j be (97/(-4))/(4/((-32)/(-286))). Let w = j + 10/11. Is w >= -1?
True
Let w be 3/((-28)/27 - -1). Let j be ((-24)/(-8))/((-2145)/w). Let k = j + -2/55. Is k equal to -1?
False
Suppose -10 = -2*h, -3*p + 4*h = 2*p + 720. Is p smaller than -139?
True
Let z(u) = 4*u**2 - 2*u - 3. Let b be z(-2). Suppose b*g - 12*g + 15 = 0. Let h be 3*3/9*1. Which is smaller: g or h?
g
Let a = 2.79 - 2.59. Which is smaller: -52 or a?
-52
Suppose 0 = -3*o - 12, 2*o - 8 = 5*i - 36. Let y be 16/i + -4 - -3. Suppose 0*n - 5*n = d - 68, -32 = -y*n - 5*d. Is 13 bigger than n?
False
Suppose 36 = 5*x + 6. Let k(o) = -o**2 + 10*o - 19. Let m be k(x). Which is greater: 1/7 or m?
m
Let m = -105 - -111. Is 6 less than or equal to m?
True
Let x(p) = p**3 - 2*p + 46. Let n be x(-4). Which is smaller: n or -32?
-32
Let q = 407 - 202. Which is smaller: -1 or q?
-1
Let g be -3*(-2 - (-112)/12). Let u = g + 23. Which is smaller: 0 or u?
0
Let c = -0.21 - -0.1. Let t = 3.51 + -3.3. Let x = c + t. Which is bigger: 7 or x?
7
Let v = -871489/257 - -3391. Let x = -10162 + 10161. Is v < x?
False
Suppose -5*n + 270 = 280. Let c be 2/(-2)*0/n. Which is greater: -1/49 or c?
c
Suppose -3*x + 0*x - 19611 = 0. Let f be 24 - 27 - x/(-7). Let i = f - -942. Is i less than 4?
False
Suppose -3*z - 14 + 0 = -2*x, -4*z - 16 = -2*x. Suppose -x*w + 9*w = -5. Is 0 less than or equal to w?
False
Let z = 39.6 - 39.7. Which is smaller: 159/4 or z?
z
Suppose 4*g = 5*s - 27, 6*g = 8*g + s + 3. Let q(j) = j**3 + 5*j**2 - 5*j + 1. Let f be q(-6). Let t = f - g. Is -2/7 greater than t?
True
Suppose -9*v - 24 = -105. Is 55/6 less than v?
False
Let x = 533 + -700. Is x smaller than -166?
True
Let n(z) = -z**2 - 2*z - 1. Let s be n(-1). Suppose 6 - 14 = 4*h, s = q - 2*h - 9. Suppose -3*t + q = -8*t. Is -1/14 less than t?
False
Let z = 13.108 - 0.108. Which is smaller: z or -0.9?
-0.9
Suppose 1339 = -5*f + 18*f. Let d = -107 + f. Which is smaller: 0 or d?
d
Let l be ((36/2)/3 + -5)*197. Is 193 equal to l?
False
Suppose 0 = -33*v - 37*v + 560. Which is greater: v or 9?
9
Let v = 0.07 + -0.17. Let m = v - 7.9. Let x = m + 7.9. Do x and 3/2 have the same value?
False
Let w = -40.3 - -40.3. Which is greater: w or 0.87?
0.87
Suppose 49*i + 5*c = 45*i - 21, -15 = 3*c. Which is greater: 3/652 or i?
i
Suppose -23 = 4*l - 3*v, v - 11 = 3*l - 0. Let d be l - (2 - 0/2). Let c be 10 + -7 - d/1. Is c at most 7?
True
Suppose 3 = -x - 8. Let t be (-2)/(-9) - 232*(-2)/18. Let a = 15 - t. Is x at most as big as a?
True
Let t = 352/1539 + -10/81. Suppose -5*d + d + 16 = 0. Suppose -d = -3*w - 4*k, w = 3*k - 8*k + 5. Which is greater: w or t?
t
Let i = 36.6 - 69.7. Let v = i - -33. Which is smaller: 1/13 or v?
v
Let a = -0.1 - 0.9. Let y(h) = -h + 2. Let r be y(6). Let z(t) = -5*t - 10. Let o be z(r). Is o equal to a?
False
Let r be 6/33 - ((-194)/22 - 3). Let t = -4 + 14. Is r at most t?
False
Let z(v) = v**2 - 2*v - 1. Let n be z(2). Let k = 76 - 140. Let b be (k/28 + 2)/2. Which is bigger: n or b?
b
Let a = -16 + 19. Suppose -a*x = -r + 3*r + 31, 2*x = -r - 18. Is -8 not equal to r?
False
Let a = 52 + -53. Let s = -3 + 1. Let f be a/((-3)/(12/s)). Is f equal to 8?
False
Let q = -0.663 + 0.763. Let c be 3/((-6)/(-20)) - 1. Is c greater than q?
True
Let o be 19/(285/(-50))*(-30)/(-8). Let y = -20 + 7. Which is bigger: o or y?
o
Let f = 50 - 50. Is f bigger than -1/1053?
True
Let r = 0 + -1. Let y = -28350/17062237 + 4/11101. Let q = -1461/58406 + y. Which is bigger: r or q?
q
Let b be (36/(-48))/(-3 - 7986/(-2672)). Which is greater: b or 66?
b
Suppose 7*r = 8*r. Let n = -2 + r. Let a(s) = s + 8. Let m be a(-6). Is n <= m?
True
Let q(v) = -v**2 - 30*v - 33. Let r be q(-29). Suppose -2*y - b = -2*b - 3, 5*b = -3*y - 28. Let c be 3*(-2 - y)/1. Which is smaller: r or c?
r
Let j = 12.4 + -22.4. Let f = 97 - 97. Is j bigger than f?
False
Suppose -4*m + 21 = -3*j, 5*j + 0 = -15. Suppose 16 = -s - m*s. Let d = 14 + s. Are d and 9 nonequal?
True
Suppose 141*o - 146*o = -360. Is 72 > o?
False
Let l = -817 - -844. Is 244/9 >= l?
True
Suppose -3*p - 3*i = 21, 0 = 5*p - i + 58 - 5. Let h = p + 12. Suppose -2*k - 4 = -2*y, -6 = -3*y + 3*k - h*k. Which is bigger: 3 or y?
3
Let y = -1.59 - -24.29. Let g = 22.952 + 0.048. Let v = y - g. Which is smaller: v or 2/11?
v
Let o = -44.7 - -45. Let w = -0.41 + 0.06. Let s = w + o. Which is greater: s or 2/7?
2/7
Suppose 240 = 713*m - 718*m. Is -46 at most as big as m?
False
Let h = 0.048 + -2.148. Let x = -4/79 + 91/237. Is x >= h?
True
Let v = 0.6 + 0.2. Let y = 389.8 + -341. Let o = 49 - y. Does v = o?
False
Let v be (0 - 58/4)/(81/(-162)). Are 30 and v unequal?
True
Let r = -8/99 + 6376/495. Which is bigger: 13 or r?
13
Suppose -682 = o - 670. Is o at most as big as -4?
True
Let d be (-9)/252*48/4. Let a(v) = v**3 + 3*v**2 - 4*v + 2. Let r be a(-4). Suppose -r*s = -3*s + 1. Is d not equal to s?
True
Let t = -12 + 12. Let g be 0 - (-14 + 2) - t. Let j be (18/g)/(3/(-16)). Do -8 and j have different values?
False
Let a(c) = -2*c**3 + c**2 - c + 28. Let d be a(0). Does d = 36?
False
Let h = 0.04 - 0. Let t = -327.09 + 327. Let i = t - h. Which is smaller: -1/4 or i?
-1/4
Let s be (12/20)/(-3) + 962/10. Are 96 and s unequal?
False
Let h be (42/(-10))/(1/(-15)). Is h < 61?
False
Let i = -8.57 + 2.57. Is i less than or equal to 0.09?
True
Let t(z) = 154*z - 6. Let p be t(-2). Does p = -313?
False
Let a be 681/15 - (-10)/(-25). Let j = a - 42. Suppose 4*x = 10 + 2. Is x equal to j?
True
Let t be -3 - -6 - -6*6/9. Let j be (9/(126/(-4)))/(4/t). Is j at least as big as 2/7?
False
Let s = 0.09166 + -13.09166. Let g(o) = o**2 - 6*o - 1. Let u be g(6). Are u and s equal?
False
Let n = -52 + 35. Let b = n - -17.3. Is -0.4 greater than b?
False
Let o(a) = -a**2 + 2*a + 5. Let c be o(3). Let h be -1 - -3*(-3 + c). Which is greater: h or 0?
0
Suppose -200 = 5*x + 3*x. Which is bigger: x or -24?
-24
Let t be ((-10)/(-15))/(414/(-27)). Do 5 and t have different values?
True
Let n = 1112.976 + -1113. Is n bigger than -0.1?
True
Let r = 690.9 - 691. Is r less than -90?
False
Let w = 0.5 + 15.5. Let q = -30 + 13. Let n = w + q. Is n equal to 2/5?
False
Let x be -3*(2606/54 + 2/27). 