
Suppose -4*x + 2*d + 26 = 0, -d - 3*d = 12. Let a = x - 5. Let m be 1*(a + 0)*1. Which is smaller: m or -7/5?
-7/5
Let l = 744 - 17108/23. Does 1 = l?
False
Let v be 0 + 6032/(-1496) - -4. Is v <= 1?
True
Suppose -h + 2*j = -145, 0 = 4*h - 2*h - j - 299. Which is greater: 150 or h?
h
Let v be 2/4 + -33 + -6. Let c = v - -39. Which is smaller: -1/4 or c?
-1/4
Let g(x) = -x**2 + 10*x - 8. Let l be g(9). Suppose -4*s + 4*a = -56, 0 = -2*s - a + l + 36. Which is bigger: 16 or s?
s
Let w(s) = -23*s - 57. Let q be w(-6). Is q equal to 80?
False
Let n = 0.199 - -150.801. Which is smaller: 0 or n?
0
Let m(r) = -4*r**2 + 52*r. Let n be m(13). Let k = 89/5 + -18. Which is smaller: k or n?
k
Suppose -v - 4*v = -40. Let q be 360/(-10) + 4*-1. Let x be (v/q)/((-99)/(-15)). Is 1 bigger than x?
True
Suppose -4*c + 5 = c. Let y be c*(-6)/3 - -4. Let l(o) = 13*o + 81. Let u be l(-6). Is y greater than or equal to u?
False
Let m = -2 + 1. Let l be (2/(-4))/(414/279). Let o = -2/23 - l. Which is smaller: o or m?
m
Let k = -0.1304 + 18.8604. Which is greater: k or -1?
k
Let w(l) = l**3 - 11*l**2 + 21*l - 22. Let o be w(9). Is o at least -3?
True
Suppose 3*k - 211 = -2*q, 3*k = -k + 2*q + 258. Which is smaller: 70 or k?
k
Let m(w) = -w**2 - 7*w - 6. Let u be m(-5). Let z be (u + 39/(-9))*12. Is z greater than 5?
False
Let l = 235 - 2588/11. Let c be 597/(-132) - 4/(-1). Let o = c - l. Which is greater: o or 4?
4
Let f = 0.079 + 9.821. Let z = -2.1 - f. Is 0 > z?
True
Let m = -0.129 - 1.731. Let p = m - -0.89. Let z = p - -1. Is 1 greater than or equal to z?
True
Let r be (-654)/4 - (-15)/30. Let i = r - -809/5. Is -0.2 > i?
True
Let l = -12/7 + 4/7. Let k be 291/27 + 2/9. Suppose k = -a + 5*x, -5 = -4*a + 3*x - 15. Is a at least l?
True
Let f = -266 + 265.9. Is 5/22 bigger than f?
True
Let m be 339/963 + 1/(-3). Let h be 576/(-1232) - (-2)/11. Do h and m have the same value?
False
Let a(n) = n + 5. Let m(j) = 4*j + 21. Let y(r) = 9*a(r) - 2*m(r). Let l be y(-3). Let t = l - 1. Which is smaller: t or -4?
-4
Let p be (-52 + 49)*-1*3. Which is greater: p or 1?
p
Let p = -251/3 - -1007/12. Is -5.71 smaller than p?
True
Let v = -1.0519 - -0.0519. Is v less than 20?
True
Let g = 0.694 + -0.59. Let i = -4.896 - g. Let c(t) = t**2 + 6*t + 1. Let k be c(-6). Which is greater: i or k?
k
Let c(u) = 1 + 0 + 6 + 2 - 3*u. Let k be c(8). Let i be 12 + k - 18/(-16). Is -1 less than i?
False
Let d = 196 - 57. Let r = d + -139. Which is bigger: 147 or r?
147
Let f = 81 - 278. Is -197 at most f?
True
Suppose -k + 4*y + 9 = 0, 3 = -4*y - 1. Suppose 5*b + 5*h = 5, -2*b + k*h + 41 = 4. Let x = 48 - 41. Which is smaller: x or b?
b
Let c(p) be the second derivative of p**3/6 + p. Let j be c(-3). Let x be j*(-1)/3 + -4. Is 2 at most as big as x?
False
Suppose 2*d = 3*s - s + 34, -48 = -4*d - s. Let k = d + -14. Let c = 1 + k. Which is smaller: -2/27 or c?
-2/27
Suppose -3*q = -5*x - 125, -16*q + 19*q = 4*x + 103. Which is greater: -23 or x?
x
Let m = -11.01 + 0.01. Let n = 10.96 + m. Let v = 0.06 - n. Are 0.09 and v non-equal?
True
Let n(k) = -k**2 - k. Let l be n(0). Let d = -12 + 18. Let t be 2*(-4)/d + 1. Is l at least t?
True
Let x = 229.8 + -122.8. Which is greater: x or -1?
x
Let f = 4383 - 2086307/476. Is f greater than or equal to 0?
True
Let t = 136 - 132. Is t less than 4?
False
Let q = 37 + -38. Is -17/6 at most q?
True
Let h = 82 + -81. Is h at least as big as 17/7?
False
Suppose 0 = 3*l - 19 + 64. Let q be (-66)/20 + (l - -18). Suppose 4*u - 3*x + x = 2, 10 = -u - 3*x. Which is smaller: q or u?
u
Let x be (1 - ((-6016)/(-60))/4) + 3. Let t = -21 - x. Do 0 and t have the same value?
False
Suppose 2*g + 453 - 1427 = 0. Is g greater than or equal to 486?
True
Let u(l) = l + 13. Let p be u(-15). Suppose -4*z = -z - 78. Let w = 53/2 - z. Which is smaller: w or p?
p
Let j = -40 + 44. Suppose -2*k = -j*c + 6, 3*c + 0 - 15 = 5*k. Which is greater: c or -0.006?
c
Let u = -314 - -300. Which is smaller: -59/4 or u?
-59/4
Let x = 0 + -4. Let a be -4*(-3 + (-1)/x - -3). Which is smaller: a or -2/63?
a
Let v = 0.3 + 0. Let h = v - -0.7. Let p(u) = -u**3 + 4*u**2 - 18*u + 39. Let g be p(3). Which is bigger: g or h?
h
Suppose -35 = 7*z + 210. Is z != -36?
True
Suppose -c + 68 = 3*c. Suppose b - 4*b + c = m, -2*b = 3*m - 9. Suppose 219*r - 215*r = 20. Which is bigger: b or r?
b
Let h = -7 + 15. Let f = -41 - -35. Let y = 2 - f. Is h less than y?
False
Suppose l = -6*l + 336. Which is smaller: l or -1/5?
-1/5
Suppose -5*w + 2*w - 15 = -4*c, 2 = 4*w + 2*c. Is 2/227 at least as big as w?
True
Let k = 113 - 227/2. Is k at least 0.043?
False
Suppose -21*r + 4508 = -1414. Which is smaller: r or 280?
280
Suppose 10*x + 95 = -g + 7*x, 425 = -4*g - 3*x. Is -112 smaller than g?
True
Suppose -17 + 6 = -f - s, -4*f - 2*s + 34 = 0. Suppose f*a = -2*a. Let t be a - (-3 + 6/(-10)). Does t = 5?
False
Suppose 0*y + 11 = 3*y - 2*p, -y - 5*p = 19. Suppose 0 = -r - 24 - 45. Let f be 2/6 + 29/r. Is y at most as big as f?
False
Let i(b) be the first derivative of b**4/4 + 5*b**3/3 + b**2/2 + 5*b + 1. Let g be i(-5). Let c be 3045/(-595) - (-2 + (-2 - 1)). Which is smaller: g or c?
c
Suppose -5*z - 2*c - 7 = 1, -3*c = 2*z + 12. Let h(j) = z*j + 4*j - 5 - 2*j. Let w be h(3). Which is smaller: w or -4/9?
-4/9
Let l be (4/((-8)/147))/((-48)/64). Is l at least 97?
True
Let o be (-55)/3 - ((-75)/5)/(-90). Is o greater than or equal to -19?
True
Suppose 11*f = 9*f. Let m = 11 - 10. Suppose -4*b + m - 5 = 0. Which is greater: b or f?
f
Let f = 188 + -325. Let j = f + 69. Let b = -40 - j. Does 0.1 = b?
False
Let w(j) = -5*j - 6. Let a be w(-2). Suppose -4*n - 16 = -a*c, -2*c = 2*n + 4 - 0. Which is greater: 4 or c?
4
Suppose 3*h - 6 + 3 = 0. Let z be (-1 - -1)/h + 32/368. Which is smaller: 0 or z?
0
Let z be 533/26 + (1 - 1/2). Suppose 5*a - z = 2*a. Is -3/2 greater than a?
False
Let y be 44/6*9/(-6). Which is smaller: y or -10?
y
Let h = -1 - -11. Let a = h - 14. Are a and 0 nonequal?
True
Let l = -6/113 + -755/678. Suppose -6*j + 15 = -5*j. Suppose 0 = 3*d + 2*r + r + j, -4*d - 5 = r. Which is smaller: l or d?
l
Let c(m) = -4*m - m**3 + 0*m**3 + 3*m + 1. Let j = -270 - -271. Let z be c(j). Is -3/14 at least as big as z?
True
Let k = -13/35 - -3/35. Are k and 673 equal?
False
Let m be (2/7)/(384/24416)*14. Is 255 at most as big as m?
False
Let k be (-9)/(-6) + 0/3. Suppose 6*x - 2*x - 8 = 0. Suppose -1 = l - x. Which is greater: l or k?
k
Let g = 314 - 14129/45. Let z = g - -77/585. Let r be (-1 - -3)/((-2)/1). Which is smaller: r or z?
r
Suppose 9*v + 180 = 9. Is -23 greater than or equal to v?
False
Let d(t) = t**3 - 4*t**2 + 5. Let m be 9/(-6) + 11/2. Let r be d(m). Suppose 0*g = -4*i - 4*g, -3*i = -r*g + 8. Is -0.1 > i?
True
Let x = 1/16128 - -4521215/16128. Does 279 = x?
False
Suppose 2*t - 5*t - 5*p = 4, -4*t + 16 = -4*p. Let v be 0 - (2/t + -7). Suppose v*q - 3*q = -15. Are -1/4 and q equal?
False
Let f = -7 - -9. Let c = 15 - 11. Suppose -c*i - 10 + 26 = 0. Which is greater: f or i?
i
Let q = 13463/5 - 2660. Which is smaller: 33 or q?
q
Suppose 15 = 5*b, 0*b - 4*b = 4*u - 16. Let z = -8 - -11. Let o be (-1)/z*(-2)/6. Which is smaller: o or u?
o
Suppose 10 = -0*b + 5*b. Let t = b - 3. Let s = 92 + -643/7. Which is smaller: s or t?
t
Let a be 286/(-10) + (-2 - (-16)/10). Let v = a - -42. Which is smaller: v or 9?
9
Let b be -5*14/(-525) + (-84)/(-45). Is b > 14.6?
False
Suppose -730*d - 120 = -720*d. Is d greater than -13?
True
Let j = 46.8 - 11.8. Which is smaller: -1/5 or j?
-1/5
Suppose 0 = -15*y + 7*y - 520. Is -65 > y?
False
Let u(n) = n**3 + 9*n**2 - 3*n - 15. Let l be u(-6). Suppose l - 91 = -q. Which is bigger: -21 or q?
q
Let k be (-33)/(-90) - 13/(195/(-6)). Which is smaller: 2 or k?
k
Suppose -3*l + 18 + 15 = 0. Let f = l - 19. Do f and -7 have different values?
True
Let z be (-2)/(-4) - 62/(-4). Let w be 2/(-8)*z/(-56). Is w not equal to -0.2?
True
Let p be (-4)/(-2) - (-11)/(-3). Suppose c + 2*c - 6 = 0. Suppose -4*z - z = 4*o - 5, -c*o = 5*z + 5. Is z not equal to p?
True
Let n(h) = h**2 + 9*h - 5. Let a be n(-10). Suppose 11*m = 8*m + 18. Which is bigger: a or m?
m
Let r = -104.054 - -0.054. Which is greater: r or -5?
-5
Suppose -18*l = -15*l - 30. Suppose 3*o - 2*n - l = 21, 0 = -o - 2*n + 13. 