 -1?
True
Let n = 1.02 - 0.02. Let z = n - 0.9. Which is smaller: -3 or z?
-3
Let w be -5*(-4)/(-70) + 10/(-14). Suppose 0*o - 1 = o. Let f be ((-6)/5)/2 - o. Which is smaller: w or f?
w
Let k(z) = -2*z + 13. Let g be 84/24*12/7. Let f be k(g). Which is greater: f or -1/9?
f
Let a = -2789/18 + 155. Let b = a - -49/90. Is 0 greater than b?
False
Suppose -4*c + 27 = -c. Let t be 1 + c/(-15)*1. Which is smaller: t or -1?
-1
Let d be 4/((-2)/(-1)) + 2. Suppose 3 - 15 = -d*q. Which is smaller: q or 4?
q
Let s be 0/(-2) + (-2)/(-1). Suppose -5 = -s*z - 3*z. Let g be z + 0 + 2 + -4. Are g and 1/3 nonequal?
True
Let r = 2.5 - 2.4. Let m = 20 + -33. Let y = 8 + m. Is r > y?
True
Let q(f) = f**3 + 11*f**2 + 13*f + 15. Let i be q(-10). Is -16 equal to i?
False
Let s = -456 + 8661/19. Which is greater: 1 or s?
1
Suppose -r - 3 = 5. Suppose -3*x + i = -1 + 19, -x + 5*i = -8. Is r < x?
True
Let s(y) = -y**3 + 22*y + 3. Let x be s(-5). Is x smaller than 19?
True
Let u = 25207 + -353111/14. Let d = 676 - 1321/2. Let w = d + u. Which is greater: w or -1?
w
Let j = -29.1 + 28. Let a = 0.24 - 0.34. Let v = j - a. Are v and 4 unequal?
True
Let q(i) = -i**3 - 5*i**2 + 9*i + 15. Let t be q(-6). Which is smaller: t or -2?
t
Let u = -1.68 + -0.32. Let n = -0.1 + 0. Which is smaller: u or n?
u
Let s(q) = -q**2 + 6*q - 2. Let k be s(4). Let h be (-3 - -2)*k*2. Let n be 14/h - (-9)/6. Which is greater: n or 1?
1
Suppose 8 - 8 = 3*d. Do d and -11/23 have the same value?
False
Let x = 0 - -7. Suppose 3 = -x*t + 4*t. Suppose 0 = 2*w - 4*i + 20, 2*w - 25 = -3*i - 2*i. Is t not equal to w?
True
Suppose 5*b = -0*b + 10. Let u be b/(-6) + (-2)/(-18). Which is greater: -2 or u?
u
Suppose 8 = -4*v - 4*k, 0 = -3*v + 3*k - 5*k - 5. Let c be 46/(-40) - 24/96. Which is smaller: c or v?
c
Let p = 4 - 2. Let v be (0/p)/2 - 2. Let u = 8/5 + v. Which is smaller: u or 3/4?
u
Let q = -15.4 - -10.3. Let a = q - -5. Which is smaller: a or -1?
-1
Suppose 14 = 2*k + 4, 4*s + 2*k = 86. Which is greater: 0.2 or s?
s
Let m = 12757/20 + -638. Which is bigger: -1 or m?
m
Let b be 7/12 - (-5)/(-15). Which is greater: b or -1?
b
Let r be ((-10)/15*-3)/(5/(-4)). Which is smaller: 1 or r?
r
Suppose -10 = -0*f - 2*f. Suppose -m - m + 11 = f*s, -3*s + 2*m - 3 = 0. Let p be s*(2 + 9/(-4)). Which is smaller: -2 or p?
-2
Let l = -61 - -60.94. Which is smaller: 1/5 or l?
l
Let k = 1 + 6. Let b = k - 3. Let g be (-2)/(-3)*(7 + -1). Do b and g have the same value?
True
Let w = -70 + 69.92. Is 0 smaller than w?
False
Suppose -d - 4*d - 5 = 0. Which is bigger: 1/37 or d?
1/37
Let q be (0/2)/((-4)/(-2)). Suppose q = -s - s. Let v be (-1)/4 - 10/(-8). Which is greater: s or v?
v
Let k(y) = y**2 - 24*y + 5. Let o be k(24). Let g(v) = v**3 - 6*v**2 + 2*v - 8. Let q be g(6). Which is smaller: o or q?
q
Let n = 295/6 - 3775/78. Which is smaller: n or 0?
0
Suppose -4*j = -9*j + 30. Are 6 and j non-equal?
False
Let b = 5 + 1. Suppose -8*c + b*c = -2. Which is greater: -2/19 or c?
c
Suppose 11*m = 15*m. Which is smaller: -1/42 or m?
-1/42
Let c = -42/137 - -4013/1918. Let x = c + -9/7. Suppose -g - 3*l - 15 = 0, -10 = -3*g + 4*l - 2*l. Are x and g unequal?
True
Let i be (-2)/(-3) - 3275/1785. Let a = i - -9/7. Is a equal to -1?
False
Let j = 59 - 527/9. Is j != 0?
True
Let i(q) = -q**3 - 3*q**2 + 6*q + 2. Let m be i(-4). Let n be (-9)/30*4/m. Which is bigger: 1 or n?
1
Let f = 123 - 123. Is f at most 0.1?
True
Let l = 3 - 5. Let x be (l/(-4))/((-2)/12). Is x <= -3?
True
Let u = 497/6 - 83. Suppose 2*h - 15 = -3*s, -15 = 5*h - h - 3*s. Let z = h + 0. Is z at most u?
False
Suppose -3*c + 4*f = 17, -4*f + f + 6 = 0. Which is bigger: -2 or c?
-2
Let c = 9 + -3. Let q = c - 8. Which is smaller: q or 1?
q
Let a be 1 - (-6)/((-4)/(-2)). Let k be (1/9)/(a/6). Suppose -5*i - 15 = -5*q, 2*i = -4*q - 0*i. Which is smaller: q or k?
k
Let x be 394/4*1/(-2). Let i = -49 - x. Which is bigger: -1 or i?
i
Let j(a) = -a**2 + 2*a - 3. Let s be j(3). Let v(u) = -u**2 - 6*u - 2. Let z be v(s). Do z and -10/9 have the same value?
False
Suppose -10 = -2*u, -5*b + 5*u = 3*u + 35. Let o = 8 + b. Suppose h - o = -4. Is h smaller than -1?
False
Let s be 5*(3 + 21/(-15)). Is 8 at most as big as s?
True
Let j = -5 + 4. Let u(z) = -3*z**3 - z**2 + 1. Let x be u(j). Let i be (-1 + x)/(0 + 2). Is 0.2 greater than or equal to i?
False
Let r be (-3)/(-1)*1 + (-8729)/2881. Which is smaller: r or 0?
r
Let l = -10.6 + 10.6. Which is smaller: 1.8 or l?
l
Let k = -1161/2 - -553. Let l = 27 + k. Is -6/11 at most l?
True
Suppose -5*j = -5*v + 15, 0 = v + v + j. Let s be v*(1 + -1)/3. Let u be (s/1 - 0) + -2. Is -2 at least as big as u?
True
Let m(a) = 3*a - 21. Let s be m(9). Which is smaller: 7 or s?
s
Let n(f) = -3*f + 53. Let z be n(17). Is z >= 24/25?
True
Let z = -2.99 - -3. Let q = 0.025 + -2.015. Let c = q - z. Is c at most as big as -0.1?
True
Suppose -l + 4*d = 2*l - 8, 3*d = -4*l + 19. Suppose -3*u = r + u + 17, -16 = l*r + 3*u. Is -2 bigger than r?
False
Suppose 4*d + 5*f = -338, 4*d - 23 = f - 349. Is -83 less than or equal to d?
True
Let u = -4.8 + 4.6. Which is smaller: 38 or u?
u
Let w = 115 - 115. Which is smaller: w or 8?
w
Let w = 0 + 3/13. Is -1 > w?
False
Suppose -4*z + 2*p + 16 = -z, 0 = -3*z + 5*p + 31. Which is smaller: 8/9 or z?
8/9
Let g = -1 + 3. Suppose -3*y = -g*y. Which is smaller: y or 6/5?
y
Let s be ((-1)/1)/1 + 1. Let k = -2616/11 + 238. Which is smaller: s or k?
s
Let v = -5 - -7. Suppose v*x - 4 = -2. Which is bigger: x or -2/11?
x
Suppose f + 1 = 2*f, -4 = -4*p - 4*f. Is p > -2?
True
Let j be (-16)/(-36)*9/(-6). Which is smaller: j or -25?
-25
Let l = 28 + -107. Which is bigger: l or -77?
-77
Let a = -5 - -11. Let q = 9 - a. Is q at least 2/5?
True
Let r(n) = 30*n**3 + n**2 - 2*n + 1. Let v be r(1). Let m be 5/v + 3/9. Do m and -2/7 have the same value?
False
Suppose 6*m = 2*m + 8. Let s(i) = i - 3. Let p be s(6). Let f be (2/12)/(m/p). Is -1 equal to f?
False
Let j = 60/19 - 1564/399. Let k = -4/7 + j. Let h = k + 1. Which is smaller: h or 0?
h
Let q = -3 - 11. Which is bigger: q or -16?
q
Suppose -2*c = 2*u + 4, 5*u - 2*c = 2*c - 19. Which is greater: -8 or u?
u
Let y = 15 - -12. Let b = -17 + y. Let m = -16 + b. Which is bigger: -1/4 or m?
-1/4
Let w = 5 - 5.3. Let a = 0.3 + w. Let i = a - 0.2. Is i less than or equal to -2?
False
Let u = -6.4 - -0.4. Are u and -0.1 unequal?
True
Suppose 0 = -g + 3. Suppose -3*t = -5*n - 5, -g*n = 5*t - n - 29. Suppose 5*y = 25, -40 + 13 = f - t*y. Which is smaller: -1 or f?
f
Let u = 72 - 81. Does 1 = u?
False
Let p = -9 + 14. Let i = p - 4.7. Let c = -2 - -2.1. Which is bigger: c or i?
i
Let h = -5 - -4. Is h < 0?
True
Suppose -2*s + 7*s = 0. Let q be (-1 - 0)/(-1) + s. Which is greater: -1/6 or q?
q
Let t be -2 + (27 - (-3)/1). Which is smaller: t or 27?
27
Let i = 72 + -122. Let v be (4/i)/(5/25). Let j = -0.4 + 0.2. Is v less than j?
True
Suppose 2*d + 0*d = 2. Let a be 3/1*2/(-3). Is a at least d?
False
Let b = 38 + -59. Which is smaller: b or -20?
b
Let w be (0 - (-16)/6)*3. Let f(l) = -2*l + 9. Let j be f(w). Is j < -13/2?
True
Let m be (-3)/(1 + -2) + 441/(-105). Which is greater: m or 0?
0
Suppose -v - 11 = 2*i, -3*i + 2*i = -4*v - 17. Let x(r) = -r**2 - r + 3. Let b be x(i). Let m be (b - 0)/((-3)/2). Which is bigger: 1/2 or m?
m
Let t = 28 + -27. Is -1 equal to t?
False
Let u = -2 - 4. Suppose 9*o = -57 + 3. Is o at most u?
True
Let n = 4.02 - 4. Let w = n + -0.12. Let c = 29.7 + -30. Which is bigger: w or c?
w
Let h = -3 + 8. Suppose h*c - 2 = -5*n - 22, 0 = -5*c + n - 2. Let d be (-3)/6 + 2/8. Is c at most as big as d?
True
Let p = -87 + 86.9. Is 4 >= p?
True
Suppose 29*r - 28*r = 2. Is r equal to 4?
False
Let j be 4/(-5 - 3)*-2. Let r be (3/6)/(j/12). Let m(w) = w**3 - w**2 + 1. Let u be m(2). Is r <= u?
False
Let f = 5 + -3. Let q be (2 + (f - 3))*1. Is q less than or equal to 3/4?
False
Let r be (-1)/(-4) - 280/(-32). Is r > -2/3?
True
Let w = 0.17 - 0.05. Which is smaller: 2 or w?
w
Let x = -1 + 1. Suppose 4*n = -3*m - 5, n + x*n = 4*m - 6. Is -2/9 at most m?
True
Let r be (-2)/(-7) - (-33)/7. Let n = 22 + -20. Suppose 2*t + 2*g = r*g - 4, 0 = -n*t - 5*g + 12. Is t at least 2?
False
Let w(h) = -h - 14. Let r be w(-20). Is 1/2 greater than or equal to r?
False
Suppos