t p = -137 + 119. Is p < -17?
True
Let j = -91/2 - -469/10. Is j greater than 0?
True
Suppose 3 = -3*f + 27. Which is smaller: 7 or f?
7
Let h = 26.2 - 28.2. Let s(d) = d - 5. Let t be s(3). Is t at least as big as h?
True
Suppose -t - 5*j = -19, 4*t + t + j + 1 = 0. Is t != 4/21?
True
Let m(d) = -d**2 + 8*d - 8. Let s be m(6). Let q(l) = -l**3 + 6*l**2 - 5*l. Let b be q(s). Let u be b/(-5) - 8/(-20). Which is smaller: u or -3?
-3
Let v = 147 - 1031/7. Suppose 0 = 5*p - 4 + 9. Is v at least as big as p?
True
Let u be 2/(-2) - -6 - 1. Suppose -4*v + 0*k - 8 = -u*k, -4*k = v - 3. Is -2/7 greater than or equal to v?
True
Let n = 168 + -1178/7. Is n less than -2?
False
Let d = 112 + -111.9. Which is smaller: d or -0.03?
-0.03
Suppose 0 = -6*y + 4*y. Suppose y = 7*c - 3*c. Is c smaller than -3/4?
False
Suppose -5*u - p = -72, -3*p = 2*u - p - 32. Do 14 and u have different values?
False
Let x be 1*(-2)/4*-6. Suppose -3*u + 5*i - 17 = 0, 2*u + 4 = -i - x*i. Let f be (-1)/2 - 14/4. Is f bigger than u?
False
Suppose -3*d - 4*z = -5*d + 2, -17 = -4*d - 5*z. Suppose 0 = -3*q - 0*q + 21. Suppose q*f = 4*f + 12. Which is smaller: d or f?
d
Let t = -30 - -272/9. Is t >= 13?
False
Let g = 8298/11 - 498221/660. Let v = -4/15 - g. Let j = 0 + 0. Which is bigger: j or v?
v
Let y be (3/(-9)*2)/((-10)/120). Suppose -m + 0 + 7 = 0. Which is smaller: m or y?
m
Let d(j) be the third derivative of j**5/60 - 7*j**4/24 + j**3 + j**2. Let w be d(6). Which is smaller: w or -3/4?
-3/4
Suppose 4 = -3*c - 4*x, -3*x + 18 = -5*c - 4*x. Is c greater than 4/3?
False
Let s = -4 - -6. Suppose 5*n - t - s*t - 23 = 0, -5*n + 25 = -5*t. Do 6 and n have the same value?
False
Let z = 0.82 + -0.72. Is z less than 1?
True
Let w be (-38)/14 + 20/(-70). Which is bigger: -1/6 or w?
-1/6
Suppose -2*q + 4*q = -10. Suppose -4*c + x = -19, 0*c - 2*x + 4 = -c. Let i be 40/(-5) + c/2. Is i less than q?
False
Let t = 0 + 0. Suppose -21 + 1 = -5*r. Suppose -1 - 2 = 3*h, 19 = -5*n - r*h. Is t > n?
True
Let j(n) = n**2 - 4*n + 5. Let w be j(4). Let f be ((-2)/4)/(w/(-2)). Is f <= 0?
False
Suppose -4*i = -12 + 20. Which is bigger: -0.2 or i?
-0.2
Let o = -28.1 - -28. Which is smaller: 11 or o?
o
Suppose 4*z - 5*z = -2. Let h be 2/(-1310)*(z - 143). Let f = h + -2/131. Which is smaller: 2/9 or f?
f
Let h = -26.1 - -26. Let t = 14 - 44. Let r be ((-4)/10)/((-18)/t). Which is greater: h or r?
h
Let o = 234 + -716/3. Which is bigger: o or -5?
o
Let d be 29/(-4) - 4/(-16). Let f(o) = -o**2 - 7*o + 6. Let m be f(d). Suppose -2*r = r + m. Is -8/7 > r?
True
Suppose 0*n - n + 7 = 0. Which is bigger: n or 1?
n
Let h be 2/3 - (-4)/(-6). Let l be 2 + (8/2 - 29/4). Do h and l have the same value?
False
Let r = -0.3 + 0.1. Let c = -4 + 3. Let p = -2 - c. Which is smaller: p or r?
p
Let d be (186/(-2))/(3 - 0 - 2). Which is smaller: d or -94?
-94
Let p = -87 + 87. Which is bigger: 9 or p?
9
Let h = 35 + -37. Which is greater: h or -10/17?
-10/17
Let a = 4 + -1. Suppose 3*m = 2*g + 3*g + 5, -a*g - 14 = -4*m. Let r be ((-8)/6)/(g/3). Which is smaller: -1 or r?
r
Let t = -61.3 + 60. Which is greater: 0.3 or t?
0.3
Suppose 4*l + 105 = l. Let q = l + 247/7. Which is smaller: 0.1 or q?
0.1
Let p = -9 - -5. Let w be (-17)/p + (-2)/8. Suppose 0 = -w*z - 0*z. Is 0 smaller than z?
False
Let a(h) = h**2 - 17*h + 29. Let k be a(14). Is -6 >= k?
True
Let q(c) = -c**3 - 5*c**2 - 4*c + 3. Let g be q(-4). Let d be (2/12)/(g/(-24)). Which is bigger: d or 0?
0
Let q = -749/9 + 83. Let p = 10 - 73. Let n be (3/4)/(p/(-24)). Is q smaller than n?
True
Let z = -1 + 1. Let y = 753/10 - 75. Do z and y have the same value?
False
Let x = 35 - 35. Suppose -2*i - 3 = -1. Let n = x - i. Which is smaller: 2/7 or n?
2/7
Let s be (-200)/(-291) + 6/(-9). Is 1 at most s?
False
Let b(z) = 4*z**2 - 2*z**2 - z**2 + 3 - 8*z + 0*z. Let n be b(7). Let m = -2 - n. Is m < 2?
False
Suppose l = -w - 14, 5*w + 70 = -0*w - 2*l. Is -14 != w?
False
Let q(h) = 5*h + 50. Let v be q(-8). Does v = 11?
False
Let b = -1/3552 - 7001/365856. Which is greater: 0 or b?
0
Let l be 2/2*(-204)/12. Are -15 and l equal?
False
Let q = 4 - 1. Is 4 < q?
False
Suppose 2*t - 152 = -0*t. Let m be t/(-26) + (-3)/(-1). Which is smaller: 1 or m?
m
Suppose -2*v = -2 - 4. Suppose -v*q - 2 = -4*q. Let b be 45/(-20)*2/(-3). Which is smaller: b or q?
b
Let k = -20 - -12. Let g = -9 - k. Is g at most as big as -12?
False
Let y = -18 + 18.04. Is -2/7 bigger than y?
False
Let w(j) = j - 4. Let u = 10 + -6. Let r be w(u). Let h be (-2)/(-6)*(3 + 0). Which is smaller: h or r?
r
Let s = -18 + 43. Let b be 55/s + (-1)/5. Let f(z) = -z**3 + 2*z - 1. Let w be f(-2). Which is greater: w or b?
w
Let s = 71 - 58. Is s at least 0.2?
True
Let i = -0.64 - -0.7. Let x = i + 2.94. Let n = 2 - x. Which is smaller: n or 2?
n
Let n = 5 - 4.92. Let i = n + -0.28. Let d = -134 + 1744/13. Which is greater: d or i?
d
Suppose 3*g = -4*g - 42. Which is smaller: -2 or g?
g
Suppose -3*q + 7 = -5. Let a = -6 + 5.2. Let x = 1.2 - a. Which is greater: x or q?
q
Let d = 2 + -4. Let f(r) = -r + 6. Let p be f(7). Let a = -3 - p. Is a less than or equal to d?
True
Let t = 14.6 + -2.6. Is t bigger than -2/7?
True
Let q = -4 + 1. Let z = q + 4. Are z and 0.3 non-equal?
True
Let n = 79 - 79.2. Which is greater: n or 30?
30
Let t be (8/(-12))/((-4)/3). Let x = 0.3 - -0.1. Which is bigger: x or t?
t
Let d be -1 + (2 - (-44)/(-43)). Which is smaller: d or 0?
d
Let s(m) = m**3 + 9*m**2 - m - 6. Let z be s(-9). Is z not equal to -2?
True
Let c = 6 + -1. Suppose -4*u - 49 = -c*s, -4*u - 2*s = 5 + 37. Is -11 at most u?
True
Let m = -0.7 - -4.7. Let g = -6 + m. Let t = g - -2. Which is bigger: t or -1/2?
t
Let m be 1 + 0 + (-10 - -12). Suppose -2*b + 1 = m. Which is bigger: 2/9 or b?
2/9
Let u = -11 + 18. Let f be 3/(-14) + (-2)/u. Is f != -1?
True
Let d = 51 - 51.1. Let l be -3*((-14)/(-16) - 1). Which is smaller: l or d?
d
Let i = -23 + 16. Which is smaller: -8 or i?
-8
Let g be (-4)/3*(-18)/12. Suppose 0 = 3*w - g + 14. Which is bigger: -3 or w?
-3
Let i = 0.08 - 0.15. Let b = i - -0.04. Which is smaller: b or -0.2?
-0.2
Let o(i) = i**2 + 2*i + 1. Let m be -3 + (-2 - -2) + 1. Let g be o(m). Let u be 1/7 + 40/14. Is u >= g?
True
Suppose g - 12 = -2*y, 4*g - 2*y + 7 = 45. Which is greater: -6 or g?
g
Let q(f) = -f**3 - 3*f**2 + 2*f - 5. Suppose -1 - 3 = d. Let b be q(d). Let k = 0 + b. Is k at least as big as 3?
True
Let f = 679/2250 - 3/125. Is f != -1?
True
Let x = 0.03 - -9.97. Let r = 6 - x. Suppose -2*s = -3*s + 1. Which is greater: s or r?
s
Suppose 0*w - 5*y - 17 = w, 3*y = 2*w + 60. Is w not equal to -29?
True
Let m(x) = -x**2 + 8*x + 18. Let d be m(8). Is 17 greater than d?
False
Let f(c) = 6*c - 42. Let b be f(7). Let t = -33/58 - -1/2. Are b and t nonequal?
True
Let m be (-1)/2*0/(-3). Suppose m*q - 9 = -3*q. Is q <= 4?
True
Let h(j) = 3*j**3 + j**2 - 2 + 1 + 0*j**2. Let a be (-2)/12*2*-3. Let s be h(a). Is s less than 3?
False
Let b = -28 + 19. Is -10 less than b?
True
Let w = -6.95 - -7. Let h = 0.95 + w. Is h at least as big as -4?
True
Let g be -2 - (1 + -2 - 0). Is g at least as big as 24?
False
Let b be ((-10)/6)/(3/(-9)). Suppose -5*n = -b - 0. Which is bigger: 3/14 or n?
n
Let t = 3 + -3. Suppose t*x = -x + 1. Let q = -6 - -5.7. Which is bigger: q or x?
x
Let p = -21 - -6. Is p greater than -15?
False
Let m = 6/67 + 238/335. Let d be (-1)/2*(14 + -14). Is m bigger than d?
True
Let o be -2*3/15 - 1/(-5). Which is bigger: 1 or o?
1
Suppose 2*u + a + a - 12 = 0, 5*u + 5 = 2*a. Is 0 at most as big as u?
True
Let p = -156 + 155. Is -1/11 greater than p?
True
Let x = -15 - -6. Let l = 8 + x. Let k(d) = -d**3 - 6*d**2 - 5*d - 1. Let t be k(-5). Is t at most l?
True
Let c = 97/9 - 35/3. Which is bigger: c or 0?
0
Let d(j) = -j + 4. Let q be d(11). Let m = q + 9. Which is greater: 0 or m?
m
Let i = 52 - 34. Let j = -18.07 + i. Is -1/3 at least j?
False
Let c = 17/20 + -233/180. Which is smaller: -1/2 or c?
-1/2
Let h = 6.6 - 5.6. Is 12 greater than h?
True
Let s(q) = q**2 + 1. Let v be s(-1). Let p(f) = -f**2 + 3*f - 1. Let n be p(v). Which is smaller: n or 3?
n
Suppose 0 = 2*x - 3*t + 6, 0*x = 5*x + 3*t - 6. Is -3/20 at most as big as x?
True
Suppose -2*j = -2 - 6. Let c be (2/4)/((-9)/j). Is 1 greater than or equal t