*i = -3*b. Suppose 0 = 5*v + 4*j - 30, b*j = 28 - 8. Which is bigger: s or v?
v
Let k = 0.1 - 0.1. Let u = 0.11 + -3.11. Let x = -2 - u. Which is smaller: x or k?
k
Suppose n = 2, 5*j + 3*n - 5 - 1 = 0. Which is smaller: j or -3/44?
-3/44
Let h = 58 - 48. Which is bigger: h or 6?
h
Let q be (-5)/(-20) + 2/(-8). Suppose q = 3*x + 44 - 173. Let c = x + -475/11. Which is greater: c or -0.1?
-0.1
Suppose 2*y + 28 = -2. Which is bigger: y or -13?
-13
Let h be 6/8 + -3 + 2. Which is bigger: -5 or h?
h
Suppose y + 5*s - 2 = 0, 2*y - 2 = -3*s - 26. Let x be y/(-8) - (-1)/(-4). Suppose -l = x*l. Which is greater: l or -1/2?
l
Let m = -23.12 + 23. Does m = 1?
False
Let l(s) = -s**2 + 6*s. Let x be l(6). Let p be (7 - -1)/4 - -3. Suppose x*v - p*v = 0. Is v at most 1/2?
True
Let i = -3 - -1. Let c = i + 1.9. Let a = c - -0.3. Which is greater: a or 0.1?
a
Let o = -1.909 - 0.091. Which is smaller: o or -1?
o
Let k = -0.01 - -0.01. Let o = k - 0.1. Is -0.1 smaller than o?
False
Let n(c) = c - 19. Let h be n(8). Let x(q) = -q**3 - 12*q**2 - 11*q - 6. Let m be x(h). Which is smaller: -7 or m?
-7
Let m = 0.2 + 0.8. Let k = m - 1. Let x = -2.17 - -0.17. Are x and k unequal?
True
Let p = 134 + -936/7. Is 1 <= p?
False
Let o = 5 - 7. Suppose -2*s = b - 20, b - 3*s - 9 = 16. Let d be o/(16/b) - -3. Which is smaller: d or 1?
d
Suppose -q = q. Suppose q = -3*w + 17 - 5. Let r = w - 3. Which is bigger: -4/9 or r?
r
Let t = 72 - 138. Let k = 328/5 + t. Which is smaller: k or 0.05?
k
Suppose -8*q - 1455 = -3*q. Let z = q - -1751/6. Is 1 <= z?
False
Let a = 3 + 1. Suppose -3*k + u - 4 = 0, 0*u + 4 = -a*k + u. Suppose 10 = -3*b + 13. Which is greater: k or b?
b
Let n(v) = -2*v + 6. Let f be n(6). Suppose -3*d = -5*a + 6 + 16, 8 = 4*a. Let c = d - f. Is 3/5 at most as big as c?
True
Suppose j + 4*j = x + 27, 11 = 3*j + 2*x. Suppose j + 1 = 2*y. Let h be 0*y/(-9) - 1. Is h greater than -0.2?
False
Let t be 116/(-330) + (-6)/(-18). Which is smaller: t or -1?
-1
Let g = 31 + -32. Let q be -2 - ((-112)/(-18))/(-4). Which is smaller: q or g?
g
Let y = 15 - 17. Which is smaller: y or -0.02?
y
Let c be (-12)/(-1)*(-1)/(-3). Let s = -83 - -86. Is c less than s?
False
Suppose 6 = -f - f. Let x = 4 + f. Is 0 greater than or equal to x?
False
Suppose -c - 4*c = 10. Is c less than or equal to -2?
True
Let g = 2/147 + 101/3381. Which is bigger: 4 or g?
4
Suppose 4*k + 1 = 3*j + 2, -3*k - 2*j + 22 = 0. Let a = k - 3. Let p = -5/14 - -9/14. Is p greater than a?
False
Let d(l) = 7*l**2 + 3*l + 3. Let h(w) = -6*w**2 - 4*w - 3. Suppose q + 2*q = 18. Let b(n) = q*h(n) + 5*d(n). Let s be b(-9). Is -3 greater than or equal to s?
True
Suppose 5*b + 31 = 4*w - 2*w, 5*b = -2*w - 19. Let x(s) = 11*s - 3. Let t be x(w). Let n be 38/t + 3/(-5). Are n and 0 equal?
False
Let u(l) = 7*l + 7. Let i be u(-3). Let m = i + 13. Which is smaller: m or -1/8?
m
Let u be 3/12 + (-1826)/8. Let d = -1601/7 - u. Is d > 0?
False
Let x = 22.8 - 22. Let g = 1.8 - x. Is g >= -18?
True
Suppose -21 = 2*f + 3*s, -2*f + f = 3*s + 15. Let k be (10 + -14)/(2/3). Is f smaller than k?
False
Let z be (-66)/(-10) - 4/(-10). Suppose 0 = -4*r - 12, -z*r + 4*r - 30 = -3*o. Which is greater: 6 or o?
o
Let r(x) = -4*x + 3*x + 2*x - 5. Let d be r(6). Let w = 3/7 + -16/21. Which is smaller: w or d?
w
Let x = -130 + 1951/15. Which is bigger: 1 or x?
1
Let r = 0.35 + -0.25. Is r at least -0.08?
True
Let x = -10 + 15. Suppose k - 5*k + 20 = 5*v, -x*k + 25 = -4*v. Is 1 bigger than v?
True
Suppose -3*r + 6 = 4*p, -p + r = -2*r - 9. Let x = -12 - -17. Which is greater: x or p?
x
Let c = -55/574 + 1/41. Is c at most -1?
False
Let n be -1*(-1 - 2 - -1). Let t be (-2)/4*0 + n. Let s be 2/(-10) + (-2)/(-10). Is s at least as big as t?
False
Let g = 458 - -76. Let q = g + -13352/25. Do 0 and q have different values?
True
Let n(j) = 0*j**3 + 2*j - j - j**3. Let m be n(0). Let t be m*(-2 + (1 - 0)). Is t != -2/5?
True
Let t = 8.19 + -8. Let k = t - -0.01. Which is bigger: k or -5?
k
Let a = 5 + -11. Let q = 6 + a. Let k = 0 + -1. Which is greater: q or k?
q
Let x = -1 + 0. Let q be -2*1/4*(-12)/(-14). Which is bigger: x or q?
q
Let v be (2/(-3))/(1/(-12)). Let w be (0/1)/(v - 7). Is 1 > w?
True
Let l(a) = a**2 + a + 1. Let x(f) = -f**2 - 1. Let g be x(0). Let s be l(g). Let c = -0.3 + 0.1. Which is smaller: c or s?
c
Let f = 27 - 28. Is f at most as big as -2/29?
True
Let w(a) = -2*a + 13. Let u be w(6). Suppose 2*g + 18 = 3*q + 4*g, 0 = -2*q + 3*g + 12. Let i = -4 + q. Which is smaller: i or u?
u
Let u(c) = -c**3 + 9*c**2 - 7*c - 2. Let f be u(8). Is f at least as big as 8?
False
Let j(f) = f**2 - 4*f + 3. Let a be j(4). Suppose 3*p - 7*p + 8 = 0. Which is smaller: p or a?
p
Suppose 4*y + 5 = 3*u + 28, 3*y + 5*u + 19 = 0. Suppose 8 = y*l - 3*q - 2, -2*l = q + 6. Let i be -3 + (-4)/((-28)/19). Is i smaller than l?
False
Let a(n) = -3*n**3 - 13*n**2 + 9*n + 9. Let p be a(-5). Is p greater than or equal to 13?
True
Let u(i) = -i**2 + 6*i - 5. Let q be u(5). Suppose q*p - 24 = -3*p. Let a = p - 5. Is a != 1?
True
Let r = -1730/91 + 132/7. Let j(p) = -p**2 + p + 1. Let g be j(-1). Which is smaller: g or r?
g
Let s be 1/3*2*-1. Let f = 0.1 + -0.6. Let i = f - -0.5. Does i = s?
False
Let p = -7 - -12. Suppose -5*u + 5*g = -7 + 47, p*u = -4*g - 13. Does -4 = u?
False
Let z(r) = -r**3 + 5*r**2 + 9*r - 15. Let p be z(6). Suppose 2*t - 4*f + 3*f - 9 = 0, 2*f + 2 = 0. Is p at most as big as t?
True
Let f be -12 - (-2 + 3 + -5). Which is greater: f or -7?
-7
Suppose 3*o - 27 = 6*o. Is o <= -8?
True
Let c = 17 + -18. Let t = -3 - -4. Which is bigger: c or t?
t
Let z be (1 - (3 + -1))/1. Which is greater: z or 4?
4
Suppose l = -2*i + 13, 2*i = 2*l + 4*i - 36. Do l and 24 have the same value?
False
Let h = -0.134 + -14.866. Is 0.3 at most as big as h?
False
Let j = -2.97 + 3. Let k = -0.97 - j. Do -0.6 and k have different values?
True
Let k be 26/(-50) + 2/20*5. Which is greater: k or 1?
1
Suppose -3*s = 4*i - 20, i + 3*s + 2*s = 5. Suppose 0 = -3*k + i*j - 17, -5*j = -k - 3*k - 16. Are 2 and k nonequal?
True
Let i = 0 + -9. Let x = i + 8.8. Let y = 5.8 - 6. Are y and x non-equal?
False
Suppose -5*z - 2*s + 4 + 6 = 0, 5*z - 10 = 3*s. Let r = 7 + -1. Let v be 14/60 - (-1)/r. Which is bigger: v or z?
z
Let y = -0.7 + 0.4. Let w = -1.216 + -0.084. Let n = w - y. Which is bigger: 4 or n?
4
Let v(g) = -2*g**2 - 5*g + 3. Let h be v(-3). Which is bigger: 3/25 or h?
3/25
Let d(u) = u**2 - u - 1. Let w be d(-1). Suppose 2*y - 1 = w. Is y <= 3/7?
False
Let y(g) = g**3 + 6*g**2 + 5*g - 1. Let p be y(-5). Let s = 0.1 + -0.1. Let b = -2 - s. Do b and p have different values?
True
Let x be 24/22*(-1)/(-2). Let m be (-9)/3 + (1 - (-7 + 4)). Which is smaller: m or x?
x
Let u(i) = -i - 3*i**2 - 2 + 3*i**3 + 0 - 1 + 2. Let b be u(3). Let h be 15/(-2)*(-8)/b. Is h at most as big as 0?
False
Let m(k) be the third derivative of k**5/60 + k**4/3 + k**3/2 - k**2. Let z be m(-8). Is z != 3?
False
Let t = -9 + 5. Suppose 4 = 4*u + 2*s, 2*u + 3*s - 3 = -1. Let m = u - 6. Which is greater: t or m?
t
Let o(n) = n + 10. Let g be o(-10). Which is smaller: g or -1/3?
-1/3
Suppose -19 = -3*y - 3*w + 17, y - 9 = -4*w. Is 14 > y?
True
Let m = 0.25 + 0.01. Let t = m + -0.5. Let q = 0.06 - t. Which is greater: q or -1?
q
Suppose 0 = 4*g - 2*g - 70. Let c be 21/g - (-8)/(-5). Which is bigger: -2 or c?
c
Let z = -10 - -10. Let m = 0 + z. Suppose 2*g = 7*g + 5. Which is bigger: g or m?
m
Let g = 102 - 102. Are 5/7 and g equal?
False
Let n be 14/(-84) - (-17)/3. Which is smaller: n or 6?
n
Suppose 36 - 1 = -5*j. Which is greater: -8 or j?
j
Suppose 2*g = -5*z - 0*z + 14, -z = 2*g + 2. Let i be (-3 + 1)*g/6. Which is greater: i or -1/16?
i
Let j = 0.2 + 0.1. Let x = 9 - 9.1. Let t = x + j. Is t smaller than 1?
True
Let v(g) = -g**3 + 4*g**2 - 4*g + 3. Let x be v(3). Which is greater: x or -1/16?
x
Suppose 20 = 5*y, -4 = -3*p - 0*p - y. Suppose p*z + 9 = 2*i + z, 3*i - z - 1 = 0. Suppose i*k + 3 = -k. Is -1 greater than or equal to k?
True
Suppose u = 3*u + 4. Let g = 466 + -5132/11. Which is greater: g or u?
g
Let k be (6/12 - 2)/(3/(-2)). Let l be (-48)/(-95) + 2/(-5). Which is greater: k or l?
k
Let q(p) = 15*p + 6. Let t be q(-3). Does t = -38?
False
Let k be (-30)/(-9) + 14/(-6) + 2. Is k a