Let i be a(v). Is 2/21 equal to i?
False
Let y = 6 + -4. Let j = 1433/9 - 159. Which is smaller: y or j?
j
Let m = 5363/18 - 587/2. Which is smaller: m or 4?
4
Let p(t) = t**2 + 15*t - 8. Let q be p(-15). Do q and -7 have the same value?
False
Suppose -2*k + 3*k = 0. Suppose 2*w - 9 = -l, -5*l - 46 = -3*w - k*w. Is 7 <= w?
True
Suppose 0 = 9*v - 14*v. Which is greater: -3/115 or v?
v
Let s(v) be the third derivative of -v**5/60 + 3*v**4/8 - 3*v**3/2 + 2*v**2. Let y be s(6). Suppose 3*i - 3*x + 9 = 0, -3*x + y = -4*i - 2*x. Is i != -3?
True
Suppose -3*v = -5*v + 4. Which is smaller: 20/19 or v?
20/19
Let v = 21 - 22. Do -33 and v have the same value?
False
Let y = 126 + -1906/15. Is 0 less than or equal to y?
False
Let v = 14 - 16. Let a be ((-9)/(-6))/((-3)/v). Which is smaller: a or 1/2?
1/2
Suppose -18*t + 44 + 10 = 0. Is 3 less than or equal to t?
True
Let q = 275 - 275. Let m be (1/8)/((-3)/2). Which is smaller: q or m?
m
Let u = 0.13 + -0.23. Which is smaller: -2/5 or u?
-2/5
Let r(v) = -2*v**2 + 7*v + 11. Let q be r(6). Does -1 = q?
False
Let i = -1.8 + 0.7. Let a = -1.5 + 2.5. Let s = i + a. Which is smaller: 2/5 or s?
s
Let d = -1979/28 - -153/14. Let u = d + 60. Is u less than 1?
True
Let a = 11 - 13. Which is smaller: -7 or a?
-7
Let m = -420788/121125 - -2/6375. Let y = m + 688/209. Which is greater: 1 or y?
1
Let h = -93 - -92.94. Is h greater than or equal to 5?
False
Let m(n) = -n**3 - 2*n**2 + 4*n + 2. Let z be m(-6). Let d be (-16)/3*2247/98. Let q = z + d. Is q at least -1?
True
Let m be ((-2)/(-6))/(15/(-27)). Suppose 2*t + t - 9 = 0. Let o = t + -3. Which is smaller: o or m?
m
Let q = 3 + -10. Let o = q - -5. Is 2 at most o?
False
Let y = 0 + -0.1. Does 3 = y?
False
Suppose n + 2*z + 0 = 12, n - 17 = -3*z. Suppose 2*w + n*b + 9 = 3*w, 3*w + 5 = -2*b. Is 1 smaller than w?
False
Let o be (258/(-20))/((-4)/2230). Let a = o - 7249. Let l = a + 58. Which is bigger: l or 1?
1
Suppose -4*b - 3 = 1. Let l be (-2)/8 + 3/12. Let t = b - l. Is t != -1/6?
True
Let f = -11 - -6. Let z = f + 8. Let d = -1 + z. Is -3 equal to d?
False
Suppose -2*y + 10 = -0*y. Let g be (-5)/(-25) - 11/y. Let h be g/(-10) - 17/10. Is -1 equal to h?
False
Let n be (-6)/(-24)*10/(-4). Which is bigger: n or -2?
n
Let g be (-1)/2 - (-5)/(-6). Let j = 23 - 23.1. Which is smaller: j or g?
g
Let n = 17171/170 + -101. Let v = -163/1190 - n. Are v and 1 unequal?
True
Suppose 4 = -3*v - 2. Let w = 185/24 + -39/8. Let c = w + -7/2. Which is smaller: v or c?
v
Let j(w) = -w**2 + 4*w + 3. Let v be j(4). Suppose 5*i + 4*t - 30 = 0, 0*i + 5*i = v*t + 30. Suppose -5*y = 3*s + 7, -s + 5*y = -2*s - 19. Is s less than i?
False
Suppose 3*p + 56 = 7*p. Let q be (-4 - -1)*p/(-21). Is q < 2?
False
Let m = 3 - -2. Let a = 4 - m. Is a < -1?
False
Suppose 11*y - 10*y = 7. Is y less than 7?
False
Let k(v) = v**3 - 10*v**2 + 2*v - 11. Let y be k(10). Suppose 0 = h - 2*h + y. Let z(j) = -j + 9. Let b be z(h). Is -2/5 less than or equal to b?
True
Let l be ((-16)/(-12) + -1)/((-4)/8). Is l < 1/4?
True
Let f be -16 + -1*2/2. Let b = f + 69/4. Let u(t) = -t - 1. Let m be u(-2). Is b greater than m?
False
Suppose 3*o + 7*c - 5*c - 6 = 0, -3*c + 9 = -4*o. Which is smaller: -1/18 or o?
-1/18
Let m(u) = -2*u - 9. Let z be m(-6). Suppose z*i = 4*i. Suppose i = -0*o + 2*o + 2. Is o > -2/13?
False
Let i = -84 + 82. Let h = -2 + 2. Let r = h + 0.2. Is r at most i?
False
Suppose -3*c - 134 = -4*r, -5*c - 25 = -r - 0*c. Let y be ((-2)/7)/(75/r). Suppose -2*v + 4*l + 0 = -2, 0 = -v - l + 1. Which is greater: y or v?
v
Let i be 2/3 + 6/18. Let p = 60 + -239/4. Which is greater: p or i?
i
Let v = -12 - 0. Let z = v + 11. Which is greater: z or -5?
z
Suppose q = -2*q. Suppose q = -0*a - 4*a. Is -2/15 < a?
True
Let a = 284 - 824/3. Is 9 > a?
False
Let z = -67 - -48. Let q = -20 - z. Is q equal to 2/35?
False
Suppose -5*z + 3*i + 33 = 2*i, -27 = -5*z + 4*i. Do 7 and z have the same value?
True
Let n = -54 + 54.16. Do -2/7 and n have the same value?
False
Suppose -2*u = -0*u - 4. Let b be 1/(15/6)*5. Suppose b*p = -u*p. Which is smaller: 1/3 or p?
p
Let d = -2.1 + 5.1. Let q be -2 + (-1)/((-2)/4). Is q less than or equal to d?
True
Suppose 2*w = 3*w - 2. Which is greater: 3 or w?
3
Let c(n) = -8*n + 3 + 4 + 7*n. Let d be c(8). Which is greater: -1/13 or d?
-1/13
Let x = 13 + -6. Let f = x + -7.3. Let j be (-6)/9 - 40/(-42). Is f >= j?
False
Let l be (-4 - -4)/(-8 - -3). Which is smaller: 9/19 or l?
l
Let b = 15/4 + -4. Which is smaller: b or -115?
-115
Let c(k) = -2*k - 3. Let o be c(5). Let l = 4 + -17. Do l and o have different values?
False
Let z be 402/3330 + 1/3. Let d = z - 2/37. Which is smaller: d or 3?
d
Suppose -3*l = -22 - 35. Is l less than or equal to 20?
True
Let k = 129/16 + 1021/48. Let u be ((-6)/(-12))/(1/(-58)). Let h = u + k. Is 2 < h?
False
Suppose -102*p + 101*p = 29. Which is smaller: -33 or p?
-33
Let h = -33221/14 + 2374. Which is smaller: h or 1?
1
Let m = -106 - -200. Suppose -5*o + m = 19. Let n be (o/(-100))/((-2)/16). Is 1 != n?
True
Let f = 0.2 + -1.2. Let x = -0.94 - -0.04. Let m = f - x. Which is greater: m or 1?
1
Let b = 26.1 + -26. Which is smaller: 1/3 or b?
b
Let k be (712/(-108))/(116/(-3)). Let i = 3/58 + k. Are 1 and i nonequal?
True
Let c = 20297/43 + -472. Do c and 0 have the same value?
False
Let z(c) = -c**3 - 8*c**2 + 9*c - 1. Let u be z(-9). Let x be 88/(-112) - u/2. Which is bigger: x or 1?
1
Let k = -7 + 8. Suppose 0 = -3*x + 10 - 4. Is k != x?
True
Let b be 16/(-24)*(-3)/14. Suppose -5*f - 10 = 5*t, 26 = 3*f - f - 4*t. Let j = -2 + f. Which is smaller: j or b?
b
Let z = -324/5 + 12646/195. Does z = 1?
False
Let z be 5/(0 - (-20)/(-15)). Which is greater: -3 or z?
-3
Let t be 78/(-4)*(-2)/3. Suppose -3*a + 0*w + 2*w + 6 = 0, -4*a = -w - t. Let f(l) = -2*l + 38. Let u be f(18). Which is smaller: a or u?
u
Let l be (-88372)/280 - 4/(-10). Let w = 315 + l. Let i = -19/42 + w. Does i = 0?
False
Suppose -4*o - 3 = r + 4, -2*r - 10 = 4*o. Let z = -4 - r. Which is smaller: -3/8 or z?
z
Let l = -42 + 81. Is 0.1 equal to l?
False
Let z = 17 - 17. Which is smaller: -5/4 or z?
-5/4
Suppose 0 = 4*q - 2*o - 74, -q - 5*o - 7 = 2. Let k = 21 - q. Which is smaller: k or 4?
4
Suppose -2*c - 2*c + 16 = 0, 5*o - 2*c = -183. Are o and -1 nonequal?
True
Suppose p + 0*p + 15 = -2*m, -1 = p. Is -5 > m?
True
Let f be 3/(-9) + 8/(-12). Let x be f - -1 - (-8)/(-28). Which is greater: x or -0.2?
-0.2
Let z(k) = k**2 + 6*k - 4. Let g be z(-6). Let c be 3/g*(-5)/15. Suppose 1 - 5 = -4*d. Are d and c nonequal?
True
Let s be (-1)/((-1)/2*2)*1. Do s and -1/23 have different values?
True
Let s = 1/11 + -16/55. Suppose -2*q = q - 9. Let z be q/((-24)/14) + 2. Which is smaller: z or s?
s
Suppose -3 = 2*f + 3. Let s = 3 - f. Is 6 greater than or equal to s?
True
Let t = 254/3 + -70. Is 15 equal to t?
False
Let i be ((-24)/9)/((-6)/27). Do 12 and i have different values?
False
Let y = 1283/11 + -233/2. Is y > 0?
True
Let n(t) = -3*t + t**2 + 2 - 2*t + 3*t. Let r be n(2). Which is smaller: r or -2?
-2
Suppose 0 = -0*d - 4*d + p + 6, 3*d = -5*p + 16. Let y be -2*1 + (-966)/30. Let j = y + 34. Which is greater: d or j?
d
Let h = -13 + 12. Which is bigger: -0.01 or h?
-0.01
Let b = 3.1 + -5. Which is greater: b or 0.2?
0.2
Let i(b) = 5*b + 0*b - b**3 - 5*b**2 - 2*b + 3*b**2. Let h be i(-3). Let l(v) = v**2 + 2*v + 1. Let n be l(-2). Is n >= h?
True
Let f = -0.06 + 2.06. Let z = 3 + -2.6. Let g = -0.2 + z. Does g = f?
False
Let z be (3/3 - 2)*1. Let v be (8/10)/(z/5). Is -7/2 <= v?
False
Let t = -2319/1760 - -41/32. Let z = 47/220 - t. Let h be ((-2)/2)/(7 + -2). Which is smaller: z or h?
h
Let t be 3 - (-3 - -5 - 4). Is 3 at most as big as t?
True
Let x be (-60)/156*2/5. Which is greater: x or 1?
1
Let m = 1 + 2. Is 4 less than m?
False
Let d = -0.6 + 0.7. Let i be ((-58)/10)/((-14)/(-35)). Let g = 14 + i. Is g equal to d?
False
Suppose 2*o - 8 = -10. Which is smaller: 2/11 or o?
o
Let t = 4 - 0. Let h = 7 - t. Suppose -h*q = 5 + 13. Which is greater: -5 or q?
-5
Let i be (-3)/84 - (-6)/21. Is i <= -3?
False
Let n = -0.02 - 5.98. Which is greater: 1 or n?
1
Let q(r) = -r + 4. Let g be q(3). Which is greater: -4/13 or g?
g
Let n = -5 + 3. Let b = n - 1. Let x = 1 + b. Is x greater than or equa