t q be 2/(-44)*(t + 1). Is n < q?
True
Suppose -2*q - 5*m + 11 = -0*q, -3*m = 3*q - 12. Let a(c) = 2*c - 9. Let y be a(6). Let h = 5 - y. Which is smaller: q or h?
h
Let w = 55 + -56. Which is greater: 33 or w?
33
Let p = 34 + -29. Let u be (-3)/(-9) + 22/6. Which is smaller: u or p?
u
Let i = -0.2 + 0.2. Let v = -1 + i. Suppose -2 = -2*p + 2. Which is smaller: v or p?
v
Suppose 4*w - 1 = 3*l - 7, -4*l + 5*w + 9 = 0. Let b(m) = -4 + l*m + 7 - 2 - 3*m. Let r be b(1). Is 4 at least as big as r?
True
Let l = 5 + 7. Let k = -12.06 + l. Is -0.2 equal to k?
False
Let j = -17/54 + -2027/3510. Let y = 3169/455 - j. Let u = -54/7 + y. Are u and 1 non-equal?
True
Let a(x) = -x**2 - 6*x - 1. Let n be a(-5). Suppose -9 = -n*o - 1. Let p be 0 + o - (-12)/(-7). Do -1 and p have different values?
True
Let s = 1/114 - 35/741. Is 0 > s?
True
Suppose 6 + 2 = m. Let d(g) = g**2 - 10*g + 8. Let b be d(m). Which is greater: -10 or b?
b
Suppose 7*x - 6*x - 3 = -d, 4*d = -5*x + 14. Let u = 2621/184 - 115/8. Is d not equal to u?
True
Let h be (100/70)/(2/28). Is -4/5 greater than or equal to h?
False
Let d = 7 - 2. Are 16/3 and d nonequal?
True
Let j(s) = -s - 5. Suppose 4*a + 7 = -2*l - 23, 0 = -5*a - 2*l - 36. Let v be j(a). Suppose -2*w - v = -2*h + 3*h, w = -2*h - 2. Which is bigger: h or 0?
0
Suppose 4 = 3*n - 5*n - 2*p, -n - 5*p + 2 = 0. Are 2/7 and n non-equal?
True
Let f = 0.1 + -0.1. Let x = 8.3 + -26.8. Let j = x + 18. Which is greater: j or f?
f
Let n(i) = -i**2 + 6*i + 9. Suppose 0 = 3*p + 5*t - 36, -5*t = 7 - 22. Let m be n(p). Let v = 3 + -2. Do m and v have the same value?
False
Let i be (-138)/(-4)*(-4)/(-6). Let d be (-399)/(-18) - 4/24. Does i = d?
False
Let u = -7.8 - 3.2. Are 2 and u non-equal?
True
Let s be (-22)/(-231) - 4/(-7). Which is bigger: 1 or s?
1
Suppose 1 = 6*r + 13. Is -5/4 at most as big as r?
False
Let n = 0.9 + -1.4. Let d = n - 0.5. Which is smaller: -0.5 or d?
d
Suppose 2 = 4*x - 2. Which is bigger: x or 1/6?
x
Let u = -14 + 13. Which is bigger: u or -5?
u
Let r = 6.1 + -0.3. Let t = r + -0.4. Let s = 5 - t. Is 0 at most s?
False
Suppose -1 + 36 = -5*f. Let m = -11 - f. Let b be m/6 + (0 - -1). Which is bigger: 0 or b?
b
Let m(t) = t**3 + t**2 + t - 2. Let g be m(1). Is g at least -0.4?
True
Let f(k) = -2*k - 9. Let t be f(-5). Which is smaller: t or -3?
-3
Let p = 0.11 + 2.89. Which is greater: p or -0.1?
p
Let t = -210 + 189. Is -19 > t?
True
Let i be (-4 - -6) + (-4)/3. Which is bigger: 2 or i?
2
Suppose 3*y - 7*y + 2*r + 14 = 0, -5*r = 5*y - 10. Let x = -1 + y. Let a be 5/(-8)*x/(-5). Is a smaller than 0?
False
Let n be (-2)/(-6)*-5 + 2. Suppose 3*h + 1 + 8 = 5*x, -h + 14 = 4*x. Let a = h + -2. Is n bigger than a?
True
Let y = -260.17 - -262. Let v = 0.27 + y. Let w = -2 + v. Is -0.2 smaller than w?
True
Let c be (36/(-20))/((-212)/(-170)). Let w = c + -3/53. Let q be (9/6)/3*-2. Which is bigger: w or q?
q
Let o(z) = -9*z + 5*z + z**3 + 1 + z - z**2. Let d be o(2). Does -2/5 = d?
False
Suppose 2*w = 2*u - 5 - 5, 0 = 3*u - 12. Let o = -5 - -19. Let i be (-120)/273 + 4/o. Does i = w?
False
Suppose a = 2*a. Suppose -4*q - 4*f - 6 = q, 2 = 2*f. Let p be q/(-8) + (-3)/4. Is p equal to a?
False
Let r = 0.8 + -0.79. Which is bigger: 3 or r?
3
Let q(r) = r - 1. Suppose 0*k = 5*k. Let n be q(k). Which is greater: n or 0?
0
Let l = -1403/7 - -200. Let t be 0/1 + (0 - 1). Which is greater: l or t?
l
Let o be (-2)/8 - (-1)/4. Suppose 2*k - k - 25 = j, 72 = -3*j + 4*k. Let q be 2/(-7) + (-22)/j. Which is greater: q or o?
q
Let d = 0.03 - -3.97. Is -0.3 bigger than d?
False
Suppose -2*c + 2 = -0. Let y be (-2 - (-14)/6)*c. Let r = -1 + 0. Is y bigger than r?
True
Suppose 0 = -5*u - 1 + 6. Let f(j) = -3*j**2 - 9*j - 3. Let i(x) = -x**2 - 4*x - 1. Let h(t) = -2*f(t) + 5*i(t). Let q be h(u). Is 0 greater than q?
False
Suppose -j + 1 = -k - 5*j, -4*k - 5*j + 7 = 0. Suppose -k*b = -6*b - 3. Suppose 6*c = 26*c - 60. Is c < b?
False
Let p(o) = 5*o - 25. Let u be p(5). Which is smaller: u or 11/9?
u
Let v be (-2 - -4)/(-2 + 0/2). Let g be (4 - 2) + (-94)/46. Which is bigger: v or g?
g
Let t(u) = u**2 + 10*u + 13. Let x be t(-9). Let q(d) = -d**3 + 5*d**2 - 3*d - 4. Let v be q(x). Is v >= -4?
True
Let n = 1 - 0. Let y be 9/(-3)*(-4)/18. Is n < y?
False
Let a = -0.94 + 0.55. Let x = -0.01 + 0. Let b = a + x. Which is bigger: -1 or b?
b
Let i(n) = -n**3 - 11*n**2 - 10*n + 3. Let d be i(-10). Is 0.1 greater than d?
False
Let b(l) = -2*l + 6. Let k be b(4). Let v be (-6)/15 - (-4)/45*-3. Which is smaller: v or k?
k
Let g = -4 + 12. Let o = 5 - g. Which is smaller: o or 0?
o
Let c be (-27)/(-12) + (-25)/10. Are 1 and c unequal?
True
Let d = -5 - -8. Let j be d/(-2)*(-1)/(-3). Let a = -15/17 + -21/34. Which is smaller: j or a?
a
Let x = 55.4 - 55.4. Let m = -4 - -4.7. Let s = -0.3 - m. Which is smaller: s or x?
s
Let w(j) be the third derivative of -j**4/12 + j**3/6 - 2*j**2. Let s be w(-4). Let m be (s/7 + -1)*1. Which is smaller: 0 or m?
0
Let u = 1.8 - 1.8. Is u >= 98?
False
Let m be (-1 + 0)*1/13. Let y = -3 + 3.1. Which is smaller: y or m?
m
Let i(x) be the second derivative of -x**4/12 - 2*x**3/3 - x**2/2 - 3*x. Let f be i(-3). Suppose v = -2*l + 5 + f, v = -3*l + 8. Is v >= 4?
True
Let g = 0.06 + 0.04. Let q = 1.6 + -7.6. Is g != q?
True
Let c = -0.06 - 0.09. Let r = c - 0.05. Does r = 1/2?
False
Suppose -3*k = 0, y + k = 3*k + 6. Let n be (-3)/(-2)*4/y. Suppose 4*j + n = 21. Which is greater: j or 4?
j
Let h be (52/(-6))/(8/84). Let f be 3017/h + 2/13. Let y be 3/f - 0/1. Is -1 greater than or equal to y?
False
Suppose -3*d - 1 - 5 = 0. Is d <= -4?
False
Suppose -20 = 5*x - 4*p, -2*p + 2 + 2 = -x. Let w = 2 + x. Let y = 34 + -38. Which is bigger: y or w?
w
Let o(t) = -2*t + 58. Let q be o(30). Let n be (-1 + -1)/(-2)*-3. Which is smaller: n or q?
n
Let b = -12 + 17. Let q = b - 4.8. Which is smaller: q or -0.1?
-0.1
Let c be (4/(-6))/(10/(-525)). Which is greater: c or 36?
36
Let d be (-10)/(-4)*(-6)/(-5). Suppose n - 4*n = -4*q - 1, -n = -5*q + 7. Suppose h + d = -q*h. Is h >= -1/4?
False
Suppose 9*g + 16 = 13*g. Suppose 0 = -u + 6 - 2, -4*l + 32 = -g*u. Is l at least as big as 12?
True
Let u = 5 + -4. Let j = -1 + u. Let f = -1 - -1. Do j and f have different values?
False
Suppose 3*o + 3*n - 7*n = 32, 4*n + 40 = 5*o. Suppose -2*p + 16 = -o. Are 11 and p equal?
False
Let b be 2/(-7) + 64/(-14). Let y = 61/14 + b. Is y not equal to -0.8?
True
Let k be 2*((-1)/2 + 0). Let c be 0 - (-345)/51 - 7. Is c less than k?
False
Suppose 5*f - f = 0. Suppose -2*c - 3 - 1 = f. Let j be ((-4)/10)/c*-2. Which is bigger: j or 0?
0
Suppose -z + 16 = -o, -2*z = -4*o - 39 - 15. Let j = -13 - -2. Is o smaller than j?
False
Let o = 0.14 - 0.14. Let k(s) = s - 1. Let f be k(2). Let q = f + -3/4. Which is bigger: q or o?
q
Let n be 1 - 3/6*4. Suppose 0 = -2*m + 7*m - 10. Suppose -2*f = -4*w, -m*f - 2 + 0 = -2*w. Which is bigger: f or n?
n
Let l = 353 - 18001/51. Is l greater than or equal to 1?
False
Suppose 0 = 7*k - 3 - 4. Let p = -1201/7 - -172. Which is smaller: k or p?
p
Suppose 2*y + 5*o - 17 = 0, -o + 0*o = -4*y + 1. Let u = -3 + y. Let f be (-32)/(-30) + 20/(-12). Which is greater: f or u?
f
Let l(o) = -2*o + 13. Let i be l(6). Is 0 greater than i?
False
Let b(z) = 2*z**2. Let j be b(-1). Suppose 0 = 3*y + 5*r + 18, -5*r - 9 = -j*y + 4. Let t = -9.1 + 9. Is t equal to y?
False
Let r = 28/61 - 2016/671. Is -3 smaller than r?
True
Let v be (-8)/40 + 116/5. Let n be (-3 - -2)/(v - 5). Which is greater: 1 or n?
1
Let c(i) = -i**3 + i**2 + 1. Let t(j) = -4*j**3 + 5*j**2 + 9. Let x(m) = -5*c(m) + t(m). Let g be x(0). Is 4 smaller than g?
False
Let w(c) = c**3 + 6*c**2 + 6*c + 2. Suppose -2*x - 3 = 5. Let j be w(x). Let u be j/(-8) - 3/(-12). Which is smaller: -2 or u?
-2
Suppose -a - 4 = -4*a - g, a = 3*g - 12. Let x = 20 + -65. Let d = -136/3 - x. Do a and d have the same value?
False
Let p = 0.08 - -0.02. Which is bigger: -1/2 or p?
p
Let q be 2 + ((-394)/78 - -3). Are 0 and q unequal?
True
Let y be 4/3*(-3)/(-2). Let u = y + -9. Which is smaller: -9 or u?
-9
Suppose 5*c = 5*b - 5, -4*b = -7*c + 2*c - 2. Suppose -c*z + 4 = 2*z. Do -1/14 and z have different values?
True
Let c be ((-4)/2)/(1/2). Let h(m) = -m**2 + 10*m + 14. Let t be h(11). Let f(s) = s**3 - 3