s be (-35)/3 - (-3)/(-9). Let b be (-2)/s - (-13)/(-42). Is b greater than -1?
True
Let q = 250427857/1477935 + 2/164215. Let g = q - 169. Suppose 2*y - 3 = -5. Is y > g?
False
Let o be (-423)/12 + (-21)/28. Let z = 37 + o. Let w be 2/2*5*1. Which is smaller: w or z?
z
Let j = 169 - 1181/7. Which is smaller: j or -0.14?
-0.14
Let v = 2758/23 + -120. Suppose 0 = -0*f - 3*f. Is v at most as big as f?
True
Suppose -4*n + 1 = i, 3*i - 8 = -n + 6. Let o = -1150/9 - -128. Which is greater: o or n?
o
Let n = -154/5 + 31. Is n greater than -5/3?
True
Let q(c) = -26*c**2 - c. Let j be q(-1). Let d be 5/(j/(-8))*5. Suppose -4*i + d + 16 = 0. Which is smaller: i or -1/4?
-1/4
Suppose 2*h = -33 + 105. Suppose -8*b = -4*b - h. Is b at most as big as 9?
True
Let d = 13 - 14. Are d and -3/7 equal?
False
Suppose 0 = 2*s - 0 - 4. Let o = 1 + -6. Let p = o + 5.1. Which is smaller: p or s?
p
Let q be ((-6)/(-5))/(39/130). Suppose 12 = -3*z - i + q*i, -5*i = -4*z - 21. Which is greater: 6/5 or z?
6/5
Let w(d) = -d**3 - 5*d**2 + d + 2. Let o be w(-5). Let l be -3*11/o + -3. Is 1 smaller than l?
True
Let w = -0.08 + 0.04. Let b = w - -0.06. Which is smaller: b or -2/3?
-2/3
Let l(s) = -3*s + 2 + 2*s + 1. Let h be l(7). Suppose 0*r = -4*r - 4*v - 28, -2*v - 11 = r. Which is smaller: r or h?
h
Let y = -130 + 150. Is 19 != y?
True
Let g = -56 - -56.23. Let w = g + 0.17. Which is smaller: w or 1?
w
Let f(o) = -o**3 - o**2 + 6. Let r be f(0). Let d = -7 + r. Let z = -446/7 - -64. Which is smaller: d or z?
d
Suppose 0 = -2*y + 4*y + 36. Are y and -18 non-equal?
False
Let n = -19 - -19. Let s be (-58)/(-56) - (-6)/(-21). Which is smaller: n or s?
n
Suppose w - 3 = 7. Is 11 less than or equal to w?
False
Let v(q) = -2*q**2 + q. Let d(r) = r**3 + r**2 - r - 1. Let w be d(0). Let p be v(w). Is p smaller than -3?
False
Suppose 0 = -3*l + 6, 0*c - 5*c = l - 47. Let f be (-7 + c)*(-2)/(-4). Let j be (1/6)/((-2)/(-6)). Which is smaller: j or f?
j
Let m be ((-8)/16)/((-2)/20). Let r be 1/(-1)*(-5 + m). Is r != -1/18?
True
Let t = 39 + -30. Which is bigger: -1 or t?
t
Let y(b) = b**3 + 5*b**2 + 6*b + 3. Let i be y(-4). Let k be 1*3 + (-12)/6 + -6. Are i and k nonequal?
False
Let w = 146 + -142. Is 0.1 smaller than w?
True
Let j be (-32)/14 - (-5 + 3). Let a = -41 + 42. Is j at least a?
False
Suppose 0 = 3*o + 4*m - 22, 0 = o - 0*m - m + 2. Which is greater: o or 3?
3
Let v = -7.3 - -7. Let i = v + 1.3. Let f be ((-4)/(-24))/((-2)/(-9)). Which is bigger: f or i?
i
Let f = 12 - 12. Let q = 9 + -6. Let v be (-2 + q - 0) + -1. Are f and v equal?
True
Let m = -7 + 7. Suppose o + 3*o = m. Let h = o + 0. Do h and 2 have different values?
True
Suppose -2866 = 4*m - 8402. Let j be m/(-3) - 2/3. Let f be (-2)/(-11) + 216/j. Which is bigger: 0.2 or f?
0.2
Let k = 0.085 - -0.115. Are 0.23 and k nonequal?
True
Suppose -2*k - 108 + 41 = -3*b, 5*k = -3*b + 74. Which is greater: b or 0.1?
b
Suppose -5*g + 5 = -5. Suppose -10 = 2*n, g*z = -0*n + 3*n + 17. Which is smaller: z or -1?
-1
Let m be ((-3)/451)/((-12)/536). Let z = m - 1/41. Which is bigger: z or 1?
1
Suppose 5*a - r = 2*r + 7, 0 = 4*a + 5*r - 13. Suppose -k = -a + 3. Let h be 180/1200 - (-3)/((-30)/4). Is h < k?
False
Let i = 6 + -3. Suppose -2*u = 2*f - 0*f, -2*u - 2 = i*f. Let b be u + (-9)/5 + 0. Is b > -1?
True
Let n = -467/21 - -165/7. Let l = -0.1 + -0.9. Does l = n?
False
Let h be (1 + -4)/(-5 + 2). Let z be ((-12)/30)/(h/5). Which is greater: -1 or z?
-1
Suppose -5*o = 2*a + 99, 2*o + 0*o = 3*a - 32. Let v = 11 + o. Is v smaller than -6?
True
Suppose 2*j = 7*j. Suppose -y + 4 = y. Suppose 2*b + 4 = -y*m, -18 = -4*m + m + 5*b. Which is smaller: m or j?
j
Suppose -r - 2*a + 4 = 3, 3*a = 5*r + 21. Is r at least as big as -1?
False
Suppose 4*l = l. Suppose -4 = -g, -5*r + 4*g - 16 = -l*g. Let n = 0.7 - -0.3. Which is smaller: n or r?
r
Let m be -1 - -1 - 2/8. Is -2.2 != m?
True
Let g(f) = 2*f**2 + 10*f + 3. Let b be g(-4). Let l = -25 + 16. Let v = l - b. Is v not equal to -5?
True
Let d = -70 + 71. Is d > 12?
False
Let q = 6 - 14. Which is greater: -7 or q?
-7
Let y(j) = -8*j - 8. Let z be y(-8). Let g = -23728/5 - -4802. Let f = g - z. Is f <= -1?
False
Let r = 53 - 2913/55. Which is bigger: r or 1/2?
1/2
Suppose -3 = -j - 9. Let b = -4 - j. Let p = -2 - b. Do -3 and p have different values?
True
Let u(j) = j**2 + j - 1. Let q be u(-2). Let r(m) = -m**2 + m - 1. Let t be r(q). Which is smaller: 1/10 or t?
t
Let r be 2*((-80)/35 + (-2)/(-7)). Which is smaller: -3 or r?
r
Let x = 2 - 1. Let j = 8 - 7. Let c = 3 - j. Which is smaller: c or x?
x
Let z(o) = -o**3 - 6*o**2 + 6*o + 3. Let w be z(-7). Suppose 3*r = r - w. Which is greater: -1 or r?
-1
Suppose -5*k + 79 = -2*o, -2*o - 3 = 2*k - 29. Suppose 5*c = n + k, -4*c - c = -15. Suppose -4*j = -z - n*z - 8, -3*z = -5*j + 10. Is 3/4 != j?
True
Let j = 274/21 + -40/3. Is 0 less than j?
False
Let a = 7.7 + -7.7. Is a at most 6/23?
True
Suppose -4*l - 4*o = l + 7, 2*o + 7 = l. Let d(j) = j - 1. Let t be d(l). Suppose 3*h + t*h = -9. Which is greater: h or -5?
h
Suppose 26*d - 28*d = 0. Let l(b) = -b**3 - 7*b**2 - 6*b + 3. Let o be l(-6). Is d at most o?
True
Let b = 1.1 - 1.4. Let y = b + 0.8. Are y and 0.1 unequal?
True
Let i = 0 - 0. Let v(s) = s**2 + 1. Let r be v(-1). Suppose i = h + h + r. Is 1 less than or equal to h?
False
Suppose 2*w + 21 = 15. Which is smaller: w or -1?
w
Suppose 167*y - 170*y + 93 = 0. Are 29 and y unequal?
True
Let q be 6/(-15) - 142*1/(-55). Is 3 less than q?
False
Suppose -37 = -5*p - 3*b, 4*b = 11 + 5. Suppose p*z - 20 = -v, -5*z + z = 2*v - 28. Is 11 bigger than v?
True
Let a be 0 - (-1)/12*1. Let p = 11 - 10. Which is smaller: a or p?
a
Let m = 4 - -3. Is 6 not equal to m?
True
Let n be ((-16)/(-10))/(-4)*(-10)/12. Which is smaller: n or -1?
-1
Let u = -1648909 - -1361999285/826. Let j = 3/118 + u. Is 0 >= j?
False
Suppose -18 = 5*s - 3*d - 60, -5*s + 10 = 5*d. Let u be (-4)/s*3/2. Is u greater than -1?
False
Let o = 13 + -23. Let b = 14 + o. Suppose 2*r = b - 0. Which is bigger: r or 0?
r
Let m be 44/(-117) + 2/9. Suppose 0 = -0*j + 4*j + 8. Let y be (1 + j - -2)*-1. Is y not equal to m?
True
Let r = -66.3 + 66. Suppose -5*w = 5*c - 30, 0*w + 4*c - 21 = -w. Which is bigger: w or r?
w
Let s(r) = 6*r + 10. Let j(d) = -d - 1. Let n(h) = -5*j(h) - s(h). Let o be n(0). Which is greater: -4 or o?
-4
Let k(m) = 11*m - 33. Let v be k(6). Which is greater: v or 36?
36
Let u(w) = -w**2 - 3*w - 7. Let o be u(-6). Let t be ((-1)/(-4))/(o/60). Which is smaller: 0 or t?
t
Let f be 2/8 - 1/4. Suppose z = 1 - f. Let j be z*-3*1/(-15). Is j != 0.2?
False
Let c = 11.16 + -11. Which is smaller: -0.2 or c?
-0.2
Let x = -0.23 - -0.03. Are x and -2/7 unequal?
True
Let b be -2 + 13 - ((-2 - -1) + 2). Is 12 equal to b?
False
Let n = -82 - -85.7. Let v = n - 0.7. Is v != -2?
True
Let g be (-6)/2 - (-40)/8. Suppose g*w = -0*w + 2. Which is bigger: w or -1/3?
w
Suppose a = -3*x - 4*a - 120, 0 = -2*a. Which is smaller: -41 or x?
-41
Let k = 983/2 - 482. Is k less than or equal to 10?
True
Let u = -83/120 + 1/40. Let w be (-27)/(-18)*(0 - (-4)/(-10)). Which is smaller: u or w?
u
Let c = 26/15 - 7/5. Is 1 bigger than c?
True
Suppose 0 = 4*b + 2*w - 12, -2*b - 18 = w - 6*w. Is b less than 12?
True
Suppose -4*j + 3*j + 5 = 0. Suppose 10 = j*r + 5. Is 3/8 greater than r?
False
Let t = 0.4 + -0.44. Let w = 7 + -7.14. Let m = t - w. Is 4/3 equal to m?
False
Let x be ((-6)/8)/((-3)/(-1)). Is x at most as big as 2/11?
True
Let u = -10 + 18. Let c = u - 7.8. Which is greater: c or 0.4?
0.4
Suppose k = 3*a + 6*k - 18, a = 4*k - 11. Let s = 1/2289 - 4703/286125. Let h = s - -52/125. Which is greater: h or a?
a
Let o = -1.9 - -2.1. Let f = -0.1 + o. Is f <= 1?
True
Let n = -1 - -4. Suppose -4 = y + n*y. Is y > -3/8?
False
Let a = -7.36 - -10.4. Let t = a + -0.04. Let q = t - 4. Is 0.2 bigger than q?
True
Let r = 75 - 78. Is r not equal to -14/9?
True
Let i be (-110)/12 + 1/6. Let l = i - -13. Is l smaller than 4?
False
Let i(q) = -q**2 - 2*q - 2. Let y be i(-2). Let m be 4/(-18) - (-16)/(-9). Let r be y + m/((-2)/(-1)). Which is bigger: r or -4?
r
Suppose q - 2*q = -3. Suppose -p - 2*p + 3*a = 0, q*a = -5*p - 8. Is 13 < p?
False
Suppose 5*j = -2*x + 12 + 16, x + 2*j - 15 = 0. Suppose -4*o 