/p). Let j(i) = i**3 + 6*i**2 + 7*i + 12. Let c be j(-5). Which is greater: q or c?
c
Let t be ((-5)/(-20))/(((-45)/24)/(-5)). Are t and 0.032 nonequal?
True
Let s(a) = a - 4 - 5 - 2 - 4. Let k be s(13). Do -4/9 and k have the same value?
False
Suppose -5*b = 5*y, -5*y = -y - 4*b. Let d be (1/(-4))/(17 + 95/(-6)). Which is greater: y or d?
y
Let p = -5 - -47. Let n = -38 + p. Suppose -t + n*t = 15. Which is smaller: 6 or t?
t
Let i = -1736/17 + 11808/85. Is 36 equal to i?
False
Let j = -20001/71377 + -43065583224/17630119. Let n = 2443 + j. Which is smaller: n or 1?
n
Suppose -57*g + 59*g = -6, 1658 = -2*z - 2*g. Which is greater: -827 or z?
z
Let x = 28.7 + -11.7. Let l = x - 16.9. Which is bigger: l or 0.58?
0.58
Let q = -1582 + 1582. Is q at least -1/231?
True
Let y(z) = -2*z + 4. Let j be y(4). Let g be ((-2)/28)/(4/(4 + 172)). Which is greater: j or g?
g
Let g be (-10)/(-4) + (-445)/178. Do -2/1137 and g have the same value?
False
Let a be (-12)/10*70/(-21). Let t be (4/21)/(a/6). Does t = 1?
False
Let q = 776 - 777.3. Which is smaller: q or 17?
q
Let y be 4/3 + (-224)/196. Which is smaller: y or -1?
-1
Let v = -41715/33904 - 1/2608. Let g = -439 - -437. Which is bigger: g or v?
v
Let p = -44 + 43.41. Is 1/5 <= p?
False
Suppose -2*d + 3*v = -33, 0 = d - v - 9 - 5. Let k be 135*1*14/35. Let b be (-123)/k - 2/d. Which is smaller: b or -2?
b
Let u be 11*9/((-4)/4). Let k be u/(-12)*(-8)/3. Does -22 = k?
True
Suppose -v + 1 = 0, 2*s + 2*v + 6 = 164. Is 78 >= s?
True
Let o = -45 - -53. Let j be (-9 - o) + 2/4*0. Is j != -17?
False
Let f be -1 + (-8 + 3 - -7). Which is smaller: -2/477 or f?
-2/477
Let h = -6.3 + 1.3. Let g = 27 + -28. Which is smaller: g or h?
h
Let r = -21 + 20. Let g be (4*4/16)/r. Let v = -6.86 + -0.14. Which is smaller: v or g?
v
Suppose 33 = -4*s + 45. Suppose -4*f - s*q - 12 = 0, 0 = 3*f - 5*q + 9. Is f greater than 0.17?
False
Let p(g) = g**2 - 21. Let i be p(7). Let o = i + -29. Which is smaller: 3/10 or o?
o
Let h = 775 - 931. Which is smaller: h or -154?
h
Suppose -8*s = -2*s + 5*s. Which is bigger: s or -2/1725?
s
Let x be 4/12 + 104/12. Suppose 0*y - x*y = 0. Is 5/6 at least as big as y?
True
Let l = -1385 - -1389. Let s(y) = -5*y. Let p be s(-1). Which is bigger: l or p?
p
Let w(r) be the first derivative of 17*r**2/2 - 20*r - 5. Let n be w(4). Which is bigger: 47 or n?
n
Let n = 36.5 + -57.74. Let y = n - 0.76. Is y smaller than -1/5?
True
Suppose -l + 11 = 3*r - 25, -2*l + 92 = -4*r. Let n = l + -27. Suppose -f - 2*i = -6*f + 5, 0 = -3*i + n. Which is smaller: f or 5?
f
Suppose i - 14 = -i - 3*x, 0 = i + 5*x - 14. Suppose 8*r - 12*r = -16. Let v = i - r. Which is bigger: v or 4?
4
Let d be -1 - 6/(-3) - -4. Let x(l) = -l**3 - 7*l**2 + 8*l + 2. Let i be x(-8). Suppose -d*g + 68 = i*q, 6*g + 3*q - 48 = 3*g. Which is bigger: 13 or g?
13
Suppose 0 = -2*v - 3*u + 2*u, -3*u = 3*v. Let t be (v + -4)*(-3)/(-14). Let d = 4 - 5. Which is greater: d or t?
t
Let l(o) = o**3 + 3*o**2 + 16. Let i be l(-4). Let q be (-4)/(-10) - 48/(-30). Which is smaller: q or i?
i
Let n(k) = -84*k**3 - 9*k**2 - 4*k - 7. Let r be n(-3). Let f = r + -238925/109. Is 0 greater than f?
False
Let t = -4121 - -70033/17. Is -0.2 smaller than t?
False
Suppose 4*z - 33 = 43. Suppose -59 + 1 = -5*y + x, 18 = 2*y - 3*x. Let b be 14 + (-4)/(y/(-15)). Is z bigger than b?
False
Let c be -27 - (-14)/21*12. Is -15 > c?
True
Let g(l) = l**3 - 4*l**2 + 2*l - 6. Let u be g(4). Suppose 0*k = u*k - 20. Are 7 and k equal?
False
Suppose -5*h - 58 = -3*p, 3*h + 30 = -3*p + 72. Suppose -p = 4*r, -15 = a + 4*r - 0*r. Is a >= -2/41?
True
Let u be 50/4*(-688)/430. Which is smaller: 16 or u?
u
Let z = 22.5 - 23. Let i = 351 + -1761/5. Does i = z?
False
Suppose -5*h = b + 4*b - 55, -5*h + 20 = 0. Suppose 4 = 4*c, -b*k + 3*k - 5*c = -25. Let r(i) = i - 8. Let j be r(k). Is -2 greater than j?
True
Let a = 1417 + -1418. Which is greater: a or 122?
122
Suppose 0 = 4*z - h - 27 + 7, -2*h = -2*z + 4. Suppose 5*l + y - 27 = 0, -4*l + 4 = -5*y - z. Suppose 2*f = l*f. Is f > 2?
False
Let x = 77 + -76.99. Is x greater than or equal to 1?
False
Let a be (-8)/6 + (-4)/6. Let t = 0 - a. Let u be 13/14 - t/(-4). Which is greater: u or 0?
u
Let q be ((-3)/(-12)*-3)/3. Let m = -30 - -10. Let z = -20 - m. Which is bigger: q or z?
z
Let x be -22*(-1)/(-5) + 3. Suppose -5*u - 3*t = -2*t + 39, 4*t + 37 = -3*u. Let b(k) = k + 5. Let z be b(u). Which is smaller: x or z?
z
Let x be -2 + 7752/2982 + 4/(-7). Which is bigger: x or -1?
x
Let t(k) = -k**3 + 7*k**2 + 6*k + 8. Let w be t(7). Let p be (-1035)/w*2/(-57). Let l = p - 10/19. Is -1 not equal to l?
True
Let j = -12.36 + 13. Let u = j + -0.57. Which is greater: 0.3 or u?
0.3
Suppose -5*i - q - 65 = 2*q, 3*i + 23 = -5*q. Let y be (-2 - -5) + 2 + -1. Let o be y/12*0 + -16. Is i smaller than o?
False
Let j be (-8 - 3 - 3)/(3*2). Which is smaller: -1 or j?
j
Let b(w) = 160*w**2 + 1. Let v be b(-1). Let k be 6/(-21) - (-13395)/v. Let o = k + -83. Is 1 equal to o?
False
Suppose -164 = 5*b + 16. Let s = -145/4 - b. Let n = 5.07 + -5. Do n and s have different values?
True
Let g = 148 - 51. Suppose 0 = 2*m - 3*m + g. Let b = m + -678/7. Do 0 and b have different values?
True
Let m = -1739 - -5137/3. Which is greater: -26 or m?
-26
Let b = 1244 + -23628/19. Let o = 162/475 - b. Which is smaller: 1 or o?
o
Let n = -7.45 + 7. Let m = n + 0.3. Let s = m + 12.15. Which is bigger: 1 or s?
s
Let u be ((-52)/(-8) + -3)/(1/(-2)). Suppose -j + 5*r = r + 17, -7 = 3*j - r. Which is smaller: u or j?
u
Let c = 144 - 60. Let j = 58 - c. Let p = 16 + j. Are -11 and p unequal?
True
Let w be (21/35)/((-12)/(-10))*2. Do w and 0.94 have the same value?
False
Let o(r) = -3*r**3 - 9*r**2 + 14*r + 39. Let t be o(-6). Which is smaller: 280 or t?
t
Let g(o) = -2*o**2 - 27*o + 17. Let k = -35 + 21. Let w be g(k). Let v be 14/(-6) - 4/(-12). Which is bigger: w or v?
w
Let y = 577 - 576. Which is bigger: 38/55 or y?
y
Let i(v) = -5*v**3 - v**2 - 2*v - 2. Let l be i(-2). Let g be (3 + -4)*(l + 3 + 0). Which is smaller: -42 or g?
-42
Let z be ((-24)/14)/(2/(-7)). Let x be 4/z + (-177)/36. Is -4 smaller than x?
False
Suppose -2*d = 4*v + 1103 + 207, 3*v + 3*d = -987. Which is smaller: -325 or v?
v
Suppose -4*y + 0*y = 2*n - 22, 2*y = 5*n - 19. Suppose -y*l + 18 + 0 = 0. Let x(p) = p**2 + 4*p + 6. Let j be x(-4). Is j smaller than l?
False
Let w be (-132)/(-1452) - (-362)/11. Which is greater: w or 49?
49
Let t be 3 - (1 - 10)*-2. Let y be (-9)/t*3/(-9). Let h(r) = -2*r**3 + r. Let w be h(1). Which is greater: y or w?
y
Suppose 30*u = -37*u. Are u and 15 equal?
False
Let s = -296 + 294.03. Let i = s + -0.03. Let v = -13 - -13.05. Which is smaller: i or v?
i
Let c = -12958/9 + 1440. Is c >= 1/428?
True
Suppose -3*u + 4 = u. Suppose 3 = 2*s + u. Is s < 1/2?
False
Suppose 18 - 13 = -t. Is t at least -44/9?
False
Let r be ((-18)/(-4))/(138/(-12) - -13). Is 66/23 at most r?
True
Let n be 18/30 + (-2)/20*-4. Let t be 0 - -4*(n + 0). Is t equal to 5?
False
Suppose 4*a - 39 = z, a = 2*z - a + 96. Is z at least as big as -52?
True
Let p be 3 - ((-22)/(-33) + (-223)/(-102)). Which is greater: p or 0?
p
Suppose -37 = -3*o + 29. Suppose 0 = -k + 5*a + 43, -2*k + 34 = 42*a - 39*a. Are o and k equal?
False
Let w = -1986 - -2017. Let r(h) = -2*h - 3. Let a be r(-4). Suppose j - x = -j - w, 0 = a*j - 5*x + 75. Is j less than -14?
True
Let l(n) = 2*n - 13. Let d be l(7). Let p = 18 + -23. Which is smaller: d or p?
p
Let n(i) = -5*i + 53. Let g be n(9). Suppose 0 = 2*w - g*w + 60. Which is smaller: w or 9?
9
Let o = 776 + -17844/23. Is o != 0?
True
Let w = 118 + -117. Suppose 0 = -g - w + 2. Is g bigger than 3/5?
True
Let n = -480 - -428. Which is smaller: -0.2 or n?
n
Let j = -234 - -234.2. Which is smaller: j or -4?
-4
Suppose -5*w + 5 = d - 8, -4*w = 0. Is d at least as big as 62/5?
True
Let t be ((-60)/54)/(-5) - 284/(-180). Which is greater: t or 3?
3
Let d = -359 - -187. Do -1/4 and d have the same value?
False
Let j be -37 - (-7 - (4 - 6)). Which is greater: j or -4?
-4
Suppose 0*m = 3*m. Suppose 2*l + 3*s + 22 = -0, s + 2 = m. Is -37/5 at most l?
False
Let c be 38/(-264) + -2 + 2. Let g = -1/44 + c. Let f be 2/(-8) + 10/8. Which is smaller: g or f?
g
Let j(f) = -2*f**3 + 2*f**2 + f + 1.