Do i and v have different values?
True
Suppose 2 = -2*n + 10. Let z be 12/10*20/8. Is z greater than n?
False
Suppose 8 = -b + 26. Let t be (-939)/27 - 4/b. Let u be (-2)/5 - 4/t. Is u greater than 2/9?
False
Let h = 9.99 + -10. Let i = h - 3.99. Which is smaller: i or -0.2?
i
Let b = 0 + 0. Let d = 0.57 + 1.48. Let n = 0.05 - d. Which is smaller: b or n?
n
Suppose 0 = -2*i - z + 6*z + 6, 4*i - 68 = -4*z. Suppose -3 = -4*y + i. Let o be 2/y + 3/(-2). Which is smaller: 0 or o?
o
Suppose -14*k = -6*k. Is k at least as big as 3/20?
False
Let d = -8 - -8.3. Let s = 6.8 - -0.2. Let u = s - 6. Do u and d have the same value?
False
Suppose -3*t = -o + 10, 3 = t - 5*o - 3. Is t at least as big as -4?
True
Let y = -0.3 - -1.3. Let o = -0.6 + y. Let w = o + -0.6. Which is smaller: 2 or w?
w
Let q = -37 - -38. Is 0.2 != q?
True
Suppose 2*i = -8 - 4. Let s be (-4)/i - (-2)/(-6). Let b = -239 - -239. Which is smaller: s or b?
b
Let n = 0.6 - 0.3. Suppose -76 = 4*z + 2*y, z - y = 5*z + 80. Let d = 83/4 + z. Which is bigger: d or n?
n
Let k = -0.53 + 14.83. Is k > -1?
True
Let r = 2.4 + -2.3. Is -2 <= r?
True
Let c = 26 + -41. Does c = -13?
False
Let c be (-66)/(-44) - (-6)/(-2). Which is smaller: -3 or c?
-3
Let c = -0.9072 + -3.2958. Let f = 0.003 + c. Let n = f - -4. Which is smaller: 2 or n?
n
Let i = 0.109 - 0.409. Which is smaller: i or 0.05?
i
Let f be (-4)/(-16) - (-45)/12. Suppose -2*d - 12 = 2*m, f*d - 5*m + 29 = -4. Is -8 < d?
True
Let j(a) = 2*a**2 + 5 - 5 + 3*a**2 - a**3. Let c be j(5). Is -2 less than c?
True
Suppose o + 15 = 6*o. Suppose 4*f - o*f = 2. Let s = -18 + 19. Which is smaller: s or f?
s
Let k = -0.081 + -0.919. Let h = 0.1 - 0.3. Which is greater: h or k?
h
Let i(d) = 7*d**3 - 2*d**2 + 1. Let m be i(1). Let v be (4 + -2)/((-4)/m). Let u be (-13)/4 - 1/(-4). Are u and v non-equal?
False
Suppose -2*j - 3*j = -p - 8, 2 = -2*j + 3*p. Is j > 2?
False
Suppose -y = -1 + 2. Let k(l) = 5*l - 8. Let x(t) = -6*t + 9. Let z(d) = 5*k(d) + 4*x(d). Let c be z(0). Is y equal to c?
False
Suppose 2*m = 7*m - 15. Let h = m - 2. Is 0 greater than h?
False
Let p = -33 - -21. Let d be (-8)/6*p/40. Which is smaller: d or 0?
0
Let j be (33/187)/((-3)/(-2)). Which is greater: 1 or j?
1
Let p = -0.2 + 2.2. Is p at least as big as -0.07?
True
Suppose -5*t + 4*r = -60, -2*r + 6*r + 44 = 3*t. Suppose -3*m + t*m = -240. Let k be -1 + (-2 - m/15). Which is bigger: -1 or k?
k
Let f be (0 + 1)/((-1)/9). Let p be (3/f)/(4/(-12)). Let c = -17/9 + 307/153. Which is smaller: p or c?
c
Let v = -12 + 11. Do v and -12 have different values?
True
Let n = -843/13 - -65. Let r be -1 + 0 + 2 + -2. Is n greater than or equal to r?
True
Let a be 1 - (-8)/12*3. Suppose 4*w = a*z - 6, -2*w - 10 = 2*w - 5*z. Which is smaller: -2/3 or w?
-2/3
Suppose 4*y = 4*c - 80, -2*c - 49 = 3*y - 14. Are -15 and y non-equal?
False
Let p = 8/5 + -43/30. Let f = 5 + -3. Suppose -2*l = -3*l - 2*o + 7, 0 = f*o - 8. Does p = l?
False
Let t = -4 - 8. Let r be (-20)/(-3) + t/18. Let s = -8 + r. Is s smaller than 0?
True
Suppose 8 = 5*l - 2. Suppose 0 = -2*b + 3*s + 4 + 5, l*s = -10. Is b less than or equal to -5?
False
Let p = -119/3 + 39. Which is bigger: p or -9?
p
Let a(t) = -t**3 - 4*t**2 - 3*t + 3. Let z be a(-3). Suppose -5*w - 28 = 4*h, -h + 7*w - z*w + 14 = 0. Is -2 equal to h?
True
Let r = -0.015 + 0.025. Which is smaller: r or 0?
0
Suppose 0 = -4*b - b + 15, -2*d + 3*b - 7 = 0. Is d at least as big as 5/7?
True
Let i(u) = 2*u**3 + 1. Let a be i(1). Which is greater: 4 or a?
4
Let s be ((-16)/40)/(1/(-15)). Let f(h) = -2*h + 9. Let g be f(s). Let i = -1.9 + 2. Which is bigger: g or i?
i
Suppose 4*u = 9*u - 40. Let j = -4 + u. Which is smaller: 3 or j?
3
Let x be (3 + -1)*(-10)/8. Let a be 0/(-2) + (-13 - -10). Let k be (3 - 1)*a/2. Which is smaller: k or x?
k
Let z(f) = 7*f**2 - 9*f + 10. Let x(i) = -6*i**2 + 9*i - 10. Let b(n) = 6*x(n) + 5*z(n). Let t be b(7). Let o be (-6)/t*(-2)/(-3). Which is bigger: -2/11 or o?
-2/11
Let s be 2/(-9) + 220/18. Suppose -2*h + 2*v - 6 = -6*h, -4*v + s = 0. Suppose -8*y + 3*y - 2*c + 14 = h, 0 = 2*c + 6. Which is greater: -1 or y?
y
Let n = -19 + 29. Is 12 greater than n?
True
Let o = -29/2 - -57/4. Which is smaller: 3 or o?
o
Let k be 99/44 + (-4 - -1). Let l be (-2)/(-9) - (-22)/(-99). Is k less than l?
True
Let x = -3.177 + 0.137. Let t = -0.04 - x. Let v = t - 3. Which is smaller: v or 4?
v
Suppose 3*v = 5*x - 3, 4*v + 6 = 2. Let h be ((-2)/6)/(14/18). Which is greater: x or h?
x
Let o = -100.15 - -105. Let b = 0.15 + o. Let s = 3 + -2.9. Are s and b nonequal?
True
Let w = 10 + 2. Is 12 != w?
False
Let c = 0.02 - -5.98. Let m = -5.9 + c. Which is greater: m or 1/11?
m
Suppose -k = -4*k. Let x(b) = b**2 - 6*b - 1. Suppose -5*t = -3*j - 27, 5*t + 2*j = -0*j + 32. Let v be x(t). Is k greater than or equal to v?
True
Let n = -12 - 1. Are n and -13 unequal?
False
Suppose -5*d - 7 = 3. Is -20/7 < d?
True
Let d = -191 - -118. Which is greater: d or 1?
1
Let v be -1 + (-1)/(2/(-4)). Let w = 10 - 5. Suppose w - 2 = 3*c. Is v bigger than c?
False
Let a = 38 + -39. Is a at least 0?
False
Let j = -22 + 15. Let q = 5 + j. Is -16/7 bigger than q?
False
Let t = 18 - 13. Suppose -t*n + 8 = 23. Which is smaller: 0 or n?
n
Let j be (3/(-9))/((-2)/(-6)). Which is bigger: j or 2/65?
2/65
Suppose -4*u = -2*v - 82, -3*u - 8 = -5*u. Which is greater: -35 or v?
v
Let v = 4/87 + 157/2262. Which is smaller: 0 or v?
0
Suppose 2*g = -4*u - 58, 3*g - 72 = 5*u + 5*g. Which is smaller: -4 or u?
u
Let l(u) = -u**3 - 2*u**2 - 2*u + 2. Let o be l(-2). Suppose 12 = 6*g - 0. Let k be 3 - ((-6)/g - -1). Does k = o?
False
Let w = 67/3 + -22. Suppose 0 = 3*h - 3*b, -4*h + b = -0*b. Which is smaller: h or w?
h
Let w = 6 + -1. Which is bigger: 2/7 or w?
w
Let q = 4 + -3. Let w = 0.8 - q. Which is bigger: w or 2?
2
Let r be ((-108)/63)/((-3)/21). Is r < 15?
True
Let r be 7 + 5*6/(-10). Let g(d) = d**2 + 6*d + 6. Let x be g(-6). Which is smaller: x or r?
r
Suppose s + 8 = 2*j, s + 2 = j - 2. Suppose -y = -s - 3. Are 2 and y equal?
False
Let d = -54 + 54. Which is smaller: -0.023 or d?
-0.023
Let z = -1 + 0. Let u = z - 2. Let w = -3 - u. Is w at least 0?
True
Let b(o) = -o**2 - 4*o - 3. Let v be b(-4). Which is smaller: 2/7 or v?
v
Let k = 8 - 6. Let o(i) = -2*i**3 + i**2 - 1. Let j be o(-1). Is j less than k?
False
Let u(p) = -44*p + 2. Let g be u(-4). Let f be g/(-14) - 28/98. Do f and -13 have the same value?
True
Let g(l) = 2 + 4*l**2 - 4 - 8*l**3 + 7*l**3. Let u be g(4). Which is smaller: 0 or u?
u
Let s = 2/519 - 2090/3633. Do s and 0 have the same value?
False
Let o = 1 - 9/8. Which is bigger: -2/7 or o?
o
Let y = 3.24 - 0.24. Let d = 8 - y. Is d less than 0?
False
Suppose 3*i - 2 = -5*s - 1, 3*i = 2*s - 13. Let w = 2 + -3. Which is greater: s or w?
s
Let a be -4 + (-16)/(-44) + 2 + 2. Let u be (-4)/2 - (-6)/2. Is u smaller than a?
False
Let i = 93 - 841/9. Which is greater: i or 1?
1
Let f be (6 + -3)/1 - 1. Suppose 0 = -2*y - f*y + 4. Let b be (2 - (1 + y))*-1. Is 2 bigger than b?
True
Let c be 56/42*6/28. Is c <= -1?
False
Let f = -1 + -3. Let m be (-2)/(-6)*(11 + -10). Is f at least m?
False
Let b(l) = l - 4. Let u(n) = 3*n - 12. Let y(r) = 7*b(r) - 2*u(r). Let g be ((-12)/(-10))/(4/10). Let a be y(g). Do -1/7 and a have different values?
True
Let w(d) = 9*d**2 - d. Let r be w(1). Let i be ((-1)/(-5))/(r/(-20)). Is 0 greater than i?
True
Let k be 2/(2*1/5). Let g(w) = 5 - 9*w - 4*w + w**2 + 8*w. Let v be g(5). Is v less than k?
False
Let d = 28 - 28. Let a = -1.2 - -1. Which is bigger: a or d?
d
Let u = 253 - 2279/9. Suppose -2*j + 5 - 1 = 0. Which is bigger: j or u?
j
Let g = -1/25 + 11/25. Let j = -26.1 + 26. Which is smaller: j or g?
j
Let k be (-1)/(-2) + (36/8)/9. Suppose -2*b + 10 + 8 = 0. Let o be (3/12)/(b/(-8)). Which is bigger: k or o?
k
Suppose 0 = -3*y + d + 8, 3*d + 8 = 2*y + 5*d. Is y greater than or equal to 4?
False
Let h be 4/6 + (-21)/(-9). Suppose 0 = -4*c - 0 + 8. Suppose 0*m - m = t, 2*m - c*t = 8. Is h greater than m?
True
Let y = -41 - -47. Which is bigger: 12 or y?
12
Let i = -5 - -4. Let r = -0.06 - 6.94. Let w = 5 + r. Which is greater: i or w?
i
Let q = -97 + 94. Which is greater: 0 or q?
0
Suppose -4*u = -6*u. Are -3/4 and u equal?
False
Let y be (-3)/1