 = -1 - h. Let f be -3*(-4)/36*-3. Is w < f?
False
Suppose -13 + 2 = 3*c - m, -4*m + 17 = -3*c. Let x(t) = -t + 6. Let i be x(5). Which is bigger: c or i?
i
Suppose -2*l = -3*z, 5*z - 2*l - 8 + 4 = 0. Suppose n = -z*n. Let x be (-4 - (-152)/36)*1*-1. Which is bigger: n or x?
n
Suppose 0 = -3*l - f + 813, -l = 2*f + 3*f - 285. Suppose 2*w - l = -3*w. Let u = 429/8 - w. Is u greater than or equal to -1?
True
Let a = -11 + 16. Is 7 less than a?
False
Let u(o) = -o**3 - 5*o**2 + 20*o + 7. Let n be u(-8). Is n at most as big as 40?
True
Let i be 2 + 11/(-3) + 0. Let o(w) = w**2 - 9*w - 12. Let q be o(10). Which is smaller: q or i?
q
Suppose -4*p = 4*m, -2*m + 2*p = m + 5. Are 2/133 and m equal?
False
Suppose -8 + 17 = -3*t. Is t < -13/4?
False
Let y = 1 - 1. Let v be (2/6)/(16 - 15). Which is bigger: v or y?
v
Let g be (-4)/(-14) + 1 + (-440)/(-28). Is g at most 16?
False
Suppose 0*c - 2*c = -3*c. Let k be -2 + 0 - (-12)/7. Is k >= c?
False
Let q be (-2)/(-6) - (-4)/(-6)*-1. Let h = 61 - 243/4. Is h less than q?
True
Let o be (-3)/((-3)/(1 + 2)). Suppose -h = -o + 4. Which is smaller: 3/11 or h?
h
Let n be 1/3 + (-40)/(-15). Suppose 13 = 5*j + n*t - 2*t, -4*j + 4*t = 4. Let o be j/(-11) - (-10)/(-66). Which is greater: o or -1?
o
Suppose -3*f - 5*o - 67 = 0, f = 3*o - 5*o - 23. Let b = f - -30. Is -1 at least b?
False
Let n be ((-38)/(-6))/((-6)/(-18)). Suppose 0 = -3*a + n - 4. Is a > 5?
False
Let g be (134*(-1)/89)/(-46). Let w = g + -1/267. Which is smaller: w or 0?
0
Let o = 582/7 - 83. Let z = 11 + -20. Let h = z + 9. Which is bigger: h or o?
o
Suppose -3 = -4*j + 1. Let q be (7/(-21))/(21/6). Which is greater: j or q?
j
Let y = -8248/19 + 434. Suppose -3*b + 56 = -7*b - 4*w, 5*b = -2*w - 70. Let v = b - -14. Which is smaller: y or v?
y
Suppose -14 = 176*u - 177*u. Is u less than or equal to -3?
False
Let k(p) = -p - 12. Let t be k(-9). Which is greater: t or -4?
t
Let m be (-44)/(-10) + 8/(-20). Is 4 > m?
False
Let k = -843/76 + 111/19. Let b = k + 97/20. Let z = 10 - 12. Is z greater than or equal to b?
False
Let v be 3*1/(-9) - -1. Do v and 1 have the same value?
False
Suppose -3*r - 2*r + g = 47, -4*g = -5*r - 53. Let l = r + 37/4. Is l less than -4?
False
Let k = -90 + 89.5. Is k smaller than -0.1?
True
Let a(i) = 3*i - 1. Let s be a(-2). Let p = 4 + s. Is -3 at least p?
True
Let d(y) = y**3 - 14*y**2 - 14*y - 19. Let g be d(15). Is -5 less than or equal to g?
True
Suppose -d + 3*d = 0. Which is smaller: 2.8 or d?
d
Suppose 28*f + 2 - 58 = 0. Let n = -0.1 + 0. Is f equal to n?
False
Let n = -1.3 + 2.4. Let c be 4/12*8 + -2. Is n smaller than c?
False
Let t(d) = -3*d**2 + 4*d - 3. Let y = -2 + 4. Let x be t(y). Which is bigger: x or -6?
-6
Let g = 141.3 + -138. Which is smaller: 0 or g?
0
Let z = -14 - -15. Are z and 3/10 equal?
False
Suppose -3*i + 108 = -0*i. Let b be (-1)/4*i/21. Let k(f) = -f**2 + 3*f - 1. Let s be k(2). Which is bigger: b or s?
s
Let l(t) = t**2 - 22*t + 59. Let s be l(19). Suppose -3*j + 5*a + 24 = 0, 6*a = 5*j + a - 30. Is s smaller than j?
True
Let l(p) = p**2 - 4*p. Let u be l(4). Suppose u - 15 = -5*o. Suppose o*v + 3 = -0. Which is smaller: v or -2?
-2
Let p be (0/(4/2))/2. Let i be 1 - -1 - (9 - 9). Let w be (i + -4)/4*2. Is p equal to w?
False
Suppose 0 = -4*s + 32 + 68. Suppose 2*m + 110 = -4*i, s = -5*m - 0*m. Let f be i/(-30)*(-6)/20. Which is smaller: 0.2 or f?
f
Let o(r) = 2*r + 5. Suppose 3*f - 5*f + 6 = 0, 0 = x - 5*f + 15. Let i be o(x). Which is greater: 4 or i?
i
Let l = 1.5 - 3.5. Let c = -8 - -7.7. Let q = -0.4 - c. Is q bigger than l?
True
Let i(y) = -y - 7. Let d be i(-6). Let n(m) = -m**2 - 2*m - 1. Let h be n(d). Let v = 28 - 57/2. Which is smaller: v or h?
v
Suppose -20 = -4*j + 3*x, -4*x - x = -20. Suppose -j = 3*b + b. Which is smaller: -4/5 or b?
b
Let y = 10/237 - -2537/1659. Let n = y - 17/7. Let r = 2 + -3. Which is bigger: n or r?
n
Let u = -3 - -6. Suppose g + 2*g = u. Which is greater: 0 or g?
g
Let j = -0.07 - -0.17. Is 2/7 not equal to j?
True
Let v = 0.05 + -2.05. Let j = v + 2.1. Let p = j - 0.1. Which is smaller: -2/5 or p?
-2/5
Suppose 6 = 3*v - 5*v. Let a be v/2*-2 - 1. Suppose y = a*y + 4. Which is bigger: -2/7 or y?
-2/7
Let h = -81/2 - -40. Do h and -1/5 have the same value?
False
Let c = -4 - -4. Let t be (2 - 9/5)/((-35)/25). Which is smaller: c or t?
t
Let i = -289/7 + 41. Is i equal to 7?
False
Suppose -4*d + 4 = -0. Let z(m) = -2*m**3 + 2*m + 1. Let b be z(-1). Let i be b/(-2 - 6*-1). Which is bigger: i or d?
d
Let r(z) = z**2 - 15*z + 6. Let f be r(14). Is -8 greater than or equal to f?
True
Suppose 3*o + 4 = 5*o. Suppose -o*w = -0*w + 4. Is w equal to -4?
False
Let p = -2 - -2. Suppose o = -p*o. Suppose -8 = 3*z - 2*c, o*z - z + 3*c + 2 = 0. Which is greater: z or -3?
-3
Suppose 3*h - 7 = 2. Suppose 10 = -4*f + o - h*o, -5*f - 5*o = 5. Let b be (1/(-7))/((-2)/f). Which is bigger: -1/4 or b?
-1/4
Suppose i + 2*n - 3 - 6 = 0, 2*i - 4*n + 6 = 0. Let y be (i/21)/(1/(-3)). Is 1 greater than or equal to y?
True
Let t = -223/3 + 74. Which is bigger: t or 2/27?
2/27
Let q be 807/(-135) + 4 - -2. Is q greater than or equal to 0?
True
Let t = -6 + 6.02. Let f = 0.12 - t. Is 2/7 less than or equal to f?
False
Let u = 3 + -3.1. Let h = -0.3 - u. Let c = -0.3 - h. Is 1 < c?
False
Suppose 2*i - 4*l - 3 = 7, 3*l = 3*i - 3. Let x(o) = -o**3 - 3*o**2 + 1. Let m be x(i). Suppose 4*q + 2*c - 2 = 0, 3 = -q + 5*q + c. Does q = m?
True
Let o = -6.85 + -0.15. Let h = o - -8. Do h and -3 have different values?
True
Let q = 0.5 - 0.9. Let o = q + 2.4. Is 0.5 at most as big as o?
True
Suppose -2*a + 9 = 29. Suppose -75 = 5*x + 5*s, 0*x - x + s - 5 = 0. Is x bigger than a?
False
Let w(u) = 6*u**2 - u. Let z be w(1). Let t = z + -3. Suppose 0 = -t*n - 0*n. Is n less than 0?
False
Let d = -109/24 + 1/24. Which is greater: d or -4?
-4
Let a = 56 - 59. Which is greater: a or -13/4?
a
Let m = 0.3 - 0.3. Let j = 5 + -5.05. Is j greater than or equal to m?
False
Let a(w) = w**2 - 5*w - 5. Let k be a(6). Let b be (-109)/(-51) - 1/(-3). Let n = 260/119 - b. Which is greater: k or n?
k
Let u be (-10)/35 + (39/14 - 0). Which is smaller: 4 or u?
u
Let c = 22 - 13. Are -1 and c equal?
False
Let n = -34107/17 + 2007. Which is greater: 1 or n?
1
Let w = -3.1 - -8.1. Is w at least as big as -1/3?
True
Let w = -768241 + 16896987/22. Let t = -389/2 - w. Let q = -47/22 + t. Which is smaller: 0 or q?
q
Let j = 55 + -56. Is -2/147 > j?
True
Let l = -106/11 - -5640/583. Let q = 59/159 - l. Suppose -2*b + 0*b - n - 5 = 0, 0 = -2*b - 3*n - 15. Is q greater than or equal to b?
True
Let o be (1 - (2 + 3))*-1. Let d be (-4)/(-8)*o/(-29). Which is smaller: d or -1?
-1
Suppose -23*h = -24*h - 34. Are -34 and h unequal?
False
Let v be ((-3)/(-6) - 1)*(-3 - -3). Do v and 3/26 have the same value?
False
Let b(f) = f**2 - 6*f - 1. Let v be b(7). Let d = -5 - -4.9. Which is bigger: d or v?
v
Let l = 136/3 - 46. Suppose 5*s - x + 4 = 0, -5*s - 4*x + 4 - 13 = 0. Let h be s/2 + 3/(-2). Which is greater: l or h?
l
Let o = -12.1 + 13. Let r = 3.1 + o. Which is smaller: r or 2/3?
2/3
Let s = -22 + 46. Suppose -2*h - 3*z + s = -4*z, 64 = 4*h + 2*z. Is 15 greater than or equal to h?
True
Suppose -5*c = -20, r + c + 4 = 3*c. Suppose 5*y = r*y. Are y and 0 equal?
True
Suppose -16 = -5*p - 1, 5*p = b + 17. Suppose -4*k - 8 = -0. Are b and k equal?
True
Let v = 0 + 0. Let h = -50 - -195/4. Do h and v have the same value?
False
Let l be 12/(-6)*15/(-2). Let h be 21/l - (4 - 3). Which is bigger: -3 or h?
h
Let v be (114/(-135))/(-1 + 5). Let g be (-2)/(-6) - (-44)/(-72). Let r = g - v. Which is bigger: 0 or r?
0
Let t = 26.1 - 26. Which is smaller: t or 0.025?
0.025
Let d(b) be the second derivative of -b**5/20 - b**4/2 + b**3/6 + 2*b**2 - 3*b. Let y be d(-6). Is y equal to -2?
True
Let g = -0.03 + -4.97. Let f = 5.4 + g. Let p = -0.3 + f. Is 1 at least p?
True
Let b be 3*5*14/(-9). Let w = b + 788/33. Let n = 8 + -8. Is n less than or equal to w?
True
Let c = 47 - 47.33. Let u = -0.22 - -0.29. Let k = u - c. Is 0.1 at most k?
True
Let q = -93 - -92.9. Do q and -29 have different values?
True
Let k = 140 + -132. Which is smaller: k or 0.2?
0.2
Let k be (-910)/294 + 3/1. Let a = -3/7 - k. Which is bigger: 6/5 or a?
6/5
Let w(s) = -s**3 -