equal?
True
Let q be (566/4 + -3)/(285/(-66)). Let y = q - -408/19. Is y equal to -10?
False
Let k be -1*-3*(0 - 1). Let s(z) = -z**3 + z**2 + 3*z - 5. Suppose -4*v = -3*v - 2. Let c be s(v). Is k bigger than c?
False
Let r(s) = -19*s + 128. Let n be r(6). Let t be (16 - 2) + -3 + 2. Are t and n non-equal?
True
Let a(b) = 2*b**3 - 5*b**2 + 4*b + 1. Let p be a(4). Suppose 37*q = 2*q + 2310. Which is bigger: p or q?
q
Let n = 628 + -642. Let k = 852/2155 + 2/431. Which is greater: n or k?
k
Let o(f) = -f**2 + 24*f - 120. Let n be o(7). Which is smaller: 1/205 or n?
n
Suppose -5*d = 13 - 3, -4*d = -4*g + 8. Let r be (-5)/(-1*(-2)/(-4)). Let y be (-7)/42*8/r. Is g bigger than y?
True
Let y(x) = x**3 + 5*x**2 + 3. Let z be y(-5). Let w be 1/(-4) - 57/(-4). Suppose q - z*b = w, 0 = 8*q - 3*q - 2*b - 5. Does -2 = q?
False
Suppose 0 = -4*d + 5*g - 66, -54 = 12*d - 8*d + g. Which is smaller: -21 or d?
-21
Let z = 25184479/130 - 193725. Let b = z - 9/5. Which is smaller: b or 1?
b
Suppose 0*f - 40 = 2*f. Let w be 4/(-10) + (-28)/f. Which is bigger: w or -6/13?
w
Let i(h) = -2*h**2 - 104*h - 63. Let w be i(-48). Is 319 at most as big as w?
True
Let o(n) = 0*n + n**3 + 3*n - 2*n - 4*n**2. Let k be o(4). Does k = 6?
False
Suppose -4 = -7*x + 11*x. Let c be -6*x/(-8)*4. Which is smaller: c or -2/9?
c
Let r = 1.74 - -0.03. Let l = r - 0.77. Are -3.2 and l nonequal?
True
Suppose 4*u + 2*n - 18 = 0, -u + 5*n = -0*u - 10. Suppose -u*v + 4 = -16. Suppose -30 = 3*z - 9*z. Is z <= v?
False
Let u = -5.24 - -5.9. Let o = u + -0.76. Does 26 = o?
False
Let f = 4 - 25. Let j be (3 - f/(-6))*36. Which is greater: -17 or j?
-17
Suppose 27 = -5*x + 362. Let l = x - 265/4. Let z = -12 - -8. Is z greater than l?
False
Let x be ((-82)/14 - 58/406) + 5. Does x = 3/373?
False
Let o be (-2)/(-7) - 15/(-21). Let m = -256/19 - -15047/1121. Is m < o?
True
Suppose -2*v + 5 = -p + 15, p + 4*v = -20. Is -6/257 greater than p?
False
Let s = 8 - -3. Suppose -101 = -9*z - s. Which is smaller: -3 or z?
-3
Suppose 2*o = -2*r - 0*r + 52, 2*o + r = 53. Is o less than 29?
True
Let c = -26.7 - 3.3. Let r = 29.889 + 0.011. Let t = c + r. Which is greater: t or 1.5?
1.5
Suppose -5 - 3 = -2*j. Suppose j*a - 17 = -1. Suppose 8*c = 39 - 31. Which is smaller: c or a?
c
Let x(u) = 16*u + 83. Let f be x(-5). Which is smaller: f or 19/5?
f
Suppose 2*n + 26 = 4*j, -2*j + 3*n + 4 = -15. Let y = 9 + -5. Suppose -y*z + 13 = s, 4*z + s + 3*s = 4. Which is smaller: z or j?
z
Let u = -50 + 27. Let a = u + 17. Is a greater than or equal to -7?
True
Let d be 6/(-369)*(-111)/(-3922). Which is smaller: d or 1?
d
Let k = 1 + -1.1. Let z = 19.6 - 19.41. Are z and k nonequal?
True
Let p = -15 + -17. Let v = -2.848 + 1.848. Which is smaller: v or p?
p
Let k = 16.2 + -14.2. Is -1/9 > k?
False
Let t be -75*9/((-225)/(-10)). Let l = -49 - t. Is l less than -19?
False
Suppose -i + 14 = 2*w + 3, -2*w = -2. Suppose -y - 15 = i. Which is bigger: -23 or y?
-23
Let f = -15659/58 + 270. Let r = 0.14 + -1.14. Is r smaller than f?
True
Let m = 418 + -414. Which is smaller: -3.4 or m?
-3.4
Let j = 6.598 - -19.39. Let d = j - -0.012. Let x = -7 + d. Which is bigger: x or 0?
x
Let q(i) be the second derivative of i**3/6 + 5*i**2/2 + 12*i. Let u be q(-8). Let o be -1*(-16)/6*u. Is -9 at most o?
True
Let b(s) be the first derivative of -s**2/2 + 3*s - 1. Let p(i) = i**2 - 24*i + 99. Let d be p(19). Let j be b(d). Do -5/6 and j have the same value?
False
Suppose -4*y = 4, 4*v - 6 = 6*v + 4*y. Is 4/325 < v?
False
Let g = -6439 + 6438.8. Let n = 178/63 - 28/9. Is n greater than g?
False
Let z = -162 + 193. Is z < 157/5?
True
Suppose 0 = -50*d + 63*d + 65. Which is smaller: 13 or d?
d
Let p be 38 + -58 - (2 + 7). Is p at least -5?
False
Let g be 845/7488 - 2/18. Is 1 < g?
False
Let u = -1155970/387 - -2987. Is 2/7 smaller than u?
False
Let g = 1996/15 + -413/3. Let s = g + 641/135. Suppose -5*w - c = -4, 0 = 2*w - 3*c - 1 + 13. Is w >= s?
False
Let f be (-1514)/48 - (3 - (-8)/(-3)). Is f less than -31?
True
Suppose 0 = 8*u - 0*u. Which is greater: 10/99 or u?
10/99
Suppose 0 = -5*w - 5 + 10, -n + 4*w + 535 = 0. Which is bigger: n or 540?
540
Let h = 197 + -177.6. Let r = 18 - h. Let b = 1.2 + r. Is b greater than 7?
False
Let v(b) = b**3 - 17*b**2 + 16*b + 14. Let y be v(16). Suppose -3*i + 16 = i. Suppose i*n = -u + 3*u + y, -2*n - 4*u = -12. Is 5 at least as big as n?
True
Let d = 1555362434/7989 + -194688. Is -1 greater than or equal to d?
False
Let d = -11317/21 + 539. Let o = -1929.1 + 1929. Which is smaller: o or d?
o
Let v = 232 - 133. Let l = -100 + v. Is l at most -3/20?
True
Let t = -0.0678 + 4.0678. Is t less than or equal to 2/19?
False
Let s = 398.2 + -398. Let y = -5 + 41. Is s >= y?
False
Let n = 9490 - 57203/6. Let y = -4639/102 - n. Is -1 < y?
False
Let k = 2 + 4. Suppose k*i = 8 + 4. Which is bigger: i or 3?
3
Let y(p) = 6*p**2 - 2*p**2 - 3*p - 1 - p**3 + p**2. Let i be y(4). Is 3 greater than i?
False
Let z be (-157)/158 + 1*(-2 + 3). Is z bigger than 1?
False
Suppose 31 + 38 = -84*p + 61*p. Let y = 5 + 9. Let b be 2/(-4) - y/4. Which is smaller: p or b?
b
Suppose 5*h = -2*n + 2*h - 6, 4*h + 8 = 5*n. Let a(x) = -x**3 - 3*x**2 + 4*x + 1. Let i be a(-4). Which is smaller: i or n?
n
Let q(h) = -3*h + 7. Let c be q(6). Let t(v) = 2*v + 17. Let m be t(c). Are -5 and m non-equal?
False
Let x = 43.7 + -46. Let m = x + 0.3. Is m equal to 12?
False
Let h = 8.2371 - 8.15. Which is greater: h or 2?
2
Let p(j) = -4*j**2 - 50*j - 9. Let u be p(-14). Which is smaller: u or -90?
u
Let l = -283/10 - -287/10. Is l smaller than 5/86?
False
Suppose 3*z - 6 = 0, 10*z - 8*z = 4*u + 236. Suppose -4*i + l + l = 238, 2*l - 10 = 0. Which is greater: u or i?
i
Suppose 14588 + 27220 = -48*w. Is w at least -872?
True
Let t be ((-1)/(5/6))/((-1023)/465). Which is smaller: -2/7 or t?
-2/7
Let w = 18 - 7. Let s = w + -5. Let p = 5.9 - s. Do p and -6/7 have different values?
True
Let s = -1859 - -1858. Which is bigger: s or -7/108?
-7/108
Let d = 27 + -27. Suppose -3 - 22 = -5*g, d = i + 3*g - 27. Is 13 less than or equal to i?
False
Let t = -1104.02 - -1083. Let w = t - -21. Which is smaller: 1 or w?
w
Suppose -n = 7*n + 176. Let t = n + 13. Is -9 greater than or equal to t?
True
Let u be ((-12)/(-5 - -1))/(3/4). Suppose u*x = 4*g - 4, 3*x + 9 = 4*g - 0*x. Is g smaller than 7?
True
Let q = -113.5 + 13.5. Which is greater: q or -0.1?
-0.1
Suppose 0 = 21*o + o - 3*o. Is o greater than or equal to -1/57?
True
Let w(y) = 4*y**2 + y + 1. Let m be w(-1). Let g be m*(-1)/(-4) + -1. Let l be 0 - (1 - (-12)/(-10)). Is l >= g?
True
Suppose 6*g - 90 = 78. Let u = -30 + g. Which is bigger: u or -6/5?
-6/5
Suppose 5*r + 18 = -40*q + 37*q, 0 = 3*q - 2*r - 3. Which is smaller: q or 1/25?
q
Suppose -3*j - k + 3*k = -15, -4*j - 4*k = 0. Let t(y) = -y + 10. Let g be t(-4). Let f = g + -10. Which is bigger: f or j?
f
Let q(d) = d**2 - 1. Let g be q(-1). Let h = -48353/65 - -9678/13. Let z = -10/13 + h. Which is greater: g or z?
g
Let v = 12 + 5. Let s = v + -17.1. Suppose 0 = -3*r + 3*o - 12, 2*r = -5*o + 12 + 15. Is r equal to s?
False
Let c(w) = -5*w**3 + 5*w + 5. Let r be c(-3). Is r less than or equal to 125?
True
Suppose -16*r + 2580 = 500. Is 130 bigger than r?
False
Let h(y) = 2*y**3 - 14*y**2 - 13*y + 4. Let b be h(7). Let a = 84 + b. Is -3 at least as big as a?
True
Let v(o) be the first derivative of o**3/3 - 6*o**2 + 10*o + 7. Let n be v(12). Let h = -27 + 39. Is n at least h?
False
Let x be (6/(-18))/((-2)/36). Let w be ((-4650)/(-1125))/(((-4)/3)/(-2)). Do w and x have the same value?
False
Suppose 4*c + 138 = -210. Which is bigger: c or -86?
-86
Let d = -62 - -87. Suppose -3*f = -5*w + 2*f + d, -f = 5. Which is smaller: w or 1/16?
w
Let o = -22 + 10. Let h = o - -6. Let j = h - -6.1. Is -4 smaller than j?
True
Let w(i) = 8*i**3 - 2*i + 1. Let l be w(1). Suppose x + 5 = 5*z, -3*z - l - 2 = -3*x. Suppose -h = -3*h - z. Which is smaller: h or 1?
h
Suppose -3*x - 4*p = -27, 12 = -2*x - p + 35. Which is bigger: -3 or x?
x
Suppose -2 = -5*d + 3. Suppose -6 = 4*s + 2*t + 2, 12 = 3*t. Let f be (-3)/(-5*(s - -2)/(-2)). Is d >= f?
True
Let q(s) = -7*s - 9. Let y = -34 - -22. Let c be q(y). Suppose -9*i + c = 282. Do -22 and i have different values?
True
Let 