alse
Let t = 18 - 26. Which is greater: -1 or t?
-1
Let g = -131 - -117.3. Let v = 14 + g. Do -4 and v have the same value?
False
Let z = -9 + 13. Which is smaller: z or 6?
z
Let y = -3 - -3. Let l be y*(1/(-2) + 1). Let z(u) = u**2 + 10*u + 8. Let g be z(-9). Is l less than or equal to g?
False
Let o(x) = x - 14. Let p be o(0). Let w be (-16)/p - (-2 - -4). Is w at most as big as -1?
False
Let b be 284/42 + 9/(-21). Which is smaller: b or 6?
6
Suppose 0 = 11*s - 6*s - 45. Let n = s - 9. Suppose 10*o = 5*o + 5. Is n > o?
False
Let s(y) be the first derivative of 2*y**2 - 3*y - 1. Let o be s(2). Suppose -k - o - 12 = -5*x, -3*x = -12. Is k smaller than 2?
False
Suppose 5*r - 20 = -3*m, 6*r - r - 2*m = -5. Which is smaller: r or -4/9?
-4/9
Let j = 2 + 8. Let i = j - 11. Which is greater: i or 2/37?
2/37
Let t = 153/5 + -30. Let d = 0 - -1. Let l = d + 0. Is l equal to t?
False
Let c be (-4)/((0 + 1)*-2). Suppose 0 = 2*o + c - 0. Do -2/5 and o have different values?
True
Let a = -29061/1418 + -4/709. Let m = -20 - a. Is m smaller than 3?
True
Let u = 14503/399 - 109/3. Is -1 bigger than u?
False
Suppose 0*k + 4 = 2*k. Suppose k*i + 10 = -3*i. Which is smaller: -1/2 or i?
i
Let l(i) = i + 2. Let f be l(-8). Is 1 at least as big as f?
True
Suppose 2*u + 9 = -5*t - 4, 2*t + 11 = 5*u. Which is bigger: u or 4?
4
Let i be (1/2)/((-5)/(-30)). Let g = i - -33. Let t be (-2)/(-4) + (-26)/g. Is 0 smaller than t?
False
Let k = 2 - -1. Let u = k + -4. Which is smaller: u or 2/9?
u
Let o = -1.133 + 0.033. Which is greater: o or 0.2?
0.2
Let c = -2.24 - -2.5. Let f = 0.16 - c. Is f at least 0.3?
False
Let r = 47/2565 - -2/513. Which is smaller: r or 0?
0
Let a = 1 + -29. Which is smaller: a or -29?
-29
Let h(y) = -y + 7. Let w = 18 - 12. Let l be h(w). Which is smaller: l or 0?
0
Let h = -45 - -226/5. Suppose 3*q - 17 = 5*a, 4*a = 3*q + 2*q - 11. Which is smaller: h or q?
q
Let y be (-21)/12 - (-3 + -2). Which is bigger: y or 2?
y
Let u = -2/841 - -17677/6728. Is u not equal to 2?
True
Let x be (-3)/9 - 12/(-44). Which is bigger: x or 0?
0
Let i = 3 - 2. Suppose -3*a + 9 = 3*b - 0, -5*a - i = b. Suppose 8 = -5*p - 4*g, -6*p + 2 = -p - g. Which is greater: p or a?
p
Suppose -4 = -4*o - 0. Suppose -2*v - 13 = -x, -3*x - 2*v + o = 2. Which is smaller: -0.1 or x?
-0.1
Let x be -1 - 2 - (6 + -7). Suppose 5*v + 6*r = r - 30, 2*v - 4*r = 18. Does x = v?
False
Let u = 3 + 1. Let y be (-236)/490 - u/(-10). Let v = y + -78/245. Is v equal to -1?
False
Let o = 117 - 117.09. Are o and 5 nonequal?
True
Let d = 13 + -13. Let x = d + 0.2. Which is greater: 0.08 or x?
x
Let n = -7.706 - -0.006. Let c = n + 8. Let m = -0.2 + c. Which is smaller: -2/5 or m?
-2/5
Let g = 7594/25 + -304. Which is greater: 1 or g?
1
Suppose 5 = 3*a - 8*a. Let b be 4 - (a/1)/1. Suppose b*j = -0*j. Which is smaller: j or -2/3?
-2/3
Suppose 5*g = -5*a + 290, -3*a = -g - 225 + 43. Let i = 298/5 - a. Let b be ((-1)/(-6))/((-6)/(-9)). Is i bigger than b?
False
Let g = 76 + -76.1. Which is bigger: 16 or g?
16
Suppose -4*q - 16 + 0 = 0. Which is greater: q or -0.1?
-0.1
Suppose 4*o - 4*x - 8 = 0, -2*x - 7 = -1. Let t be 1*(1/1 + o). Are t and 0.4 nonequal?
True
Let w(j) = j + 3. Let y be w(18). Which is bigger: 23 or y?
23
Let f = 0.06 - -0.04. Which is smaller: f or 0.29?
f
Let p be 90/21 + -3 + -1. Is p <= 1?
True
Suppose 0 = -4*t + 62 + 42. Suppose 0*d + 5*d = -n + 43, 0 = 2*d - 4*n - t. Is 10 at most d?
False
Let a be (1 - 2)/(2 + -1). Which is smaller: a or 3?
a
Suppose -3*p + q - 142 = -5*p, -4 = q. Let c = 270/253 + -130414/1771. Let g = p + c. Which is smaller: -1 or g?
-1
Let q = 7565/26 + -291. Which is smaller: 0 or q?
q
Let z = -24.3 - -26. Let h = 1.5 - z. Let d be (4/(-10))/((-2)/10). Is d < h?
False
Let r(z) = z**2 - 6*z + 6. Let o be r(7). Suppose -73 + o = -3*s. Let y be 2/(-6) + s/6. Is y smaller than 4?
True
Let t = -20 - -32. Which is smaller: t or 13?
t
Suppose -j + 22 = 5*t, 3*j + t = 3*t - 19. Which is smaller: j or -6?
-6
Let z = -46.5 - -46. Is z less than or equal to -0.2?
True
Let g(v) = v**2 + 1 + 0 + 1 + 3*v. Let d be g(-6). Suppose 6*s = s - d. Which is bigger: -5 or s?
s
Let f = 10 - 0. Let k be f/25 - (-2)/(-5). Is 4/5 smaller than k?
False
Let m be (-151)/(-48) + (-7 - -4). Let p = m - -3/16. Is p less than or equal to -1/4?
False
Let b(c) = c**3 + 4*c**2 + 3*c + 5. Let g be b(-4). Is g at least as big as -7?
True
Let p be (5 + -1)*(-20)/10. Let r = -8 - p. Which is bigger: -2/25 or r?
r
Suppose -n = n. Let l = -3 + 3.1. Is n > l?
False
Let j(m) = -m**2 + 19*m - 22. Let h be j(17). Let s(t) = t**2 - 13*t + 12. Let f be s(h). Suppose 4*l + 3 + 1 = 0. Which is greater: f or l?
f
Let l be (2/24)/1*-2. Let w(h) = -h**3 + 4*h - h + 0*h**3 + 1 - h**2. Let o be w(-2). Is l at most o?
False
Suppose -3*g + 2*f - 10 = -7*g, 0 = -4*g - f + 13. Is g at most as big as 2?
False
Suppose -5*q - 77 - 98 = 0. Is -34 at most as big as q?
False
Let v be (-3)/7 - 6/(168/(-47)). Is v less than 2?
True
Let i be -5 + 3 + (4 - 1). Suppose 9 = -2*u + u. Let g be 0 - -1 - u/(-6). Is g smaller than i?
True
Let h be (-15)/(-10)*(1 + 1). Which is smaller: 2/21 or h?
2/21
Let q be 3/((-10)/8 - -2). Suppose -q*b - p + 14 = -0*b, 4 = -2*p. Let a = 4 + -2. Which is bigger: a or b?
b
Let d = -49 + 295/6. Let q = 5 - 0. Suppose 0 = -3*k + q*o, -2*k = k - o. Which is smaller: d or k?
k
Let y = -0.0755 - -80.9755. Let q = 86 - y. Let t = -5 + q. Do t and 0.3 have the same value?
False
Let b = -5 + 9. Let k be ((-6)/9)/(b/(-15)). Is 1 equal to k?
False
Let j = -5 + 8. Do 4 and j have the same value?
False
Let i be (-2)/(-6) - 34/(-51). Which is bigger: i or 1/3?
i
Let h be -1*4/8*(-30)/(-3). Which is smaller: -4 or h?
h
Let k = -1 - -12. Let u be 2/(-5) + (-134)/(-10). Suppose l + l + c = u, 2*l - c - k = 0. Are l and 6 non-equal?
False
Let n = -0.44 + 0.27. Which is greater: n or -0.1?
-0.1
Let f = -4753/15 + 317. Which is bigger: 1 or f?
1
Let d = 0 - 13. Let z = d - -8. Let t be 7/(-3) - (-7 - z). Which is smaller: t or 2?
t
Let z = -146 - -140.94. Let i = -0.06 - z. Let t = -4 + i. Which is bigger: t or 2?
2
Let x(o) = o**3 - 4*o**2 - 6*o + 5. Suppose -5*s - 18 = -7*s - 4*q, -3*q + 1 = -s. Let m be x(s). Which is greater: -4/5 or m?
m
Let t(g) = -14*g + 2. Let s be t(-2). Suppose 5*d = -160 + s. Let n = -232/9 - d. Which is greater: 2 or n?
2
Suppose 0 = -2*l - 4*x - 12, x = -5*l - 3*x. Let s be (8/(-5))/(l/(-10)). Which is smaller: 6 or s?
s
Let v be (-5)/15 - 26/30. Which is greater: -1 or v?
-1
Suppose 0 = -q + 4*q - 6. Let g be (1/13*-2)/q. Let i = g + -32/91. Is -1 equal to i?
False
Suppose -76 = 4*a - 4*j, -4*a - 7*j - 96 = -6*j. Does -24 = a?
False
Let h = 3.9 - 4. Let b = 0.057 - -15.443. Let s = b - 16. Is h at least as big as s?
True
Suppose 6*a - 8*a = 5*i - 53, 3*a - 21 = -i. Which is smaller: 0.07 or i?
0.07
Let c = 14/13 - 55/39. Is c < -0.3?
True
Let t = -11 - -10. Let m = -5.89 + -0.11. Is t < m?
False
Suppose 4*y - y = 0. Suppose -2*l = 5*p - 1 - 2, 2*p - 5*l + 22 = y. Is p != 1/2?
True
Let f = -982/16107 - -4/413. Which is bigger: 0 or f?
0
Let h = -2519/19 + 3725/133. Let i = 104 + h. Which is smaller: i or -1?
-1
Suppose -34 = -2*d - 0*d - 4*y, -2*y = -d - 3. Is d at most as big as 7?
True
Let w(q) = -q**2 - 2*q + 3. Let h be w(-7). Let l = 23 + h. Which is smaller: l or -10?
-10
Let k be 126/10 - 6/(-15). Let r be (-4)/16*12/k. Which is smaller: -1 or r?
-1
Suppose -4*x + j = 139, 3*x - 2*j + 19 + 84 = 0. Is -36 at least x?
False
Suppose 0*a = a + 1. Let n(f) = -f**3 + 3*f**2 - f + 3. Let r be n(3). Which is smaller: a or r?
a
Suppose -4*o + 127 = 43. Let j be (-33)/o - (-4 - -1). Is 1 <= j?
True
Suppose 0 = -0*u - 5*u - 10. Let r be 3/u*16/(-60). Which is smaller: r or -1?
-1
Suppose -3 = -3*q - 15. Which is smaller: q or -2?
q
Let w(m) = m - 2. Let g be w(2). Let s = -11 - -19. Let i = s + -8.3. Are g and i non-equal?
True
Let f = -185 - -178. Is -4 not equal to f?
True
Let n = -0.4 + 0.5. Let d = n - -0.9. Is d smaller than 0?
False
Let z = 2/101 - 232/1515. Suppose 11*g = g. Is z smaller than g?
True
Let g(t) = -2*t**2 + 2*t + 2. Let q be g(2). Let b(x) = -2*x + 2. Let j be b(1). Let d be 3 - j/q - 3. Which is smaller: -1/7 or d?
-1/7
Suppose 0 = 2*v - w + 2 - 0, 5*v + 15 = 5*w