Is f equal to -3?
False
Let r be (12/(-273))/((-4)/14). Do r and 1 have the same value?
False
Let z = -18 + 18. Are z and -11 nonequal?
True
Suppose 3*b = -5*o - 0*b + 7, 2*o + 2*b - 2 = 0. Let j = 2 + o. Which is bigger: j or -2?
j
Suppose 4*r = p - 0 + 2, 4 = 4*r. Let z be 71/4 + p/8. Let i be ((-4)/z)/1*3. Which is smaller: 1 or i?
i
Let i = -50 + 49. Let f = -0.01 - -3.01. Which is greater: f or i?
f
Let r = -74.2 - -74. Is r at least as big as -0.9?
True
Suppose -3*m + 3*u = -21, -2*m = -m + 4*u - 7. Is 7 less than m?
False
Let x = 229/5 + -46. Which is smaller: 0 or x?
x
Let s(n) = -n**3 + 6*n**2 - 8*n + 9. Let o be s(5). Let w be ((-2)/(-6))/(o/(-72)). Is w bigger than 4?
False
Let d be (-5)/3 + -2 + 2/3. Which is greater: -2 or d?
-2
Suppose v = -0*v + 2. Is 2 at least v?
True
Let y be (-4)/10 - (-51)/15. Let t be ((-14)/(-6) - 2)*y. Suppose -t = -g - 0. Which is smaller: g or -1/4?
-1/4
Let v = -230/3 + 76. Is -2 > v?
False
Let n = 5 - 0. Do n and 0.2 have different values?
True
Suppose 0 = -2*y + 5*y + 9. Which is bigger: y or -9/5?
-9/5
Let q = -23/10 + 4/5. Let u = -72 + 69. Is u smaller than q?
True
Let c(v) = v**3 + 7*v**2 - 2*v - 10. Let o be c(-7). Suppose 0 = -4*s + 2*h + 3*h + 27, 9 = o*s + h. Let m be -3*(0 - (-1)/s). Is -1 <= m?
True
Let a = -1 + 0.82. Let i = a + 0.08. Which is smaller: i or -4?
-4
Let i be (0 - 0) + 7 - 2. Suppose i*p = -2*z - 1 + 9, 4*z = -4. Let u = 227/2 - 111. Does p = u?
False
Let p(k) be the first derivative of -k**3/3 - 3*k**2 - 4*k + 1. Let a be p(-5). Let o be 32/(-132) - 1/(-3). Which is bigger: o or a?
a
Suppose -5*n + 5 = -0*n. Let f = 5/16 - 77/144. Which is bigger: f or n?
n
Let w = -1 - -3. Let g = 2 + w. Suppose -g*r = -5*o - 1, -3*r - 2 = -2*o - 8. Which is smaller: o or 5?
o
Let f = -20 + 14. Let l = -23.9 + 30. Let o = l + f. Do 1/3 and o have different values?
True
Let y = -463/6 + 77. Suppose 2*l - 12 = -4*c - 0*c, 0 = 5*c - 4*l - 28. Suppose 29 = -c*k + 8*m - 3*m, -2*m + 11 = -k. Is k at most as big as y?
True
Let l = -3 + 10/3. Which is smaller: -5 or l?
-5
Suppose -6*p = -2*p - 4. Let s be 0/(3 - (3 + p)). Is 2 greater than or equal to s?
True
Suppose -3*t + 135 = 171. Which is smaller: -23/2 or t?
t
Let v = 948/5 - 189. Let u = 149 + -1041/7. Which is bigger: u or v?
v
Let m(o) = -o**3 - 4*o**2 + 4*o - 5. Let p be m(-5). Suppose p = -4*v - v - 60. Is -13 < v?
True
Let a = -16 + 26. Suppose k + k - a = 0. Are k and 5 unequal?
False
Let a be (12/8)/((-6)/32). Let z = -7 - a. Let o be 4/(-14) - (-11)/14. Which is smaller: o or z?
o
Let f = -1 + 2. Let g = 31/369 - 8/41. Which is bigger: g or f?
f
Let b = -7 - -13. Suppose -5*n + 15 = 5*z, 3*z + 29 = 5*n + b. Is z > 1/7?
False
Let k = -9 + 9.18. Is 0 not equal to k?
True
Let c be ((-1)/(-2))/((-2)/(-4)). Let h be 3/c + 108/(-44). Is 2 bigger than h?
True
Let r = 6 - -4. Let h be (-66)/(-15) + (-4)/r. Suppose 20 = c + 4*p, -5*c + c + p = -12. Is c equal to h?
True
Let v(z) = z**3 - 6*z**2 - 6*z - 4. Let q be v(7). Suppose 2*n - 3*d - 8 = 3*n, -2*d = -q*n + 20. Are 3 and n non-equal?
True
Suppose 0 = -4*a + 1 + 7. Let f be (-2)/3 - a - -3. Which is smaller: f or 1?
f
Let t be 54/(-56) - 10/35. Let y(o) = o**3 + o**2 + o - 1. Let l be y(0). Is l less than t?
False
Let o = -49/4 - -67/4. Which is smaller: 6 or o?
o
Let s be (-15)/(-6)*(-8)/270. Which is greater: s or 1/4?
1/4
Let w be 2/(-6) - 1/(-3). Let t be w/(-1) - 0/(-4). Let v be ((-8)/66)/(2/3). Is v less than t?
True
Suppose 714 - 219 = -9*x. Are -56 and x nonequal?
True
Let k be 21/12*(-24)/(-140). Which is smaller: k or 1?
k
Let y(c) = -2*c + 14. Let n be y(6). Is n < 2?
False
Let r be -3 - ((-5 - -1) + 4) - 2. Are -40/9 and r nonequal?
True
Let j be 2/(-5) + 8/(-30). Let y = -8 - -6. Which is bigger: y or j?
j
Let i(m) = 2*m + 10. Let l(p) = -p. Let s(u) = -i(u) - 3*l(u). Let t be s(10). Is t > -1/3?
True
Suppose 5*x = -33 - 72. Which is bigger: -24 or x?
x
Suppose -8 = 7*u - 1. Which is bigger: -6/23 or u?
-6/23
Let l(q) = -q**3 - 5*q**2 - 3*q - 7. Let w be l(-5). Let s be (w/(-10))/(14/35). Is s at most as big as 1?
True
Let r = -17 - -16. Do -2 and r have different values?
True
Let n be (-118)/198 + (-22)/(-33). Let k = 5/33 + n. Is 0 > k?
False
Let u = -660.98 - -672. Let z = u - 0.02. Let g = z - 10. Which is smaller: 0 or g?
0
Let w = -11 - -21. Let k = w + -11. Is 3/8 bigger than k?
True
Suppose 0 = -j - 4*q + 22410, q + 887 = 4*j - 88668. Let w be ((-6)/68)/((-5)/j). Let i = w + -395. Which is greater: i or 0?
i
Let y = 27 - 26. Is y < 0.09?
False
Let u = 3 + -38. Which is smaller: 1 or u?
u
Let o be (24/(-20))/((-4)/70). Let f = o + -9. Which is smaller: f or 11?
11
Suppose 5*p - 7 = -4*u, -2*p - 18 = 3*u - 6*p. Which is bigger: u or -3?
u
Suppose -8*g - 93 + 637 = 0. Is 68 equal to g?
True
Let k = 9/100 + -106/25. Let h = k + 22/5. Which is smaller: 0.4 or h?
h
Let l = 2323/6 - 386. Are l and 1 equal?
False
Let w = 1.24 - 1.34. Which is bigger: 43 or w?
43
Let c be ((-665)/40)/(3/6). Let w = c + 33. Is w at most 9?
True
Let w be (-528)/54 - (-4)/(-18). Let m be ((-14)/w)/1 + -1. Let x be (-1 - -1) + (-2)/5. Is m >= x?
True
Let n = 0.1 - -1.5. Let w = -1.6 + n. Which is greater: w or -1?
w
Let p(k) = -k**2 - 9 + 0 + 8*k + 0*k**2. Let m be p(7). Let w(f) = f**2 + f - 1. Let g be w(m). Is 1/5 greater than or equal to g?
False
Suppose -3 = -4*i + 9. Let q = 16/25 + 161/100. Which is greater: q or i?
i
Let w = -2.95 + -0.05. Are w and 3/5 nonequal?
True
Let c = -24 + -6. Do c and 0.2 have the same value?
False
Let c = -383/500 + 2/125. Suppose -2 = -2*s + 3*s, 0 = -2*d + 2*s - 4. Let w(p) = p**2 + 5*p + 4. Let j be w(d). Are c and j nonequal?
True
Suppose -l - l = -6. Suppose h - 5*m + 16 = l*h, 3*h - m = -10. Let r = -1 - h. Is 4 equal to r?
False
Let s(f) = f - 2. Let j be s(0). Let r be 10/(-6)*(-40)/(-25). Is j <= r?
False
Let i = -77 + 80. Is i > 31?
False
Let j be ((-12)/(-70))/((-21)/(-70)). Which is greater: j or -1?
j
Let f be (-2 + 4)*4*-2. Is -17 not equal to f?
True
Let l = 0.11 - 4.11. Let k = l - -4. Which is smaller: 19 or k?
k
Let g = 0.1 + -7.1. Let s = -11 - g. Let h = s - -3. Which is smaller: -0.1 or h?
h
Suppose 0 = -3*m - 2*m + b - 52, m + 12 = b. Is -12 at least as big as m?
False
Let w be 2/(-14) + 85/(-140). Which is bigger: w or -2?
w
Let f(g) = -5*g - 6. Let m(y) = 11*y + 12. Let q(o) = 7*f(o) + 3*m(o). Suppose 24 - 3 = -3*t. Let a be q(t). Is 9 less than a?
False
Suppose 5*o - 39 = -2*u + 2, 5*o + 3*u = 44. Suppose 0 = y - 4*h + 14, -9 = 5*y + 5*h - 64. Which is bigger: o or y?
o
Let z be 5/6*(-12)/(-15). Suppose 13 = 3*g + d, 0*g = 5*g - d - 27. Suppose -2*m + 17 = 3*m + 4*u, 0 = -g*u + 15. Which is smaller: m or z?
z
Let n be (3/(-3))/((-2)/(-4)). Let z(h) = -2*h + 2. Let v be z(2). Is v not equal to n?
False
Let q(t) = t**3 + 8*t**2 + 6*t - 8. Let u be q(-7). Let p be (0/4 + 0)*u. Are p and 0 non-equal?
False
Let k be 5 + (-2 - -2) + -2. Let r be 26/4 - 2/4. Suppose 0 = k*d + j - r, 0*d + 3*j = -d + 10. Do d and 0.2 have different values?
True
Let w = -6/109 + -231/1744. Suppose -3*n + 3*l = -0*l, -3*l - 2 = -n. Which is smaller: w or n?
n
Let v(t) = t**3 + 11*t**2 + 23*t - 29. Let b be v(-7). Suppose 9 = 4*k - 15. Is b bigger than k?
False
Let q = -163/4 + 41. Suppose -c + 2*z - 11 = -2, 0 = -c - 2*z + 7. Let p = c + 2. Do p and q have different values?
True
Let k = -17 + 25. Let s = k - 5. Suppose -3*j = -3 - 3. Does j = s?
False
Let i = 0.1 - 0.2. Let n = -0.2 - i. Let y = n - 0.9. Is -1 bigger than y?
False
Let k be (-1100)/(-19) - 1*2. Let a = k + -56. Let w = 3 - 4. Which is greater: w or a?
a
Suppose 2*q + a = 4*a + 54, 0 = 3*q + a - 59. Let x = q - 20. Let u be -1 + 2 - (1 + -1). Are u and x equal?
True
Let q = 3 + 1. Suppose -6 = -q*z + z. Let o be z/1 - 6*1. Is -3 smaller than o?
False
Suppose 9*t = 8*t - 2. Is t at least as big as -1?
False
Suppose -2*c = -c. Let z be ((c - 2) + 2)/1. Which is smaller: -1/30 or z?
-1/30
Let n = -0.5 + -0.8. Let d = -2.3 - n. Which is greater: d or 0.2?
0.2
Let w = 3.6 + 2.4. Is w greater than -3?
True
Suppose 3*d + 16 = 13. Is d smaller than 0?
True
Suppose v + f = 4, 0 = 5*v - 3*f - 3 + 7. Which is greater: v or 2?
2
Suppose -2*m - 10 = 0, -2*k + m = -0*m - 47. Suppose 77 = -4*x + k. Let u be