nonequal?
True
Suppose 0 = 2*d - 4*d - 4. Let o = 175/2 - 62. Let h = o - 26. Is d at least as big as h?
False
Let y = 1.5 - 7.5. Let c = 3 + y. Is c at least -2/9?
False
Let j = 1.5 - 1.6. Let x = 1223/2055 - -2/411. Let m = -1/5 + x. Which is bigger: j or m?
m
Let k = -5 - -8. Suppose 2*i - 5*i = -15. Suppose -t - 4*u - 17 = 0, -t + i*t = u. Which is bigger: k or t?
k
Let n = 398 - 396. Let i(p) = p**3 - 7*p**2 + p - 3. Let j be i(7). Is n equal to j?
False
Let t = -40 - -40. Let x = -1.2 + 1.9. Let j = x + -0.5. Which is smaller: j or t?
t
Suppose 140*l + 5 = 135*l. Let v be l/2*(-1)/((-6)/(-564)). Is 47 equal to v?
True
Let s = 1993/20 + -445/4. Is s greater than or equal to 1?
False
Let w be 8/6 - (-91)/(-21). Let i be w/30*15/24. Suppose 0 = -5*l - 3*p - 9, -3*l = 4*p + 7 + 5. Is l greater than or equal to i?
True
Let v be 0/(-1) + 12/(-246). Suppose -3*r - 4*u = -23, 2*u - 7 = -4*r + 7. Which is smaller: v or r?
v
Let j = -1383.1 + 1383. Which is bigger: j or 2/121?
2/121
Let b(v) = -v**3 + 6*v**2 + 5*v + 13. Let d be b(7). Is d at least as big as -23/13?
True
Let w = 51 + -79. Let k be -17 + 16 - (31/w)/1. Which is bigger: k or -1/3?
k
Let a be 3 + -1*2 + -3. Let h be ((-4)/6)/(a/(-7)). Suppose 60 = -128*s + 98*s. Which is greater: s or h?
s
Suppose 2*d + 3 = 2*h + 17, 2*d + h - 2 = 0. Let b = -9 - -9. Suppose x = -4*l + 6 - 22, -d*x + 4*l + 16 = b. Is x equal to -3/10?
False
Let n(i) = i**2 - 20*i + 6. Let s be n(20). Suppose 3*o - 3*k = 0, -5*k + s = -3*k. Let u(g) = 3*g**3 + g**2. Let h be u(1). Is h >= o?
True
Let a = -9.9 - -90.9. Let z = 80 - a. Which is smaller: z or -0.3?
z
Suppose -5*r - 68 = -2*n, 0 = -4*n - 5*r + 92 + 14. Let p be (-10)/(-20) + (-110)/(-4). Is p at least n?
False
Let z = -597/4 - -3129/20. Let l = -37/5 + z. Is -0.1 at least as big as l?
True
Let r be (-10)/(-2) - (-3 + 5). Let t be -3 - (-5*r)/3. Suppose q + 3 = -t*q. Which is smaller: -1/4 or q?
q
Let r = -18 + 30. Suppose 3*q - 5*p = -3 - 9, r = -3*q - 5*p. Let z be (q - -1)*4/(-6). Is -4/3 not equal to z?
True
Let v be (-3)/10*2/6. Let s = -58 + 41. Let r(n) = 2*n + 35. Let z be r(s). Is v smaller than z?
True
Let z be (-1 + 1)/(8 + -7). Suppose w + 7 - 11 = z. Is 4 greater than w?
False
Suppose -5*j = 2*f + 1055, -3*j - 4*f - 832 = j. Let s = j + 6817/32. Let c be 3 + -1 + 4/(-3). Is s <= c?
True
Let m = 28 - 14. Let q = -9 + m. Suppose 5*r = 4*a - 18, -q*a - 13 + 4 = -r. Is -6 <= r?
True
Let l = -62.2 + 60. Let c = -6.2 - l. Which is smaller: -2 or c?
c
Let r = -66 - -57. Let n = 23 - 32. Is n smaller than r?
False
Let b = -71/43 + 48962/29627. Which is smaller: b or -1?
-1
Suppose 4*f + 2 = 2*f. Let h be 1/(-3)*(f - -34). Which is bigger: h or -2?
-2
Suppose -211*n = -210*n + 2. Which is greater: n or 121?
121
Let a = 1003 - 1123. Is a smaller than -120?
False
Let m be 318/(-34) + 119 + -120. Which is smaller: m or -11?
-11
Suppose 0 = 7*m - 2*m + 5. Let t(z) = 0*z - 2*z - 1 - z + 2*z. Let d be t(m). Are -3 and d non-equal?
True
Let b(x) = x**3 - 26*x**2 + 86*x + 34. Let j be b(22). Suppose 0 = o + 3*o - 2*k + 56, -55 = 5*o + 5*k. Which is greater: j or o?
j
Suppose 53*j = 58*j + 2*n - 13, 3*j - 23 = -5*n. Which is smaller: j or 4/13?
4/13
Let m(c) = -3*c - 4 + 17 + c + 4*c. Let b be m(-8). Let g be 4/(-3) + (-6)/b. Is g > 0?
True
Let z be 8/(-2260) + 2 - 2 - 0. Let w = -1112/5085 + z. Which is greater: 1 or w?
1
Let s be (3 + -2)*-5 - (-33)/7. Is s equal to -12/17?
False
Suppose 0 = 7*k + 214 + 59. Is -32 at most as big as k?
False
Suppose 10*b - 8293 = -28003. Does -1971 = b?
True
Let k = 444 + -446.17. Let r = -10.73 + k. Which is smaller: 0.1 or r?
r
Let s = -55.12 - -55. Let z = s - -0.22. Which is smaller: 0.28 or z?
z
Let p be 14*9/(-54) - (-2 + 0). Is -30 at most as big as p?
True
Suppose 3*f = 2*t + 6, 4 = 4*t - t + 2*f. Which is smaller: t or 14/93?
t
Let u = 1433 - 1433. Is -36/13 bigger than u?
False
Let r = -581 + 591. Is r bigger than 8?
True
Suppose -18*d = -21*d - 2*r - 71, -r = 3*d + 73. Which is bigger: -19 or d?
-19
Suppose -3*a - a = 0. Let r = 170/61 - 1033/305. Is a > r?
True
Let s = -2254 + 4055/2. Let r = s - -222. Which is smaller: r or -5?
-5
Let f = 839 - 836. Is 27/10 smaller than f?
True
Let g be (5/(-10))/((-1)/20). Let w be (-9653)/(-35) - (-2)/g. Let d = w - 4138/15. Is d <= -1?
False
Let b = -687/442 - -45/26. Is b smaller than -1?
False
Suppose 387 = 3*w + 150. Let z = w - 80. Is z less than or equal to -4/17?
True
Let k = 275 - 286. Which is smaller: k or 2?
k
Let t = -30.6 - -26. Let c = 4.1 + t. Suppose u + 2 = 2*u. Is c != u?
True
Let j(h) = h**3 - 7*h**2 + 4*h - 4. Let y(c) = 7*c + 3 - 6*c - 3. Let i(k) = j(k) + 3*y(k). Let o be i(6). Is o at least 0.2?
True
Let p be 0 - -2 - (11 + -4). Let b be 1/(p*(-20)/(-8)). Is b less than or equal to 0?
True
Let x be 49 - (9 + -2) - (0 + 5). Is x less than 11?
False
Let a = 94/3 - 31. Suppose -4*l - 21 = 23. Let g = l + 15. Which is smaller: a or g?
a
Suppose -4*p + 24 = -8. Let o = p - 8. Suppose -w + 7 = z, 16 = -2*w + 2*z + 2*z. Is o at most w?
True
Suppose -2*k - 48 = 2*p, 0*p - k - 66 = 3*p. Let v = p + 12. Let b = -149 - -139. Is b at least as big as v?
False
Suppose 3*s + 102 = g, 5*s = 10*g - 5*g - 180. Is s > -27?
False
Let w(o) = 68*o + 19. Let k be w(3). Let q = -222 + k. Let i = 111 - 889/8. Do q and i have the same value?
False
Suppose g + 16 = -2*n + 81, 3*n = -2*g + 99. Which is smaller: n or 32?
n
Let q = -22 - -34. Suppose 20 = 8*c - q*c. Let s(f) = -f - 5. Let y be s(c). Which is bigger: -2/5 or y?
y
Let i = -96723/47 - -2058. Which is smaller: i or 1?
i
Suppose 0 = -5*s - 2*c - 1, 0 = -s + 3*c - 1 - 6. Let j(z) = -z + 6. Let h be j(0). Let t be (2/5)/((-4)/h). Which is smaller: t or s?
s
Suppose -5*g = -g - 3*t + 17, 5*g + 3*t + 55 = 0. Let v be 1*(g/(-6))/(-4). Are v and 3 non-equal?
True
Suppose 5*g - 81 = u, 4*g + 297 = -3*u + 92. Does u = 0.1?
False
Suppose 9*n - 4 = 13*n. Let d be (-6)/10 - (-192)/20. Suppose d*w = 4*w + 5. Which is smaller: n or w?
n
Suppose 0 = -4*p, -p + 76 = -5*f + 241. Suppose 2*v - 5*m = -0*m - 36, -m - 94 = 4*v. Let u = v + f. Is u greater than 11?
False
Let x = -2.96 + -0.04. Let q = -3 - x. Suppose 5 = -21*u + 26. Is q <= u?
True
Suppose -109 = 5*y - 4*m, m = -y - 28 - 1. Let x be y + 1 - -2*2. Let g(z) = -7*z**2 - 5*z - 2. Let u be g(-2). Is x smaller than u?
False
Let i = -2.71 - -3.71. Which is greater: -132 or i?
i
Let q be (626920/(-165))/(-8) + -3. Suppose 0 = c + 4*c - 2360. Let x = q - c. Which is greater: x or 1?
1
Let g = -1.1 - -0.1. Let s = 0.0933 + -0.0933. Is s bigger than g?
True
Let m(u) = 9*u**2 - u + 13. Let p(x) = 4*x**2 + 6. Let g(h) = -3*m(h) + 7*p(h). Let j be g(0). Which is greater: j or -5?
j
Let o be (2/(-7))/((-5)/35). Suppose k + k = o. Which is bigger: k or -3/11?
k
Suppose -3*g = -4*v - 97 - 73, 3*g - 166 = 5*v. Is 62 greater than or equal to g?
True
Let a(g) = g - 19. Let y be a(18). Is y less than 2/677?
True
Let u be ((-762)/(-45))/(2/(-9)). Let q = u - -33157/435. Let y(c) = -c + 6. Let i be y(7). Which is greater: q or i?
q
Let q be (-80)/(-4)*2/(-2). Let y be (-2)/12*30/(-25). Which is smaller: q or y?
q
Suppose -r = r + 80. Let b be (-18 - -18)/(1 + 2). Which is bigger: r or b?
b
Let n = 7.4 - 52.4. Let g = -64 - n. Let m = 18.9 + g. Which is greater: 2/65 or m?
2/65
Suppose -3*u - 15 = -5*l, -4*l - 5*u = -4*u + 5. Are -2/179 and l unequal?
True
Let p = 59 + -54. Suppose 5*b + 5*u = -560, -2*b + 0*b - p*u = 224. Is b at most as big as -112?
True
Let h = -3/20 - 1/10. Which is smaller: h or -3/65?
h
Let q = -24/85 + -2/17. Let j(g) = -g**3 - 15*g**2 - 13*g + 3. Let o be j(-14). Let d be (o/((-55)/(-50)))/2. Is q equal to d?
False
Let r = 1825 + -1833. Let m = -2 + 0. Which is bigger: m or r?
m
Suppose -329 = 5*i - 54. Let q = -67 - -13. Which is bigger: q or i?
q
Suppose a = -3*a + l + 17, 0 = 3*a + 2*l - 21. Let c(i) = 0 + a + 0*i - 2*i. Let s be c(5). Does -3 = s?
False
Suppose -3*l - 7 - 71 = 0. Which is bigger: -27 or l?
l
Let t = -415307/51 - -8143. Is -1 greater than or equal to t?
False
Suppose -17*o - 1352 = 9*o. Let v = -55 + 2. Which is bigger: o or v?
o
Suppose 6 = 5*v - 4*l - 28, -5 = 5*l. Suppose -4*y = -v*y - 3*y. Is 2/9 equal to y?
False
Let m = -4.66 + 4.76. Is -512 at 