 Suppose 3*i = 1 + x. Is i > 2?
False
Let k(r) = -1. Let f(o) = -o**3 - 7*o**2 + 6*o - 4. Let b(m) = f(m) + 6*k(m). Let u be b(-8). Does u = 6?
True
Suppose -q + 1 - 11 = -3*w, 12 = -3*q. Is w not equal to 22/7?
True
Let o(c) = 2*c - 1. Let m be o(-1). Which is smaller: m or -5?
-5
Let q = 12.9 - 13. Let v = 7 - 4. Let p = v + -3.1. Is q != p?
False
Let o be (5/20)/(-1 + 0) - -3. Is 2 less than or equal to o?
True
Let u = -40/21 - -93/77. Let f = u - -1/33. Which is greater: f or 1/4?
1/4
Suppose 0*n = -2*n - 92. Is -46 at least n?
True
Suppose 0 = 5*h - 2*h. Suppose h*j = 3*j + 21. Is -8 at most j?
True
Let r be (-4)/15 + (1 - 1). Suppose d - 2*s = -3, -2*s = -2*d + 12 - 14. Which is bigger: r or d?
d
Let y = 2/6751 - -1167917/20253. Suppose 2*j - 120 = -2*t, -3*t + 7*t - 4*j - 216 = 0. Let r = t - y. Is 0 at least as big as r?
True
Let b = 83 + -83.86. Is b at most 0.1?
True
Suppose 4*t - t - 105 = 0. Suppose -3*g = -p - t, -2*p - 1 = 3. Which is greater: g or 13?
13
Let k be 4/(-6) - 4/(-6). Suppose 3*r + 72 = 3*v, k*r - 5*r = -v + 24. Let h be (6/(-8))/((-45)/v). Which is smaller: h or -1?
-1
Let o = -11.43 - -0.43. Which is smaller: o or -0.1?
o
Let j be (-1)/(-1 - (-21)/20). Which is bigger: -19 or j?
-19
Let k be (-170)/14 - 7/(-49). Which is greater: -11 or k?
-11
Let n = 73/444 + -3/37. Let v be 1/(2 - 2/2). Do n and v have the same value?
False
Let h(s) = -s**2 + 4*s + 5. Let b be h(5). Let g = 2 + b. Suppose -3 = -g*y + 3. Which is greater: 4 or y?
4
Let s = 0.4 - 0.35. Let w = s + 5.95. Let z = -4 + w. Do z and -1/3 have the same value?
False
Let y be (-4)/(-10) - 10/275. Suppose -2*c - 3*l = -0*l + 14, -5*l = 5*c + 25. Which is greater: c or y?
y
Suppose -5 = 4*b - s, 2*b - 4*s + 5 = b. Is b greater than -5/3?
True
Let b = -47.8 - -48. Is -0.14 less than or equal to b?
True
Let h be (-4*(-2)/(-4))/(-2). Suppose 4*j = -2*u - 11 - h, 12 = -5*u - 4*j. Is -1/10 > u?
False
Suppose 0 = -5*g + m + 2*m + 38, 4*g + 2*m - 26 = 0. Let n = g + -8. Is n greater than or equal to -1?
True
Suppose -11*b + 9*b + 46 = 0. Is b less than 23?
False
Let z be (0 + 1)/(2/20). Let x be ((-3)/6)/(z/(-4)). Suppose 2*n + 0 = 2. Is x <= n?
True
Suppose 5*l = k + 44, k + 7 = l - k. Is 8 at most as big as l?
True
Let y = 0 + 1. Suppose z = -y - 1. Let d be 3/(-63) - z/6. Which is smaller: d or -1?
-1
Let j(o) be the third derivative of -o**5/60 + o**4/12 + o**3/6 - 3*o**2. Let d be j(2). Suppose 2*z - d = 1. Which is smaller: z or -1?
-1
Suppose -12*a = -90 - 42. Is a <= 3?
False
Suppose 2*t - 4*t = -0*t. Which is greater: 16/17 or t?
16/17
Let l = -11.88 - -12. Let p = l - -0.88. Which is smaller: p or 1/4?
1/4
Let p be (-21)/4 + 27/(-36). Is p less than or equal to -6?
True
Let z(h) = 5*h + 1. Let s(w) be the second derivative of -w**3 - w**2 + w. Let c(u) = 6*s(u) + 7*z(u). Let q be c(-4). Is 2/5 at least as big as q?
True
Let x = -312 + 4052/13. Is x less than 1?
True
Let c be 513/567 + 2/21. Which is bigger: c or -2/231?
c
Let d = 84 + -79. Let r be 2/9 - (-2)/(-9). Suppose r = 2*j - 4*z - 24, -3 = -3*j - 3*z - 2*z. Which is smaller: d or j?
d
Suppose 3 + 5 = 4*z. Suppose -a - 3 + 1 = 0. Which is smaller: z or a?
a
Let i be 3 - (-32)/(-15) - 1. Is 0 smaller than i?
False
Let r = 5 + -7. Let c be 1 + (r - (-28)/8). Which is greater: c or 3?
3
Let x = 2 - 2. Let k = 568/7 + -81. Is x <= k?
True
Let a be 1 + -107*(-2)/(-10). Let b = 20 + a. Which is bigger: b or 1?
1
Let p = -3 + 3. Suppose -5*y = 3*s - 746, 5*y + 5*s + 520 = 1260. Let x = 1663/11 - y. Which is bigger: x or p?
x
Let y = 27 + -25. Which is smaller: y or 14/5?
y
Let p = -15 - -15.1. Which is smaller: 43 or p?
p
Let q = -11.4 - -11. Let n = q + 0.3. Let g = 2 + -3. Which is greater: n or g?
n
Let o be 6/780*2/1. Is -1 equal to o?
False
Let s = -0.4 - -0.3. Let d = 551/3795 - 3/253. Which is bigger: d or s?
d
Let a = -7586941/1459976 + 5/26071. Let z = 45/8 + a. Is z less than 0.1?
False
Let o be 4/4*12/222. Do o and -1 have the same value?
False
Let r = 0.05 - -0.35. Let z = 36 - 35. Which is smaller: z or r?
r
Suppose 0*x - 48 = -3*x. Which is greater: 10 or x?
x
Let a be 1 - 1*(-1 - -1). Let v be (1 - a) + 62/(-20). Let q = -8/5 - v. Are q and 1/4 non-equal?
True
Let r be (20/30)/(2/(-288)). Let j = r + 674/7. Is j smaller than 0.4?
True
Let t = 75 + -67. Which is greater: t or -1?
t
Let m be (-11)/3 - (-3 + 0). Which is bigger: m or -0.6?
-0.6
Let v(b) = b**2 - 6*b + 6. Let i be v(5). Suppose -4*u = -2*d - 0 - 4, -u + d = i. Suppose u*l = -9 - 6. Is l smaller than -5?
False
Let m = 0.944 - -0.056. Which is greater: m or -2/5?
m
Let q(i) = i**3 - 3*i**2 - 4*i - 4. Let o(m) = -m**2 - 9*m - 10. Let p be o(-7). Let c be q(p). Which is greater: -5 or c?
c
Let l be (-5)/(-40) - (-1)/((-40)/21). Are 0 and l unequal?
True
Let b(x) = x**3 - 4*x**2 + 4*x - 2. Let m be b(3). Which is smaller: m or -2/9?
-2/9
Let n(v) = v - 12. Let j be n(12). Suppose f + 4*f = j. Which is smaller: f or -10/9?
-10/9
Let b be 2/5 + (-16)/15. Let d = 47 + -49. Is b bigger than d?
True
Suppose -7 = -w - 0*w. Which is greater: w or 6?
w
Suppose c - 27 = 4*s + 2*c, -36 = 5*s + 2*c. Is s at most 2?
True
Suppose -3*p = 3*m, m + 3 = 4*p + 2*m. Suppose -2*a - 111 - 159 = 0. Let c = -1216/9 - a. Is c equal to p?
False
Let o = 10 + -2. Which is bigger: 0.3 or o?
o
Suppose -1 = 3*i + 2. Let o be 0 - i - 6/(-9). Do 2 and o have the same value?
False
Let g(w) = -76*w**2 - w. Let d be g(1). Is d less than -78?
False
Let q be (-205)/6 - 1/(-2). Let v(b) = -2*b**2 + 11*b + 6. Let m be v(8). Let f = m - q. Is f less than or equal to 0?
True
Let l be 6/(-4)*4/(-2). Suppose t - 7 = -l. Is t bigger than -1?
True
Suppose 0 = 4*j - 0*j + p + 4, 0 = 3*p - 12. Let d(a) = 2*a**3 - a - 1. Let m be d(-1). Let w be (-3)/m*2/(-3). Are w and j equal?
False
Suppose -2*v + 128 = -4*v. Let b be 1 - -1 - (-222)/v. Let m = b + -1/32. Is m >= -2?
True
Suppose 20 = 4*o - 2*a, 5 - 31 = -5*o + 3*a. Suppose -4*c = s + 1, -s + 2 = -3*c - o. Are 1/7 and c nonequal?
True
Let z = 1 + -5. Let n(l) = -6*l - 41. Let g be n(-7). Does g = z?
False
Suppose -2 = 3*f - 2*f. Does 1 = f?
False
Suppose 20 = -5*i + 3*s, 2*i + 2*i = -s - 33. Is 1/4 at least i?
True
Let d be (3 - 1)/(5 + (-4 - 3)). Let z be -3 - 2/(-2)*2. Is z at most as big as d?
True
Let j be (-2)/6*(-2 + 5 - 0). Suppose -3*v = -v - 4. Let t be v/(-1) + 15/6. Which is bigger: t or j?
t
Let d = -172 - -173. Which is bigger: 3 or d?
3
Let g(u) = -u**3 + 4*u**2 + u + 2. Let f be g(4). Suppose 0*q + 3*q = f. Do q and 3 have different values?
True
Suppose -5*d = 5*v - 4*d - 3, 4*d - 12 = v. Suppose v = -2*j + 4. Is 4/5 less than or equal to j?
True
Suppose 2*m + 5*o = 105, -o + 297 = m + 4*m. Is m not equal to 60?
False
Let x = -11.8 + 5.7. Let i = x - -6. Let a = 0.2 + 0. Which is smaller: a or i?
i
Let o(t) = -t - 3. Let v be o(-3). Let a be 0 + 5 + (-882)/174. Which is smaller: v or a?
a
Let j = -0.9 - -0.5. Let d = -0.1 - j. Is 1 less than or equal to d?
False
Let n = 1219691 + -413472313/339. Let c = n + 2/339. Let l = -9 + c. Do -3 and l have the same value?
False
Let m(j) be the third derivative of -j**6/120 + j**4/24 + j**3/6 + j**2. Let n be m(0). Which is smaller: 1/3 or n?
1/3
Let j = 12 - 13. Let a be (4/(-4 + 0))/1. Is j less than or equal to a?
True
Let j(k) = -k**2 + 16*k + 3. Let l be j(16). Is l greater than 5?
False
Let m = -106 - -159. Are 52 and m equal?
False
Let q = -76 - -1446/19. Let w be 2/(0 + -1 + 3). Is q <= w?
True
Let x be 1/4 - (-165)/(-308). Let t = 23 - 13. Which is smaller: t or x?
x
Suppose -m = -4*m - 2*h - 370, h - 595 = 5*m. Are -121 and m equal?
False
Let g = -52/95 - -18/19. Let n = -0.95 - -1. Which is smaller: g or n?
n
Let s be (-3)/24 - (-9)/24. Let w(b) = b**3 - 4*b**2 + 1. Let l be w(4). Which is bigger: l or s?
l
Let t(p) = -p**3 + 7*p**2 + 7*p + 9. Let b be t(8). Let q be 3/(b - (-14)/(-8)). Is q > -4?
False
Let q be 1/(-3)*(-2 + -1). Let k = -2 + q. Let y(l) = l**2 - l - 1. Let w be y(k). Which is smaller: 2/11 or w?
2/11
Let h be ((-4)/20)/(2/4). Which is bigger: h or -7?
h
Suppose -10 = -14*j + 9*j. Is j equal to 5/2?
False
Suppose 0 = -7*w - 3 + 10. Which is smaller: 1/20 or w?
1/20
Suppose 5*z - 3*z + 2 = 0. Does -14/9 = z?
False
Let p = 8 - 8. Let n = 181 +