alse
Suppose -3*o - 15 = 2*z - 0*z, 0 = -4*o - 4. Let b = z - -6. Which is smaller: -1/4 or b?
-1/4
Let y = 29/40 + -9/8. Let d = -84 + 83. Is d less than y?
True
Let v be ((-58)/(-29))/(-2*1). Is -12/11 >= v?
False
Let c = -20 + 1. Let a = 11 + c. Is -8 bigger than a?
False
Let j = -37 + 36. Is j smaller than 2/49?
True
Let j be 2/(-7) + (-30)/(-56). Suppose 0 = -3*c - h - 18, -4*c + 0*h = -h + 24. Let n be (1/3)/((-2)/c). Which is bigger: j or n?
n
Suppose 3*f - 3 - 42 = 0. Which is greater: 14 or f?
f
Let q be ((-3)/3)/((-3)/6). Let s = 8 + -4. Suppose 4*u - 2*u + 2*f - 6 = 0, -q*f - s = -3*u. Which is greater: 3 or u?
3
Let i be 5/(5/(-2)) + 3. Which is smaller: i or 2/23?
2/23
Let w = 0 + -0.2. Let k = -9 + 7. Is k smaller than w?
True
Let u = 3.057 - -0.043. Let b = u - 1.1. Which is smaller: b or -2?
-2
Let d = 13 - 9. Suppose -d = -5*q + 6. Suppose -q = 2*k - 0*k. Is k < 0?
True
Let h = -0.16 + 5.16. Which is smaller: h or 2?
2
Let l = -18 + 19. Is -1/4 > l?
False
Suppose 9 = 2*o - 1. Suppose -4*s - 2 = 5*h + 11, s + 7 = -o*h. Let t = 3 + s. Is 1/2 less than t?
True
Let j = 0 - -3. Suppose 2 = -t - 2*q, -3*t - j = 4*q - q. Which is smaller: -1 or t?
-1
Let z = -24 - -25. Which is greater: 10/11 or z?
z
Let f = -17 + 17. Which is greater: 1/8 or f?
1/8
Let q(h) = h. Let w be q(0). Let y = 83 + -499/6. Is w at most y?
False
Let y(w) = -w**2 + 8*w - 7. Let m be y(8). Let d(s) = s + 7. Let t be d(0). Let n = m + t. Which is smaller: n or 1/3?
n
Suppose 2*t + 0 = 4. Let z be t - (2 + -2 + 1). Let b be z*(4/(-6))/(-1). Which is smaller: b or 1?
b
Suppose 0 = 4*g - 3 - 5. Let u be (-14)/20*28/(-14). Is u at most g?
True
Let r = 1/45 + 41/180. Let a = 10 + -14. Let d = 3.5 + a. Which is smaller: d or r?
d
Let c(l) = -l**3 - 5*l**2 + 1. Let u be c(-5). Which is bigger: u or 6/5?
6/5
Let b = 0.47 - 0.27. Which is bigger: -0.04 or b?
b
Let q be 1/(-1)*(8 + -3). Which is smaller: -7 or q?
-7
Let g(y) = -2*y + 20. Let f be g(7). Which is bigger: f or 4?
f
Let m = -41 + 57. Let q = -19 + m. Which is smaller: 2 or q?
q
Let w = 179 - 164. Which is greater: w or 17?
17
Suppose -8*d - 183 = 57. Which is greater: d or -29?
-29
Let z = 16 + -1. Is z <= 15?
True
Let g(z) = z - 7. Let h(f) = -f**2 + 7*f - 1. Let x be h(6). Let l be g(x). Is l less than or equal to -2?
True
Let c(i) = i**3 - 4*i**2 - 3*i - 1. Let l be c(5). Let a be (-27)/(-2)*(-6)/(-9). Is a at most as big as l?
True
Let v(a) = -a**2 + 4*a + 2. Let c be v(6). Let p = c + 7. Let x be ((-3)/4)/((-2)/(-8)). Is x bigger than p?
False
Let c(u) = 6*u - 2. Let i be c(1). Are i and 3 equal?
False
Let y be 36/90*(-1)/2*-5. Which is smaller: y or 2?
y
Suppose 4*l = 20, 0 = -g + 3*g + 3*l - 9. Let n be g/(-6) + 6/4. Which is smaller: n or 3?
n
Let l = -2802/25 + 112. Let h be 4 - 1 - (-4 - -7). Are h and l non-equal?
True
Suppose 2*s + 20 = 5*c, 3*c + 35 = 8*c - 5*s. Which is greater: 42/13 or c?
42/13
Let c be (4 - 1) + -159 + -2. Let r = c + 629/4. Which is smaller: 0 or r?
r
Suppose -3*t - 4*o - 15 = 2*t, 0 = -3*t - 2*o - 7. Let p = t + -6. Let y be ((-1)/p)/((-6)/(-45)). Which is smaller: y or 0.2?
0.2
Suppose 49 = 4*p - 11. Is p > -1/3?
True
Let f = -52 + 48. Let m = -16 - -7. Let d = m - f. Which is smaller: 0.1 or d?
d
Let h = 132 - 9. Let a = -387838/7 + 55529. Let f = h - a. Which is bigger: f or -2?
f
Let p be (-1 + (-10)/6)*-3. Let n be (-2)/4 - (-44)/p. Let j = -6 + n. Is j at least as big as -2/11?
False
Let f be 40/(-20) - (0 - (-50)/(-7)). Which is greater: f or 4?
f
Let j = -5 + 5. Suppose -z - 2*z = 0. Are j and z equal?
True
Let b = 0.8 - 0.6. Is b equal to -2/51?
False
Let x be (-9)/(-2) - 2/4. Suppose -3*h - h - x = 0. Let j = 3.14 - 3.2. Which is bigger: h or j?
j
Let c = 4 + -5. Let f = 0.9 + c. Which is smaller: f or -2?
-2
Suppose -p + 2*s - 23 = 4, -5*p - 3*s - 83 = 0. Are -1 and p nonequal?
True
Let j = 11 + -10. Is 0.1 at least as big as j?
False
Let j be (-2)/3 + 22/(-3). Let t be j/36 - (-6)/27. Let z be 2 + (0 - (-7)/(-3)). Is z at most t?
True
Let y = 39.6 + -4.6. Which is bigger: y or -0.1?
y
Let k(n) = n - 2. Let v be k(5). Suppose 2*z + v*z + 20 = 0. Is -2 greater than or equal to z?
True
Let g be (-2330)/56*5/25. Let t = g - -31/4. Which is smaller: t or -2?
-2
Suppose 6*t - 15 = 3*t, -4*t = k - 17. Let h = 1 - k. Let z(x) = -x**2 + 4*x - 2. Let o be z(h). Is o at most -3?
False
Let p = 11 - 11.8. Let i = p + 0.6. Which is bigger: -4/7 or i?
i
Let s = -53 - -53. Let m = 181/306 + -11/17. Which is smaller: m or s?
m
Let l be -11 + 2/(-2 + 4). Which is smaller: l or -11?
-11
Let d(b) = 2*b - 6. Suppose -3*t + 3*c = -3, -4*t + 1 = -c - 12. Let p be d(t). Let g(f) = f**2 - 4*f - 2. Let x be g(5). Which is greater: p or x?
x
Let w = 606 + -38176/63. Which is greater: w or 1?
1
Suppose 0*d - 4*d + 12 = 3*w, -3*d + 5*w = 20. Let l be 3/12 - 5/8. Is l at least as big as d?
False
Let m be (4/(-10))/(4/(-14)). Does 2 = m?
False
Let b = -12 - -88/7. Which is smaller: 0 or b?
0
Let m = 0.18 + -0.28. Which is bigger: m or -2/9?
m
Let d = 13/18 - 1/18. Let o be (-555)/28*2/(-3). Let f = 27/2 - o. Is d > f?
True
Suppose 5*n = 4 + 1. Is n at most 3/5?
False
Suppose 15 = -0*a - 5*a. Let l be 13*3/6*2. Suppose 3*g = f - 0*f - 5, f = -3*g - l. Is g >= a?
True
Let c(p) = p**3 + 6*p**2 + 5*p + 5. Let a be c(-4). Let o = -460/27 + a. Which is greater: 0 or o?
0
Let u = -0.47 + 0.5. Let a = -0.03 + u. Let n = 1 - 1.1. Which is bigger: n or a?
a
Suppose 3*y = 9 + 3. Let w be (-133)/98 + 6/y. Is w bigger than 0?
True
Let v = -27 + 25. Is v < 0?
True
Let o = 2 - -38. Which is smaller: 1 or o?
1
Let m be (8/(-70)*-5)/((-2)/(-7)). Is 11 not equal to m?
True
Let k be 5/((-35)/2) - 2784/56. Which is smaller: k or -1/2?
k
Suppose 4*x - 6*d + 3 = -3*d, -2*x - 19 = -5*d. Let q be 3/(-6)*-14*1. Suppose -q*u - 5*w = -2*u + 15, 6 = -3*w. Are u and x equal?
False
Let d(g) be the second derivative of -2*g**3/3 + g**2/2 + 2*g. Let q be d(-1). Let j(w) = -w + 9. Let m be j(q). Is 5/2 less than m?
True
Let q(u) = u**3 + 7*u**2 - 6. Let g be q(-6). Let m be 2 + 1*g/(-21). Which is greater: m or 0?
m
Let t = 23126/477 - 436/9. Which is greater: t or 1?
1
Let h = -98.95 + 99. Are -2/7 and h equal?
False
Suppose 5*g + 2*b + 23 = 0, -g - 6 = -3*g + 3*b. Which is smaller: g or -7?
-7
Let m = 1 + -1.2. Let p = -1 + 1.2. Let q = p + m. Is 1 > q?
True
Let f(u) = -u**3 + 2*u**2 + 6*u - 2. Let k be f(4). Let d = k + 12. Is 3 at least d?
True
Suppose -3*p - 5*t + 10 = 0, -3*t + 10 = p + 2*t. Let k = 0.06 + -0.36. Let b = k + 0.5. Is p less than or equal to b?
True
Let w = -2213 + 64183/29. Is 1 at least as big as w?
True
Let y(p) = 2*p - 19. Let h be y(8). Are -12/7 and h unequal?
True
Let h be ((1 - 0)/1)/(-1). Let s be 1/(-3) - 7/(-12). Are h and s nonequal?
True
Let p = 0.9 - 3.8. Let q = -2.1 + p. Is 2/3 not equal to q?
True
Let r = 90 - 93. Which is smaller: 15 or r?
r
Let o(d) = -d**3 + 2*d**2. Let a be o(1). Let u be (-5)/5*(0 + a). Which is smaller: u or -2?
-2
Suppose 0 = 4*g + g - 2*q + 49, 4*g - 2*q + 40 = 0. Let r(w) = -w - 9. Let i be r(g). Which is smaller: i or -1/2?
-1/2
Let j be -1 + -4 + 0 + -1. Let r = 0 + -20. Let a = r - -14. Is j >= a?
True
Let i be 790/12 - 1/1. Let z = 65 - i. Is z < 0.1?
False
Let m(u) = u**3 + u**2 + 1. Let n be m(-1). Let r be 2/(-5) + (-76)/10. Let o = r - -9. Is o smaller than n?
False
Let i = -50 + 50. Is 3 at least i?
True
Suppose 3*z = 34 + 17. Suppose -3*m + 2 = z. Let d = 6 + m. Which is bigger: d or -2?
d
Let q be 3 - (3 + (-2)/1). Suppose 3*a - 2*b = 8, -q*a + 3*a - b = 3. Is 0 not equal to a?
True
Let y be (-1 - 0) + 0 + -1. Let v = 280 - 1406/5. Which is greater: v or y?
v
Let u be ((-3)/9)/((-12)/(-231)). Let z = -20/3 - u. Let v = -0.3 - -0.4. Which is bigger: v or z?
v
Let h(w) = 4*w - 11. Let f be h(5). Is f at least 15/2?
True
Let a = 0.04 + -0.24. Let c = a - 0. Let q = 1.3 - 0.3. Which is smaller: c or q?
c
Let z = 7 - 4. Let b = 37 + -40.2. Let r = z + b. Is -1/3 < r?
True
Suppose 3*a + 2*a + 20 = 0. Let r be (-100)/(-6) + 4/(-6). Let f be (r/(-6))/(a/6). Which is smaller: f or 5?
f
Let o = -18 + 13. Let j(g) = -g - 15. Let y be j(-11). Which is smaller: y or o?
o
Let u = 5 + -2. Suppose -v = 5*j + 15, -5*v - 4*j = 6 + 6. Do u and v have different valu