et g = -75 - -74. Which is smaller: -2/133 or g?
g
Let w = -79 + 98. Is w bigger than 4?
True
Let z = -8 - -1. Let t(o) = o**3 + 6*o**2 + 6*o - 1. Let b be t(-5). Which is bigger: z or b?
b
Let d = -0.9 - -0.1. Let u = 0 + 1. Let f = u + d. Is 2/5 smaller than f?
False
Let q = 0.04 - 0.24. Which is smaller: q or -2?
-2
Suppose -h + 4 = 3*l - 0, -h + 12 = -l. Suppose 4*w - 33 = w. Which is smaller: w or h?
h
Let p = -287/285 + 47/19. Does p = 1?
False
Suppose 100 = -5*u + m - 38, -u = 5*m + 38. Let i be ((-36)/45)/(u/10). Let t = -1/40 - 77/120. Which is smaller: i or t?
t
Let l be (52 + 18/(-6))*(-1 + 2). Is 51 != l?
True
Let f be (2 - (4 - 0)) + 17. Do f and 16 have the same value?
False
Suppose -3*b - 4 = b. Is -3/4 at most as big as b?
False
Let k(m) = m - 5. Let f be k(8). Which is smaller: f or 2?
2
Let v = -3 + 6. Let c = v + -2. Let j = -1.2 + c. Which is smaller: j or -2?
-2
Suppose 12*d - 14*d - 14 = 0. Which is bigger: d or 2?
2
Suppose 29 + 31 = -5*c. Is -0.4 equal to c?
False
Let y be 10/15*3/(-11). Is y greater than or equal to 0?
False
Let z = 2.98 + 0.02. Let n be (-1 - -3) + 70/(-5). Let d be (-1)/2*8/n. Are d and z non-equal?
True
Suppose 7 = v - 13. Suppose 11*d - v = 7*d. Let x = -1 + d. Which is smaller: 2 or x?
2
Suppose 2*k - 50 = 3*h + k, 0 = h + 2*k + 26. Let i be (-9)/h - (-1)/2. Is -2/45 != i?
True
Let q(x) be the first derivative of -x**2/2 + 3*x - 5. Let w = -1 - -6. Let u be q(w). Is u at most -1?
True
Let d = 813/5 - 162. Is 2 <= d?
False
Let m be 0 + 4*(-9)/(-12). Which is greater: 12/5 or m?
m
Let u = 0.7 - 1. Let q = u - -0.1. Is q <= 0?
True
Suppose -13*t = -23*t - 330. Is -31 > t?
True
Suppose 3 = 4*x + h - 1, 5*h = 0. Is x greater than 2?
False
Let t = 2 - 1. Let w = -1.4 + 0.1. Which is greater: t or w?
t
Let z = -1.5 - -1.6. Which is greater: z or -6/7?
z
Let q(d) = 4*d. Let p be q(1). Let u(x) = 2 + 2*x**2 - 3*x**2 - p + 8*x - 6. Let w be u(7). Is -1 at most as big as w?
True
Let g(f) = f**3 + f**2 - f. Let w be g(1). Is 7 bigger than w?
True
Let b(c) = c - 1. Let y be b(3). Let j = 6 + -3. Let o = 5 - j. Is y > o?
False
Let l = -16 + 16. Which is greater: l or -2/3?
l
Let w = 2 - 1. Let t(h) = -h**3 - 8*h**2. Let y be t(-8). Is w <= y?
False
Let y = 21 + -195/11. Is y at least 4?
False
Let u be 105/(-196) - (-2)/8. Which is greater: 0 or u?
0
Let k be ((45/6)/(-5))/(-15). Suppose 0*u = u. Does k = u?
False
Suppose -2*h + 0*f - 5*f = -17, -2 = -2*f. Let u(s) = s**2 - 6*s + 5. Let w be u(h). Is 6 > w?
True
Let m = -41.29 - -41. Which is bigger: m or 0.1?
0.1
Let j = 13 - 10. Let a be (6/9)/((-2)/j). Is -0.1 at least a?
True
Let r = 1766/13 + -136. Let g be ((-5)/(-130))/((-2)/18). Let y = g + r. Do y and 1/5 have the same value?
False
Let v = -1.01 + 0.01. Let j = 2.6 + v. Is j greater than or equal to 1?
True
Let r be -2*2/8*-24. Suppose 5*h - r = a, 2*h - h - 5*a + 12 = 0. Let k = 0 + 2. Is h at least as big as k?
True
Let l be 0 - 2/(-11) - 0. Which is smaller: l or -6?
-6
Let w be 3 - (10/2 - 3). Is w != 2/15?
True
Let n = -0.65 + 0.35. Which is bigger: -2 or n?
n
Suppose -2*o + 25 = 3*o. Which is bigger: -2 or o?
o
Let o be (3 + 264/(-32))/((-3)/4). Is o at most 9?
True
Let r be -1 - 1*(2 - 0). Let z be (-68)/18 - 2/9. Is r > z?
True
Suppose 0 = -r - 7 + 8. Which is greater: -2/73 or r?
r
Let h be 9/(-6) + (-1)/2. Let u = -11 + 15. Let a = u + h. Is 3 less than a?
False
Let j be 2/(33/9 + -3). Is j greater than 2?
True
Suppose f - 3 - 13 = 4*i, -f = 5*i + 29. Is f greater than or equal to -0.7?
False
Let j(b) = b**3 - b**2 - 5*b - 6. Let l(n) = n**3 - 6*n - 6. Let g(a) = -7*j(a) + 6*l(a). Let r be g(7). Let d = 2 - r. Is d smaller than 3?
False
Let u = -12 - -16. Which is greater: u or 3?
u
Let x = -10.25 - 0.75. Which is smaller: x or 0.1?
x
Let p = 0.8 - 0.6. Let n = -1.4 - 1. Let i = -0.4 - n. Is p > i?
False
Let r = 0.8 + 3.2. Let y = r - 2. Let n = 0.2 - 0.3. Which is smaller: y or n?
n
Let p = 27 - 43. Let d = -14 - p. Which is smaller: d or 1?
1
Let z be (-1 + 1)*(-4)/(-4). Suppose -4*o + 4 = -3*g + 7, 4*o = g + 7. Which is smaller: z or o?
z
Let r(x) = -x - 2. Let b(f) = 5*f + 7. Let g(u) = -2*b(u) - 9*r(u). Let p be g(5). Is 0 at most as big as p?
False
Let b = 1 - -5. Let d = 12 - b. Which is greater: d or 4?
d
Let r = -26 - -38. Is 2 smaller than r?
True
Suppose 43 - 27 = 4*m. Which is bigger: 25/6 or m?
25/6
Let b = 8 - 5. Suppose -b*m - m = -4. Is 4/9 bigger than m?
False
Let o = -0.01 - 2.99. Let v = 0.06 - -3.94. Let f = o + v. Which is smaller: 0 or f?
0
Suppose 3*m = 5*m. Suppose m = -4*v + 6 - 22. Let o = -2 + -2. Is v at most as big as o?
True
Let o = -167 + 3007/18. Which is greater: o or 0?
o
Suppose -5*u = 20, -3*u = 2*j - 6*u - 38. Let l = -17 + j. Which is greater: l or -3?
-3
Let k = -233/196 - 3/49. Let i be ((-1 - -3) + -3)/((-1)/(-2)). Are i and k nonequal?
True
Let s = 3923 - 82366/21. Let u = 83 - 251/3. Let p = u + s. Do p and 0.1 have the same value?
False
Suppose x - 2*b + 2 = 0, -x = 2*b + 3*b - 19. Let q be 2/(8/1)*x. Which is smaller: q or 5/3?
q
Let r = 26.46 - -0.54. Let m = r - 42. Let u = -10 - m. Is u smaller than -0.1?
False
Suppose 6 = 2*s + 2. Suppose s*y = -2*y + 8. Let c be y/(-11) + 208/660. Which is greater: -1 or c?
c
Let t(d) = -30*d**3 - d**2 + 2*d - 1. Let v be t(1). Let m = 50 + v. Let s = m + -99/5. Which is greater: 0 or s?
s
Let p be (-12)/(-18) + (-1)/(-3) - 6. Which is bigger: p or -4?
-4
Suppose 5*h + 0 = 45. Which is bigger: h or 7?
h
Let v(q) = 5*q**3 - 2*q**2 + 2*q - 1. Let b be v(1). Let p be (10/(-8))/(2/(-8)). Is p >= b?
True
Suppose -6*p + p + 25 = 0. Suppose 0 = -3*f - p*s - 18, -3*f + 2*f = -4*s - 11. Is f equal to -0.2?
False
Let z(b) = -b**3 - 7*b**2 - b - 5. Let k be z(-7). Suppose k*n = 8, -4*x - 20 = -2*x - 3*n. Are -1 and x equal?
False
Suppose -5*b - 29 - 6 = 0. Let g be (-60)/(-112) - (-2)/b. Is g smaller than 0.04?
False
Let s be (-6 - (-1 - 2)) + 117/38. Which is bigger: 0 or s?
s
Let c = 65024 - 584372/9. Let h = c - 94. Which is bigger: 0 or h?
0
Let a be 276/(-30) - (-1)/5. Let g be ((-60)/a)/((-2)/(-6)). Let s be ((-6)/9)/(g/(-6)). Is s at least 0?
True
Suppose -2 = 2*d - 3*d, 2*d = -n + 7. Let q be ((-14)/105)/(n/(-10)). Which is smaller: q or 1?
q
Let q be (12/(-10))/((-4)/(-20)). Let c = -4 - q. Let x = 2 - c. Which is smaller: 2/3 or x?
x
Let k be 4/14 + (-15)/(-21). Let w = 34 - 98/3. Which is bigger: k or w?
w
Let o be 4/10 + (-168)/320. Is o greater than or equal to -1?
True
Let p be 4 + 0/(3/3). Let t be ((-1)/6*p)/(-4). Which is greater: t or -1?
t
Let k be ((-2)/(-12))/(-19 + 1). Let n = k - 209/756. Is -2 at most as big as n?
True
Let f = -1 - 4. Let i = 0.1 + 0. Which is smaller: f or i?
f
Let t = 164/17 + -11077/68. Let q = -154 - t. Let x = 1 + -3. Which is smaller: q or x?
x
Suppose 21 + 0 = -5*o + u, -2*o = -2*u + 2. Let j(r) = r + 4. Let f be j(-6). Let k = -7 - f. Is o at least as big as k?
True
Let p(o) = o**2 + 2*o + 1. Let l be -2*(-1)/(-6)*3. Let g be p(l). Suppose 3*j + 3 - 6 = 0. Which is bigger: j or g?
j
Let s = -4967/5946 - -2/991. Is s > -1?
True
Let w = -915 + 10023/11. Which is smaller: w or -4?
-4
Suppose -20 = 3*n - 5*b, 2*n + 5*b = -0*b + 20. Does -1 = n?
False
Let h be 4/(-10) - (-139)/(-15). Suppose 0 = -2*j + 5*j - 30. Let t = j + h. Which is smaller: t or 1?
t
Let u = 7677/715 - 141/13. Let c = u - -39/55. Which is bigger: c or 0?
c
Let j(f) = f**2 - 13*f - 3. Let o(v) = 3*v**2 - 27*v - 5. Let z(g) = 5*j(g) - 2*o(g). Let k be z(-10). Suppose -u = k*i - 3*i, 4*i = 5*u + 28. Is -4 >= u?
True
Let p = 141 + -141. Is p >= 9?
False
Suppose -7 = -5*y - 2. Let o = -131 - -919/7. Is y <= o?
False
Let t(u) = -u**2 - 12*u - 14. Let n be t(-10). Is 9/2 > n?
False
Let l(k) = -k - 14. Let o be l(-5). Which is smaller: o or -10?
-10
Suppose 2 = -4*j + 6. Let m = 1 - 10. Let q be (-6)/m*(-3)/5. Are q and j equal?
False
Let v(o) = 2*o**3 - o**2 + 2*o - 1. Let p be v(1). Suppose 3*l - 2 = p*l. Suppose -l*n = -0*n + 2. Is -1/17 < n?
False
Let p = -27 - -27.1. Is p equal to -3.4?
False
Let y be (-12)/9*42/(-4). Let b be -4 + (-7)/(y/(-4)). Which is greater: -8/11 or b?
-8/11
Let j(a) = 2*a - 3. Let v be j(2). Let w be (-3)/((-3)/v) + -2. Is -2 at most as big as w?
True
Let b = 3.8 + -4. Which is sma