 + 2. Let x be u(2). Suppose y = 2*w - w - 1, 0 = y + x*w + 21. Let j be (2/(-6))/((-2)/(-4)). Do y and j have different values?
True
Suppose 0 = -0*x + 2*x. Suppose 0 = -2*v + 4*v + 5*j - 5, -3 = -3*v - 3*j. Is v < x?
False
Let k = 1 - 1. Let u = 2 + -3. Let f = u + 0.9. Which is smaller: k or f?
f
Suppose 0 = -3*j - 92 - 4. Is -33 bigger than j?
False
Let t(b) = -b**2 - 7*b + 2. Suppose -v - 7 = -0*v. Let u be t(v). Suppose 2*g + u*g = 16. Is 4 less than g?
False
Suppose 4*o - 6 = -3*c, 5*o - 5*c = 6 - 16. Suppose -80 = -0*f - f + 4*g, 0 = 5*f + g - 505. Let q = f - 506/5. Is o less than or equal to q?
False
Let x = 0 + 1/3. Does x = 0.05?
False
Let f = -3 - -5. Let x be (-3 + 1)/((-8)/3). Is f at most as big as x?
False
Let p(n) = 15*n**2 - n - 1. Let r be p(-1). Does 14 = r?
False
Let c = 431/6 + -72. Which is bigger: 0 or c?
0
Let y = 6 - 6.4. Let a = y - 0. Suppose 4*w - 2*h - 4 = 3*h, 5*h = 0. Are w and a unequal?
True
Suppose 0 = 5*w + s + 11, s - 4 = -4*w - 3*s. Suppose 1 + 2 = -c. Is c at least w?
True
Let l(h) = -h. Let o be l(0). Suppose -r = -o*r. Is 0 smaller than r?
False
Let i(l) = l + 11. Let q be i(-10). Let x be (-2)/(q*(-4)/2). Is 6/7 bigger than x?
False
Let s be 1/(-2) + (-13)/2. Let i(z) = 3*z**2 - 18*z + 8. Let j be i(5). Is j at least s?
True
Suppose -4*q - 5*x = -q + 30, 2*q + x = -13. Is 3 at least as big as q?
True
Let j = -76 + 382/5. Let l = 5 + -9. Let w = -1 - l. Is w >= j?
True
Let u be 0/(0 + (-1)/(-1)). Suppose -27 = 3*d + 4*a, -2*d + 1 = 3*a + 18. Let f be ((-15)/d - 1)/(-1). Is f less than or equal to u?
True
Let z = 4 + -2. Suppose 0 = -n + z*r + 3*r + 9, -4*n - 8 = 2*r. Let y be 3*(-2)/(-2) + n. Is y <= 1?
False
Let m be 5 + -3 - (51 + 1). Let f be 2*(m/4 - 1). Let y be 6/f - (-10)/(-36). Is -1 less than y?
True
Suppose -2*t - 5*r - 12 = 0, -3*t = r + 3 + 2. Which is bigger: 19 or t?
19
Let k(h) = 4*h**2 + 0*h**2 - 3*h**2 - 5*h. Let y be k(4). Are y and -5 nonequal?
True
Let s = 80 - 36. Let r be s/102 - 14/21. Which is smaller: r or 1?
r
Suppose 0 = -d - 4*x + 46, -4*d + 112 = -4*x + 2*x. Let v be (-295)/d - (-2)/(-3). Let n = 143/14 + v. Is 1 != n?
True
Let h be (-32)/(-14) - -1 - 3. Which is smaller: h or -1/11?
-1/11
Let l(q) = 5*q - 15. Let d be l(-5). Which is bigger: d or -2/3?
-2/3
Suppose i - 7*i = -18. Suppose i*x = -2*x - 10. Do 0.03 and x have the same value?
False
Let x(s) = 2*s**2 + 4*s. Let u be x(-3). Suppose 3*w - 5*w - u = 0. Is -3 greater than or equal to w?
True
Let z be 76/(-10) - (-8)/(-20). Let g be (z/(-28))/(2/14). Is g > 4?
False
Suppose 0 = c - 2*c - 24. Let y be (2/6)/((-4)/c). Let t be 7 - 1 - 3*1. Is y greater than or equal to t?
False
Let b = 1 - 0.6. Let v(z) = z**2 - z. Let d(i) = -i**3 - 4*i**2 + 9*i - 3. Let a(p) = -d(p) - 5*v(p). Let m be a(2). Which is smaller: m or b?
m
Let k(y) = -y + 1. Let c be k(9). Let j = c - -6. Let x be (-10)/6 - (-6)/9. Which is smaller: j or x?
j
Suppose -5*h - 15 = 3*c + 10, 4*h = -c - 6. Let t be c/4 - (-3)/3. Is -3 >= t?
False
Let z = 118/2015 + -8/65. Which is bigger: -1 or z?
z
Suppose 7*f - 3*f + 16 = 0. Let y be f/(24/9)*-2. Suppose 18 = 4*x + 2*h, -y*x - 4*h = -2*h - 16. Which is smaller: -0.1 or x?
-0.1
Let r be (-136)/(-595) + (-2)/(-10). Is -1 not equal to r?
True
Let j = -376/5 - -75. Are j and 1 equal?
False
Let o = -0.73 + 0.6. Let t = o + 0.03. Do t and -0.1 have different values?
False
Let b(x) = 10*x + 2. Let z be b(-8). Let y be 40/z + 4/6. Let f(g) = -g**3 + 2*g**2 + g - 1. Let w be f(1). Is w greater than or equal to y?
True
Let z = -6 - -6.5. Let k = 0.6 - z. Is k at least -1/2?
True
Suppose -9*q - 2 = -10*q. Let f = -3 + q. Let z be (-1 - -1) + (-2)/(-16). Is f at least z?
False
Let l = -12 - -18. Suppose -w = -l*w - 10. Let f = 297 - 2083/7. Which is smaller: w or f?
w
Suppose 0 = -3*l + 6. Suppose -4 = 2*z + t - 13, 3*z + t = 13. Which is bigger: z or l?
z
Suppose 7*v + 24 = 2*a + 2*v, a - 2*v - 12 = 0. Let t be (-2)/4*a/24. Which is smaller: 1 or t?
t
Let y = 13 + -17. Let f = 13 + y. Which is bigger: f or 7?
f
Let j = -17 - -12.2. Let g = j - -5. Which is bigger: 2 or g?
2
Suppose 30 = -3*d - 3*f, d = -0*d + 4*f. Let q(m) = m**2 - 2*m - 1. Let v be q(3). Suppose v*t = 8*t + 54. Is t smaller than d?
True
Let m be (-3)/2*(6 + 350/(-60)). Let n be (-2)/6 + (-22)/(-30). Which is greater: m or n?
n
Let a(u) = -u + 23. Let s be a(8). Is s at most 0.2?
False
Suppose -4*u - 2*l = 3*l - 10, 3*u + 2 = l. Let m = 6 - u. Suppose 9 = 2*j - 5. Which is bigger: m or j?
j
Let d = 4.984 + 0.016. Let j = 5 - 5.1. Which is smaller: j or d?
j
Suppose -6 = -g - 2*g. Are 7/5 and g nonequal?
True
Let b = 55 + -50. Is 8 equal to b?
False
Let f = 6.03 + -0.03. Let o = f + -6. Which is greater: o or -1?
o
Let x = 13 + -15. Which is greater: -1 or x?
-1
Let g = 153749855 - 14298868573/93. Let p = g - -1420. Let f = p - 200/651. Is -1 less than or equal to f?
True
Let i = 1 - 0. Let d(x) = -10*x**3 + x**2 - x. Let y be d(1). Let h(b) = b**2 + 11*b + 12. Let m be h(y). Is m bigger than i?
True
Suppose 3*v + 5*z + 1 + 15 = 0, 5*z + 20 = -5*v. Let j be v*(-2 + 26/14). Let i = -178/3 + 60. Is i > j?
True
Let w = 3 - 2. Let i be -1 - 5/((-60)/8). Which is bigger: w or i?
w
Suppose -2*b - 2 = -w, b + 1 + 0 = 2*w. Let o = 782/5 + -157. Which is greater: o or w?
w
Let x = 13 + -8. Is x greater than or equal to 2?
True
Let s = 239/5 + -48. Let z = -3 - -8. Suppose 5*w + z*l = 3*w - 13, -2*l - 6 = 0. Which is smaller: w or s?
s
Let m be ((-85)/(-15))/(2/6). Let c = m + -12. Let x = -3 + c. Which is bigger: 1 or x?
x
Let h = -15 + 15. Which is bigger: -2/29 or h?
h
Let r(u) = u**3 + 7*u**2 + 5*u - 4. Let x = 1 + -7. Let m be r(x). Let l be ((-6)/9)/(m/3). Which is bigger: 0 or l?
0
Let m = 154/435 - -4/87. Let d(o) = -3*o + 1. Let k be d(1). Which is greater: m or k?
m
Suppose 9 = 3*b - 2*q, -2*b - 11 = -4*q - 25. Let t = 44030962/99525573 - 100/29807. Let g = -2/371 - t. Are g and b non-equal?
True
Let r = 9 + -9. Let s = r + -2. Let c be s/(-7 + (-6)/3). Is 1 less than c?
False
Let l = 21047/426 + 20/213. Let f = -1339/36 + -49/4. Let d = f + l. Is -1 less than d?
True
Let k = 9 + -9. Let s be (3 - -16) + -3 - 1. Suppose -s = -y + 5*g - 7, -3*g - 2 = -2*y. Is k greater than or equal to y?
True
Suppose -a - 4*q + 18 = 4*a, 3*a + q - 8 = 0. Suppose 0 = -a*j - 4*i, -5*j + 0*i = -4*i + 56. Let v be (-6)/4*j/30. Is 1 <= v?
False
Let a = -5652/13 + 435. Is a > 0?
True
Suppose -50 = 2*t + 3*t. Let y = t - -8. Which is smaller: -1 or y?
y
Let k be ((-3)/((-21)/(-2)))/2. Let f be 0/(-3) + (3 - -1). Suppose -m = -f*m. Which is greater: k or m?
m
Suppose -28 = 7*d - 3*d. Let k = d - -24. Is k bigger than 18?
False
Let t = -0.02 + -3.98. Which is bigger: t or 2?
2
Let f = -0.07 + 0.37. Let c = 0.3 - 0.1. Let u = c - f. Which is greater: u or -1?
u
Let s = -1/35 + -11/7. Which is bigger: s or -3?
s
Suppose -7*q = -8*q + 5. Suppose 0*a + q*a = 30. Are 1/2 and a nonequal?
True
Let i = -30.46 + 30. Let v = i - -0.06. Let q = v + 0.3. Which is smaller: q or 0.2?
q
Let o be 20/(-14)*21/(-35). Let x be (1/3)/(1/3). Which is greater: o or x?
x
Let v(a) = 2*a**2 - 8*a - 6. Let i be v(6). Suppose -2*l = -5*l - 3*q + i, 4*q - 17 = 3*l. Is l at most -2/13?
False
Suppose -7*w + 5 = -6*w. Is w at least as big as -1/5?
True
Let z be 12/(-10)*(-45)/27. Let r(m) = -m**2 - 10*m - 9. Let n be r(-9). Which is greater: z or n?
z
Let b(i) = -169*i. Let s be b(1). Let c = -1187/7 - s. Which is smaller: -1 or c?
-1
Let l be (-8)/(-32) + (-33)/(-12). Is 0 < l?
True
Let r = 5 - 7. Is r at least as big as -2?
True
Suppose z = n + 2*z, -2*n - 15 = -3*z. Let a(g) = g**2 + 5*g + 3. Let c be a(-4). Do c and n have the same value?
False
Let w = 8 - -1. Let z = w - 10. Is z at most as big as 2?
True
Let o be (-110)/(-9) - 12/54. Let x = 22 - o. Let w = 16 - x. Is 7 at least as big as w?
True
Let j(o) = -16*o. Let y be j(-12). Let l = y - 5570/29. Which is smaller: 0 or l?
l
Let d be 16/(-96) + (-662)/(-12). Is 55 equal to d?
True
Let u(q) = q**2 + 5*q - 3. Let i be u(-6). Let d(c) = c - 4. Let o be d(i). Let m = 60 - 541/9. Which is greater: m or o?
m
Let m be (-175)/(-15)*2/7. Which is smaller: m or 2?
2
Let i = 13849/52 - 1067/4. Let s = i + -1/13. Is -2 > s?
False
Let f = 1 + 3. Suppose 3