+ 9, c*l + 3 = -5*r. Which is smaller: 3 or r?
r
Suppose -10 + 9 = d. Let c(t) = -5*t + 1. Let b be c(1). Which is greater: d or b?
d
Let v = 2 - 3. Let n(g) = -g - 10. Let h be n(-17). Let d(y) = y**3 - 8*y**2 + 5*y + 14. Let q be d(h). Which is smaller: q or v?
v
Let p be (-2)/(-12) - 1330/60. Let r be -9 + 8 + p/(-4). Which is greater: 5 or r?
5
Let x(m) = -m**3 + 12*m**2 - 10*m - 11. Let b be x(11). Is b at most 0?
True
Let j = 4.8 + -5. Let o = j + -0.4. Let p = o - 0.1. Are 1 and p equal?
False
Suppose k + 0*k + 3 = 0. Suppose 3*c = -c - o - 13, 4*o + 18 = c. Let j be c/1 + 24/9. Is j less than k?
False
Suppose -5*x + 6 = -5*v - 4, 3*v = -2*x + 4. Is 22/7 < x?
False
Let l = 11 - 13. Let j = -9 + 13. Let t(r) = -2*r + 5. Let y be t(j). Is y equal to l?
False
Suppose -3*c - 4 = -4*x, c - 5 = x - 6*x. Let z be (-1)/((-33)/(-12) + c). Is z smaller than -1?
False
Let x = -7 - -8.1. Let f = x + -0.2. Are f and -0.1 non-equal?
True
Suppose 0*b - 6 = 2*b + 3*g, 2*g = -b - 3. Let u be 0/(-3 + 2 + 0). Let q = u + -3. Is b at least as big as q?
True
Let u(c) = -6*c + 31. Let g be u(4). Which is smaller: g or 4?
4
Let n = -4 - -4. Suppose 2*w = -n*w - 6. Is -3 equal to w?
True
Let b = -56.3 - -54. Let x = 2.4 + b. Which is smaller: x or 1?
x
Let o(x) = x**3 - 3*x**2 + 2*x - 1. Let h be o(2). Is -3/16 != h?
True
Let g(j) = -3*j**2 - 1. Let y(m) be the second derivative of -m**3/6 + 5*m**2/2 - m. Let l be y(6). Let b be g(l). Is b at least 0?
False
Let a = 0 + 4. Let k = 0.02 - -6.98. Let y = a - k. Is 0 at most as big as y?
False
Suppose 2 - 3 = -u. Which is bigger: u or 2/5?
u
Let o(w) = -3*w**2 - w + 3. Let a(s) = 4*s**2 + s - 4. Let p(f) = 4*a(f) + 5*o(f). Let u be p(2). Let b be -1 + 9/5 + 0. Which is smaller: u or b?
b
Let i be (1 - -7)*(2 + -1). Let d be (-42)/9*12/(-8). Is d not equal to i?
True
Let d = 17080382/31 - 550770. Let n = 210 - d. Which is smaller: 1 or n?
n
Suppose -5*g - 5*x + 20 = 0, -4*g - 12 = -9*g - x. Suppose -a = g*a. Is a at least 4?
False
Let u = 350013 - 5245993/15. Let f = u - 280. Which is bigger: 0 or f?
f
Let u = -11 - -10. Let x be (-3 + 0)/15*-1. Let w = x - -2/15. Is u greater than w?
False
Let h be 1*(-5 + -1) + 0. Let d be (-4)/h*9/4. Let m be (-2)/4*(1 - 7). Which is greater: d or m?
m
Let u = -23 + 22. Is u at least -0.07?
False
Let u = 3.3 + -3. Let g = u + -1.1. Is g > 0?
False
Let n = 15050 - 90077/6. Let h = n - 37. Is h at least -0.2?
True
Let f be (90/35)/(-2) - -1. Are -10/9 and f non-equal?
True
Let k(w) = 2*w**2 - 20*w - 6. Let i be k(10). Is -1 at least i?
True
Suppose -s + 5*j = -38 + 13, -s = 5*j + 25. Suppose 4*w + 6 + 2 = s. Let c be w + (18/(-22) - -3). Is 0 at least c?
False
Let l(p) = -p**2 - 3*p + 6. Let c be l(-5). Suppose -4*j + y = 9, 0 = 2*j - 5*y - 0 - 9. Is c smaller than j?
True
Suppose -4*c + 3*x - 34 = 0, -6*c + 5*x = -2*c + 38. Is -0.3 < c?
False
Let i = -1.4 + -5.6. Let j = i - -7.3. Let g be 2/10*(-5)/(-2). Is j at most g?
True
Suppose 0*x + 4 = -x. Let b be x*(1 + (0 - 0)). Let h be (-2)/b*2 + -1. Which is smaller: -2/5 or h?
-2/5
Suppose -5*h + 0*h + 10 = 0. Let l(y) = y. Let j = 11 + -7. Let g be l(j). Is h less than or equal to g?
True
Suppose -g = -2*g - 3. Let d(z) = -z - 11. Let n be d(6). Let s = n + 14. Are g and s nonequal?
False
Let a be 2/3 + (-12)/18. Which is smaller: a or 2/21?
a
Suppose 0 = -5*n + c - 16, -4*c = -2*n - 9*c - 28. Let g(l) = l**3 + 4*l**2 + 2*l + 6. Let s be g(n). Do -7/3 and s have the same value?
False
Let o = -853/12 + 71. Are 2 and o nonequal?
True
Let d = 39/11 - 3805/1067. Which is bigger: 0 or d?
0
Let j be (-5)/6*(-6)/2. Is j bigger than 3?
False
Suppose 5*r - 9 = 6. Suppose 1 = r*f - 2. Let w be 1*(-3)/1 - -3. Is f >= w?
True
Suppose 0 = 3*l - 2*l, -3*f - l = 0. Suppose -4*s + 2*s + 3*y + 4 = f, -5*y - 13 = 3*s. Let t = 2 - 3. Is s at most as big as t?
True
Suppose 3*l = 4*l + 5. Is l < -7?
False
Suppose n + 5*q = 33, -21 = 2*n - 3*n - q. Suppose 0 = 14*f - n*f + 44. Is f >= 11?
True
Suppose -5*f + f - 2*b + 28 = 0, -2*b + 3 = -f. Suppose 0 = -f*v + 21 + 9. Is v bigger than 7?
False
Let o = 57 + -19. Let v be (-12)/13*19/o. Is v less than 0?
True
Let j = 193/5 + -39. Let f(v) = -v**3 + 3*v**2 + 3*v + 5. Let q(n) = n**3 + 4*n**2 + n - 2. Let o be q(-3). Let b be f(o). Which is greater: b or j?
b
Let g = 9 - -6. Let f be (g/6)/(-5)*-18. Let a be 46/(-8) - f/(-12). Which is greater: a or -6?
a
Let k be 0/(-2)*(-4)/(-8). Suppose f - 2 = 0, k*d + 8 = 2*d + 5*f. Is d >= -2/7?
False
Let p be (16/10)/((-1)/(-5)). Let x = 14 + p. Suppose 13 = -d + 5*y, -4*y = -0*d + 5*d - x. Is d greater than 2?
False
Suppose 29*o - 18*o = 132. Are o and 15 non-equal?
True
Let c = -108/23 + 4690/989. Which is bigger: c or -1?
c
Suppose 5*y + 102 = -113. Let c = y - -303/7. Let w(p) = p - 7. Let v be w(6). Do c and v have different values?
True
Let t = -0.9 - -1. Let f(x) = 5 - 2*x - 2*x**2 + 7*x + x**2. Let s be f(5). Is t > s?
False
Let n = 2/41 + 29/246. Do n and 0 have the same value?
False
Let j = -80 - -81. Which is smaller: 7/8 or j?
7/8
Let d = 3/7 - 6/7. Is d at least as big as 1/4?
False
Let f(x) = -x**3 + 8*x**2 + 9*x + 10. Let m be f(9). Let l(t) = m + t + 2*t - 4*t. Let i be l(7). Is i less than -0.2?
False
Suppose -6 = -4*z + 2*g - g, -4*z + 5*g = 2. Are 14 and z nonequal?
True
Suppose -3*o + 6 = -9. Suppose z = o*z. Let l be (-10)/(-8)*(z + -1). Which is smaller: l or 0?
l
Let w(f) = -f**3 + 6*f**2 - 6*f + 5. Let o be w(5). Suppose 2*t - 4 = 6*t. Is o smaller than t?
False
Suppose 2*h - 1 = 1. Let v be 4 + -5 + 0 - (-52)/46. Which is smaller: h or v?
v
Let k = -1.8 - -1.5. Which is bigger: 0.2 or k?
0.2
Let b = 99193/14790 + -10/1479. Let g = b + -41/5. Which is bigger: -2 or g?
g
Let u = 1/17 + 14/51. Let w be (-2)/3 + (-17)/(-3). Suppose 2*m - 3 + w = 0. Is u at most m?
False
Let c = -76 - -68.1. Let y = 8 + c. Is -0.04 smaller than y?
True
Suppose -2*q = -q - 5*x + 5, -3*x + 3 = 2*q. Let w be 16/(-168)*(-2)/12. Let l = w + -10/63. Which is smaller: q or l?
l
Let y = -8.3 - -8. Which is smaller: y or -0.2?
y
Let w be ((-2)/((-8)/3))/(-2). Let b be (-28)/(-8) - (-1)/2. Suppose 6*t - b*t = 2. Is t > w?
True
Let o be (-1 + 3)*(-2)/(-1). Suppose p = o - 5. Which is smaller: p or -1/8?
p
Let j(g) = g**2 - 2*g - 4. Let t be (-25)/(-9) + 6/27. Suppose -k - t = -2*k. Let y be j(k). Is y at least as big as -2?
True
Let z = 4/129 - -214/1419. Which is greater: z or 0?
z
Let z = 0 + -0.1. Which is smaller: z or 1?
z
Suppose -3*s - s + 52 = 0. Suppose -3*x + 6 + 0 = 0. Suppose -r + l = 4*l - s, -4*l + 14 = -x*r. Is r at least as big as 1?
True
Let v = 1 - 1.4. Let l = v - -0.6. Let c = -3.4 - -0.4. Which is greater: c or l?
l
Let i = -0.5 - -0.6. Let m = 2.9 + -3. Let c = m + 1.1. Do c and i have the same value?
False
Let v = -1.29 - 5.41. Let c = v + 7. Let t = -1 + 0. Which is smaller: c or t?
t
Suppose -1 + 3 = r. Suppose -4*w + v = -18, -4*v + 5 + 7 = 5*w. Which is greater: w or r?
w
Suppose 4*s + 2 = 6*s. Let z = 0.09 + -8.09. Let f = z - -7. Which is smaller: f or s?
f
Let c(p) = -2*p**2 - 6*p - 1. Let h be c(-4). Are h and -10 non-equal?
True
Let u be 2/(-28)*-1*(-32)/(-8). Is -16 at least as big as u?
False
Suppose 0 = -3*j + 5*l - 31, 0 = 4*l + 16. Which is bigger: -18 or j?
j
Let t = -7 + 4. Let v = 20 - 11. Let i = -13 + v. Which is smaller: i or t?
i
Suppose 63 - 3 = 2*i. Let r be i/(-5) - 2*-1. Is -4 <= r?
True
Let p = 42 + -156/5. Let u = p + -388/35. Suppose 8*t + 5*t = -117. Is u at most t?
False
Let k be 18*(-1 - 0 - -2). Let l be (-10 - 1)/((-3)/k). Let w = 129/2 - l. Which is smaller: w or -1?
w
Suppose -6 = -3*c + 15. Suppose -c = v - 0*v. Are v and -7 unequal?
False
Suppose 2*t + 4*q = 5 + 1, 3*t - q - 9 = 0. Suppose -4*p - 5*w - 2 + 7 = 0, 4*p + 3*w - 11 = 0. Which is greater: p or t?
p
Let w(j) = j**2 - 9*j - 13. Let g be w(11). Let z(d) = -d**3 + 9*d**2 + d - 11. Let m be z(g). Which is smaller: -1 or m?
m
Let g be -5*(-6)/10*14. Which is smaller: g or 43?
g
Let c = 51 - 55. Let f(y) = y**2 - y - 3. Let m be f(3). Suppose 1 + m = -b. Is c != b?
False
Let c = 0.79 + 0.11. Which is bigger: 2 or c?
2
Suppose -6 - 2 = 2*g. Let x be (-6)/(-30)*30/g. Which is greater: -0.1 or x?
-0.1
Let t be ((-228)/(-115) + -2)/(6/(-90)). Are -1 and t non-