x - 137 = -3*i. Let s = 397/2 - i. Is 9 at most as big as s?
False
Let n = 1925331101/3738626 - -19/29438. Let q = n + -515. Are -1 and q equal?
False
Let u = -235 - -234. Let w = -0.1 - 0.3. Which is bigger: u or w?
w
Let p = 566 - 378. Suppose 0 = 15*s - 17*s + p. Which is smaller: 93 or s?
93
Let v = 170.028 - 170.1. Is -9 < v?
True
Let c = -285 - -166. Which is smaller: c or -2/3?
c
Let h(o) = -2*o**3 - 2*o**2 - 3. Suppose 23*c - 21*c + 6 = 0. Let f be h(c). Is f less than -1?
False
Let y(j) = -j**3 - 10*j**2 + 4. Let t be 1/(-2) - 114/12. Let k be y(t). Do 4 and k have the same value?
True
Let p(j) = j**3 - j**2. Let f(q) = q**3 + 8*q**2 + 1. Let u(g) = f(g) - 2*p(g). Let c be u(10). Do 2/181 and c have different values?
True
Let p = -171 - -15899/93. Is p not equal to 1?
True
Let m be (-14)/42*18/(-2). Suppose m*z - 4 - 2 = 0. Suppose -c = -3*w + 2 + 2, z*w = 4*c + 16. Which is bigger: w or -5?
w
Let w = 124 - 94. Which is greater: w or 29?
w
Let j be 4/(-14) + 475/(-28). Let g be ((-3)/(-9) - (-5)/15)/((-6)/153). Is g > j?
True
Let d(v) = -v**3 + 16*v**2 + 17*v + 3. Let b be d(17). Let o be (-6)/b + 5 - 3. Let g be 3/6 - 14/20. Which is smaller: o or g?
g
Let r be ((110/10)/55)/(1/(-5)). Which is bigger: r or -1/425?
-1/425
Let w be -2*10/35 + 371/49. Which is smaller: w or 132/23?
132/23
Let u be (-6)/(-27) + (-473)/63. Let m = u + 7. Let k = -1/13 + -11/26. Which is bigger: m or k?
m
Let v be (-153)/68*48/9. Is -19 > v?
False
Let z(i) = 2*i**3 + 66*i**2 + 77*i - 42. Let q be z(-32). Does q = -457?
False
Let c = 92 + -62. Let s be -1 + c*94/(-34). Let i = s - -84. Which is greater: -1 or i?
i
Let f be ((-4)/12)/((-1)/12). Let z be 427/(-49) + 4/(-14). Let q(k) = -k**3 - 8*k**2 + 10*k + 13. Let g be q(z). Do g and f have different values?
False
Suppose 0 = 4*d, 2*d - 20 = -4*y + 4. Let g be 26/y - (-20)/30. Which is bigger: 7 or g?
7
Let z = 20.4 - 1.4. Let f = z + -16.6. Let u = 2.3 - f. Is 5 less than or equal to u?
False
Let k = -557/430 - -17/43. Which is greater: -1 or k?
k
Let j = 2.58 - -0.72. Let u = j - -1.3. Let q = u - -3.4. Is 2 < q?
True
Let w(g) = g**2 - 6*g + 4. Let l be w(4). Let n = -1 + l. Let u be (-2)/(-6 + -1 + 6)*-3. Is n at least u?
True
Let z = -349 - -349. Which is greater: z or -20/47?
z
Let f = -19.8 + 6.5. Is 0.1 greater than or equal to f?
True
Suppose 5*q + 2 = q + 2*h, -5*h + 15 = 0. Is -101 > q?
False
Suppose -13 = -2*v + 9. Let d be ((-28)/(-10))/(2/10). Which is smaller: d or v?
v
Suppose 0 = 11*g - 12*g - 2. Let m be (-6)/(1872/140) + g/(-6). Are m and -1 non-equal?
True
Let x = -7 - -19. Suppose 0 = c - 10 - 1. Is c bigger than x?
False
Suppose -3*u = -4*w - 270, 0 = 8*u - 7*u - 5*w - 79. Is 94 at most u?
True
Let o = 5.038 - 0.038. Which is smaller: 0 or o?
0
Let a(c) = -13*c - 1. Let f be a(-1). Suppose -2*k + 2*p = -3*p - 22, 4*k + 4*p = -f. Let v = -3.98 - -4. Which is smaller: k or v?
v
Let h = -0.04 + 0.04. Let j = 0.1 + h. Let u be (-3)/(42/(-4))*84/108. Is u smaller than j?
False
Let s be 139722/19952 - 7*1. Which is bigger: 0 or s?
s
Let u = -692 + 647. Is -54 less than or equal to u?
True
Let x = 29 - 23. Suppose -4*n - 2*n + x = 0. Is -3/5 less than n?
True
Let y = 33 - 33.37. Let j = y - -0.47. Which is smaller: j or 15?
j
Let h = -34 - -61. Let b = -26.9 + h. Is b >= 13?
False
Let k = -374 + 373.6. Which is smaller: k or -70?
-70
Suppose -2*x + 12 = -4*p, -p + 4*x = 4*p + 21. Let z be ((-1)/(-2))/(p/(-8)). Let h be (-1 - (1 - 1))/((-209)/836). Is h bigger than z?
False
Let w = -6 + 11. Let s = w + -5.1. Let n = 19 + -35/2. Which is smaller: s or n?
s
Let n be (61 - 67) + 83/(-1). Is -90 greater than n?
False
Suppose -5*u + v + 154 = 0, -3*u + 56 = -u + v. Which is bigger: 23 or u?
u
Suppose 3*v = 5*o - 1, v - 2*o - 3*o = 3. Let u = 1213 + -1214.7. Which is smaller: u or v?
v
Let f(p) = -p**2 + 11*p - 6. Let h be f(7). Suppose 2*g = 0, -3*y + 2*g + 128 = y. Let w = h - y. Which is smaller: w or 0.1?
w
Let r = 191/4 - 48. Let f = 92 - 88. Is f less than r?
False
Let k be (-440)/(-520) - 4/(-26). Is 6/149 greater than k?
False
Let i be 3/(-15)*3/(36/15). Is i less than -6/11?
False
Let g be -9 - (-2816)/248 - 4. Is g <= -2?
False
Let u = -43 + 41. Let x be (-15)/(-12) - u/(-8). Is -2/7 smaller than x?
True
Let p be (245 + -248)/(0 + (-6)/(-8)). Let y = 2 - 2. Let t = 0.1 + y. Is p greater than or equal to t?
False
Let j = -38 - -47. Suppose 11 = -4*b - j, -15 = -5*g + 2*b. Let z = 2 - 2. Which is greater: g or z?
g
Let m be 1/5 - 399/95. Let a be ((-175)/30)/(m/(-6)). Are a and -10 equal?
False
Suppose -5*t = v + v - 12, -t = -2*v. Let j be (4/(-8) - v)/((-6)/(-8)). Suppose 5*q = 2*q - b - 7, b - 9 = q. Is q bigger than j?
False
Let s = 49 - -2. Let x be (s/(-34))/(1 - -5). Which is smaller: x or 1?
x
Suppose m = -3*u + 169, -3 = 4*m + 5. Let l = u + -47. Do 12 and l have different values?
True
Let y = 159 - 303. Which is smaller: y or -145?
-145
Let y = -1.799 - -0.019. Let j = 1.22 - y. Is 26 != j?
True
Suppose -i - 1 + 6 = -2*f, 25 = 4*f + 5*i. Let t(u) = -u. Let n be t(f). Let a = 2938/7 + -420. Is a > n?
False
Suppose 2*h + h = 3. Suppose 3*k + h - 16 = 0. Are 5 and k equal?
True
Let y = 953 - 919. Is 35 at least y?
True
Let j(m) = -m**3 - 5*m**2. Let f be j(-5). Suppose -7*i + 3*i - 12 = f. Let o(q) = q**3 + 2*q**2 + 5. Let g be o(-3). Which is bigger: i or g?
i
Let a = 58 + 742. Let s be 20/90 + (a/1962)/(-2). Is s bigger than -1?
True
Let a = -2 + 2. Let w be (-1 + 8/5)/(1/10). Suppose a = -2*c + w*c. Is c less than or equal to -1/9?
False
Suppose 0 = 5*v + 2*v - 7. Let j = -1 + 1.5. Let b = -2.5 + j. Is v less than b?
False
Let v(c) = -6*c + 27. Let f be v(-8). Let r = 72 - f. Is r greater than -2?
False
Let d = 298 - 308. Which is bigger: d or -61/6?
d
Let k = -8/171 + 2434/855. Is k bigger than 2?
True
Let t = -109 - -111. Let a(b) = b**3 - 6*b**2 - 6*b. Let m be a(7). Suppose t*z + 0*z + 3*r + m = 0, r = -3*z. Which is smaller: 1/14 or z?
1/14
Let a = 70 - 61. Suppose -a*y - 2 = -11*y. Let m = -414/7 - -59. Which is smaller: m or y?
m
Let x(z) = -z**3 + 15*z**2 - 14*z. Let n be x(14). Suppose 4*c - 7 = -3*i + 13, n = 2*i - 2*c + 10. Suppose i*o = -o + 2. Are 10/9 and o non-equal?
True
Let g be 1*(3 + -3 + 0). Let a = 17.07 + -17. Let l = a + 0.03. Which is bigger: g or l?
l
Suppose 174*w = 175*w. Is w <= -2/1077?
False
Suppose w = 1, -51 = 3*p + w - 268. Suppose -d = -5*d - p. Which is smaller: -19 or d?
-19
Let q(n) be the first derivative of -n**2/2 - 6*n - 1. Let p be q(-7). Let v be (-12)/6*p/5. Are -2/3 and v non-equal?
True
Suppose 5*d + 2*c - 54 = 0, -3*c - 33 = -0*d - 2*d. Suppose 4*h + 18 = 3*w - 3, -2*h + 2*w = d. Does 6/11 = h?
False
Suppose 3*w - w + t = -416, -1039 = 5*w + 3*t. Let f be (2/5)/(w/95). Which is greater: 10/7 or f?
10/7
Let z = 3.04 - 2.1. Let g = z - -0.06. Let f be (-4)/(-2) + (-1 - 2). Which is bigger: f or g?
g
Suppose -4*r + 12 + 16 = 3*m, 0 = -m + 4. Suppose 0*j - r*j = 48. Does -11 = j?
False
Let j = 55 - 50. Suppose -j*y = -266 + 26. Which is bigger: 49 or y?
49
Let c(g) = -12*g**2 + 13*g**2 - 3*g + 12 - 5*g. Let t be c(7). Is t less than 23/4?
True
Let k = -153 - -93. Is -59 equal to k?
False
Let c be (6 + -30)*(-2)/6. Let m be (2 - 52/c)/(-6). Let x(v) = v**3 + 10*v**2 + 9*v + 1. Let f be x(-9). Which is smaller: m or f?
m
Let d = 3 - 1. Suppose -d*x = 3*k - 19, 5*k - 22 = k - 2*x. Suppose 14 - 38 = k*w. Is -10 > w?
False
Let n(h) = -h**3 + 8*h**2 - 4*h - 6. Let p be n(7). Let b be 6/p*3/(-54). Which is smaller: 1 or b?
b
Suppose -2*y = 4*x - 4, 0 = -y + x + x - 14. Let h(t) = -3*t. Let b be h(y). Let j = b + -27. Which is greater: j or -8?
-8
Let n = -92 + 90.87. Let q = 0.07 - n. Let s = 1.2 - q. Is -1/6 less than s?
True
Let w = 153 - 97. Suppose -10*z + 162 = -7*z. Which is smaller: z or w?
z
Suppose -20 = -4*s - 2*k - 2*k, 20 = 5*k. Let m = -30 + 49. Suppose v - 4 - s = 4*n, -4*v + 3*n = m. Which is bigger: -8 or v?
v
Suppose -2*r - 3*r = 2*j - 13, 0 = 5*j + r - 44. Suppose -5*n = -j*n. Suppose 5*g + 4 + 1 = n. Which is greater: -1/13 or g?
-1/13
Let h be (4/(-8))/(0 + 1/(-36)). Let a be (h/(-24))/(3/24). Are -3 and a unequal?
True
Let c(k) = -13*k**2 + 92*k + 42. Let u(y) = -4*y**2 + 31*y + 14. Let g(m) = 2*c(m) - 7*u(m). Let p be g