q or 1?
1
Let y(q) = 0 - 8*q + 19*q**2 + 2*q**3 - 5 + 29. Let c be y(-10). Which is greater: 19/7 or c?
c
Suppose 0 = 6*l - 18, 7*t - 1886 = 5*t - 2*l. Is t less than or equal to 940?
True
Suppose -m = -2*j - 5*m + 140, 4*m = -5*j + 350. Is 67 bigger than j?
False
Let z = 314 - 96. Which is smaller: 220 or z?
z
Suppose -5 = 2*x - x. Let k(f) be the third derivative of f**5/60 + 7*f**4/24 + f**3/2 - 7*f**2. Let q be k(x). Which is greater: q or -9?
q
Let s = 390181/5 - 78325. Let w = s - -290. Which is smaller: w or 1?
1
Let b be -4*((-159)/24)/((-23)/46). Is b >= 3?
False
Let x = 0.218 - 0.418. Is -90 >= x?
False
Suppose 11*v - 2*v - 63 = 0. Suppose -4*g - v = -5*g + 2*s, 5*s + 15 = 0. Is 4/33 at most g?
True
Let y be (12/2)/(-2) + -1. Let p be (-89)/249 + y/(-12). Are 0 and p nonequal?
True
Let z be (4/6)/((-26)/(-195)) - -16. Are z and 27 non-equal?
True
Let g(t) = -t**2 - 12*t - 12. Let a be g(-11). Which is bigger: 2 or a?
2
Let v be (1 - 1294/(-22))/17. Let b be 14 + -18 - 4/(-11). Let d = v + b. Which is smaller: d or -1?
-1
Suppose 147 = -5*n + 3*w, n - 5*w = 4*n + 95. Let s = -59/2 - n. Let o be (-8)/(-5) + 2/5. Which is greater: s or o?
o
Let s = -1182 + 613. Is s < -568?
True
Let r = -315533/13 + 24309. Is 38 at most r?
False
Let h = 9 + -9.3. Let z = 0.08 - 5.08. Let x = -1 - z. Which is bigger: x or h?
x
Let s be (4/6)/(2/15). Let z = s - 8. Suppose 1281*i + 96 = 1249*i. Is z bigger than i?
False
Let z = 7 + -17. Let p be (64/20)/((-1)/z). Which is bigger: p or -1?
p
Let r(o) = -3*o**3 + 13*o**2 - 7*o + 8. Let n be r(3). Which is smaller: 18 or n?
18
Suppose 4*n - 2*v = 270, 0 = 2*n + 5*v - 137 + 32. Suppose -n*w + 2 = -67*w. Is -6 <= w?
True
Let x = 0.0317 + -7.0317. Let q = -2.05 + 0.03. Let v = -0.02 - q. Is x != v?
True
Let t be 2/(-10) - (-1)/(2640/15508). Let i = t + -15/44. Which is bigger: i or 4?
i
Suppose 66 = 5*y + 71. Is -2/349 greater than y?
True
Let x = -11 - -19. Suppose 0 = -2*f - 2*n + x, -2*f + 3*n + 4 = n. Suppose -f*k = k - 3*y - 23, -5*y - 35 = -5*k. Is k less than 4?
True
Suppose -3*b + 12 = -4*b. Suppose 54 = d - 7*d. Let l = -21 - d. Are l and b nonequal?
False
Let o = -3464126/4678655 + -38/14485. Let m = 18/17 + o. Which is smaller: m or 0?
0
Let x(c) = c**2 + c - 7. Let j be x(-6). Let b be 272/(-9) + (-4)/(-18). Let q be j/60 + 4/b. Do 2/17 and q have different values?
True
Let x be ((-6)/(-58))/(2/54) + -3. Do x and 1 have the same value?
False
Let i be 8/14 + (-1160)/2275. Is 0 not equal to i?
True
Let g be ((-1974)/(-70))/(4/5). Let s be (-8)/12*(-111)/2. Let t = g - s. Is -1 >= t?
True
Let j = -0.03 - -4.03. Let c = j + -4.4. Let t = 10/21 - -4/21. Which is smaller: t or c?
c
Let r be (3 + 1 - 18) + -2. Let i be (-3)/4 + (-10)/r. Which is bigger: -1 or i?
i
Let p be ((-1)/(-3) - -1)*(-6303)/22. Let v = 743/2 + p. Which is bigger: -10 or v?
-10
Let p be (8/(-64))/(1/2). Let t(v) = v**2 + 12*v + 16. Let l be t(-11). Suppose 2*d - o = -7, -3*o = -l*d + o - 19. Do d and p have different values?
True
Let v = 222 - 224. Do v and -24/13 have the same value?
False
Let o be 60/(-5)*3/6. Suppose 0 = -995*f + 1007*f + 48. Which is smaller: f or o?
o
Let a(w) = w**3 - 23*w**2 + 41*w + 26. Let u be a(21). Let y(z) = z**3 - 4*z**2 + 3*z + 4. Let i be y(3). Which is smaller: u or i?
i
Let a = -596 - -596. Which is greater: a or 7/207?
7/207
Let q = -5.7 - 1.3. Let v = q - -7. Which is smaller: v or -32?
-32
Let t = -505 - -476. Is t at most -25?
True
Let v(n) = n**2 + 21*n - 715. Let f be v(-39). Which is greater: f or -133/10?
f
Let y be 3682/544 + 23/(-368). Which is bigger: 8 or y?
8
Let v(x) = -x**2 + 3*x - 4. Let b be v(3). Let t = -16 - b. Let u = t + 11. Is u not equal to -2?
True
Let g = 309 + -180. Let w = 112 - g. Which is smaller: w or 0.2?
w
Suppose -312*q = -311*q + 33. Suppose -4*n - n - 170 = 0. Is q bigger than n?
True
Let t be (-36440)/440 - (-4)/(-22). Are t and -81 non-equal?
True
Let q(d) = 3*d - 64. Let r be q(36). Is r >= 44?
True
Let k = 39 + -37. Let u(d) = -d - 1. Let m be u(-3). Let l be 57/12 + m + -5. Which is smaller: k or l?
l
Let i be (2/6)/((-38)/4902). Is i <= -42?
True
Suppose -5 = 8*q - 5. Let l(r) = r + 6. Let b be l(-3). Suppose 2*i + q - b = j, 4*j + i = -12. Do j and -3 have different values?
False
Let g = 321 + -320. Which is greater: g or -12/95?
g
Suppose 0 = -4*j + 9*j + 15. Let f be (-1)/(j*3/(-225)). Let a = f - -24. Which is smaller: a or 2?
a
Suppose -4*r + 21 = 5, -2*r - 73 = 3*f. Let p be (1 - f/(-21)) + (-1170)/70. Are p and -17 equal?
True
Let w be 1 - (0 + 3) - (-59)/29. Are w and 0 non-equal?
True
Let n(s) be the first derivative of s**4/4 - s**3 - 3*s**2/2 - 3. Let i be n(4). Let t be (2 + -3)*i/(-14). Which is greater: -4 or t?
t
Let u(w) = -w**3 - 11*w**2 - 33*w - 35. Let q be u(-7). Is q greater than 9/56?
False
Let s(o) = -1 + o**2 - 2*o + 4*o + 0*o - o. Let r be s(1). Which is bigger: r or -2/31?
r
Let w = 1181 + -1171. Is w at least as big as -0.37?
True
Let t be 50/84 + 6/(-9). Suppose -13 = -15*u + 2. Is u greater than t?
True
Let s be 70/84 - 26/(-12). Is s greater than 105?
False
Suppose -15*m = -16*m. Is -3/52 > m?
False
Suppose -s = 2*s. Let b = -215 + 431/2. Which is smaller: b or s?
s
Let z = -173 + 150.8. Let x = z + 23. Which is smaller: x or -2?
-2
Suppose -x + 4*m - 12 = -5*x, 5 = -x + 3*m. Let a be 2 - (-36)/(-60)*26/(-3). Let r = 38/5 - a. Are x and r equal?
False
Let a(p) = -p**3 + 7*p**2 + 19*p - 34. Let b be a(8). Let m be (-14)/((-5)/(-3)*b/225). Are -106/3 and m nonequal?
True
Suppose 65 = 5*f - 20. Suppose 12*g - f*g = 0. Which is bigger: g or -1/4?
g
Let r(h) = -h**2 + h + 5. Let f be r(3). Is -1/229 smaller than f?
False
Suppose -5*w + 8 + 22 = 0. Let g = -4 + w. Let c(x) = x**3 - 2*x**2 + x - 2. Let a be c(g). Do a and 1 have the same value?
False
Suppose 7 = j + 3*w + 20, 5*j + 4*w + 32 = 0. Let k be j - ((73 - 3) + 4). Is k at least as big as -77?
False
Let w(b) = b**2 - 8*b - 7. Let r be w(7). Which is greater: -20 or r?
r
Suppose -3*i - 30 = 3*u, 10*i - 3*u - 10 = 11*i. Suppose -3*q = -7*q + 12. Let b be 28/i + q - -2. Is 3 equal to b?
False
Let w = -50 + 54. Suppose -4*x - 42 = 2*o, w*x + 14 = 10. Is o > -18?
False
Suppose 0 = -4*g + 3*k + 40, -k + 1 - 21 = -2*g. Let f = -6 - -22. Let n be f/(-40) + 34/g. Which is greater: 12/5 or n?
n
Suppose -5*a = 5*b - 5, 0 = -310*b + 315*b - 2*a - 26. Which is greater: -59 or b?
b
Suppose x + 1 = -3*x + 5*p, 4*x = 2*p + 14. Let h be (3/4)/((-9)/x). Suppose j + 0 = -1. Is h >= j?
True
Suppose -208*k + 216*k = 1992. Which is smaller: k or 1?
1
Let w = 10 - -2. Let p be (-33)/5 - w/30. Which is smaller: p or -10?
-10
Suppose -4*x = 0, -3*x = 3*d - 18 + 60. Do 1 and d have different values?
True
Let n be (1908/(-10))/(6/20). Let q = n - -3168/5. Suppose 3*l + 3*l = -18. Are l and q unequal?
True
Let k = -0.02 - 0.18. Let x = k - 0. Which is greater: 2/3 or x?
2/3
Let r(y) = y**2 - 1 - 24*y + 11*y - 11. Let x be r(14). Suppose -2*t - 3*w + 21 = 0, t + 6 = 6*w - x*w. Which is smaller: t or 5?
5
Suppose 200 + 0 = 25*c. Suppose 2*k - 12 = 5*u - k, -5*k = -4*u - 7. Let p be (-2 - u)*7/1. Is p != c?
True
Suppose 57*a = 65*a + 944. Is a at least -117?
False
Let w = -4 - -4. Let y be -4*(1 + 9/(-6)). Suppose 0 = -4*c + y*c. Is w less than or equal to c?
True
Let r be (-64)/85 + (-4)/(-10). Let w be (-502)/(-2) - -2 - (-2 + 6). Let k = 2239/9 - w. Is r greater than or equal to k?
False
Let i(d) = -63*d + 447. Let r be i(8). Is -57 less than r?
False
Let d be 2/(72/4)*-1. Do d and 0.4 have the same value?
False
Let v(f) = f**2 - 15*f - 20. Let u be v(12). Which is bigger: -164/3 or u?
-164/3
Suppose -4*q + 2*u = -u + 27, -u - 1 = 2*q. Is q at least as big as 0.68?
False
Let c(z) be the first derivative of 2*z**3/3 + 13*z**2 - 18*z + 34. Let p be c(-13). Which is smaller: -15 or p?
p
Let f = -22 - -24. Suppose 3*h + 1 = -b, 2*h + f*b = -3*h - 2. Which is smaller: -1 or h?
-1
Suppose -20*g + 14 = -6*g. Let l = 871/5 + -175. Which is bigger: g or l?
g
Let a be ((-2)/(-40))/((-62)/(-8) + -7). Is 7/3 > a?
True
Let q = -3697/4 + 924. Does 29 = q?
False
Let o = -1012 - -894. Which is greater: o or -117?
-117
Let a = -17 + 9. Let d(r) = -2*r + 2. Let l be d(7). Let j = 4 + l. Do a and j have different valu