o -10?
True
Let z be (-11 + (-486)/(-45))/(36/(-65)). Is -1 less than z?
True
Suppose 0 = m - 5*u + 63, u = -4*m - 71 - 139. Is m at most -163/3?
False
Suppose 0 = -2*a - 10, -4*d - 3*a + 29 = 0. Suppose 2*r = 2*f + 8, -d = 2*f - 0*r - 3*r. Which is greater: -7/8 or f?
-7/8
Let s = -6.5 - -5. Let l = -8.5 + 8. Let q = l - 0.5. Is s less than or equal to q?
True
Let g(m) = -m**2 - 10*m - 12. Let u be g(-8). Let s be ((-15)/(-10))/(1 - u). Is -1 bigger than s?
False
Let p(s) = -s - 6. Let x be p(0). Suppose -1 - 20 = -3*d. Let v = d + -14. Is x less than or equal to v?
False
Let d be 20/(-58)*(20/8 + -2). Suppose 4*w = 5*s - 10, -8*s = -4*s - 8. Is w equal to d?
False
Let u = -355 + 354.9. Which is greater: u or 0.2?
0.2
Suppose -113 = -14*w + 475. Which is smaller: 43 or w?
w
Let u = -22 - 9. Let m = -14.7 - u. Let t = 16 - m. Which is greater: 1 or t?
1
Let q(d) = 8*d - 60. Let t be q(6). Which is greater: 2 or t?
2
Suppose -y - 3*p - 10 = 0, 4*y = y + 5*p + 26. Let r(w) = -2 + 37*w**2 + 3*w**3 - 3*w - w**3 - 36*w**y. Let m be r(-2). Is m <= -9?
False
Suppose 3 = -b, -2*v = -v + 3*b + 4. Suppose -76 - 74 = -v*c. Suppose -c = h + 4*h. Are h and -6 unequal?
False
Let j = 3545/66 - 161/3. Let p = 5275 + -348191/66. Let t = j - p. Which is smaller: t or 2?
t
Let t(i) = -580*i**2 + 20*i + 1. Let s be t(1). Is -0.2 at most s?
False
Let q be (264/74)/((-16)/160*-20). Which is bigger: 3 or q?
3
Let p = 325 + -291.8. Let c = p - 34. Are c and -2/7 unequal?
True
Let g = 218 - 218. Let c(d) = -d**3 + 8*d**2 - d + 6. Let f be c(8). Which is smaller: f or g?
f
Let v be 2 - ((-8547)/(-44))/21. Which is smaller: v or -8?
-8
Suppose 0 = u - 5*n - 14 + 8, 2*u = 2*n - 20. Let c be 2 - 4/(8/(-6)). Suppose c*x - 38 = -108. Is u <= x?
True
Let i(m) = m + 0 - 4 + 0 - 5. Let g be i(9). Let f be (-31)/(-9) + (-3 - 0). Which is smaller: g or f?
g
Let r(d) = d**3 + 8*d**2 + 6*d - 6. Let n be r(-7). Suppose -3*q - p + 15 = -4*p, 4*q + 5*p = 11. Suppose -q + n = u. Which is smaller: u or 2?
u
Suppose -4*y + 34 - 39 = -q, -5 = -2*y - q. Let m be ((-4)/(-12))/(2/12). Let r be m - (2 - 1/(-6)). Is y at most as big as r?
False
Suppose 0 = -l + 4 - 2. Suppose j + l*a = -8, 0*j - 5*a = 3*j + 25. Does j = -9?
False
Suppose 168*v - 177*v = 0. Let x = -5.7 - -0.7. Let g = 4.98 + x. Do v and g have the same value?
False
Suppose 9 = w + 2*u, 3*u + 14 = -4*w + 5*u. Which is greater: w or -2/219?
-2/219
Suppose p - 15 = 6*p. Which is smaller: 6 or p?
p
Let w = 0.93 + -0.83. Is w less than -2.32?
False
Let t be (-3)/10*-4*175/252. Are 1/6 and t equal?
False
Suppose 0 = -5*g + 3*g - 8, 0 = -4*s - 5*g - 20. Does 6/5 = s?
False
Let i(f) be the second derivative of -f**3/6 - 4*f. Let g be i(-2). Which is smaller: g or 0?
0
Suppose -5*o = -5*f - 105, 498*o = f + 496*o + 15. Suppose -5 = d, -35 = 4*b - 2*d + 59. Is b bigger than f?
True
Let s = 7 - 11. Let n be s + (-3 - 206/(-30)). Let o = n + -1/15. Is -1 equal to o?
False
Let a = -31.8 - -32.5. Which is smaller: -0.03 or a?
-0.03
Let x = -1630 - -1631. Is -2/235 not equal to x?
True
Let a be (1/1)/(1/8). Let k be (-3)/((-4)/a*2). Suppose 5 = -6*l + 29. Is l at most as big as k?
False
Let x(o) = 7*o - 42. Let l be x(-15). Which is bigger: -148 or l?
l
Suppose -4*c = -3*y + y - 82, 3*c - 5*y - 72 = 0. Suppose -22*z = -c*z + 6. Which is smaller: z or -0.1?
z
Let o = -1.9 - -21. Let i = -19 + o. Which is greater: i or 1?
1
Let i = -51 - -51. Let t = 702/7 + -100. Are i and t non-equal?
True
Suppose -4*x - 10*x = 0. Suppose -2*c + 69 = -3*a, x*a - 2*c + 27 = -a. Is -22 != a?
True
Let i be 705/20 - 6/(-8). Suppose o + o + i = 0. Let b be (-10)/6 - 12/o. Do b and 1 have different values?
True
Let y be (-3840)/272 + (-2)/(-17). Let k be (3 + y/4)*2 + 11. Is k at most as big as 10?
True
Suppose -i - 4*i = 5. Let z = 36.47 + -38.1. Let h = z + 0.23. Is h > i?
False
Let n(r) = r**2 + 2*r - 23. Let u be n(3). Let h = 13 + -21. Is h at least as big as u?
True
Let g be 2692/48 - (-6)/(-72). Is 55 greater than g?
False
Suppose -2*z + 2*n + 2 = -6, 20 = -4*z - 5*n. Suppose -3*k + z*h + 4 = h, -4 = k - h. Which is greater: k or 3/11?
3/11
Suppose 0*x - 4*l + 4 = 4*x, -3*x + 3*l - 15 = 0. Let m be -3*(x - 141/(-63)). Suppose -21*w - 25*w = 46. Is m greater than or equal to w?
True
Let n = 2 - 2. Let b = -221.9 + 232. Let z = 10.5 - b. Is n at most as big as z?
True
Suppose -3*a = -5*w + 4*w + 35, 2*a = -3*w - 5. Let b = 0.56 - 1.05. Let t = b + -0.51. Which is bigger: a or t?
t
Let w be 4/(-16) + (-130)/(-1640). Is 1 less than or equal to w?
False
Let h be -5 + 18*(-78)/(-198). Are 2 and h nonequal?
True
Let h = -85.2 - -1.2. Let j = h + 86. Let i = -0.06 + -4.94. Which is smaller: i or j?
i
Let y(d) = -d + 3 - 3*d - d**2 + 0*d - 4. Let l be y(-4). Let k(q) = -5*q + 33. Let b be k(7). Are l and b non-equal?
True
Let m be (-3 - -1)/(-10*(-17)/340). Are m and -102 unequal?
True
Let n = 0.183 - 0.22. Which is smaller: n or 2?
n
Let g(l) = 2*l**3 + 9*l**2 + 7*l. Let k be g(-6). Let b = k - 20. Let q = -1872/11 - b. Which is smaller: q or 1?
q
Let m = -206.3 + 253. Is m at least as big as 1?
True
Suppose -6*y - 408 = -9*y. Let q = -6/6425 + 871236/6425. Let c = y - q. Which is smaller: 3 or c?
c
Suppose -4*j + 3*i + 15 = 0, -24*j = -28*j - 5*i - 25. Which is greater: j or 2/2905?
2/2905
Let s = -64 + 69. Let b be ((-39)/(-26))/(3/(-8)). Let x be b/18 + (-56)/(-90). Which is smaller: x or s?
x
Let u(w) = 3*w**3 - w**2 + 2*w - 1. Let v be u(1). Let o(j) = -j**2 + 2*j + 1. Let x be o(v). Let l be (-7)/21 - (-2)/x. Is l at least as big as -2?
True
Let b = 583/8 - 73. Let k(n) = -n + 7. Let v be k(7). Is b greater than v?
False
Suppose v = -v - 124. Let f = v - -61. Which is greater: f or 5?
5
Let z be (1 - 0)/(7 - (-8)/(-2)). Let w = -21 - -13. Which is greater: z or w?
z
Let z be (76/(-950))/((-98)/(-30)). Is z smaller than 0?
True
Let z = 352.81 - 353. Is -1/2 less than z?
True
Let h(d) = -d**2 - 37*d. Let j be h(-37). Are j and -5/47 unequal?
True
Let s = 0.0969 - -69.9031. Which is greater: s or 1/3?
s
Let m(u) = -8*u**2 - 6*u + 18. Let b be m(6). Let i = 1233/4 + b. Let g = 0 + 1. Which is smaller: i or g?
g
Let t = 281 - 374. Does -93 = t?
True
Let z = 641 - 640. Is 238 greater than z?
True
Let z = 10 - 3. Let m(n) = -n**2 + 13. Let t be m(0). Suppose 15 = t*j - 10*j. Do j and z have the same value?
False
Let c(x) = x**2 + 9*x - 11. Let z be c(-5). Let o = 30 + z. Is -16/11 <= o?
True
Let q = -58 + 37. Which is bigger: -22 or q?
q
Let h = -380 - -482. Which is greater: h or 8?
h
Suppose m - 29 = -4*x, -3*x + 0*x + 20 = -m. Let r(t) = t**2 + 6*t - 2. Let p be r(-6). Is x > p?
True
Let w = 209 + -216. Which is bigger: 3/4 or w?
3/4
Suppose 3*m - 47 = -17. Suppose q - m = -q, 0 = y + 2*q - 9. Let g(h) = h**3 - 32*h**2 + 33*h - 63. Let c be g(31). Is y bigger than c?
False
Let u be (-138)/23 + (-86)/(-12). Are 2 and u nonequal?
True
Let x(h) = -h**3 - 2*h**2 + h + 1. Let v be x(-4). Suppose 0 = 5*u - 9 + v. Let q = -2 + 3. Is q <= u?
False
Suppose 445*u = 448*u - 2592. Are u and 865 nonequal?
True
Let l = -1322 - -1325. Let q(y) = -y**2 + 8*y - 8. Let m be q(6). Let k = m - 3. Is k greater than l?
False
Let h be ((-4)/7)/((-4)/14). Suppose -2*q = -0 - h. Suppose q + 2 = -3*c. Is -1/3 greater than or equal to c?
True
Let y = 0.4 + -4.4. Let j = 5.984 + 0.016. Let u = y + j. Is u > 0.06?
True
Let w(u) = 4*u**2 + 8*u - 7. Let n be w(-4). Suppose 4*s = 9*s + n. Do s and 2/3 have different values?
True
Let z be (-230)/(-42) + (-1)/3. Let y = z - 1325/259. Which is smaller: 1 or y?
y
Let d = 3.78 - 2.78. Which is smaller: -9 or d?
-9
Let x = -2 - -14. Let b be ((-105)/20)/(3/(-8) - 0). Which is smaller: b or x?
x
Let u be (2 + -1 + -3)*(-22)/(-154). Let c(j) = -j**2 + 5*j - 2. Let f be c(3). Let a be 0/2*f/8. Is u smaller than a?
True
Let c(x) = 71*x + 5. Let a be c(-4). Let h = 6697/24 + a. Which is bigger: 0 or h?
h
Let l(a) = -17*a + 1. Let h be ((-3)/9 - -1)*18. Let i be l(h). Let g = 2236/11 + i. Is g at most as big as 0?
False
Suppose 10*m + 4165 = -5525. Which is bigger: -968 or m?
-968
Suppose 2 = 3*j - 1. Let m be (1 - (-340)/(-154)) + j. Let x = -3/22 - m. Is -1 greater than or equal to x?
False
Suppose -3*z + 2*q = -7*z + 692, 3*z - 521 = -2*q. Are 171