alse
Let z = 0.2 - 4.2. Let n = z + 3. Does -1 = n?
True
Suppose 6*r - 2*r + 217 = -5*l, 3*l + 15 = 0. Let h = 103 - r. Let u = h - 1660/11. Which is smaller: 0 or u?
0
Suppose 4*u + 4*b - 25 = 3, -3*b - 3 = -u. Let h = -8 + u. Which is greater: 1 or h?
1
Suppose 38*c - 43*c + 25 = 0. Which is smaller: c or 28/5?
c
Let p = 4 - -21. Are p and 25 equal?
True
Let p = -7 + 15. Let m = 11 - p. Let w = -3 + m. Which is greater: 1/2 or w?
1/2
Let u = -37 + 19. Which is bigger: u or -17?
-17
Let z(c) = c**2 - c. Let p be z(-2). Suppose 2*f + q = p, -q = -3*f - 4*q + 15. Let s be (1/(-1))/(f/(-1)). Is s equal to -2/25?
False
Suppose 2*l + 64 = 6*l. Is 18 greater than or equal to l?
True
Let p = -0.38 - -0.16. Let k = -0.12 - p. Suppose -5*i + 0 = 4*g - 1, 0 = i - 5*g - 6. Which is smaller: k or i?
k
Let z = -4.2 + 4. Is -4/13 at least z?
False
Let n = -5 + 7. Which is smaller: -2/5 or n?
-2/5
Let i = -24 - -25. Let o = -1.2 + 2.1. Let r = o - -0.1. Is r smaller than i?
False
Let o = 0.081 - 27.081. Do 2 and o have the same value?
False
Let t(j) = -j + 3. Let m be t(0). Let g = 5 - -2. Let i = g + -5. Is m greater than i?
True
Let v(b) = -b + 1. Suppose h - 3 = 2*h. Let c be v(h). Let q be (-12)/8*(-8)/6. Is q >= c?
False
Let b = -1 + -4. Let k = -125/2 + 62. Is k at most as big as b?
False
Suppose -2*o = 3*o + 3*s - 23, 3 = 3*s. Suppose -t + o = 1. Suppose t*z + 0 + 3 = 0. Which is greater: 3/10 or z?
3/10
Let d(w) = w**2 - 9*w - 1. Let c be d(10). Suppose -z + 11 = 4*t - 24, z + 15 = t. Which is smaller: t or c?
c
Let l be (-14)/4*33/154. Does l = -2?
False
Let o = 1 - 1.01. Let c = 0.11 + o. Which is smaller: 1/2 or c?
c
Let v(p) = -p**2 - 5*p + 13. Let n be v(-7). Let b be n + 3 - (-1 - 11). Which is smaller: 13 or b?
13
Suppose k - 3 = -5*i + 2*i, 4*k - 2 = -2*i. Let m = 26 + -79/3. Which is smaller: m or k?
m
Let a be (-204)/(-763) + (-5)/(35/2). Is a at most as big as 1?
True
Let y(c) = -c**2 - 12*c - 22. Let z be y(-12). Which is greater: z or -24?
z
Let j(q) = -q**3 + 4*q**2 - q + 1. Let b be j(3). Let w be (-1*2/b)/1. Suppose 2*d = 4*y + 8, 3*y + 0 = 5*d - 6. Which is greater: w or d?
d
Let q(u) = u**2 + 5*u. Let o be q(-4). Let r be -4 - o - (-1 + -1). Suppose -3 = -t - r*t. Is t at least 3?
False
Let j be -4 + 43*(-4)/(-44). Which is smaller: j or 1?
j
Let r be 9/(-6)*(-1 + (-2)/(-3)). Which is smaller: r or 76?
r
Suppose 2*j + 0*j - 60 = 0. Suppose 0 = -2*s - 0*s - 3*g - 9, -5*s + j = -3*g. Suppose -s*l + 5 = -1. Is l bigger than -3?
True
Suppose -b = 3, 0 = -5*p + 2*b + 3*b + 15. Let m = -1 - p. Is m != -2/11?
True
Let q be 3 + 0 - 6 - -3. Which is smaller: 26 or q?
q
Let c = 25 - 25.26. Which is smaller: c or 0.1?
c
Let l = 429 + -7291/17. Are l and -1 unequal?
True
Let m(p) = p - 7. Let i be m(3). Is -3 greater than i?
True
Let i = -0.5 - -0.52. Let x = -0.07 + i. Let f = -0.15 - x. Is f < 5?
True
Let t be (-5 + 3 + 0)/11. Suppose f + 4 = -2*m - 3, -m + 24 = -5*f. Is m greater than t?
False
Let c(h) = -2*h**2 + 5*h - 3. Let y(f) = -f. Let v be y(-3). Let n be c(v). Let j = -7 - n. Are -5 and j equal?
False
Let c = -5.8 + 6. Let x = 0.1 - c. Which is greater: 1 or x?
1
Let n be (-2*(-6)/10)/((-8)/(-20)). Is n greater than or equal to 17?
False
Suppose -2*n = 4*r, 12 = -n + 2*n - 4*r. Is 25/6 at least n?
True
Suppose -2*d = l - 5, 5*d - 2*l + 0*l + 10 = 0. Does d = -26?
False
Let r(u) = -u**3 - 4*u**2 + 4*u - 7. Let z be r(-5). Let i(s) = s**3 + 2*s**2 + s + 1. Let a be i(z). Which is bigger: 1/18 or a?
1/18
Let h be 2/(-3)*(-27)/(-36). Let q(a) = a**3 - 8*a**2 + 7*a + 4. Let k be q(7). Let w be 2 - 3/(6/k). Is w less than h?
False
Suppose z + 12 = 5*z. Suppose 13 = z*p - 5. Suppose 4*l = -q + 2*q - 6, 0 = 4*q - l + p. Is 0 <= q?
False
Let o be 2*-1*(-12)/6. Let i be ((-2)/18)/(o/(-4)). Is 0 < i?
True
Let a = -29 - -21. Let w = -7 - a. Let y = w - 0. Which is greater: y or -0.2?
y
Let z = 0.2 - 0.1. Let q be 6*32/36 + -4. Is q < z?
False
Let v be 27/6*8/6. Let w = 44 - 39. Is w less than or equal to v?
True
Let r(n) = -3*n**2 - n - 2. Let x be r(-2). Are -14 and x unequal?
True
Let o = 54 - 51.7. Let g = 2.4 - o. Is g less than -2?
False
Let r be 1*-3*4/12. Which is smaller: 1/11 or r?
r
Let n = -3 + 2. Let m = 0.06 - 0.26. Which is smaller: m or n?
n
Let y be 2719137/(-380) - 2/(-5). Let d = -7155 - y. Let g = 1/38 + d. Which is bigger: -1 or g?
g
Let t(h) = h**3 - 3*h**2 - 2*h - 4. Let k be t(4). Suppose -3*w + 17 = -k*f, -5 = 2*f + 4*w + 9. Does -6 = f?
False
Suppose -4*c = c + q + 6, 2*c - 12 = -4*q. Let b = -1 - -1. Let r be 0 + 4/(-6) + b. Which is smaller: r or c?
c
Let v = 102 - 58. Is v > 43?
True
Let z = -101/3 + 34. Let f be -1*4/(-10)*-10. Let d be (-2 - 6/f)*2. Which is bigger: d or z?
z
Let n be 87/9 - 1/(-3). Let a = -6 + n. Suppose -3 = -l + a*l. Is l at least -3?
True
Let h = 20 - 29.3. Let j = h - 1.7. Let u = j - -8. Which is bigger: 2/3 or u?
2/3
Let s(r) = r**3 + 8*r**2 + 2*r + 10. Let c be s(-8). Which is bigger: c or -4?
-4
Suppose -g - 4 + 0 = -3*f, 4*g = 8. Suppose 3*u = 2*u + f. Suppose 0 = u*l - l - 2. Which is bigger: 0.2 or l?
l
Let x(d) = -d. Let j be x(2). Let q(u) = -u**3 + 5*u**2 - 2. Let v = 11 + -6. Let f be q(v). Is j != f?
False
Let x be 1 + 0 - (-1 - -1). Suppose 5*l - 3*t = -2*t - 12, 9 = -5*l + 2*t. Let d be (-1)/l*(-5 + 4). Is x at least as big as d?
True
Let b(c) = -c - 3. Let f be b(-3). Let o be (-4)/102*3 - f. Suppose -5*n = 5*x + 5, n - 3*n - 2 = -3*x. Is x > o?
True
Let q = 4 - 1. Let c = q - 3.1. Which is bigger: -3/2 or c?
c
Let f be (-208)/(-224) - 3/2. Which is smaller: f or -1?
-1
Suppose x + 2 = 5*n - 14, -8 = 3*x - 5*n. Which is bigger: 3 or x?
x
Suppose -4*j = m - 2*j - 3, 0 = 2*m + 5*j - 7. Is -1/8 at most m?
True
Let b(n) = -7*n - 4. Let s be b(-4). Let z be (-10)/(-35)*14/s. Let d be -1 - 0/(4 - 2). Which is smaller: z or d?
d
Let g = 745 + -1105. Let a be (9/g)/((-2)/(-4)). Is a less than -1?
False
Let x be 176/216 - 1*1/1. Which is bigger: 0 or x?
0
Suppose -2*z - d = 5, 4*z - d - 4*d = 11. Is z less than -0.13?
True
Let t = 3 - 1. Which is greater: t or 0.1?
t
Let r be 14/4*2 + -3. Let n be 3/30*10/r. Is -1 > n?
False
Suppose -60 = -2*o + 7*o. Let c(v) = v**3 + 11*v**2 - 12*v + 7. Let x be c(o). Which is smaller: x or 6?
6
Let s be 68/(-18) + 3 + 1. Let k(d) = d + 7. Let a be k(-6). Which is greater: s or a?
a
Suppose -o + 0 + 6 = 0. Suppose o*h = 4*h + 2. Which is greater: 2 or h?
2
Suppose 62 = 3*t - 0*b - 4*b, 2*t - b - 38 = 0. Which is greater: t or 21?
21
Let k(h) = -h**2 + 6*h - 1. Suppose 0*d = 3*d - 15. Let r be k(d). Which is smaller: r or 3?
3
Let j = 47 + -39. Which is greater: j or 2/11?
j
Suppose -2*v - 5*f = -5, 4*f = 5*v + f + 3. Let q(i) = -3*i**3 + i**2. Let z be q(1). Are v and z nonequal?
True
Suppose -v = 2*m - m - 2, 3*v = 0. Suppose m*a = 5*r - 2*a + 10, -4*r + 3 = -a. Let s(k) = k**3 + 3*k**2 + 2*k + 1. Let x be s(-2). Is x equal to r?
False
Suppose -2 + 0 = 2*y. Let u(n) = -n**3 - 6*n**2 - n + 4. Let g be u(-5). Let o be (-1)/2*g/(-8). Is y equal to o?
True
Suppose 1 = 5*j - 29. Suppose -l - 5*c = -0*c + 3, -2*l - 6 = 2*c. Let z be (1/5)/(l/j). Which is smaller: z or 1?
z
Let d be ((-1)/(-2))/(0 + -10). Let u(w) = -w**3 - 3*w**2 + 5*w + 4. Let g be u(-4). Are d and g unequal?
True
Suppose 0 = -3*g - 54 - 0. Is g at least as big as -1/4?
False
Suppose 5*s - 33 = -h, 7*h - 2*h = s + 61. Let g = h - 9. Which is greater: 3 or g?
g
Let h(u) = 19 - 8 + u**2 + 0*u**2 + 15*u - 4*u. Let y be h(-10). Let w = 23/38 - 2/19. Which is greater: y or w?
y
Let l = -1 + 2. Let p = l - -8. Let n be 4/p*(-9)/24. Is n <= -1?
False
Let c(u) = 2*u - 5. Let y(q) = q**3 - 8*q**2 - 2*q + 12. Let w be y(8). Let t be 88/20 + w/10. Let f be c(t). Is 3 <= f?
True
Let q = -2.9 + 2.5. Which is greater: 0.4 or q?
0.4
Let d(a) = a**3 - 3*a**2 + 4*a - 3. Let l be d(2). Suppose -3*h = -5*h + 40. Let f be 0/2 - 5/h. Is f smaller than l?
True
Let i = -150.07 - -149. Let y = -0.07 - i. Let q = 3 + -1. Do q and y have the same value?
False
Let x be 2/26 - 1/((-26)/4). Which is greater: x or -1?
x
Let f be (-5)/((-5)/1) + 1. Suppose -2*c - 4*l = c - 12, 0 = -4*l. Suppose 0 = -4*h - 2*j + c, 2*j - 4*j + f = 3*h. Which is smaller: 0 or h?
0
Suppose 33 = -5*r - 4*h - 18, 5*r + 27 = 2*h. Which i