. Is j at most as big as w?
False
Let b be (4/(-10))/(35/25). Which is greater: 31 or b?
31
Let q(w) = -w**3 - 14*w**2 + 14*w + 3. Let h be q(-15). Suppose -2*k - 2*i = h, k + i = -2*i - 7. Is k less than or equal to -10?
True
Let u = -1.4 + 1.37. Is u greater than -1/6?
True
Let b = 2 + -4. Let y = 11 + -7. Let s = y - 6. Does s = b?
True
Suppose -19 = 4*m + 13. Are m and -5 equal?
False
Let s = -37670/43 - -876. Is 0 <= s?
False
Let c = -16 + 15. Let j = -982/7 + 140. Is j >= c?
True
Let j = -5.8 + 3.9. Let s = j + 2. Let t = 42 - 291/7. Which is bigger: t or s?
t
Suppose -4*c - 2*g + 26 = 0, 4*g - 22 = -2*c + 6. Suppose c*m - m = 0. Do m and -3/4 have different values?
True
Let x = 5 - -7. Let v = 100 + -87. Is v greater than x?
True
Let b = 20.9 + -19.03. Let d = b - -0.13. Do -1/4 and d have different values?
True
Suppose -8 = -5*s - 3. Let b = 264 + -2907/11. Which is smaller: b or s?
b
Let g be 2 - ((-295)/29)/(-5). Are 1 and g unequal?
True
Let l be 2 - (18/(-2))/(-3). Which is bigger: l or -3?
l
Let g = -10 + 19. Let j = g + -7. Which is smaller: j or 0.2?
0.2
Suppose -5*y - 10 = 5*v, -5*y - 3*v + 6*v - 2 = 0. Let n = 0.5 + -0.1. Is y >= n?
False
Let j = -6 - -7. Let f = 3 + -1. Suppose f*s - m = 0, -2*m = 5*s - 4*m + j. Is s at least -0.1?
False
Let x = -21 + 11. Which is smaller: x or -3?
x
Let h(k) = k**2 + 10*k - 10. Let b be h(-11). Which is greater: b or 1/12?
b
Suppose 0*q - 2*q = -16. Let y(a) = 11*a - 123. Let u be y(12). Are u and q equal?
False
Suppose -3*a - 3 + 0 = 0. Let i = 1/561 + -2/33. Which is bigger: i or a?
i
Let z = 2.05 - 2. Let f = 3 - 3.01. Let g = f - z. Is -0.1 != g?
True
Let x(a) = a + 1. Suppose -3*y = 1 + 11. Let b be x(y). Let i = -1 + 0. Is b bigger than i?
False
Let m = -610/943 - -16/23. Which is greater: -1 or m?
m
Let f = -4.7 - -5. Let c = f + -0.4. Let x be 5/6*12/(-45). Is c at most x?
False
Let p = 7 - 3. Let m = 12 + -9.7. Let w = m - 2.2. Which is smaller: w or p?
w
Suppose 2*b + 2 = -2. Let l be b/(-4) + 5/(-2). Which is bigger: -3/2 or l?
-3/2
Let q = -0.171 + 0.271. Which is bigger: 5.2 or q?
5.2
Let j = 294 + -294. Let x be (-6)/21 + 34/168. Which is smaller: x or j?
x
Suppose 4*s - 48 = -0. Let p = s - 11. Which is smaller: 3 or p?
p
Let t be (-1)/(-1 - (-2 + 2)). Let a be t + (-14)/(-33)*-3. Is a at most as big as -1?
False
Let f(a) = -2*a + 16. Let u be f(6). Let z = 15 + -22. Let r = z + u. Which is bigger: -2 or r?
-2
Let j = -1 + 5. Let c be (-26)/j + 1/2. Let n be (40/c)/(-4) + -1. Is -2 > n?
False
Let c be ((-14)/5)/((-6)/15). Is c <= 7?
True
Suppose -2*j = -4*c - 12, -3*j - 3 = -3*c + 4*c. Is -3 at least as big as c?
True
Let r(v) be the third derivative of 0*v**3 + 0*v + 0 + 1/20*v**5 - 2*v**2 - 1/6*v**4 + 1/120*v**6. Let a be r(-4). Does 0 = a?
True
Let j be (2 - 3) + (-95)/4. Are 1/2 and j equal?
False
Suppose 0 = -5*m - 2*p + 36, 4*m - 2*m - 22 = 3*p. Suppose 5*f - 5*x = -10 - 5, 2*x = m. Let b = f - 3. Is -2 less than or equal to b?
True
Suppose -i - k + 3 = 0, -3*i + 13 = k - 0*k. Is 5 at least as big as i?
True
Let c = 27 - 44. Do c and -0.1 have the same value?
False
Let n be 3 - (-41)/(-11) - -1. Is n smaller than 2?
True
Let a(r) = r**2 - 12*r + 3. Let z be a(12). Let p = -2 + z. Is -2/15 <= p?
True
Let k be ((-3824)/34)/(-4) + (-4)/34. Is k <= 27?
False
Let k = -27.016 - -0.016. Let r = 20 + k. Which is smaller: r or 2/5?
r
Let q(v) = v**3 - 2*v**2 + 2*v - 2. Let o be q(2). Suppose o*i = -2*i. Suppose 5*f - 5*p - 5 = -2*p, -f - 4*p + 1 = i. Which is bigger: f or 0?
f
Let v be 2/(-7) - (-10)/7. Which is smaller: v or 2?
v
Suppose 3 = a + 5. Is -2 less than a?
False
Suppose -2*w = 2*d - w, -w = -3*d - 10. Let o be 2/4 + (-2)/4. Are d and o equal?
False
Let f be (1/(-2))/((-11)/(-132)). Which is smaller: f or -7?
-7
Suppose 0 = q - 6*q - 50. Is -3/7 < q?
False
Let u = 28 + -16. Which is greater: 9 or u?
u
Suppose -22 = -w + 5*m, 5*w = m + m + 18. Suppose d + w*d + 3 = -4*f, -f - 4*d = 17. Which is smaller: 5/2 or f?
5/2
Let r = -0.2 + 0.25. Let c = r - -2.95. Does c = -0.2?
False
Let o be (-34)/12*(-11 - -5). Is 7 at most o?
True
Let c be (-4)/(402/(-9)*1). Are -1 and c equal?
False
Let x be (2 + 0)/(3/6). Suppose 9*n = x*n. Suppose n = -3*u - 2*u. Which is greater: -1/4 or u?
u
Let h = 0.91 + -2.99. Let x = -2 - h. Let q = x + 0.02. Is q < 0.06?
False
Let w be -3 + 4/(140/103). Which is bigger: w or -1?
w
Suppose 2*w - 7 = 11. Is w greater than or equal to 9?
True
Let s(k) = -k**3 + 7*k**2 - 6*k + 1. Let w be s(6). Let h = -320/13 - -11866/481. Which is smaller: h or w?
h
Suppose -4*w = 1 + 31. Let q = 7 + w. Which is greater: q or -2/9?
-2/9
Let r = -1 - -2. Let b = -2485 + 12482/5. Let c = -161/15 + b. Which is greater: r or c?
r
Suppose 2*f = 2 - 4. Let h = -5 - f. Let y be (-2)/h - 2/12. Do 1 and y have different values?
True
Let b be 6/8 + (-37)/(-4). Let g(y) = y**3 - 9*y**2 - 10*y. Let v be g(b). Which is greater: -1/5 or v?
v
Let m be 3768/1008 + (-2)/24*2. Which is greater: m or 2?
m
Let c = -52 - -30. Is -23 < c?
True
Let n be -5*(-1 - 27/(-25)). Which is smaller: -5 or n?
-5
Let a = -5.9 - -6. Let x = a + 2.9. Which is bigger: x or 0.1?
x
Let k = 4 - 4. Suppose w + k*w = 8. Suppose 0 = 3*b - l - w, -3*b - 4*l + l = 12. Is -1/6 greater than b?
False
Suppose 3*t = -2*t. Let n = 283/28 + -41/4. Is t at least as big as n?
True
Suppose 4*f + 210 = -354. Do f and 0.1 have different values?
True
Let s be 321/24 - 9/24. Is 13 > s?
False
Suppose 4*t = 2*t + 36. Let k be (-2)/t*23 - -3. Is 1 > k?
True
Suppose -2*q = -3*q - 5*t + 28, 4*q - 7 = t. Which is smaller: q or -3?
-3
Let c = 93 - 93. Is c greater than -1/36?
True
Let p = 0.339 - 13.299. Let r = p - -13. Which is smaller: -1/4 or r?
-1/4
Suppose 0 = -z - 4*z + 2*w + 414, -3*w + 322 = 4*z. Let q = -903/11 + z. Are 1 and q equal?
False
Suppose -2*n - 10 = -5*n - u, 0 = 4*n + 5*u - 6. Suppose n*o = -m - 20, -3*m - 2*o - 3 = 7. Which is greater: m or -2?
m
Suppose 0*u - 3*u = -3*f + 12, 4*f = -2*u + 22. Let i(c) = -2*c**3 - 2*c - 1. Let d be i(-1). Suppose 0*y = -d*y. Which is smaller: u or y?
y
Suppose -2*t = 10, 0*t - 22 = 3*n - t. Let q be 27/n + 2*1. Let s = -1 + 0.5. Which is smaller: s or q?
q
Suppose 2*f + 4 = f. Let w be ((-12)/10)/((-6)/(-15)). Do f and w have the same value?
False
Let h(i) = 2*i - 5. Let t be h(7). Suppose z + 4*g = t, -2*z + 3*g = -z + 12. Let a be (1/z)/(5/(-9)). Which is smaller: a or 0?
0
Let d = 148/195 + -9/13. Let z = -13037/30 - -435. Let c = z + d. Which is smaller: -0.3 or c?
-0.3
Suppose -3*f = -2*f - 12. Which is bigger: 34/3 or f?
f
Let c(q) = -3*q - 3. Let m be c(-1). Do m and -51 have the same value?
False
Let p = -16.7 + 2.7. Let m = p - -13.1. Let t = 0.1 - m. Which is bigger: -0.3 or t?
t
Let g = -2 - -3. Suppose 17*i = 12*i + 4*s + 1, 0 = -i - 3*s - 15. Which is smaller: i or g?
i
Suppose -j - 2 = -2*z, 0 = 3*j - 4*j + 2. Suppose z*l = -5*f + 33, -8*f = -4*f - l - 16. Suppose 0 = f*m - 1 - 4. Is m < 1/4?
False
Let j(k) = k - 1. Let c be j(-1). Let t be (4/(-3))/(6/(-9)). Let v be t - -1 - 49/14. Which is bigger: v or c?
v
Let l be (269/54 - 6) + 1. Is 1 greater than l?
True
Let k = -41/4 + 10. Let q = 0.21 - -1.79. Which is smaller: k or q?
k
Suppose 0 = -0*n - n. Let s = -41/3 - -83/6. Is n not equal to s?
True
Suppose 2*q = -2*q + 64. Suppose l - 24 = q. Let y = 121/3 - l. Which is smaller: 2/3 or y?
y
Let w = -26 + 27. Let x = 0.2 + -0.24. Is w greater than or equal to x?
True
Let y = 0 - -1. Let n = -8 + 13. Which is bigger: y or n?
n
Let u = -0.6 - -1.1. Let a = u - 0.46. Let m = a + 0.06. Which is smaller: m or -2/3?
-2/3
Suppose 0 = -b - 5*c - 17, -13 = 2*b + c - 6. Let q = 1 + -3. Let p = -1 - q. Which is greater: p or b?
p
Let t be ((-36)/(-45))/((-1)/(-20)). Let h = t - 24. Which is smaller: -9 or h?
-9
Let m be 0*((-3)/1 - -4). Let r = -1 - -3. Which is greater: r or m?
r
Let m be (-1 - -1)*(-1)/2. Let a = 1 - m. Let y = -1 - a. Which is bigger: 0 or y?
0
Let g = 5/198 + 3143/990. Which is smaller: 3 or g?
3
Suppose 0 = -0*t - t - 2. Let k be (-5)/75 - t/3. Which is smaller: 0 or k?
0
Let t = 90.5 + -90. Is t > 0.22?
True
Let l be (0 + 0)*(-4)/(-8). Let b = 137/731 + -3/43. Which is smaller: b or l?
l
Let d(k) = -k - 3. Let c be d(-5). Suppose 2*o = -0*o + 