l to q?
True
Let l be (-9)/(-6)*(-32)/6. Let m be 2/l + -2 - -2. Which is greater: m or 0.3?
0.3
Let c = -11.6 - 0.4. Suppose 6*k - 38 = -44. Is c less than k?
True
Let o be 8/(-9) - (1 + -2). Suppose -l - 17 = -4*i, l - 4*l + 3*i - 15 = 0. Which is greater: l or o?
o
Suppose 4*g - 9 = -33. Is -1 less than or equal to g?
False
Let z(i) = i**2 + 4*i + 5. Let q be z(-5). Suppose 5*v - 5*u = -20, u = -v - 0*u - q. Let o = -10 - v. Is -4 < o?
True
Let d = -1.1 - 1.1. Which is smaller: 1 or d?
d
Let l be 68/14 + 2/14. Suppose 0 = l*y - 2*i - 3*i + 20, -i + 5 = 0. Which is smaller: -2/61 or y?
-2/61
Suppose z = 5*c - 14, -5*c + 3 + 17 = 0. Is 5 greater than or equal to z?
False
Let y = -4 - -3.5. Let n = 1.5 + y. Which is bigger: n or 2?
2
Suppose 4*v + 0*v = -16. Let l = -1 + -4. Are v and l nonequal?
True
Let h = 688/6897 + 2/363. Is h smaller than 0.2?
True
Let q(i) = i**3 - i. Let y be 2/4*2*-1. Let r be q(y). Is 0.3 >= r?
True
Let w = -10937 + 4823215/441. Which is smaller: -1 or w?
-1
Let i = 1/194 + 89/1552. Let u = -1584533/80 - -19807. Let x = i + u. Which is smaller: -0.1 or x?
-0.1
Suppose -3*c + 0 - 12 = 0. Let l = -3 - c. Let v = -230 - -463/2. Is v less than or equal to l?
False
Let x be (-2)/(-6) - 0/5. Suppose 0*f = 5*f. Do x and f have the same value?
False
Suppose 2*r - 5*r = -12, 4*v + r = -12. Let f be 2/(-3) + v/3. Are 1 and f equal?
False
Let r be (-1)/1*(-1)/(-133). Let g be (1 - 0) + (-226)/266. Let t = g + r. Is t at least 1?
False
Let a = 18 - 9. Is a greater than 10?
False
Suppose 0 = 6*c - 12*c + 12. Suppose -j + 0*j + 4 = 0. Suppose -5*t + 13 = -a, 3*a + 2*a + 23 = j*t. Does c = t?
True
Let z(n) = n**2 + 12*n + 12. Let t be z(-10). Which is greater: t or -15/2?
-15/2
Let p(u) = u**3 + 7*u**2 + 5*u - 5. Let y be p(-6). Which is smaller: 3 or y?
y
Let b = 0.017 + -0.117. Is -5 at most as big as b?
True
Suppose 5*w = 3*w + 6. Suppose -2*n + 4 = -2. Are w and n equal?
True
Suppose -s + 5*f + 15 + 9 = 0, 3*s = 3*f + 12. Let h be 2/(-3) + 5/12. Which is bigger: h or s?
h
Let w be (-3 + 7)/((-20)/(-6)). Which is smaller: w or 2?
w
Let g = -37 - -53. Let q = 10 - g. Suppose -3*m + 2*o + 1 = 0, 1 = 5*m - 3*o - 1. Which is smaller: m or q?
q
Let j = -20 - -5. Is j bigger than -14?
False
Suppose 5*o + 0*w - 2*w + 14 = 0, -5*o - 3*w - 4 = 0. Suppose -f + 2 = f. Is f smaller than o?
False
Let n be 20/6 - (-4)/(-12). Let x = -2 + n. Let v be (0 - 0) + (-2)/x. Are v and -2/3 unequal?
True
Let p(n) = -n**2 + 4*n - 2. Let x be p(3). Let c be (2 + 0)*1/x. Let w = 14.7 + -14.6. Which is greater: w or c?
c
Suppose 5*o = -13 - 27. Which is bigger: -2 or o?
-2
Suppose 2 + 0 = c. Is c smaller than 4?
True
Suppose -4*l + l + 27 = 0. Let i = l - 4. Is 5 at least i?
True
Let j(c) be the second derivative of -c**3/6 + c**2/2 - 2*c. Let b be j(5). Let q be (b/(-10))/(7/(-35)). Is -3 < q?
True
Let s = 0 + -3. Let u be (1 - (-2)/4)/s. Is -1/2 > u?
False
Suppose -4*w - 2 - 2 = -4*c, -3*w + 5*c - 9 = 0. Suppose 4*p = -w*y, 2*p - 18 = y - 2*p. Is -6 greater than y?
False
Let u = 93 + -63. Which is greater: u or 29?
u
Suppose 3*g + 2*g = 3*q, -2*q - 1 = -3*g. Let m = q + 7. Suppose -4*t + 0 = -4. Which is smaller: t or m?
t
Let m = -7 + 7.8. Let t = m - 0.8. Which is smaller: 2/11 or t?
t
Let c(x) = -3*x**2 + 2. Let u be c(2). Is u > -8?
False
Suppose 8 = -2*f, -3*n - 5*f - 28 = -5*n. Suppose a + a = n. Which is smaller: a or 3?
a
Let j = 7 - 8. Let n be 1*3/(-5) - 0. Which is smaller: j or n?
j
Let l(f) = -f + 8. Let q be l(3). Suppose d + 2*y = 10 - q, -y = -4. Do -2 and d have different values?
True
Let s = -0.5 - -0.5. Which is greater: -2/3 or s?
s
Suppose -4*t = -3 + 19. Let h be -1 - t/(-18)*-3. Which is bigger: -1 or h?
h
Let g = 0.52 - 2.52. Is -2/39 less than g?
False
Let h be (-2)/(-4) + 3/6. Suppose -4*k - k = -3*m + 1, 5*m + 7 = 4*k. Is k smaller than h?
True
Suppose 5*u + 3*t - 1 = 0, -7*t + 6 = 4*u - 2*t. Which is smaller: -1/21 or u?
u
Suppose 3*k = k + 4. Let u be -1 + (-4)/(k + -4). Let q be -3 - -14*u/6. Is q greater than or equal to 0.5?
False
Let f(n) = n**2 - 3*n. Let l be f(5). Suppose l = -4*s + 2*z, -4*z + 26 - 6 = -s. Suppose 0 = g + 3*g. Do s and g have the same value?
True
Let v be (2/(-3))/(2/3). Let z be (2/14)/(v/2). Suppose 0 = -5*i + 11*i. Which is smaller: i or z?
z
Suppose -h = -5 + 4. Suppose -3*x - y + 4 = 0, h = 2*x + y - 0. Is x bigger than 2?
True
Let n be 8 - 0 - (1 - -2). Suppose n*h = -5*s - 15, -3*h + 17 = -3*s - 4. Let w be (-18)/14 - (h + -3). Which is bigger: w or -1?
w
Let a = -1 + 1. Let q(d) = -d**3 + 4*d + 3. Let b be q(-2). Let t be 0/(-1 + b - 1). Are t and a equal?
True
Let t be 121/6 - (-1)/(-6). Suppose 5*z - 2*f + 82 + 50 = 0, 0 = z - 2*f + t. Let v = z + 57/2. Which is smaller: v or 0?
0
Let u = 193 - 1349/7. Is u less than or equal to 0?
False
Let i = 0.06 - 0.16. Which is greater: i or 0.04?
0.04
Let l(v) = 4*v**3 + 2*v**2 + 2. Let r be l(-2). Let k = 16 + r. Let m be (-24)/14 - k/(-21). Which is bigger: m or -5/3?
-5/3
Let r be -1 - -1 - 66/(-11). Let b be 6/(-39)*(-3)/r. Suppose -2*d = -0 - 2. Is b greater than or equal to d?
False
Suppose 0 = 3*u - 2 - 10. Suppose 2*v + 6 = t, 18 = -2*v + 5*t - u. Let h(m) = 3*m. Let z be h(v). Is z < -1?
True
Let h be (10/(-15))/(3/(-6)). Is h at least as big as 0?
True
Let c be 1/(-7) + (-18)/(-14). Which is greater: c or 2?
2
Let v be (-30)/18 + 3 + 0. Let g = 2 - 2. Which is smaller: g or v?
g
Suppose 4*k - 7*k = -3. Which is bigger: 3/14 or k?
k
Let j be 4/14*84/48. Is j at most 4?
True
Let t = 54/97 + -2536/2813. Which is greater: t or 1?
1
Suppose 0 = -2*x - 3*x + 10. Suppose 0 = h + 1 - x. Which is smaller: h or 1/17?
1/17
Suppose -6*d - 7*d = -5*d. Let j = 0.7 - 0.2. Is j not equal to d?
True
Let q = -0.08 + 0.08. Let p = q - 1.02. Let g = 0.02 + p. Which is smaller: -0.3 or g?
g
Let k = -7 + 7.3. Let q = k + -0.1. Let f = -0.051 - 2.949. Which is smaller: f or q?
f
Suppose -22 = 2*n - 20. Which is greater: n or 1/73?
1/73
Let z = 22 - 22. Is -3 greater than z?
False
Suppose 2*d = 6*d - 56. Are d and 14 nonequal?
False
Let j(i) = -2*i**2 - i. Let r be j(-1). Is r bigger than 3?
False
Let b(p) = p**3 - p**2 + p - 1. Let a be b(1). Let d be 41/3 - 0 - -3. Let u = d + -197/12. Which is smaller: a or u?
a
Let v(h) = -7*h - 70. Let g be v(-11). Suppose 29 = 3*c + 5*n, -3*c + n + 20 = -3*n. Is g <= c?
True
Let z be 2/4*12/(-57). Which is bigger: 0 or z?
0
Let v = 0.26 - 6.26. Is -1/2 not equal to v?
True
Let p(c) = -14*c + 24. Let o(s) = -5*s + 8. Let i(u) = -17*o(u) + 6*p(u). Let v be (-3)/(((-15)/(-9))/5). Let x be i(v). Is x at least -1/15?
False
Let f = 0.3 + -0.2. Let n = 2.9 + 0.1. Which is smaller: n or f?
f
Let z = -1.05 - -1. Let a = z + 0.01. Which is smaller: a or -1/3?
-1/3
Let j be (-8)/10 - 5/25. Let v = 105 - 68. Let q = -113/3 + v. Which is smaller: q or j?
j
Suppose -y + 4*y = -342. Let z be y/(-520) + (-3)/12. Which is smaller: z or 1?
z
Suppose m + 5*j = -m + 21, 3*j - 7 = -4*m. Suppose -2*c - 7 = -0*o - 3*o, 3*o - 3*c - 12 = 0. Which is bigger: m or o?
o
Suppose 2 = 2*b + 2*o, -5*b = -0*b + 4*o - 6. Let y be b - (80/(-52))/(-1). Is -1 > y?
False
Let g be 7/(28/(-24))*-1. Suppose 2*s - g = 3*s. Which is smaller: 0.3 or s?
s
Let c be 49/(-322)*(-24)/14. Which is greater: c or 0?
c
Suppose 16 = 2*v - 4*q, 3*v + 5*q = -0*v + 24. Let u be ((-4)/3)/(v/12). Are -4 and u nonequal?
True
Let d = -1 - -34/5. Is 7 < d?
False
Suppose 2*a - 12 = h, -4*h + 0*h - 40 = -4*a. Let i be 3 - (54/h)/(-3). Is i smaller than 0?
False
Let z = -0.2 + -5.8. Let h = 4 + z. Let r = 2.1 - 2. Which is greater: r or h?
r
Let s = 4 + -4.6. Let f = -319 + 319. Is f less than s?
False
Suppose -4*p = p - 185. Let q = p - 104/3. Which is greater: 1 or q?
q
Let d be (4 + -7)/((-6)/22). Is 12 at most as big as d?
False
Let t be 1 - (-5)/(-25)*-4. Which is smaller: t or 2?
t
Let s(a) = 5*a**3 - 9*a**2 - 11*a + 10. Let i(x) = -x**3 + x**2 + x - 1. Let g(n) = -4*i(n) - s(n). Let f be g(6). Is f less than or equal to 1/3?
True
Let l(w) = w**2 + w. Let f be l(0). Which is greater: -2 or f?
f
Let n = 22.9 - 24. Let y = -1 - n. Is y != 9?
True
Let g(j) = j**3 + 13*j**2 + j + 10. Let l be g(-13). Which is smaller: -15/7 or l?
l
Let f = -20 - -28. Let h = 6 - f. Is -2 equal to h