m or j?
j
Let t = 34 + -32. Let p(x) = x**3 - x**2 - 5*x + 7. Let v be p(t). Are -4/23 and v non-equal?
True
Let f(n) = 3*n**3 + n**2 + 3*n + 3. Let c be f(-2). Let d = c - -22. Suppose 0 = 4*p + b + 9, 22 = -p + 4*b + 7. Are d and p equal?
False
Let b(c) = 21*c**2 - c**3 - 6 - 19*c**2 - 10*c + 10*c**2. Let s be b(11). Suppose -5*u + s = 5*t, 0 = -2*u - 2*u + 5*t + 31. Is u <= 5?
True
Let s be 144/(-21) - (-8)/(-56). Let r(p) = p**3 - 5*p**2 - 7*p + 6. Let k be r(6). Suppose -y + 5*y + 32 = k. Is y < s?
True
Let o = 2.1 + -2. Let m = 0.3 - 0.7. Let q = 0.4 + m. Does q = o?
False
Let j be ((-124)/24 - -5)*175. Which is smaller: j or -30?
-30
Let z(f) be the second derivative of -13*f**3/6 + 3*f**2/2 - 3*f. Let k be z(1). Which is bigger: k or -9?
-9
Let q = -4 + 8. Let n = 8 - q. Let p = -0.651 + 0.551. Are p and n equal?
False
Suppose -9 = -l + 2*s + 2*s, 3*s + 28 = 2*l. Suppose -l*o = -12*o. Which is smaller: -0.1 or o?
-0.1
Suppose 2*g = 10, 2*i - 25 = -2*i + 3*g. Let p = -187 + 152. Let q = p - -43. Which is smaller: i or q?
q
Suppose 5*u = 6*u. Let k = 108 - 76. Let b be k/184 - 0/(-2). Is b greater than u?
True
Suppose x + 3*q - 5*q = 0, q - 35 = 4*x. Which is smaller: x or -7?
x
Suppose -7 = -j + 5*m + 14, m + 27 = 4*j. Let n be (77/14 - 4)*(-16)/j. Which is smaller: n or -1?
n
Let r = -129 - -99. Let t = r + 8. Is t <= -0.1?
True
Let f be 3/9 - 17/(-102). Which is greater: f or -47?
f
Let i(m) = m**2 - 4*m - 1. Let l be i(5). Suppose -5*r - 55 - 35 = 0. Let k be ((-16)/6)/(r/27). Is l bigger than k?
False
Let y be (-4 + (-34)/(-9))/(25/30). Let v be 3/3 + (-2 - -1). Which is bigger: v or y?
v
Let p = -29/76 + 12/19. Let w = 37/4 + -121/12. Which is smaller: p or w?
w
Suppose -4*z + 3*z + 2*f + 7 = 0, 3*f = 3*z - 9. Does z = 7/15?
False
Suppose -j - 2*n + 23 = -7*n, 4*n + 10 = 5*j. Let o = j + -9. Suppose -15 - 15 = 3*l. Which is bigger: o or l?
l
Let g(h) = -h**2 + 4*h - 3. Let w(i) = i**2 - 4*i + 3. Let b(j) = -4*g(j) - 5*w(j). Let z be b(5). Is z at most as big as -8?
True
Let d = -2133 - -2191. Is d at least -4?
True
Suppose 0 = 36*w - 31*w - 10. Suppose 0 = w*v + c + 7, 9*v = 4*v - c - 19. Do v and 1 have the same value?
False
Let b = -0.29 - -0.19. Let k = -0.1 + b. Let h = 7 - 12. Is k not equal to h?
True
Let g(w) = -w**3 - 22*w**2 - 57*w + 27. Let b be g(-19). Which is smaller: 25 or b?
25
Let t be (-14)/(-1 - (0 + 1)). Let v(f) = 12*f - 5. Let z be v(1). Is t at least as big as z?
True
Suppose 0 = -j + 25 + 133. Which is bigger: j or 1?
j
Let a = -98.6 - -98.5. Which is greater: a or 0?
0
Let k be (2/(-6))/((-4)/39). Let j = -15 - -19. Let v be j/(-5)*1*-5. Is k <= v?
True
Let s be 0/(-1 + 1 + -2). Let h = -192 + 99. Let m = 2047/22 + h. Is m at most s?
False
Let o be 30*-3*3/(-27). Let c(u) = u**3 - 13*u**2 + 11*u + 20. Let s be c(12). Which is bigger: o or s?
o
Let i(m) = 2*m - 7. Let d be i(2). Let j be d + (1*2 - (-5 - -8)). Is j > 0.02?
False
Let a = -22 + 22.15. Let z = a + -15.15. Let j = -13 - z. Which is smaller: 0.6 or j?
0.6
Suppose 0*q - 68 = -2*q. Let p = q + -22. Let i be (-12)/45*p/(-8). Which is greater: i or -1?
i
Let k be 1*8 + 1/2. Let c = 1868 + -1859. Which is smaller: c or k?
k
Let t be 18/1*(-35)/(-70). Which is smaller: 17/2 or t?
17/2
Let n = -113 + 114. Let r be (6/(-117))/(1/1). Which is smaller: n or r?
r
Let n(z) = 10*z - 157 - 10*z + 234 + 21*z. Let w be n(-5). Which is greater: -31 or w?
w
Let p = 0.0908 - -0.0092. Which is bigger: p or -9/7?
p
Let t = -29 + 9. Let u be (-12)/t + (-168)/5. Is u > -33?
False
Let o = -22.24 + 0.24. Let j = -9 - o. Let c = 34 - j. Does -0.1 = c?
False
Let l(p) be the third derivative of p**5/60 + 7*p**4/12 + 35*p**3/6 + 11*p**2 - 3. Let q be l(-7). Which is smaller: -17 or q?
-17
Let c = 69 - 103. Let g be 32/(-34) - 4/c. Is g at least -1?
True
Let r = 0.242 + 5.058. Which is smaller: r or 4/7?
4/7
Let b be 8/20 + -1 + 1732/20. Is b bigger than 88?
False
Let r(m) = 24*m**2 - m - 1. Let c be r(-1). Suppose 24*u - 475 = 53. Is c at least as big as u?
True
Let n be (-2)/(-7) - 6/21. Suppose -2*u + 0*u - w - 15 = n, 2*w = 5*u + 42. Is u equal to -7?
False
Let x = -144696/25 + 5790. Is 3 equal to x?
False
Suppose p - 126 + 67 = 0. Is p bigger than 59?
False
Let h = 40 - -75. Let q = h - 62. Is 53 less than or equal to q?
True
Let b be (-6)/(-4)*(-148)/(-6). Let n be 192/(-56)*(51/(-6) + -2). Which is smaller: b or n?
n
Let q = 1431 - 2794. Which is bigger: -1362 or q?
-1362
Let v(k) = k**2 + 5*k - 25. Let s be v(-8). Which is smaller: -9/10 or s?
s
Let h(p) be the first derivative of -p**5/60 + p**4/12 - p**3/3 + 4. Let r(a) be the third derivative of h(a). Let y be r(6). Does y = -12?
False
Let p be -7*((-9)/15 - 2/5). Let s(h) = h**3 - 8*h**2 + 5*h + 9. Let l be s(p). Let i = 6 - 12. Are i and l non-equal?
True
Let r = 1379 + -1377. Let v = -2.02 - -0.02. Are v and r non-equal?
True
Suppose 2*x = c + 1, -x - 2*c + 4 = x. Let j(v) = -v + 2. Let g be j(x). Let h be g*((-1)/(-1))/1. Is h less than or equal to 4/9?
False
Let c be (-10 - -149)*(6 + -5). Is 140 less than c?
False
Let m(i) = 0 - 2 + 11*i**2 - i**3 - 2*i**2. Let z be m(9). Let s be (-2)/((2 - 2) + z). Is s less than 1/7?
False
Suppose -s - 3*y = 2*y - 38, 104 = 2*s + 3*y. Let n = 75 - s. Which is smaller: n or 19?
n
Let z(o) = o**2 - 28*o + 150. Let p be z(14). Is p at most as big as -40?
True
Let f = -7.7 + 57.7. Let q = -50.2 + f. Let z = 4.3 - 0.3. Which is smaller: z or q?
q
Let m(c) be the second derivative of -c**4/12 + 13*c**3/6 + c**2/2 + 8*c. Let f be m(13). Which is bigger: f or -1?
f
Let x(o) be the first derivative of -o**5/60 - 35*o**4/24 + 4*o**3 - 8. Let l(r) be the third derivative of x(r). Let k be l(-16). Which is greater: k or -17/4?
k
Suppose -3*v - y + 0*y + 2 = 0, 7 = 3*v - 4*y. Let p be 12 + -12 + 4*v. Let f be p + 76/(-16) - -1. Is f <= 1.2?
True
Let u be 2/7 + (-792)/126. Let s be 3/(54/(-60)) + u/(-2). Which is greater: -3 or s?
s
Suppose -13 = 2*r - 3*a - 10, r - 3*a = 0. Which is smaller: r or 15?
r
Suppose -1056 = -9*w - 2*w. Is 98 bigger than w?
True
Let r be (-8674)/(-22) + (-1 - -1). Let t = -393 + r. Suppose 12*w - 84 + 84 = 0. Which is smaller: t or w?
w
Let r = 70.7 - 39.4. Let u = r + -26. Which is bigger: 0 or u?
u
Let x = -4.5 - 26.5. Let b = 28.36 + -27.36. Is b greater than or equal to x?
True
Suppose 0*k = -3*k + 168. Suppose k = 4*o - 16. Let g be 36/o + 26/(-6). Are g and -3 nonequal?
True
Let a be (-13776)/49 - (-2)/14. Let f be (a/10)/((-532)/(-32)). Let p = f + 12/133. Is -1 > p?
True
Let b be (-12)/3*(-1 + 0). Let v(p) = p**3 - 5*p**2 - 2*p + 5. Let n be v(b). Is n at most -18?
True
Let t = 54 + -56.31. Let x = t - 0.19. Let s = x - -2.6. Which is greater: s or -6?
s
Suppose -2 = 2*v - 4. Let j = 17999/8 + -2245. Let s = j + -211/40. Which is smaller: v or s?
s
Let v = 23 + -23. Let f be -29 + -3 + 4 + v/2. Which is smaller: f or -27?
f
Let z be (-70)/(-14) + 18/(-5). Which is smaller: 2 or z?
z
Let s be (-2 - (3 - 3))/(-2). Let i be s/(-2)*28/21. Which is smaller: i or 0.1?
i
Let n be 2/7 - 30/455*2. Is n smaller than 5?
True
Let x(l) = -l**2 + 2*l + 2. Let d be x(3). Let y be 6/(-15) + (-158)/(-470). Let f = y - 167/329. Which is bigger: f or d?
f
Let o be (-5)/40 + 4314/(-48). Let p = -238/3 - o. Is -1 at most as big as p?
True
Let l be 4/(-5) + 368/10. Suppose -7*y + l = -3*y. Which is smaller: 39/4 or y?
y
Suppose -p + 15 + 66 = -3*l, -2*l = 5*p + 54. Which is smaller: -79/3 or l?
l
Suppose 6*n - 9*n = -255. Suppose -2*x + n = 3*x. Suppose -h + x = 5*u, -h - 2*u - 7 = 4*h. Is -1 at least as big as h?
True
Let p(w) = 2*w**3 + 19*w**2 + 10*w - 6. Let i be p(-9). Let c be (-9)/(5/((-50)/i)). Which is smaller: -8 or c?
-8
Suppose -2*x + 402 = 4*c, 5*x - 210 = -2*c + x. Are 98 and c unequal?
True
Let y(j) be the second derivative of j**4/12 - 2*j**3/3 + j**2/2 + j. Let h = 1 - -2. Let c be y(h). Is c < 0?
True
Let r be ((-30)/(-200))/(75/40). Is r at least as big as -1.16?
True
Let b(v) = 11*v + 3. Let r be b(4). Suppose -122*s - 113 = -5603. Which is greater: r or s?
r
Let x(y) = y**2 + 9*y. Let h be x(-9). Suppose -m + h*m = 2*g + 1, 0 = -5*g + 5. Let w be 10/(-3) - (-4)/(-6). Which is bigger: w or m?
m
Let r = -56 + 60. Suppose 9 = -r*p - 11, p + 1 = -q. Wh