 least u?
False
Let y = -2 + 1.6. Let g = 0.6 + y. Which is bigger: 1 or g?
1
Let k = 3 + -2.5. Let x = 4.05 + -0.05. Let s = 4 - x. Which is smaller: k or s?
s
Let a = -0.1 - -0.3. Let m = -4 - -4. Are m and a non-equal?
True
Let y = -0.52 + 0.6. Let v = y - -2.92. Let s = 0.2 - 0.3. Which is smaller: s or v?
s
Let u(x) = -x**3 - 13*x**2 - x - 19. Let g be u(-13). Is -0.4 at most g?
False
Suppose 2*l + 5*x + 9 = 0, 0 = -l - 6*x + 3*x - 6. Let t = -23 - -26. Is l != t?
False
Let o = 3/5 + -41/85. Which is bigger: o or 2/7?
2/7
Let b be (-4)/(-14) - (-102)/(-14). Let v = b + 8. Is v less than or equal to 2/17?
False
Let b = -989/1572 - -6/131. Which is greater: 0.1 or b?
0.1
Suppose -t = -4*t. Suppose v = 2*d, d - v - 2*v - 5 = t. Let n(s) = -2*s**3 + s. Let p be n(d). Is p smaller than 0?
False
Let h be 12/(-10)*-1*-5. Let z be h/4*12/9. Which is greater: z or 0?
0
Let n = 0.01 - -1.99. Which is smaller: -10/3 or n?
-10/3
Let y = 5 - 4.9. Let z = y + -0.8. Let x = -0.6 - z. Which is bigger: x or -3/4?
x
Let c = -0.3 - -0.4. Let b = -0.3 + -3.7. Let p = b - -2. Which is greater: c or p?
c
Let x = 80 + -59. Is 21 at least x?
True
Let w = -9 - -30. Let y = w - 21.3. Is y >= 2?
False
Let o = -10.15 - -10. Is -1 bigger than o?
False
Let m = -12 - -17. Let u = -0.53 + 6.53. Let t = m - u. Do t and 0.3 have different values?
True
Let h = 23 - 10. Suppose h*v = 15*v - 6. Which is greater: v or 7/4?
v
Suppose 3*j = 4*y + 12 - 1, -5*y - j = 9. Let c be (-1 - y/3)*3. Is c at most -1/3?
True
Let m be 1/((-2)/4) - -4. Suppose 4*p - 7*p = 21. Let k = -5 - p. Is k < m?
False
Let f(t) = 2*t - 6. Let w be f(3). Which is smaller: -2/27 or w?
-2/27
Let j(a) = a - 9. Let v be j(11). Suppose -2 = -2*q + v. Is q greater than 3?
False
Let q(c) = 4*c**2 - 2. Let i be q(-2). Which is greater: 4 or i?
i
Let f be (-3)/(-2 - 10/(-8)). Let a be (-2)/f + 20/8. Suppose -3*t = 5*o + a*t + 25, 0 = 4*t + 12. Which is smaller: o or -3?
-3
Let d = -4 - -11. Let i = -8 + d. Which is greater: 3/2 or i?
3/2
Suppose -3*f = -7*f. Let s = f + -4. Is s less than 0.1?
True
Let j = -4.6 - 1.4. Let g = 4 + j. Suppose -6*x = -x + 20, -2*m = x. Are m and g equal?
False
Suppose -4*w - 118 = 38. Is w at most as big as -38?
True
Let q = -21 + 15. Let w be (0 + -3)/(81/q). Which is bigger: -1 or w?
w
Suppose 3*b = -4*p + 38, b + 6*p - 4*p = 16. Suppose 6*u + u - 35 = 0. Are b and u nonequal?
True
Suppose 3*x = 3*s - 9, -4*s + 2*s + 13 = 5*x. Let y(r) = -r**3 - 1. Let f be y(0). Which is smaller: x or f?
f
Let z(c) = -c**2 + c + 1. Let b(f) = 4*f**2 + 1. Let a(v) = b(v) + 5*z(v). Let m be a(6). Suppose 0 + 8 = 4*p + 2*w, m = 3*p - 4*w + 16. Is -0.3 greater than p?
False
Let f(q) = q - 1. Let h be f(1). Let s(g) = g - 3. Let o be s(h). Suppose c = 3*c + 6. Is c at most as big as o?
True
Let j = -7 - -8.4. Let u = j - 1.6. Let m = -3 + 3.2. Which is smaller: m or u?
u
Let s be 2/4*2*16. Suppose -o = -b - s, -2*o = -2*b - 4*o - 52. Let l be ((-9)/42)/(6/b). Is l at most 1?
True
Suppose 5*p + 4 = -16. Let m be (-2)/p - 20/24. Let j = 0 + -1. Which is smaller: j or m?
j
Let d(v) = -v - 5. Let l be d(-4). Let m be -3 + (101/(-33))/l. Which is smaller: -1 or m?
-1
Let r(m) = -m + 2. Let p(c) = 1. Let s(q) = 5*p(q) + r(q). Let t be s(8). Does -1/5 = t?
False
Let k = -1159/7 - -166. Let c be 3/(-2) + (-2)/4. Let x be c/(-9) + (-2)/9. Which is smaller: k or x?
x
Let n be (17/(-34))/(7/6). Which is greater: -1 or n?
n
Let t = -2.2 + 2.6. Is t at least as big as 0.3?
True
Let y = -24 + 28. Suppose 4 = -u + y*w, 0*u = 5*u - 2*w + 2. Which is smaller: u or -7/5?
-7/5
Let b = -15 - -6. Let f be -2*1*(7 + b). Is 3 > f?
False
Suppose 0 = 3*z - 142 + 7. Suppose -5*r + z = 5*f, -4*r = -2*f + 4*f - 34. Suppose -4*s = -0 - r. Which is smaller: s or 1?
1
Suppose -z = -0*z - 3. Suppose 0 = -x + z*x. Let s = -17 - -88/5. Does s = x?
False
Let j = 5 + 2. Suppose 0*v = -5*v + 4*f - j, 0 = -v - 5*f - 13. Is v <= -2?
True
Let l be (-9)/(-12) + 13/(-28). Let y(w) = -w**3 + 2*w**2 + w - 2. Let t be y(2). Is l greater than t?
True
Let l be 9/(-42)*(-4)/3. Let c be (-1)/(0 + (-2)/28). Suppose -3*w + 4*t - 6 + c = 0, -w = t + 2. Which is bigger: w or l?
l
Let i = 14 + -16. Let r be i*(4 - 31/2). Is 23 bigger than r?
False
Suppose 190 = -5*u - 3*k, 2*k = -3*u - 3*k - 130. Which is smaller: -34 or u?
u
Let r = 0 + -0.01. Let h = 312.99 - 311. Let z = h - r. Is z less than 0.1?
False
Let p be -2 + -56334 + (0 - -1). Let r = p + 1351849/24. Let f = r + 25/3. Is 1 at most f?
False
Suppose y = o + 7, -2*o - 2*y + 6*y - 22 = 0. Let s be o + 11 + (-3)/(-3). Let h be ((-3)/s)/((-2)/6). Is 0 > h?
False
Let a(p) = -2*p - 3. Let b(t) = 6*t + 9. Let s(w) = 7*a(w) + 2*b(w). Let d be s(-2). Let j = -4/9 - -1/3. Is j <= d?
True
Suppose 4 = 6*u - 4*u. Let s(y) = -y**3 + y. Let f be s(u). Which is smaller: -5 or f?
f
Let n be (-3)/12 - 5/(-4). Let j be (-235)/(-35) + (1 - -1). Let h = j - 9. Do n and h have the same value?
False
Suppose -22 = 2*m - 2*h, 2*m + 5*h - 19 + 62 = 0. Which is bigger: m or -13?
-13
Let y be ((-120)/(-176))/((-12)/(-131)). Let c = -61/8 + y. Which is smaller: c or 0?
c
Suppose 0 = -8*g + 2*g + 12. Suppose 5*z + 0*z = -g*j - 24, 5*j = 5*z + 10. Let r = -4 + 1. Is r smaller than z?
False
Let d(h) = -h**2 - h - 2. Let s be d(4). Let q be s/33*21/8. Is q > -2?
True
Let r = 200 - 199. Let i = -2/5 + 13/20. Is r > i?
True
Let w(m) = 2*m**2 + 3*m + 1. Let f be w(-2). Suppose -5*z + 35 = 5*v, f*v + 3*z = z + 19. Is v at most as big as -1?
False
Let c = -26 + 36. Which is smaller: c or 11?
c
Let c be (6 + -1)*(4 + -3). Suppose -s - p = -5, 4*s = 6*s - c*p + 4. Is s <= 0?
False
Let t be (8 + -4)*3*(-4)/(-32). Is t smaller than -3/8?
False
Suppose -5*p = -p - 4. Let d be 21/140 + p/4. Which is smaller: 1 or d?
d
Let a be (-3 + 4)/(1/4). Let z = 12 - a. Let r be (4/6)/(z/(-12)). Is -3/4 smaller than r?
False
Let t = -0.7 + 0.2. Let f = -0.5 - t. Let g = f + -1. Is -1 not equal to g?
False
Let w = -6 + 34. Which is smaller: w or 29?
w
Let g be 3 - 7/70*(0 + 22). Is g at least 2?
False
Suppose -5*x - 11 = u + 3*u, 3*x + u = -8. Let t = x - -2. Let n be 6/16 + 2/(-4). Which is bigger: t or n?
n
Let q be -2*((-1 - -3) + -4). Let r = 4 - q. Suppose r*w = -w. Is -1 less than w?
True
Let s = -2 + 4. Let l = 1 - s. Is l <= -1?
True
Let p = 4 - 1. Suppose 0 = 3*t - p*y + 12, 3*t + 6*y - 4*y = 13. Let a(s) = -s**3 + 11*s**2 + 12*s - 1. Let c be a(12). Which is bigger: t or c?
t
Let t(u) = 2*u**2 - 1. Let v be ((-2)/(-3))/(2/3). Let q be t(v). Let j = 5 - 4. Is q less than j?
False
Suppose 0 = -6*q + 10*q - 16. Suppose q*z - 2*a = -10, 4*a + 1 = z - 14. Let i(u) = -u**2 - 6*u - 4. Let m be i(-6). Which is smaller: z or m?
z
Suppose 0 = 6*b - 5*b - 8. Let i be (b/(-12))/(4 - 2). Is 0.1 >= i?
True
Let m be (0/(-1 - -2))/1. Suppose 4*u + 511 = -21. Let d = 1067/8 + u. Which is smaller: d or m?
m
Let p = 31.9 - 32. Is p bigger than 11/3?
False
Let f = -14 + 17. Let j = -5.2 + 4. Let w = j - -1. Which is smaller: f or w?
w
Let n be 0*(-5)/(-10) - 87. Which is greater: n or -0.1?
-0.1
Suppose 47 - 23 = 3*c. Which is greater: c or 5?
c
Let m(x) = x**3 - 5*x**2 + x - 4. Let o be m(5). Suppose 6 = -0*p - 2*p. Let t be (-1)/(-30) + o/p. Which is smaller: -1 or t?
-1
Let u(w) = -w + 7. Let b be u(3). Suppose 3*p - 7*p + 68 = 0. Suppose -3*d + 1 + 14 = -3*l, -l + b*d = p. Is -2 < l?
True
Let c = -108/35 - -14/5. Which is bigger: c or 0?
0
Let u = -2074/5643 + 2/513. Which is bigger: u or 0.1?
0.1
Suppose 5*x - 18 = -0*s + 2*s, -5*x = 2*s - 22. Let a = -1 + 6. Let b = 5 - a. Is s at most b?
False
Suppose -5*l = g - 19 - 26, 0 = -3*l + 3*g + 9. Let i be l/(-7)*14/(-4). Is 6 smaller than i?
False
Let f be ((-33)/22)/(-1*(-1)/12). Does f = -18?
True
Let f be 2/2 + 20/(-18). Let m = -2.1 + 2. Let r = m + 0.2. Which is smaller: r or f?
f
Let r = 0.22 - 0.42. Is -0.04 bigger than r?
True
Suppose 2*j - 5*j = 39. Is -14 < j?
True
Let w(s) = s**2 - 8*s - 7. Let b be w(9). Which is bigger: 5/7 or b?
b
Let v = -12 + 7. Let r be (-2)/v - 24/10. Is -5/6 > r?
True
Let o = -18 + 17. Which is smaller: 0.3 or o?
o
Suppose -v = -4, 3*v = 3*g + 6*v - 93. Which is smaller: 26 or g?
26
Let l be 30/88 - (-3)/(-12). Is l < 0?
False
Let h(u) = 2*u**2 + 0*u - 4 - 2*u + 1. Le