 o?
o
Let h = 39 + -38.586. Which is bigger: -2 or h?
h
Let w(q) = q**2 + 4*q - 2. Let x be w(2). Suppose -7*y - 101 = -x. Which is bigger: -0.1 or y?
-0.1
Let x be 3532/22 + (-438)/803. Is x at most as big as 162?
True
Suppose 2*n = -r + 3*r - 4, -5*n - 18 = -r. Let s = 20.012 + -0.012. Let o = s + -19. Which is smaller: o or n?
n
Let l(j) = -j**2 + 7*j - 7. Let r be l(4). Let w be r/(-5) + (-51)/(-15). Which is greater: w or 0?
w
Let j = -5 + 8. Let q be (45/20)/(3/(-56)). Let u = q - -46. Is j less than or equal to u?
True
Let y = 10.4 - 11. Let a = -0.42 - y. Let n = 0.17 - a. Is n greater than -1?
True
Let u = 0.046 - -75.954. Let g = u - 75.8. Which is bigger: g or -15?
g
Let u = -0.452 + 1.452. Which is bigger: -1.34 or u?
u
Let p = -7 - -15. Suppose -4*f = -6*q + 4244 - 4240, -f = 3*q - 26. Is p greater than f?
False
Suppose -2*w + 48 = -6*w + 4*m, 0 = 5*m. Let l = w + 16. Suppose -l*z + 12 = -2*z. Are z and 5 unequal?
True
Suppose 5*f - 7*f - 2 = 0. Let m be (-623)/(-28) - f/(-4). Is m smaller than 22?
False
Suppose -3*m + 5*v - 9 = 0, -4*v = 5*m - 18 - 4. Is m greater than or equal to -82?
True
Let j = -81 - -86. Suppose 0 = -j*r + 2*r + 60. Let n be (-5)/(-15) - (-112)/6. Do n and r have different values?
True
Let u be -3 + 4 + -2 - 2. Let z be u*(2 + 0)*(-2)/(-3). Is -4 at least z?
True
Let a be (-3)/(7 - (-5 + 11)). Do a and -2 have the same value?
False
Let q be -3 + (134/8 - 12/(-48)). Are 15 and q unequal?
True
Let q = -2.4 + 2. Let s = -240 - -248. Which is smaller: s or q?
q
Let w = 1043.46 + -1031. Let m = 0.46 - w. Is 2/7 at most m?
False
Let c be (1/((-616)/(-12)))/(3/1607). Let b = c - 114/11. Is b at most as big as 0?
False
Let s = 1.64 + 88.36. Let q = 94 - s. Is q less than -1/9?
False
Let v = -34 + -18. Let n = v - -45. Which is smaller: n or -8?
-8
Let p = -6 - -5.7. Let t = -4 - 7. Do t and p have the same value?
False
Let i(u) = -46*u + 323. Let c be i(7). Which is smaller: 4 or c?
c
Let m = 8 + -14. Let o be (-40)/m + (-6)/9. Let w be (1/o)/(24/54). Is 1 <= w?
False
Suppose 5*v + 2*h + 1249 = 245, 4*h = -4*v - 796. Which is smaller: -200 or v?
v
Let o = -180 + 77. Let c = 102.49 + o. Is 0 < c?
False
Let u be (-2)/(-2)*1/1. Let d be (2/2)/(u/3). Let x be (-9)/(-3) + -6 + (0 - -7). Which is bigger: x or d?
x
Suppose 0 = x + 3, 5*x = a + x - 40. Let j be (-34 + a)*1/(41*1). Is j at least -1?
True
Let b = -28 + 2. Let y = -61 - b. Which is greater: y or -34?
-34
Let c be (-42)/(-35)*15*1/(-3). Let o be 24/(-6) - (1 + -3). Which is greater: o or c?
o
Let z be (3 - 1)/(20 + -24). Are z and 130 non-equal?
True
Let a(y) = -19*y**3 + 5*y**2 - 6*y + 3. Let o be a(2). Which is smaller: o or -142?
-142
Let l(z) = -z**3 - 5*z**2 - 7*z - 21. Let p be l(-5). Is p equal to 130/9?
False
Let m = 19 + -12.2. Let f = 10.8 - m. Which is smaller: 9 or f?
f
Let a be ((-28)/(-3))/((4/(-57))/2). Are a and -266 equal?
True
Let a be (-4)/3*7*13/(-2366). Which is bigger: 1 or a?
1
Let i be (-9)/3 + 3 + 7 + -10. Let x = 3 - 1. Which is smaller: x or i?
i
Let b = 10.04 - 109.04. Is 6 <= b?
False
Let u = 4 - 5. Let y = -10331 + 72603/7. Let p = y - 8880/217. Is u equal to p?
False
Let b be (6 - 12)*2/(-6) - 0. Which is greater: -3 or b?
b
Let x be 0 + -7 + (-630)/(-88). Do 0 and x have different values?
True
Let u(l) = -6*l - 7. Let f be u(-1). Do -1/389 and f have different values?
True
Let n = -6441/40 + 807/5. Which is smaller: n or 1?
n
Let s(p) = -96*p + 479. Let m be s(6). Which is smaller: m or -94?
m
Let d(f) = -17*f**2 + 2*f - 1. Let x be d(1). Let h = x - -18. Suppose 12 = -4*y - h*y. Is y equal to -6?
False
Let x be 0/(-4)*((-14)/4 - -3). Is x smaller than 12/37?
True
Let u = -8/33 - -43/132. Let v = -1/36 - u. Suppose 0 = 6*f - 5 - 1. Do v and f have the same value?
False
Suppose 4*p + 2*r - 2 = 0, 2*p - 2*r - 2 = -4. Suppose p*g = 6*g - 24. Is 0 < g?
True
Let l be 30/20*5/(45/(-12)). Let a be (10 + 4)/((6 + -2)/l). Let h be 4/(-6) + (-13)/3. Which is greater: h or a?
h
Let v = 1.08 + -24.08. Which is smaller: -1/2 or v?
v
Let p = -2.1 - -3.1. Which is smaller: p or 95?
p
Let j(n) = n - 7. Let r(o) = -3*o + 14. Let m(c) = 5*j(c) + 2*r(c). Let h be m(-6). Let p = 1 + 0. Which is greater: h or p?
p
Suppose 7*i + 3*n = 3*i + 24, -2*i = -2*n + 2. Suppose -3*z = 5*m - 13, -2*z = m - 3*z - 1. Let u be (-10)/5 + m + i. Which is smaller: u or 7/2?
u
Suppose 7*g + 1003 = -957. Let z be -2*(-2)/4*-2. Let a be (z/4)/((-10)/g). Is -14 > a?
False
Suppose 9*u + 12 = 21*u. Let g(b) = -30*b**3 + 3*b - 2. Let w be g(u). Do -28 and w have the same value?
False
Let y be (-1)/(-2) - 19/6. Let t = -613 + 609. Are t and y nonequal?
True
Let v = 2.17 - 99.17. Let f = v + 100.9. Let r = f + 0.1. Is r smaller than 0?
False
Let y(z) = -z**3 - 3*z**2 + 4*z + 2. Let n be y(-3). Let s = 26 + -35. Let a = s - n. Are a and -1/6 unequal?
True
Let s(d) = -72*d + 867. Let b be s(12). Let l = 3 + -7. Which is greater: b or l?
b
Let k be (-15)/(60/16) - (-224106)/614. Let s = k + -361. Is -1 > s?
False
Let u = 266 + -267. Let k be ((-2)/(-164))/(4/(-16)). Which is smaller: u or k?
u
Let s be (-4)/(-18) - (-2 - 20/(-252)). Which is bigger: 0.7 or s?
s
Let r = 6 - 5.99. Let y = -7 + 7. Let c = -1 + y. Is c < r?
True
Let z = -46.06 - -30.1. Let m = z - -16. Let t = -0.13 + m. Is 0 greater than or equal to t?
True
Let s = -1809/10 + 871/5. Let n = -31/5 - s. Let z be 2/(2 + (-8)/6). Which is smaller: z or n?
n
Suppose 215 = 5*g + 230. Is -22 not equal to g?
True
Suppose 34*m = 49*m - 3675. Which is smaller: m or 246?
m
Let q = -3/604 + 279/10570. Let a = 7753 + -7752. Which is greater: q or a?
a
Let s = -50 - -66. Do 15 and s have the same value?
False
Suppose 17*z + 70 = 22*z. Suppose 0*i - z = 7*i. Is -3 less than i?
True
Let s be (-5)/1*(-16)/10. Let m(b) = -b + 12. Let k(w) = w**3 + 3*w**2 + 2*w + 5. Let d be k(-2). Let n be m(d). Which is bigger: n or s?
s
Let x be (-2)/8 - (-5 - (-184)/32). Is -1/1313 < x?
False
Let j be (-10 - (-456)/51)*1/(-3). Is j bigger than 0?
True
Let q = 55697693/2037 - 27343. Is q < -1?
False
Let v(z) = -z**3 + z**2 + 4. Let j be v(-3). Suppose -c - 4*c - j = 0. Let l be 118/(-12) + 41/(-246). Is c less than or equal to l?
False
Let b = -6 + 5.8. Suppose -2*s - 2*m - 34 = -0*m, 3*s - 5*m + 35 = 0. Let a be (77/s + 5)*(-5)/3. Are b and a unequal?
True
Let t = 454.15 - 458. Do t and -1 have the same value?
False
Suppose -4*i = 3*d, -2*i - 9*d = -12*d. Is i < -15/14?
False
Let f(w) = w**2 - 5*w - 12. Let v be f(7). Suppose i - 2 = 4*q + 5, 0 = 5*i + v*q - 79. Is 15 > i?
False
Let n = -0.098 - 0.202. Which is smaller: -5 or n?
-5
Let h = 0.013 - -15.487. Let l = h - -3.5. Let q = l + -17. Are q and -5 nonequal?
True
Suppose -2*q = 2*c - 34, 0 = -5*c - 4*q + 32 + 52. Suppose 6*n = 26 + c. Which is smaller: n or 8?
n
Let v be ((-1)/(-6))/(-13 - -11). Let b = 27/7 + -88/21. Which is smaller: v or b?
b
Let m = -244.7 - -245.48. Which is greater: 0.06 or m?
m
Let b be (-264)/(-14)*(-350)/(-340). Which is smaller: 19 or b?
19
Suppose 29*f + 1020 = 24*f. Let v be (-6)/15 + (f/(-10) - -3). Is v greater than or equal to 20?
True
Let o be 7/(98/60) + (28 - 32). Is -96/11 < o?
True
Suppose 27 = -5*m + 4*i - 86, 3*m + 69 = 3*i. Is m != -22?
True
Let g = 6 - 3. Suppose g*l = 26 + 37. Let v be 6/(-14)*14/l. Is v not equal to 0?
True
Suppose 2*h + 13*h = -255. Let y = -18 - -1. Is y > h?
False
Suppose 9 = r - 4*r. Let l = -302504/2243 - -3736893753/27263665. Let h = -2/2431 - l. Is h at least r?
True
Let h be (-1)/(-1) - (1 + -2). Suppose 5*b = 5, 0 = -3*t - h*b + b + 1. Let o be (-3)/(2/3*6). Is o equal to t?
False
Suppose -r = -5 - 0. Let v be 9/(-1) - -8 - -8. Which is smaller: r or v?
r
Let j be 1 + -1 + (2431/91 - 27). Let d = -2.236 + 2.2. Does d = j?
False
Let d = 1101 + -1100.9859. Do 0.1 and d have the same value?
False
Suppose -2*o = -2*v - 6, -4*o + 2*v - 6 = -10. Let n be (-1 + 4)/(3396/(-8)). Is n bigger than o?
True
Let p(k) = -2*k**3 + 12*k**2 - 2*k + 4. Let o be p(6). Which is bigger: o or -9?
o
Suppose -2*w + 84 + 72 = 5*i, 4*w - 4*i - 256 = 0. Suppose -5*j = 5*v + 190, -4*v - 109 = -j + w. Which is greater: v or -42?
-42
Let u be 19 - 30 - (-14 + 3). Is u < -1/1325?
False
Let h = 0.25 - -1.25. Let z = h - -10.5. Let d = -12.1 + z. Which