60 = -5*k. Is 1 at least as big as s?
True
Let j = -5 + 1. Let t = j + 10. Suppose -3*w = t - 12. Which is smaller: 5/2 or w?
w
Let q be 0 + -2 + 0 + 2. Which is smaller: q or 3/49?
q
Suppose -3*n = -2*o - 4, 2*n + 0*o - 16 = -2*o. Let w be (-4)/10 - n/(-10). Is w at least as big as 0?
True
Let m be (-2)/(20/(-414)) + (-6)/15. Are m and 41 non-equal?
False
Let s = -1 - -4. Let z be 4/18 + (-250)/(-90). Do z and s have different values?
False
Let x be 5/((-15)/(-81)) + -1. Let m be (-1)/x*(1 + 29). Let k = 79/91 + m. Which is smaller: -1 or k?
-1
Let a = 0.07 + 0.43. Let f = -0.3 - -0.6. Let v = a - f. Which is smaller: 0 or v?
0
Suppose 0 = w + 3, w = 5*y - 2*w + 41. Does y = 1/2?
False
Let o = -9137/13 + 704. Does o = 1?
False
Let h = -4 + 3.9. Let y = -0.1 - h. Suppose j = -3*j. Is j equal to y?
True
Suppose 0 = -5*x - w, 2*x = -4*w - 0*w - 18. Let h = -1 + 0. Let y be -1 + x + 1 + h. Do 1/11 and y have the same value?
False
Suppose a = -3*r - 30, -r - 10 = -2*a - 2*a. Which is smaller: r or -8?
r
Let v = 0 + -1. Let c = 9 - 15. Let x = -5 - c. Is x equal to v?
False
Let v be (-10)/6 - 2/6. Let x be 1 - ((-5)/v + -2). Let j = -0.05 - 1.95. Which is smaller: x or j?
j
Suppose -12*a + 8 = -64. Which is smaller: a or 39/7?
39/7
Let g = 19.88 + -19. Let p = g - -0.12. Is 7 <= p?
False
Let m = -5 + 10. Let d = 1 + 4. Suppose -d*s - m = 5. Which is smaller: s or -1?
s
Let z be 4/6*((-11870)/(-1190) + -10). Is z less than 1?
True
Suppose 0*c - 4*c = u - 23, -c + 4 = 2*u. Let z be (4/c)/(2/6). Let x = 1.9 + -2. Which is greater: x or z?
z
Let j = -2623 - -104929/40. Let w = 223/8 + -28. Let m = w + j. Which is bigger: m or -1?
m
Let g be ((-1)/3)/((-3)/(-63)) - 1. Suppose -u - u = 3*j - 1, 3*u + j = -16. Is u greater than or equal to g?
True
Let u = -8.2 + 6.2. Which is smaller: -6 or u?
-6
Let g = -5 + 5. Suppose -5*b + 0*b = g. Is b > -1?
True
Let t = -23.9 + 3.9. Which is greater: -2/5 or t?
-2/5
Suppose 3*o + 3*x + 85 = -11, -155 = 5*o + 4*x. Let j(c) = 10*c**3 - c**2 + 2. Let i be j(2). Let l be -1 + (i/o)/(-2). Which is greater: l or -1?
l
Let m be (-10)/66 - 0 - 6/33. Let f = 1.8 - 4. Do m and f have different values?
True
Let k(m) = -10*m + 7. Let q be k(7). Let z = -129/2 - q. Which is smaller: z or -2?
-2
Let a = -50 - -49.951. Is 0 at most a?
False
Let w(n) = 2*n**2 + 25*n + 16. Let o be w(0). Suppose 3*u = 8*u - 85. Which is bigger: o or u?
u
Suppose 2*r + 10 = c, 3*r = r - 8. Let z = 3 - c. Let d = -3 - -3. Is d <= z?
True
Let q = 39.7 - 36. Which is greater: q or -2/7?
q
Let q = -4202 - -256328/61. Which is bigger: q or 0?
q
Let k = -8 + 10.8. Let l = -3 + k. Let f = -3.1 + 3. Is f at least l?
True
Let o = 41/155 + -2/31. Which is smaller: -1 or o?
-1
Let x be ((-12)/9)/(-4) - 1. Which is smaller: x or -2?
-2
Let o be (-2 + 1/(-1))/(-1). Suppose -p + 2 = o. Let u be (-42)/(-28) - (1 - -1). Which is smaller: p or u?
p
Let f = -5 + 8. Let c be f/15 + (-37)/160. Which is bigger: 0 or c?
0
Let z = 1.7 - 1.66. Which is greater: 1 or z?
1
Let r = 13 - 12. Which is smaller: r or -3?
-3
Let o = 853 + -9377/11. Is 1 smaller than o?
False
Let h(a) = a**2 + 4*a. Let g be h(-5). Suppose 4*r = -12, -g*u + 6 = -2*u - 4*r. Suppose 2*t = -t. Which is bigger: t or u?
t
Let x(d) be the first derivative of 3 - 10*d - 1/2*d**2. Let m be x(-8). Is 0 at least m?
True
Suppose 5*k - 2 = 3*w - 1, 2*w + 5 = -k. Let t be 4/8 - k/2. Which is bigger: 2 or t?
2
Let t = 0.63 - -6.47. Let o = 8 + -1. Let p = o - t. Is -4 at least p?
False
Let y be ((-3)/4)/(3/(-2)). Let h be ((-4)/14)/((-48)/(-84)). Which is smaller: y or h?
h
Let z be (28/(-48))/(-7) - 0. Suppose 3*d = 5*m, -4*d = m - 5*m. Is z greater than m?
True
Let s be (14/8)/((-15)/12). Is -2 > s?
False
Let l be 22/42 - (-4)/(-6). Is l smaller than -1?
False
Let f be 6 + -7 + (-5438)/(-22). Suppose 4*w + 2*t + 992 = -0*w, 964 = -4*w + 5*t. Let r = w + f. Which is smaller: -1 or r?
-1
Let p be (-32)/28*12/(-8) - 2. Is p < 0.9?
True
Let v(q) = -q**2 + 60. Let s be v(0). Let g be (-244)/s - 2/(-5). Let z = 3 + g. Which is smaller: -2 or z?
-2
Let i be -1 + 1 + 6/51. Let l = i + 20/119. Which is smaller: 0 or l?
0
Let r be (-185)/15 + (-4)/6. Let c = 12 + r. Which is smaller: c or 1/3?
c
Let j = -0.7 - -0.73. Let z = -0.03 + j. Are -2 and z equal?
False
Let k(q) = 15 + 10 - 23 - q. Let j be k(6). Which is greater: j or 2?
2
Let w = -306876/7 - -43721. Let x = 170 + -52. Let d = w + x. Is d at least as big as -1?
True
Suppose -2*b - 3*j = 1, 0*b - 5*j - 7 = -2*b. Let m = 66.8 - 66. Which is smaller: b or m?
m
Let d be (6 - 2) + 8 + -2. Is d smaller than 11?
True
Suppose a + 47 = -d, -2*d - 3*d - 217 = -4*a. Let k be (-20)/6*81/d. Let n be 15/k*(-1)/5. Is n equal to -1?
False
Let g = -1 + 3. Let c = 18 - 16. Do g and c have different values?
False
Let x(r) = 2*r**3 - 14*r**2 - 2*r - 9. Let n be x(7). Which is greater: 0.3 or n?
0.3
Let a(x) = -x**3 - 2*x**2 + 2*x - 3. Let t be a(-3). Let v be -1 - 2 - (1 - 10). Suppose 5*s + v = 1. Are t and s nonequal?
True
Let h be (-395)/35 - (-6)/21. Which is bigger: h or -2?
-2
Let o = -3.4 + 3.5. Which is greater: o or -1?
o
Let v be 6/10 + 4/10. Let q = v - 3. Let h = 48 - 99/2. Is h < q?
False
Let t be 9340/208 + 4/(-26). Suppose 3*v = -2*v - 225. Let f = t + v. Which is smaller: 0.1 or f?
f
Let k = 1.9 + 0.14. Let b = k + -0.04. Let m = b + -6. Is 0.1 at least m?
True
Let s = 55/152 + 1/76. Which is smaller: 1 or s?
s
Suppose -5*b + 2*f - 51 = 25, 0 = 2*b - f + 31. Let h = 7 + b. Is -8 greater than h?
False
Let b = 3 + -17/5. Let g be (6 - 2) + 0/2. Let l = g - 4. Is b greater than l?
False
Suppose -d - 5*r + 22 = 0, 2*r + 10 - 26 = -4*d. Let w be d/(-1 - 1)*0. Is w equal to -0.1?
False
Let n be (-26)/(-6) + (-1)/3. Let b be (3/(-9)*3)/(2/(-6)). Is n less than or equal to b?
False
Suppose -5*x + 4*x + 3 = 0. Let a = x + 2. Let n(q) = -q**2 + 5*q - 1. Let s be n(a). Which is greater: s or 0?
0
Suppose 4*d = 3*d. Let k = 103 - 719/7. Do d and k have the same value?
False
Let r = -1.6 - -2.6. Do -8 and r have different values?
True
Let m = -10 + 8. Is -3 < m?
True
Let s be 2/(-5) - 6/10. Let x be 21/(-24) - (-1)/2. Which is greater: s or x?
x
Let g = 45 - 404/9. Let v(q) = q**3 + q**2 + q. Let x be v(-1). Is x > g?
False
Let d be (-2 - 1)/(6/(-34)). Let n = d - 18. Which is smaller: -1/4 or n?
n
Let b = 159/28 - 45/7. Let t be 4 + 5 + (-2)/2. Suppose 5*y + t = y. Is b > y?
True
Suppose -p - 1 = 4*d - 5*d, -2*p - 3*d + 23 = 0. Suppose -3*t = 4*v + 3 + 4, 5*v - 30 = p*t. Is v equal to -0.2?
False
Suppose -q + 0*q - 12 = 0. Let j(y) = y**2 + 12*y + 2. Let u be j(q). Is u greater than 2?
False
Suppose -5*m - 5 = -0. Suppose 2*n - 3*o - 16 = o, -4 = -2*n - 2*o. Suppose -6 = n*s + 2. Do s and m have the same value?
False
Let s(z) = z + 7. Let o be s(-7). Let a = -268/11 + 24. Which is smaller: o or a?
a
Let z = 0.4 + 0. Let c = 0.4 - z. Which is greater: c or -1?
c
Let v be -3*2/(-6) + 1. Let r = 17 + -15. Are r and v unequal?
False
Let t(z) = -z - 4. Let u be t(-5). Suppose 0 = 4*f + 4, c - f - 5 = -0*f. Suppose 1 + 3 = c*y. Is y smaller than u?
False
Let g = 295 - 2651/9. Let z be 1 + -1 + 0 + 0. Do z and g have different values?
True
Let n(q) be the first derivative of q**4/4 - 2*q**3/3 - 2*q**2 + 3*q + 3. Let u be n(3). Which is bigger: -3 or u?
u
Suppose 2*m + 0*m = 0. Suppose 65 = -5*g - 5*i, m = 4*g - 3*i + 107 - 27. Let o be g/(-4) - (-4)/(-16). Is 4 greater than or equal to o?
True
Let b = -16 - -36. Let r be 28/b + (-2)/5. Let m be r/(-2) + (1 - 0). Which is greater: m or 0?
m
Let g = 23/2719 + -5473508/19033. Let c = g - -288. Is c > 1?
False
Suppose 0 = 3*b + 3*q + 18, 0*q + 18 = 2*b - 4*q. Let r = -6 - -9. Suppose 4*w = 4*s - 4, 0 = 2*s - 6*s + r*w + 3. Which is greater: s or b?
s
Let y = 0.9 - -0.1. Let p(w) be the third derivative of w**5/60 - w**4/2 + 3*w**3/2 + 2*w**2. Let r be p(11). Which is smaller: y or r?
r
Let g = 17 - 6. Let y = 8 - g. Let p = 2 + y. Which is smaller: p or -1/2?
p
Let s = 7 - 5. Let x = 1 + -1. Suppose 5*q - 10 = x, -8*d = -3*d + 5*q - 25. Which is bigger: d or s?
d
Let o = 0.6 - -0.2. Let l = 6.8 - o. Is -2 < l?
True
Suppose 0 = -3*a - 8 - 25. Let m(g) = -5*g + 5. Let r(v) = 2*v - 2. Let d(j) = a*r(j) - 4*m(j). Let b be d(3). Which is g