 = 6.9 - d. Do o and k have different values?
True
Suppose -16 = -2*w + y + 8, 0 = 2*y. Let d = 12 - w. Let s be (d - 15/(-20)) + (-94)/8. Do -11 and s have the same value?
True
Let w = 14276 - 14275. Are w and 1305 nonequal?
True
Suppose 5*i - 4*n - 746 = 0, i - 3*n = -2*i + 447. Are 145 and i nonequal?
True
Let c = 1714 + -758. Let n = c - 956. Let w = 37/5 - 7. Are w and n unequal?
True
Let o = 515.2 - 516.2. Let f = 6 + -3. Which is smaller: o or f?
o
Let o = -23228 + 23227. Which is smaller: 4/6465 or o?
o
Suppose -m - 10*m - 374 = 0. Let b be (4 + (3 - 9))/(4/m). Are 9 and b unequal?
True
Let r be (-2)/(-6) - (-6)/9. Let o(w) = w**3 + 88*w**2 - 175*w + 434. Let v be o(-90). Which is smaller: r or v?
v
Let w = 1705 + -2471. Which is smaller: w or -767?
-767
Suppose -12002*p - 34454 = -11956*p. Which is bigger: -1499/2 or p?
p
Let t be (-5)/(9/(-12) - (-5)/(-20)). Let w be t*2/(-85) + (-22)/(-476). Which is smaller: 0.12 or w?
w
Let i = 43 - -73. Let h = i + -90. Which is smaller: h or 28?
h
Suppose 4*b + 2*j = -162 - 140, -j + 157 = -2*b. Does b = -37?
False
Let s(p) = -9*p**2 - 5*p - 34. Let j(b) = -11*b**2 - 4*b - 36. Let h(k) = 4*j(k) - 5*s(k). Let y = 0 - 8. Let g be h(y). Do g and 18 have different values?
False
Suppose 0 = 6*s - 18*s - 12. Let x = -13859/252 + 384/7. Let r = x - -1/4. Do s and r have the same value?
False
Suppose 57*n = 52*n + 15525. Suppose 0 = -7*i - 8*i - n. Which is smaller: -205 or i?
i
Let h be (-1)/(-3) - (-125)/3. Suppose 466*l - n + 87 = 468*l, -3*n - 144 = -3*l. Which is smaller: h or l?
h
Suppose -2*k - 7*k + 927 = 0. Let f = -102 + k. Is f not equal to 0.56?
True
Let g = 36.041 - 35.841. Let p be (-41)/3 + (-2 - -2). Is g not equal to p?
True
Let p = -1020.9 + 960.9. Let l = -0.03 + 0.03. Is l bigger than p?
True
Let i = 931 - 965. Is i < -25?
True
Let a be (-3 - -6*1) + 4. Suppose -a*y = 11 + 10. Let n(q) = -q**3 - 3*q**2 + q + 2. Let d be n(y). Is d != -1/31?
True
Suppose 5*k - 2*d = 4*k + 40, 5*k - 4*d = 176. Let o(b) = 46*b - 1381. Let z be o(30). Let n be (1 - 1) + k + z. Is n greater than or equal to 31?
True
Let z = 782 + -781. Is z greater than -677/8?
True
Suppose 3*y + 9 = 33. Let m(z) = 2*z**2 - 14*z - 11. Let x be m(y). Suppose 5*j - r = -98, j + 0*r = x*r - 34. Is -19 at most as big as j?
True
Let r be 396/(-1416)*48/9. Which is greater: -1 or r?
-1
Let h(i) = i**3 - 50*i**2 - 100*i - 200. Let l be h(52). Suppose 4*c - 31 - 13 = 0. Is l bigger than c?
False
Let b = 1.01 + 0.19. Let k be (-2)/8 - 19/38*33/(-18). Which is bigger: k or b?
b
Let y = 18431 + -18382. Is 0.041 >= y?
False
Let o = -2/3009 - -51349/294882. Which is greater: o or 1?
1
Suppose 0*b = 5*b - 855. Suppose 4*h - h = b. Let w be (-1 + (-26)/(-6))*9/h. Which is smaller: w or 2?
w
Let y(q) = 2*q**2 - 28*q + 81. Let s be y(3). Let b = -22 + 41. Which is smaller: s or b?
s
Suppose 5*l + 37 - 12 = 0. Let x be (-2 - 2 - 0)/(108 + -86). Are x and l non-equal?
True
Let u(d) = 4*d - 12. Suppose 7*j + j = 32. Let p be u(j). Suppose 23 = -0*b + b - p*r, -2*r = -5*b + 43. Is b greater than or equal to 4?
True
Let h = -19377/1144 + 69/88. Let a = -26 + 9. Is h less than or equal to a?
False
Suppose -1152 = -5*g - 13*g. Let l = 485 + -426. Is l greater than or equal to g?
False
Let j(w) = -w + 1. Let l(x) = 10*x + 26. Let u(c) = -6*j(c) - l(c). Let h be u(-8). Is h at least as big as -1/30?
True
Suppose 2503*i - 2479*i - 49848 = 0. Is 2073 != i?
True
Let u be ((-14)/(-3 + 31))/(1 + 11958/(-11960)). Do -2989 and u have different values?
True
Let h(u) = 2*u**3 + 3*u**2 - u + 10. Let c be h(-3). Let k(x) = -x**2 - 7*x - 14. Let i be k(c). Is -112 equal to i?
True
Suppose -1804 = -47*t + 452. Let o be (-193)/(-4) - 2/8. Let j = t - o. Is 1/10 less than j?
False
Suppose 42 = -m + 179. Suppose -m = 2*i - 485. Let s be ((-2)/(-5))/(i/10). Which is bigger: 1 or s?
1
Let q be 64/3156*12/(-8). Is 0 at most as big as q?
False
Let d be 2/(-3) - 992/(-48). Let a = d - 39. Which is bigger: -153/8 or a?
a
Let u = -43 - -47. Let f be 1 + 2 + 0/(8/u). Let s = 8 + -5. Is s equal to f?
True
Let p(h) = 2*h + 21. Let q = -46 - -46. Let o be p(q). Let l = o - 22. Which is bigger: l or 51?
51
Let b = 5.79 - 2.79. Let o be 690/(-2665) - 8/164. Do b and o have different values?
True
Let k be 164/36 - 5 - 2856560/(-6735384). Let i = 4/673 + k. Which is smaller: i or -1?
-1
Let c(s) = s - 51. Let z be c(-9). Suppose -8*w - 2*b + 48 = -9*w, -5*b = -4*w - 207. Which is smaller: z or w?
z
Let b = -3 + 8. Suppose 8*a - b*a = 192. Let z(l) = -63*l**3 - 35*l**2 - 28*l + 7. Let f be z(-1). Which is smaller: f or a?
f
Let y be -5 + 6 + 4 + -1. Suppose -y*r + 78 = 2*r. Suppose 0 = 35*z - 33*z - 26. Are r and z equal?
True
Let d(y) = 11*y**2 + 0*y**2 - 85*y**3 + 9*y + 86*y**3 + 0 - 7. Let n be d(-10). Let p be 6/(-18) + (-2)/n. Which is smaller: -6/31 or p?
p
Suppose -16*d + 19*d = 114. Let u = d + -22. Is 20 less than or equal to u?
False
Suppose -140*w = -147*w + 21. Suppose -4*a + 54 = -2*i + 7*i, 2*i - 76 = -5*a. Suppose 2*u - 22 = 5*p, u = -5*p - w*u - a. Is -4 <= p?
True
Let a(k) = -23*k - 81. Let q be a(-9). Let x be (-6 - 108/(-16))*8/q. Which is bigger: -3 or x?
x
Let q(t) = -2*t**3 - 18*t**2 - 29*t + 24. Let o be q(-10). Suppose 93 + 31 = -h + 3*d, 4*h + o = 3*d. Are h and -132 non-equal?
True
Let m be (2/(-2))/((-3)/30). Let v(b) = 2*b**2 + 91*b - 132. Let j be 3/(-30) - 2*(-469)/(-20). Let f be v(j). Is m greater than f?
True
Let a be (4/5350)/((7 - 11)/20). Is a greater than -6?
True
Let l = -2099 + 2097. Let r be (-19)/(-2 + (-26)/4). Let t = 10/187 - r. Is l greater than t?
True
Let s be (-24)/(-10)*(1 - 6). Let y = -1019 + 2013/2. Which is greater: s or y?
s
Let a(h) = 3*h + 2. Let d be a(-7). Let t(j) = j**2 + 17*j - 58. Let w be t(d). Is w less than -62/3?
False
Let l be (-3)/(-21) + (186/35 - 6). Let x be (-74)/70 + 3 + -2. Let k = x + l. Which is bigger: 0.4 or k?
0.4
Suppose -240 = -35*q + 18485. Is q at least 539?
False
Let x be 6/(-33) + (-3042)/(-33). Let m = -90 + x. Do -26 and m have the same value?
False
Let j(b) = -2*b**3 - 32*b**2 + 72*b - 2. Let v be j(-18). Let c be 0 - 1/(3/30). Let n = 6 + c. Which is smaller: v or n?
n
Let n = 5376 - 5263.84. Let x = 112 - n. Let t = 2/15 - 1/3. Is t > x?
False
Let t(r) = r**3 + r**2 - 6*r - 6. Suppose -3*w - 4 = -2*w. Let m be t(w). Let v(n) = 324*n - 1649. Let d be v(5). Which is smaller: d or m?
m
Let k be 1271/279 + (-8)/(-18) + 3. Is -29 less than k?
True
Let m be 5/(-1) + (-4 - -7). Let t be (-14444)/22 + (-3)/(3/(-2)). Let o = 654 + t. Do m and o have the same value?
False
Let x(b) = -4*b + 20. Let j be x(8). Let p be 1*(-15)/100*j. Let n = 67/40 - p. Is n at most as big as -2?
False
Suppose -178 = 4*w + 310. Let h = 122 + w. Suppose y + 2 = -h*n - 3*n, 2*n + 3*y + 13 = 0. Which is greater: -1/72 or n?
n
Let o = 0 - -1. Let s be 238/28 + -9 + (-1019)/(-2142). Let m = -4/63 - s. Which is smaller: o or m?
m
Let g be 1 + 5*(2 - 32/15). Let d = -18.4 + 18.6. Is g greater than d?
True
Let i(q) be the first derivative of 41*q**2/2 - q - 7. Let g be i(-1). Let p be 8/g*(-18)/(-12). Which is greater: p or 4/5?
4/5
Let d = 106 - 106.067. Let p = d - -0.014. Let x = p + -0.047. Is x not equal to -2/9?
True
Let n = -618 + 240. Let a = 5672/15 + n. Do -33 and a have the same value?
False
Let m be (-13)/(-11) - 8/44. Let i be m/(-28)*421256/(-66). Let o = 228 - i. Are -1 and o unequal?
True
Let d = -33722 + 38001. Is 1/2 equal to d?
False
Suppose -3*v = -c - 3, 10 = -2*c - 5*v - 40. Let x(h) = 9*h + 89. Let f be x(-27). Let s be -1*4*f/(-44). Which is smaller: s or c?
c
Let m = 1.077 - 1.16. Let i = -114479 + 114478. Is i > m?
False
Let f = 8922.317 + -8923. Which is smaller: 0 or f?
f
Let o = -1.3 + 0.6. Let f = o - -1. Let y(d) = -2*d - 7. Let p be y(-7). Which is smaller: f or p?
f
Let i = 0.0849 - -643.9151. Let n = 564.8 - i. Let c = n + 77. Which is bigger: 0.1 or c?
0.1
Let v be (-4 + 1)*(-150)/18. Let d be (1*-2)/((-1)/v*-5). Let z be (d - 0)*(-3)/2. Is -0.1 less than z?
True
Let a = 13 - -19. Let h = -33 + a. Let r be ((-12)/56)/((-16)/(-28)). Is r less than h?
False
Let u = -27 - -25. Let l be ((-1328)/(-240))/(u/(-6)). Is l less than or equal to 17?
True
Let o = 222 + 12. Suppose -17844 = -51*k - 5