nonequal?
True
Let o(h) = -h**2 + 20*h - 63. Let c be o(16). Let t = 3/523 + 3027/19351. Which is bigger: t or c?
c
Suppose 20 = 2*v + 3*v. Suppose -v*t + 9 = -t. Let o be (-7)/t*(-3)/2. Which is smaller: 5 or o?
o
Let o = 56866/73 - 779. Let z be 1/(-3) - (-21408)/99864. Let p = z - o. Does 1 = p?
False
Let i be (0 + 1)/((-49)/686). Which is smaller: i or -139/9?
-139/9
Let f = -36.21 - -0.21. Let r = f - -35.97. Which is greater: r or 6?
6
Let u be 672/77 + -9 - (-50)/22. Let k be (-5)/2*24/(-25). Is k greater than or equal to u?
True
Let c be (2/(-947))/(4 + -3). Let h be 8/10*(-151460)/22728. Let t = c + h. Which is smaller: t or -5?
t
Let v be (6*(-24)/45)/((-2)/90). Are v and 144 unequal?
False
Suppose t + h = 2, -t + 7*h + 2 = 2*h. Is 6 smaller than t?
False
Let z(j) = -80*j + 2595. Let a be z(32). Let t be 4/(-18) + 924/27. Are a and t equal?
False
Suppose -5*s - 2*h + 14 = -s, 0 = -4*s + h + 17. Suppose m - s*m - 99 = -2*a, 127 = -4*m + a. Let p = 15 + m. Which is smaller: -17 or p?
-17
Let c be (8/12)/(10/18). Let g(p) = -p**3 + 5*p**2. Let r be g(5). Do r and c have different values?
True
Let m(l) = 52*l + 2757. Let p be m(-53). Let v be (-1 + 3/4)/(-4). Which is greater: p or v?
p
Let x(t) = -2*t + 22. Let j be x(7). Suppose -j*s - 1 = 7. Is 4/95 less than s?
False
Let f(k) = 40*k + 5. Let z be f(4). Let x = -822/5 + z. Which is greater: x or 2?
2
Let y = -5 - -3. Let b(k) = 6*k**2 - 25*k - 1. Let g(x) = x**2 - 5*x. Let w(m) = 2*b(m) - 11*g(m). Let z be w(-5). Is y > z?
False
Suppose -4*j = -11*j + 168. Let n be j/(-90)*39/2. Which is greater: -4 or n?
-4
Suppose 13*k - 12*k - 4 = 0. Suppose 0*j + 5*j - k = 4*w, -4 = 4*w. Which is smaller: j or 4/9?
j
Let z = -26 + 24. Let s be (z + 2)/(-5) + 2. Is 5 >= s?
True
Let u be 1*(-2)/4*-6. Let b(v) = v**3 - 2*v**2 + 2*v. Let c be b(u). Let w be (-6751)/(-473) + 6/(-22). Which is bigger: c or w?
c
Suppose 18*g = 22*g - 100. Is 24 less than or equal to g?
True
Let s = 2457 - 159699/65. Does -1 = s?
False
Suppose 0 = -4*l + 22*l - 162. Let w be ((-16)/(-4) - -3) + 0. Are w and l equal?
False
Suppose 0 = 4*d - 43*n + 45*n - 2, 3*n = 5*d - 8. Is d equal to 2/59?
False
Let q = -7323 + 14639/2. Suppose -a + 2 = -1. Let m(i) = i**2 - 4*i. Let u be m(a). Is q greater than u?
False
Let t = 923 - 922.95. Which is smaller: t or -2/9?
-2/9
Let n = 274.1 - 274. Is n less than -1.54?
False
Let a = -45 - -24. Let c = a - -13. Let r = c + 3. Is r not equal to -1/3?
True
Let y(r) = 9*r + 35. Suppose 23*j - 8*j = -45. Let t be y(j). Is t at most 9?
True
Let u = 107 + -91. Let t(d) = -2*d + 2. Let c be t(-7). Is c at least u?
True
Let z be -2*12*(-8)/12. Suppose 0*m - 5*m = 3*p - 30, z = 2*p + 2*m. Is 1 equal to p?
False
Suppose -3*y - 3*u - 200 = -2*u, -4*y - 275 = 3*u. Suppose -9*b - 198 = -6*b. Is y less than or equal to b?
False
Suppose 0 = 2*g - 2*s - 6, 2*g + 5 = 7*g + 5*s. Let z be 1 - (g + (-32)/12). Let x be 4/6*48/32. Is z at least as big as x?
True
Let m(y) = 8*y + 11. Let d be m(-2). Do d and 1/3 have different values?
True
Let c = -40.27 - -40. Let v = -2.17 - c. Which is smaller: 0 or v?
v
Let k(c) = -15*c**2 - 1. Let v(b) = 16*b**2 + 1. Let m(d) = 3*k(d) + 4*v(d). Let o be m(1). Let l be (32/o)/((-4)/(-10)). Which is smaller: 5 or l?
l
Let j be (3 - 48/6) + -134. Is j at least -139?
True
Suppose 10*p = 17*p + 7. Are p and 96 unequal?
True
Suppose -2*j = 2*j - 0*j. Are j and -7 non-equal?
True
Let d be (-4)/(-4)*8 - 3. Suppose -d*y - 10 = 5*w, 4*w + 0*w - 3*y = 27. Let t be (1 - 3) + -7 + w. Which is bigger: -4 or t?
-4
Let a = 0.97 + -0.93. Do 1/6 and a have different values?
True
Suppose -5*f - 35 = 5*y, f = 3*y + 21 + 4. Let d be (816/(-340))/(3/10). Is d > y?
False
Let h be (1/28)/((-35)/(-420)). Which is bigger: 5/11 or h?
5/11
Let q = 189 - 189. Which is greater: -1/361 or q?
q
Let n = 175 - 269. Is 2/5 greater than n?
True
Let t be 0 - -1 - (1 - -1). Suppose b - 6*y + 3*y = -34, 5*y - 63 = 2*b. Is b >= t?
False
Suppose 0 = 44*z - 48*z - 172. Which is smaller: -40 or z?
z
Suppose -91 = -4*y - 3*x, 25*y - 20*y - 120 = -5*x. Let p = 12/13 - 34/65. Is y less than p?
False
Let k = 2693 + -2646. Is 46 greater than or equal to k?
False
Let r = -11.4 + 11.3. Is -1/203 greater than r?
True
Suppose 1 = -3*q - 2*x, 5*q - x = -2*x - 4. Is -5/16 less than or equal to q?
False
Let x be 2786/260 - 10 - (-9)/(-15). Which is greater: x or -0.12?
x
Let m = 0.738 - -0.262. Is 0.71 at most m?
True
Let i(v) = 13*v + 105. Let y be i(-8). Which is smaller: 1/121 or y?
1/121
Suppose 8*z = -92 - 12. Are z and 0 equal?
False
Let r = -582/7 - -83. Let h be (-2)/16*(-120)/60. Which is smaller: r or h?
r
Let j be (-36)/60*(4 - -1). Let z be (81 - j)*(-6)/4. Let y be 0 - 3 - 450/z. Which is bigger: y or 0?
y
Suppose -3*a + 411 = p - 3*p, 0 = 4*a - 12. Let o be (-7)/28 - (p/100 - -2). Which is smaller: o or 1?
o
Let l(k) = -k**2 - 7*k - 3. Let q be l(-6). Let a(n) = -2*n**2 + 4*n - n + 6*n**3 + 7*n**3 - 11*n**q. Let i be a(2). Is i <= 14?
True
Let g(h) = h + 4. Let f be g(-6). Let n = 109 + -163. Let a = 54.6 + n. Is a at most as big as f?
False
Let d = -10 - 2. Let f = -65 - -77.3. Let i = f + d. Which is smaller: i or 1?
i
Let w = -3/454 + 941/4994. Is 55/9 less than w?
False
Suppose -71 = -3*n - 5*c, 5*n + 62 = 4*c + 168. Let p be -4*1/(-2) + -25. Let k = n + p. Which is smaller: -1/29 or k?
k
Let r be ((-138)/(-8))/((-180)/240). Suppose 57 - 149 = 4*i. Does i = r?
True
Suppose 280 = o + 302. Suppose 0 = -4*f + 3*d - 76 - 25, 0 = -2*f + 4*d - 58. Which is smaller: f or o?
f
Let c = 458 + -457.95. Is c >= 5/2?
False
Suppose -3*f = -2*o + 16 - 138, 0 = 4*f - o - 166. Which is bigger: 14 or f?
f
Let f be 3/((-60)/(-12) + (-1 - 3)). Is -15 bigger than f?
False
Let f = 37.4 - 37.4. Is f greater than 1690?
False
Let c = 14 - 11. Suppose -c*b = 9 - 51. Suppose -2*d - 4 = b. Is -9 less than or equal to d?
True
Suppose -114*b + 2185 = -133*b. Is -113 at most b?
False
Suppose 0 = 2*p + p - 3. Suppose 4*r - 2*v - 10 = 0, 4*r + 7 = 5*v + 2. Suppose g = r - 1. Which is smaller: p or g?
p
Let d = -47 + 29. Let f be ((-6)/(-4))/(d/(-24)). Suppose 0 = -f*k - 3*a, 7 = -5*a + 17. Does -5 = k?
False
Let a(g) = -g**2 + 13*g - 27. Let v be a(8). Let u = -171/13 + v. Are u and 0 nonequal?
True
Let p = 451/6 - 76. Let g(c) = -c**2 - 9*c - 11. Let k be g(-10). Let d = 21 + k. Is p bigger than d?
False
Let v = 51 - 28. Suppose -v*m - 18 = -25*m. Let w be 5 - 1 - 39/m. Which is bigger: 1 or w?
1
Let d = -29.03 + 23.8. Let a = d - -5.1. Are 2 and a non-equal?
True
Let o = -0.5 - -0.64. Let a be ((-2)/6 - -1)/(42/18). Which is smaller: a or o?
o
Let u = -45.01 - -45. Let v(x) be the first derivative of -x**3/3 + 4*x**2 - 8*x + 1. Let g be v(7). Which is greater: u or g?
u
Suppose 0 = -4*i - 16, -18 = -p - i - 3*i. Is 38 < p?
False
Let x be 7/(-4) + 2/(-8). Let s be (x - 0)*1/(-206). Which is bigger: 0 or s?
s
Let m = -337 + 348. Which is bigger: 9 or m?
m
Let q(j) = -4*j - 39. Let w be q(-10). Let m be (0/w)/((-1)/(-1)). Is 1/105 less than m?
False
Let p(v) = -3*v + 27. Let f be p(-7). Which is smaller: 47 or f?
47
Let o be -6 + 9/1 - 182/(-24). Let g = 31/3 - o. Which is smaller: g or 3?
g
Let w = 1656 - 1640.06. Let m = w + 0.06. Let c = m + -12. Is c smaller than 2?
False
Let r = -0.1525 - -1.1525. Is r not equal to 15?
True
Let f be 2*(-2)/(-2)*7. Suppose 11*j = 15*j + 252. Let p = -48 - j. Which is smaller: f or p?
f
Let g = -0.01 + 0.01. Let b = -271 + 275. Is g greater than b?
False
Let n = 837/8 + -20853/200. Let s = -19/25 + n. Is s greater than or equal to -18?
True
Let x = -130.3 - -68.3. Is x at most as big as -10/9?
True
Let v be ((-25)/15)/(1/(-3)). Suppose 2*q = v - 1. Is q equal to 2/3?
False
Let m = -2602 + 2604. Which is greater: 264 or m?
264
Let r be 56/90*((-72)/(-16))/(-3). Which is greater: -2 or r?
r
Let k = 19909/564 + 781/47. Let c = k - 52. Suppose 0 = -4*h + 4*p + 16, 4*h + h - 8 = p. Which is smaller: c or h?
c
Let u(s) = 14*s - 1. Let d be u(-1). Let k be ((-2)/(-3))/(35/d). Is k less than 20?
True
Let s = -13 + 16. Suppose -f = -s*f + 4. Suppose -q = -4*y - 8, -3*y - f*q + 7 - 24 = 0. Which is smaller: y or -1?
y
Let c = 32 - 32.98. Let z = -284 + 283.98. Let f = z + c. Is f >= 0?
False
Let x = 383/39 + -29