 non-equal?
True
Suppose -4*m + 3 = -5. Let t = 48 - 45. Is t != m?
True
Let v = -457 + 449. Which is smaller: -82/9 or v?
-82/9
Suppose -2*p - 2*p - 5976 = 0. Let t be 3 + p/(-14) + 3. Let a = -113 + t. Which is smaller: 3/7 or a?
a
Suppose 4*i - 4*n = 56, 5*n - 11 - 81 = -4*i. Let t be i/(-4)*(-2)/(-1). Let g = t - -10. Which is bigger: g or 3?
3
Let o(f) = -2*f + 7. Let z be o(2). Suppose -221 = z*j - 50. Are -58 and j equal?
False
Let u = -1400/144789 + -2/867. Are u and -11 equal?
False
Let l = -343 - 341. Let r = 379676 - 3410918/9. Let o = r + l. Which is smaller: 0 or o?
0
Suppose 0 = -19*k + 14 + 24. Is -26 at most k?
True
Suppose 0*x + x + 3 = 0. Let l be 5 + 0/(4 - 0). Let t be (-3)/(12/l) - (-2)/8. Is t bigger than x?
True
Let i be -2 + 9 - 3/(36/84). Do 2/595 and i have different values?
True
Suppose -j + 3*j = 66. Let l = j - 32. Are 4 and l unequal?
True
Suppose -u + 14 = -i - 98, 5*u - 4*i - 564 = 0. Is 117 bigger than u?
True
Suppose -2*o - 5*c = 12, -2*o + 5*o + 5*c + 13 = 0. Let g(q) = -q + 0 - 4*q**2 + 4 + 5*q**3 - 4*q**3. Let v be g(4). Are o and v nonequal?
True
Let n(r) = r - 1. Let z be n(3). Suppose h - 2*h + 1 = 0. Let a be 4/(-18)*(-11 - h). Are a and z unequal?
True
Let l = -387 - -384. Which is smaller: 40 or l?
l
Let a = 3 + 2. Let c(b) = b**2 + 10*b - 106. Let k be c(-17). Suppose 5*f = -a*u + 5, 5*f = 2*u + u + k. Which is greater: 2 or u?
2
Let n = -340206/25 - -13618. Which is bigger: 11 or n?
11
Suppose -4*w = -2*v + 36, -5*w - 42 = v + 17. Let k(n) = -3*n - 22. Let b be k(w). Is 11 less than or equal to b?
True
Let h = -0.03 - 9.97. Let o = -9 - h. Let r = -41 + 121/3. Is o at least as big as r?
True
Suppose 5*l - 3*b = -2435, -4*l + 3*b = -323 + 2268. Is l <= -490?
True
Let g = 162.37 - 161. Let d = 0.03 + g. Is d at most as big as -1/3?
False
Let b = 4 + -3. Let m(y) be the first derivative of y**4/4 - 7*y**3/3 - 5*y**2 + 17*y + 22. Let l be m(8). Is b < l?
False
Let a = -90 - -102. Let l = -12 + a. Which is smaller: -0.4 or l?
-0.4
Let y = -81 + 75. Which is bigger: -13 or y?
y
Let w be ((-1)/9)/(1 - 2). Let v = -49 - -33. Let y(c) = -c**2 - 16*c + 1. Let h be y(v). Is w smaller than h?
True
Suppose 4*s + s + 19 = -2*z, 0 = 4*z - 2*s - 22. Let t be 16/(-4)*(-5)/4. Suppose z*m + 11 = t. Is m bigger than -3?
True
Let u = 0.49 - 0.02. Let g = u + 0.13. Let w = g - 0.2. Is w bigger than 0.3?
True
Let x = 83/12 + -17/3. Let b = 507.1 + -507. Which is bigger: b or x?
x
Let x(z) = z - 5. Let r be x(5). Let k = -201 - -117. Let l be (18/k)/(3/(-6)). Which is greater: r or l?
l
Let a = 387 + -23991/62. Is -1 > a?
False
Let m = 159/2 - 1065/14. Is m less than or equal to 2?
False
Suppose 0 = -21*r + 20*r - 72. Let d = r + 72. Which is smaller: -1/13 or d?
-1/13
Let g = 61 + -133. Let w = 68 + g. Is 7 less than w?
False
Let m(j) = j**3 + 6*j**2 - 6*j + 8. Let u be m(-7). Suppose 0 = -w - u + 2. Let i be (-320)/(-624) - (-2)/(-3). Is i >= w?
False
Suppose 4*v + 330 = 3*f, -4*v - 5*f - 6 - 340 = 0. Which is smaller: -5 or v?
v
Let k = 7573645/1007 + -7521. Is -1 >= k?
False
Let r be ((-48)/14)/((-5)/35). Let i be (-4542)/(-8) + r/(-32). Let f = -6233/11 + i. Is f > 2/7?
True
Let f = 287939460137416/8705 + -33077479677. Let q = 10/1741 - f. Let w = -52 + q. Is w <= 0.6?
True
Let n be 6/4*(-28)/(-42). Suppose 0 = -6*y - 25 + n. Is -2 >= y?
True
Suppose -36*v - 357 = 15*v. Let t be -9*(-3)/4*8. Let f = 272/5 - t. Which is greater: v or f?
f
Let r = 4231519/8211 - 62/357. Let l = r + -515. Is 1 > l?
True
Let t = 403/12852 + 2/459. Are -1 and t equal?
False
Let g = 22 - 15. Let c = g - 29. Is -23 < c?
True
Let j = -0.105 + -0.395. Is j bigger than -0.17?
False
Let d(x) = 4*x + 188. Let z be d(-47). Which is smaller: 1/27 or z?
z
Let b = -74 - -11. Let j(g) = -g**3 + 22*g**2 - 21*g - 1. Let o be j(21). Do b and o have the same value?
False
Suppose 24*q - 127 = 569. Which is bigger: q or 27?
q
Let s be (-570)/1220 + (-2)/(-4). Which is greater: -1 or s?
s
Let i be 260/78*(-36)/10. Let l = i - -10. Is -10 at least l?
False
Suppose -5*j = 4*f - 37, f - 3*j - 6 = -1. Let d be (-76)/f - 20/8. Which is smaller: -9 or d?
d
Let x = -4 - -7. Suppose 5*i - 17 = -5*l + 18, -5*l + 20 = 0. Suppose 2*a = 0, 0 = i*r + 3*a + a - 12. Which is smaller: x or r?
x
Let i = 9/17 - 47/153. Let n = -23.72 - 7.18. Let u = 31 + n. Which is bigger: u or i?
i
Let w(u) be the first derivative of u**4/4 - u**3/3 - u**2/2 + u - 1. Let z be w(0). Let m(j) = 4*j + 17. Let h be m(-4). Is z < h?
False
Let u(v) = 6*v**3 + v**2 - 3*v - 2. Let h be 4*1/(-2)*1. Let c be u(h). Let o be 2 - (c/(-19))/1. Is o at most as big as 1?
True
Suppose -2*c = 10, -4*y - 17 = 3*c - 58. Suppose -8*i - 6 = -y. Is i > -2/35?
True
Let a = 94 + -14. Let z = a - 70. Is 13 greater than z?
True
Suppose -o + 3*o = -4*f + 20, 5 = 5*f. Suppose -r = -5*r - 2*q + 18, q + 1 = 0. Which is bigger: r or o?
o
Let t = 18648/19 + -982. Which is smaller: -1 or t?
-1
Let m be ((-44)/(-6))/((-34)/51). Let j = m - -14. Suppose -3*i + 2*b = -5, j*i + 2 = -5*b - 0. Is 2/75 greater than or equal to i?
False
Suppose 19 = -4*q - 3*z, 4*q + 7*z = 2*z - 29. Let f be 36*q/2*1/1. Which is bigger: -17 or f?
-17
Suppose 4*x = 3*x + 14. Let k = -24 + x. Let f = 11 + k. Which is smaller: 2/35 or f?
2/35
Let d be 1/(((-26)/(-92))/13). Is d at least as big as 48?
False
Let w(b) = b**3 - 10*b**2 + 10*b + 11. Let h be w(9). Let q be h/110 + 114/(-22). Let z be 5/1*(-4)/5. Is z greater than q?
True
Let j(v) = v**2 - 11*v + 20. Suppose 3*y + 3*w + 16 = 4*y, y - 2*w - 14 = 0. Let o be j(y). Is o less than 12?
True
Suppose 22*c = 20*c. Which is smaller: -8/29 or c?
-8/29
Suppose 0*a - 10 = 5*a. Let i = 0 - a. Let x be 62/(-620) + (-1)/(-10). Which is smaller: i or x?
x
Suppose 3*l + 8 + 31 = 0. Let y = -26 - l. Which is bigger: -11 or y?
-11
Let i = 313 - 441. Is i smaller than -127?
True
Let c(g) = -g**2 + 6*g - 2. Let h be c(6). Let i be h/(1 - 2 - 1). Let r be (-3)/(-10) + (-1)/(-5). Which is smaller: r or i?
r
Let c = -240508096/4503 - -160232/3. Let t = -1/57 + c. Is t less than -1?
False
Let h be 59 + (0 - 3) - 0. Let a = -56 + h. Which is smaller: a or 0.04?
a
Let j(q) = 2*q**2 - 15*q + 7. Let b be j(7). Let c be -7 - (b + 5 + -1). Which is bigger: c or -3?
-3
Let u = -18 + 9. Let l = u - -25. Let f be (l/18 - 1)/(-1). Is 0 <= f?
True
Let s = -26 + 82. Let m = 233/4 - s. Let c = 0.3 - 0.2. Which is smaller: c or m?
c
Suppose 3*l - 3*z - 30 = 0, 5*l - 3*z = -2*z + 38. Suppose 7*a - 18 = -2*a. Let u be -1 + 7 + -1 + a. Is l at least u?
True
Let n = -22 + 16. Let p(r) = -r - 8. Let z be p(n). Let l be (0 + 1 + z)*-1. Which is smaller: l or 0?
0
Suppose -4 = -3*z - q, z - 28 = -5*q - 8. Let r be (-3)/(-12) + (-19)/(-4). Suppose 2*p - r*p - 3 = 0. Which is smaller: p or z?
p
Let l(r) = -r**3 + 7*r**2 + 2. Let c be l(7). Suppose -5*n - 90 = -c*q - 0*n, 0 = 5*q + 2*n - 225. Suppose b - q = -4*b. Is 9 != b?
False
Let s be 6/(-3) - (3 + -4). Which is greater: s or -29/19?
s
Suppose -9*r + 7*r = 3*d - 2, 2*r + 2*d = 0. Is 19 smaller than r?
False
Let n = -134 - -133.8. Is n smaller than 55?
True
Let l = -0.4845 + 0.5845. Let z = -135 + 91. Is l at most z?
False
Suppose 338 - 333 = -j. Let x be 8 + (3 + -3 - 1). Suppose -5*h - 4*t - 25 = -x, 5*h + 20 = -5*t. Which is smaller: h or j?
j
Let d(c) = -2*c**2 - 2*c + 1. Let n(y) = 5*y**2 + 6*y - 3. Let w(j) = -8*d(j) - 3*n(j). Let a be w(1). Let f be 808/1480 + (-3)/5. Which is bigger: a or f?
a
Let f = 2/685 + 8206/4795. Suppose -8*m = -5*m - 6. Suppose -m*w - 2 = -3*w. Is f less than w?
True
Suppose -2*f - 3*l - 7890 = 838, -5*l = 0. Let x = f - -12869/3. Let w = x + 75. Which is smaller: w or 0.5?
0.5
Let u(s) = 2*s**2 - 22*s + 60. Let z be u(6). Does z = -2/103?
False
Let a be 3/(-2) - (-68)/(-8). Let j = 8 + -17. Is a <= j?
True
Suppose -5*c - h - 2350 = 0, 5*c + 23*h - 18*h + 2350 = 0. Which is bigger: -471 or c?
c
Let d = 0.011 - -12.989. Let a = d - 11. Is 7/9 greater than a?
False
Let p = 55 + -53. Suppose -5*l = -p*l. Is l less than 3/11?
True
Let s = 12 - 11.3. Let a = s + -10.7. Let p = a - -9.9. Which is bigger: p or 3?
3
Suppose 5*o = p + 2*p - 2, 3 = -3*o. Let q be (-6)/42*-7*(1 + p). Do q and 2/187 have the same value?
False
Let g = 5332163/57 - 93541. Let v