Which is bigger: i or 0.1?
0.1
Let m = -0.21 - -9.21. Let c = -9 + m. Which is bigger: c or 0.3?
0.3
Let d = -134/7 + 19. Suppose -4*o + 0 - 4 = 0. Which is greater: o or d?
d
Let x = 3.6 + 0.4. Which is bigger: 0 or x?
x
Let d(c) = -2*c**2 - c - c**3 - 5*c**2 - 2 + 0*c**2. Let w be d(-7). Suppose w*n + 5 = 10. Which is greater: n or 0?
n
Let w(j) = -j**2 - 14*j + 5. Let y be w(-14). Is y bigger than 40/9?
True
Let z = -108 - -103.7. Let i = z + 4. Is 1 not equal to i?
True
Let j(s) = -s**3 + 6*s**2 + 4*s. Let f be j(7). Does -20 = f?
False
Let t(o) = -o**2 + 6*o - 1. Let b be t(6). Suppose 5*j + 4*n + 19 = n, 3*j - 4*n = 6. Let u = j + 1. Do b and u have the same value?
True
Suppose 0 = -5*o + 154 + 41. Let f be o/(-84) + 6/8. Which is bigger: 1 or f?
1
Let z = 67/3 + -22. Does z = 0.1?
False
Suppose 3*t = 15, -2*t = 2*z + z - 10. Let s be (-2)/(-6) - (-32)/12. Is s greater than z?
True
Let d = -53 + 39. Which is bigger: d or -15?
d
Let u = 23 + -64. Let c = -245/6 - u. Are c and 1 non-equal?
True
Let z be (-1 - (-738)/14)/(-1). Let l = z - -52. Let y = 2 - 1. Is y at most l?
False
Suppose 5*d = -3*n + 50, 2*d + d - 41 = -4*n. Which is smaller: d or -3?
-3
Suppose 0 = s - 3 - 0. Suppose 5*q + 7*f + 5 = 2*f, 0 = s*q + 2*f + 3. Let j be (-2)/(-3)*(-9)/(-33). Which is greater: j or q?
j
Let d = -0.07 + 10.07. Suppose -3*p - 4 - 5 = 0. Let l be (-2)/p - (-20)/(-21). Which is bigger: d or l?
d
Let o be 6/(-9) + (-50)/(-3). Is 15 at least as big as o?
False
Suppose 2*v - 5*m + 1 = -4*m, 2*v + 3 = -m. Which is smaller: v or 1/11?
v
Let i = -0.1 + 0. Let x = -0.1 - 6.9. Let g = -6.8 - x. Is g less than i?
False
Suppose 0 = -5*i + i. Let l = 3 - 10. Let r(d) = -d**3 - 7*d**2 + 1. Let k be r(l). Which is greater: i or k?
k
Let s = 0.3 + -1.3. Let l = -19/120 + 8/15. Is l at least s?
True
Let o(a) = -a**3 - 2*a**2 + 2. Let i be o(1). Which is greater: 1/49 or i?
1/49
Suppose -125 = -k + 6*k. Which is greater: k or 1?
1
Suppose 0 = 5*b - 4*l + 8, 2*b - 4*l + 3 = -5. Suppose 4*j - 2 = 14. Suppose 2*g + j = -2*g. Which is bigger: g or b?
b
Let j = -40 - -41. Which is smaller: -31 or j?
-31
Let z = 0.033 + 0.377. Let q = 0.01 - z. Let d = 0.6 - q. Which is smaller: 0.3 or d?
0.3
Let w = 0.8 + 2.2. Is w less than 0?
False
Let y = 7/6 - 25/42. Which is greater: y or 1/10?
y
Suppose -i + 5*i + v = 11, -2*i - 4*v + 16 = 0. Let g = -5.2 + 3.2. Is i equal to g?
False
Let f = -9/38 - 5/19. Suppose a + 5*r = 7, -15 = 3*a - 0*r - 3*r. Let v = -5 - a. Are f and v nonequal?
True
Let f(o) be the first derivative of o**2 + 12*o + 1. Let i be f(-8). Is -3 smaller than i?
False
Let s = 52 - 51. Which is smaller: s or -2/171?
-2/171
Let q(h) = -h**2 - 4*h - 4. Let l be q(-3). Suppose 27 = 5*g - 188. Let n = g - 128/3. Which is smaller: n or l?
l
Suppose 5*v + 3*u + 195 = 0, -2*v - 5*u - 143 = 2*v. Let p be (-40)/v - (-22)/(-77). Let m(h) = -h**2 - h + 1. Let q be m(0). Which is smaller: q or p?
p
Let t = -412/209 - 4/19. Which is smaller: -2 or t?
t
Let o = -6733/2 - -3304. Let v = 69 + o. Do v and 7 have the same value?
False
Let o = 86 + -600/7. Let h be (2 - 0) + 2 + -1. Suppose 0 = h*z + z. Is z at least o?
False
Let j = 69 + -69. Is j bigger than 3/17?
False
Suppose -3*a = -8*a - 15. Is a less than -18/11?
True
Suppose -6*t - u = -2*t + 17, 0 = -2*u - 2. Let j be 4/(-78)*(t - -1). Do j and -1 have the same value?
False
Let h be 3/(3/4)*-1. Does h = -4?
True
Let j be 166/(8/948*-33). Let l = j + 595. Which is greater: l or -1?
-1
Let w = 44 + -44. Is 0 greater than or equal to w?
True
Let v = -12.3 + 13. Is -0.2 less than v?
True
Suppose -8 + 2 = -3*o. Let j be 1 + (2 - o) - 2. Is j < 1/3?
True
Let r(z) = -z**2 - 4*z + 6. Let i be r(-6). Is i less than or equal to 4?
True
Let i = 14 - 25. Let o = 8 + i. Is -1 greater than o?
True
Let r be 0 + (1 - 70/(-12)) + -2. Is r < 5?
True
Let w be 1 - 7/9 - (-64)/(-126). Which is greater: w or 0?
0
Let c = 29 - 21. Suppose 4 = 3*f - g, 2*g = -f - 4*f - c. Let v = 10 + -21/2. Is f at most v?
False
Suppose 5*b + 38 = -r, 2*r - 16 = 4*b - 2*r. Let d(j) = -j**3 - 8*j**2 - 5*j + 6. Let q be d(b). Are q and -8 non-equal?
False
Suppose -7 = -4*s - 3. Let b be (s/2)/((-2)/(-20)). Let j(u) = -2*u - 4. Let g be j(-4). Is b < g?
False
Suppose 0 = 4*g + 4*f - 8, 0 = -2*g - g + 2*f + 6. Suppose -g*i + 1 - 19 = 0. Let z = i + 5. Which is greater: z or -5?
z
Suppose -h - 7 = 4*j, -2*j = -h - 0*j + 5. Is 6/5 bigger than h?
True
Let d = 103 - 102. Is d >= -0.076?
True
Let t = 0.7 - -2.3. Let n = 2 + t. Is n <= 0?
False
Let h be (-60)/18 + 5/15. Which is bigger: h or -0.16?
-0.16
Suppose -2*d + 10 = -r, -5*r + 4*d - 74 = -0*d. Let x be 6/10 + 6/r. Which is bigger: x or -1?
x
Suppose -3*m = 4*k - 41, k + 4*k - 28 = 4*m. Let u be 4/k + 5/(-6). Which is smaller: u or -0.1?
u
Let i = 59 + 27. Which is bigger: i or 85?
i
Let d(f) = -f**3 - 18*f**2 + 38*f - 29. Let j be d(-20). Which is greater: 7 or j?
j
Suppose w - 9 = -2*w. Suppose m = w*m - 26. Let q be 0 + -1 + m/11. Which is greater: 0 or q?
q
Let b = -62 + 311/5. Let g be -3 - (-2 - (3 - 2)). Is b <= g?
False
Let j = -3339/13 - -257. Let s = 3 - 4. Is j at least as big as s?
True
Let x = -0.65 - -0.25. Let h = -0.3 - x. Which is bigger: h or -2/5?
h
Let m = 1127 - 1124. Suppose -8 = -4*q + 4. Suppose q*u + 5*g = 2*u + 18, -4*g + 9 = -u. Is m less than u?
False
Suppose 2*f - 4*z = f - 11, -3*z = -3*f - 15. Are f and -4 equal?
False
Let l be 3/12 + 157/4. Is l at least 40?
False
Let u be ((-28)/(-14))/(1/2). Let q(c) = -c + 3. Let d be q(-4). Let b be 2/(4*d)*u. Which is smaller: b or -1?
-1
Let q = 27 + -59. Let g = 4/179 - 16838/537. Let o = q - g. Which is greater: o or 0?
0
Let l = -2 - -6. Suppose -c = a - 11, -8*c + 3*c + a = -43. Suppose 2*f + f - c = 0. Is f equal to l?
False
Suppose 4*s + 2 = -3*d, -4*d - 1 = -3*s - 15. Let y be 0 - (2 - 0)/s. Which is smaller: 1/5 or y?
1/5
Let d = 44 + -27. Let w = 375 - 358. Does w = d?
True
Let n be (-2)/(-7) - (-450)/(-7). Let w be 4/(-14) + n/(-28). Suppose -2*r + w = 2*d, -3 = -r + 3*d - 2. Are r and 1/4 non-equal?
True
Let h = -6 + 9. Which is greater: 11/6 or h?
h
Let v = -0.1 - -0.1. Let p = 9 + -7. Is v > p?
False
Suppose 5*v + d + 2*d + 41 = 0, 8 = -4*d. Let s = 12 + v. Suppose 0 = -3*z + 2 - s. Which is greater: z or 0?
0
Let j(b) = b**3 + 2*b**2 + 2*b + 2. Let f be j(0). Is 26/11 > f?
True
Suppose -4*p = 3*x + x - 44, -4*p + 5*x = -8. Let g = p + -4. Let f be (-5)/(-15)*((1 - 4) + 15). Which is greater: g or f?
f
Let y(s) = -2*s**2 + 2. Let h be y(-2). Suppose -n + 8 = -3*n - 2*k, 5*k = 3*n + 36. Which is greater: h or n?
h
Suppose i = -u + 3, 5*u = -3*i - 0*i + 13. Are 2/5 and i non-equal?
True
Let b(k) = 42 + 25 + k - 15 - k**2 + 8 - k**3. Let o be b(0). Let a be (-1)/3 + 92/o. Which is smaller: 2 or a?
a
Let i be 2 + ((-9)/(-3) - 2). Suppose -2*a = a - i. Is a > 2/19?
True
Let n(t) = -t**2 - 4*t. Let h = -5 + 2. Let d be n(h). Which is greater: 2 or d?
d
Suppose 5*z - 7*z = 6. Let i be (-18)/4 - 4/(-2). Are i and z nonequal?
True
Suppose 4*j - q = 18, j + 4*q + 2 = -2. Let n = j - 5. Which is smaller: n or -5/6?
n
Suppose -5*v = -2*v + 3*y - 6, 0 = 3*y - 9. Suppose 0 = -2*i - 3*i. Are v and i non-equal?
True
Suppose -t = -q - 32, -5*t = 34 - 9. Is -37 at most q?
True
Suppose 0 = 8*b - 5*b - 30. Let k = 10 - b. Which is greater: k or -6/7?
k
Suppose -3*g + 7 = -2*y, 5*y = -0*g + 5*g - 15. Let u be 4*-1*6/(-24). Let a be ((-3 + 3)/u)/(-1). Do g and a have the same value?
False
Let d be 0*(0 - (-2 + 3)). Let t = 175 + -1223/7. Does d = t?
False
Suppose 0 = -2*v - 0*v + 4. Let q be 18/12 - 1/(-2). Suppose 3*s - q = s. Does s = v?
False
Let m be 3/(0 + 1) - 1. Let w(r) = r**2 + r - 1. Let j(s) = -5*s**2 - 2*s + 2. Let l(i) = -j(i) - 4*w(i). Let z be l(m). Which is greater: 0 or z?
z
Let n = 10.5 + -5.9. Let u = n + -0.6. Is 1 >= u?
False
Let y(v) = v**2 - 7*v - 4. Let a be y(7). Let f be (10/390)/((-2)/a). Which is greater: f or 1?
1
Let k = 4 + -1. Suppose -k*w + 12 = 0, 4*z + 3*w - w - 20 = 0. Let q be (-1)/2 + z/2. Is 2/15 smaller than q?
True
Let l(t) = t - 1. Let j be l(3). Let k be (-4)/(-12) + j/(-6). Which is greater: k or -2/13?
k
Let r(d) = -d**3 + d**2 + d - 1. Let x(l) = -3*l**3 - 9*l**2 - 9*l - 14. Let v(o) = -2*r(o) + x(o). L