 nonequal?
True
Suppose 4*n + 2*p - 12 = 0, -3*n = 2*n + 2*p - 14. Suppose 8 = -3*g - n*f, 6*f = 3*f + 6. Let l = -27 + 24. Which is smaller: g or l?
g
Suppose 0 = 5*z + 2*x - 87, -20 = -7*z + 6*z - 3*x. Which is smaller: z or 25?
z
Let g = 0.002 - 0.102. Is g >= -106?
True
Let p = -3/76 - 4/19. Which is bigger: 88/7 or p?
88/7
Let i be -15*(-11)/66*4/6. Which is smaller: i or 2?
i
Let l(q) = -6*q - 31. Let u(t) = 4*t + 3. Let p be u(-2). Let o be l(p). Which is smaller: o or -3/100?
o
Let b = 0.2 + -1.4. Let r = -222 - -220. Which is smaller: r or b?
r
Suppose 0 = -5*z + 25 + 50. Let l be z/3*(5 - -2). Let b = 37 - l. Which is smaller: 1 or b?
1
Let g = -24 - -2. Suppose 3*u = -2*l + 54, 48 = 19*u - 16*u + 4*l. Let c = g + u. Do c and 0 have the same value?
False
Let m(k) = k**2 + 63*k + 571. Let i be m(-11). Which is smaller: 0 or i?
i
Let r = -1 + 71. Let i be (-2)/(-52)*r + -3. Is 0 <= i?
False
Let l = -206 - -343. Let z = l + -136. Let w be (-4)/(-6) - 28/6. Is z greater than w?
True
Let x be (35/10)/((-1)/(-6)). Suppose -x = -2*y + 11. Is 12 greater than or equal to y?
False
Let u be 4396/2616*1 - 4. Let h = 3/218 - u. Which is smaller: h or 1?
1
Let m(q) = -96*q + 797. Let g be m(8). Let z(b) = 3*b**2 + 1. Let h be z(3). Is h < g?
True
Let s = -2 + 1.9. Let k = -28.9 - -12.9. Let y = k + 2. Which is smaller: y or s?
y
Suppose -4*c + 2*l - 17 = -7, 2*l = 2. Let p be 68/(-12) + ((-12)/c - 2). Does p = 1?
False
Let m = -9 + 14. Suppose -24 = -m*n - n. Let o be n/10 - (-76)/10. Which is bigger: 9 or o?
9
Suppose -2*p - 2*m = -7*p - 23, -5*p - 4*m - 29 = 0. Let i(o) = -2*o - 1. Let c = 1 - -1. Let f be i(c). Is p greater than or equal to f?
True
Let o = -0.49 + -41.51. Let l = o - -45. Which is greater: -1 or l?
l
Let l = 2 + -11. Suppose 0 = 5*w - 55 + 5. Let i = l + w. Do -2/59 and i have different values?
True
Suppose -51*s - 83*s = -20653 + 419. Suppose q - 755 = -4*q. Is s <= q?
True
Suppose -3*q - 61 = 53. Which is smaller: q or -0.01?
q
Let n(r) = 3*r + 28. Let i be n(-8). Let y be 2/i*-1 - 95/(-110). Is y >= -1?
True
Let a = -0.1 + 0. Let t = a - 0.1. Let v = -233.3 - -233. Do t and v have different values?
True
Let b = -0.074 - -0.013. Let w = -1.221 - b. Let r = 1.1 + w. Which is smaller: 1/3 or r?
r
Let n = 36.8 - 35.8. Is n less than or equal to 32/7?
True
Let y be (-3484)/(-70410)*(-3201)/22. Let q = -1/2347 + y. Which is smaller: q or -7?
q
Suppose 5*q - 269 = -2*a, -663 = -5*a + q - 4*q. Do 133 and a have different values?
True
Let s be 78 + -79 + (351 - 2/(-1)). Which is greater: 351 or s?
s
Suppose 0 = 5*g - 24 - 11. Let x = -4 - -4.4. Is x <= g?
True
Suppose 0 = -4*r, z + 2*r = 20 + 66. Is 173/2 < z?
False
Suppose 22*r = 5*r + 255. Are 16 and r equal?
False
Let c = 126 + -133. Let f be (-336)/49 - (-1)/c. Which is smaller: -6 or f?
f
Let f(u) = 8*u - 1. Let h be f(-1). Let v(z) = -z**3 - 9*z**2 + 2*z + 6. Let a be v(h). Let w be 2/(-1)*a/24. Is 1/15 equal to w?
False
Let n = -34 + 33. Let p = n - -1. Which is bigger: -17 or p?
p
Suppose 2*c + u + 19 = 0, 5*c + u = 2*c - 31. Let k be (2/384*2)/(c/(-24)). Is 0 smaller than k?
True
Let h = 8359 - 167227/20. Is h at most as big as -2?
True
Let m be 218/8 - (-11)/(-44). Suppose m + 2 = r. Is r at least as big as 29?
True
Let l = -21 + 5. Let x(s) = s**2 - s - 5. Let h be x(-4). Let v = l + h. Is 0 at most v?
False
Let v = -6133/18 + 341. Which is bigger: v or 1?
1
Let l = 6.3033 - 0.0033. Which is smaller: 1/4 or l?
1/4
Let l be (-158 - -6)/(1 + -2*1). Let h = 6/725861 + 5407664156/35567189. Let v = h - l. Which is smaller: 0 or v?
0
Let n be 5055/18*27/(-180). Which is smaller: -43 or n?
-43
Let o = 2470 + -2466.7. Which is bigger: o or -8?
o
Let g = 13 + -11. Let z be 8/6 + (0 - g). Which is smaller: -0.06 or z?
z
Let w = 60 + -81. Let s(q) = -2*q - 43. Let f be s(w). Is f > -1?
False
Let q(i) = -i**3 - 4*i**2 + 17*i + 3. Let y be q(-7). Let l = y - 23. Do 11 and l have different values?
True
Let n be (21/(-9) + 3)/(10/45). Let s be ((-1)/n)/((-4)/12) + 0. Do 8/5 and s have the same value?
False
Let g = 36 - 16. Suppose 0 = 21*a - g*a + 2. Which is greater: -13/6 or a?
a
Let t = -334 - -73. Which is greater: -260 or t?
-260
Let w = -9.1 + 0.1. Let r = -43 + -15. Let z = r - -57. Is w at most z?
True
Suppose -2*v = 4*k - 122, 95 = v - 4*k + 28. Which is smaller: v or 62?
62
Let i(u) = -u**2 - 3*u + 2. Let s be i(-4). Suppose -1 = 5*f + 4. Do f and s have different values?
True
Let m be (-4 - 6/(-9)) + 2/6. Let u be 6/12 - (-2)/m. Suppose 1 = -5*c + 6. Is u less than or equal to c?
True
Let l = -1014 + 999. Which is bigger: l or 3/5?
3/5
Suppose 0 = 6*d - 25*d - 3002. Is -157 less than or equal to d?
False
Suppose -286*f = -281*f + 10, 37 = i - 2*f. Let d(m) = -m**2 - 9*m - 8. Let p be d(-8). Is i > p?
True
Suppose -106 = 4*i - 110. Which is greater: i or -2/11?
i
Let b = -3 + 20. Let s(i) = -19 + i**2 + 17 - 2*i**2 + b*i. Let r be s(17). Is r greater than or equal to -0.6?
False
Suppose 5*t - 2*f = -50, 2*f + 10 - 4 = -2*t. Let b = 1 - t. Suppose q + 2*c + 0 = b, -2*q - 5*c + 19 = 0. Which is bigger: q or 5?
q
Let j = -8 - -22/3. Let f = 1288 + -1284. Which is smaller: j or f?
j
Suppose 2*n + 39 - 3 = 0. Let g = n - -19. Is g at least 2/11?
True
Let s = 119/4 + -30. Let r = -13 - -12.5. Let n = -0.59 - r. Which is greater: s or n?
n
Suppose -9 = -3*a, -a - 3*a + 140 = -4*d. Let r = -30 - d. Suppose -1 = 4*n - 9. Is n <= r?
True
Let c be 229/(-7) + (-1 - (-10)/14). Let r(p) = p**2 + 37*p + 57. Let h be r(c). Which is smaller: h or -74?
h
Let n(c) = 3*c**2 - 2*c + 2. Let r be 1/((-2)/((-4)/1)). Let j be n(r). Let z(p) = p**2 - 9*p - 9. Let v be z(j). Does -3/13 = v?
False
Let u(b) = -b**3 + 4*b**2 - 7*b + 13. Let o be u(4). Suppose 4*v + 44 = 3*a, -3*v = -4*a - 2*v + 63. Let l = a + o. Is l > 2/21?
True
Let h(k) = k**3 - 5*k**2 - 18*k - 48. Let y be h(8). Which is smaller: y or -4/43?
-4/43
Let z = -21 - -20. Let c be 4/(-2) + (-2 - -2). Let y be (c/(-3))/(21/9). Is z at most as big as y?
True
Let u(q) = -2*q**2 + 122*q + 521. Let m be u(65). Are -5/222 and m non-equal?
True
Let m = -0.16 + 4.16. Let b = 12123/31 + -391. Which is smaller: b or m?
b
Let u(h) = 36 + 128*h - 10 - 126*h. Let c be u(-6). Which is bigger: 13 or c?
c
Let k = 7 - 3. Which is greater: k or -10?
k
Let u = -26 - -16. Let a be (-1)/(-5) - 98/u. Let w be (-4)/a - 392/(-80). Is 5 less than w?
False
Let a = -37/4 - -251/28. Which is smaller: a or -1540?
-1540
Let g be 3 + (-8)/3 - (-238)/6. Let t be g/7*(-14)/(-4). Is 20 less than t?
False
Let y = 7 - 7.2. Suppose 6*g + 16 = 4*p + 3*g, 2*g = 0. Suppose u + p*c = 2*c + 13, -41 = -5*u - 4*c. Is u bigger than y?
True
Let u(o) = o**3 + 5*o**2 + 3*o - 2. Let j be u(-4). Let s be 15/6 - j/4. Suppose 5*v = -h + 26, -54*v + 50*v = -4*h - 16. Which is bigger: h or s?
s
Suppose 0 = 5*x + 476 - 96. Let o = x - -71. Is -8 at least o?
False
Let x(a) = 6*a**2 - 14*a + 2. Let u be x(6). Let m = 226 - u. Do m and 92 have different values?
False
Let c = 16 + -14. Let r be 6/2 + 8 + -4. Which is bigger: c or r?
r
Let s(l) = -8*l + 22. Let m be s(6). Is m not equal to -6/5?
True
Let v be 2*(4/8 - 0). Let a be 36/60 - (-18)/(-5). Let n be 16/14 + 4 + a. Is n greater than or equal to v?
True
Suppose 3*f + f = -4*d - 100, 0 = -d + 2. Suppose -s = -4*r - 116, 5*r + s + 182 - 37 = 0. Which is greater: f or r?
f
Let d be ((-7)/(-28)*-4)/(1 + 0). Let z be 4/14 + (-6)/(-21). Which is smaller: z or d?
d
Suppose 3*g = 5*y - 141, -2*y = -0*y - 3*g - 60. Suppose 5*f - 2*h = 4, h - 13 = -6*f + f. Let n be 29 - 1 - 4/f. Is y at most n?
False
Let n = -0.458 - -2.458. Which is greater: n or -206?
n
Suppose 16*r = 12*r + 4. Let y be r/10*(-84)/(-3). Is 2 less than or equal to y?
True
Let o = -0.3 - -0.2. Let w = 0.009 + 0.035. Let b = 9.956 + w. Which is greater: o or b?
b
Let l = -8.69 - 28.21. Let p = l + 35. Let v = 2 + p. Which is smaller: v or -0.1?
-0.1
Let h = -0.17 - -15.17. Let l = 15.08 - h. Let o = 2.08 - l. Which is smaller: o or 3?
o
Let p = -1033/5 - -7221/35. Is p greater than -1.26?
True
Let n = -1066.84 + 1067. Which is smaller: -3.4 or n?
-3.4
Let k be -279*((-13)/78 - 1/(-10)). Which is bigger: k or 18?
k
Let w = 0.15 + -0.15. Let x = -11 + 9.4. Let z = x + 2.3. Which is g