 -24). Are w and 1 non-equal?
True
Let p be ((-6)/(-5))/(12/40). Suppose p*q - 2*q = 0. Let i = 3 + -3. Is q < i?
False
Let h(o) = o**2 + 2*o + 2*o - 19 + 3. Let c be h(-8). Let t = -20 + c. Which is smaller: t or -5?
-5
Suppose -29*m + 11040 = 3*m. Which is greater: m or 346?
346
Let k = -1.735 + -0.105. Let r = -0.16 + k. Which is smaller: 3 or r?
r
Let u be (-14)/(-12) - 4/24. Let s = -0.26 - 1.94. Let p = s - -2.4. Is u >= p?
True
Let h be ((-10)/6)/(65/(-30) - -2). Let q(m) = -m**2 + 9*m + 9. Let k be q(h). Let t be (-40)/22 + (3 - 1). Is t not equal to k?
True
Suppose -2*m + j + 56 = 4*j, 5*m = -5*j + 130. Suppose 7*p - 1 = -m. Which is smaller: p or -5?
-5
Let o be (-15)/(-40)*2 - 26/40. Let f = 2 - -3. Let n be 12/60 + (-1)/f. Is n > o?
False
Let k(x) be the second derivative of -x**4/12 - 5*x**3/6 - 8*x. Let a be k(-5). Let b = -9 + 7. Which is smaller: b or a?
b
Let c = -466 - -432. Which is greater: 4 or c?
4
Let l be 0/(-2) + (-1 - -3). Suppose -5*y + 6 = 4*u - 40, 5*y - 51 = u. Suppose -5*v + 3*v + y = 0. Which is bigger: l or v?
v
Let v be 4/(-2) - 102/(-42). Let q = -93 - -93.06. Which is greater: v or q?
v
Let n(b) = b**3 - 14*b**2 + 20*b - 19. Let x be n(13). Which is bigger: x or 141/2?
x
Let v = 66 - 596/9. Suppose -2*c = -21 + 9. Let x(y) = y - 7. Let d be x(c). Is d bigger than v?
False
Let i = 35 - 16. Suppose -5*j + i = 9. Let u = -0.2 + 1.2. Does j = u?
False
Let u = 0.27 - 266.27. Let b = u - -267. Let x = -4 - -2. Which is smaller: b or x?
x
Let b be 0 + 2/(4 + -2). Let r(u) = -9*u + 4*u - b + u. Let o be r(-1). Do 3 and o have the same value?
True
Let o(k) = 20*k**2 - 12*k - 6. Let z be o(8). Let d = z + -8220/7. Which is smaller: 5 or d?
d
Let n be (-9)/(-9) - (2 - 2). Suppose -3*t + 1 = 3*h - 2*t, -n = 5*h + 3*t. Is h < 0?
False
Let d = 47 - 187/4. Let k be (-1)/2 - (-6)/(-20). Which is smaller: d or k?
k
Let x(m) = m**3 - 7*m**2 + 6*m + 4. Let p be x(6). Let f = p + 0. Suppose 0 = f*b - 9*b - 20. Which is greater: b or -3?
-3
Let l be -1*528/(-1652) + (-4)/14. Let k be (-4)/20 - (-1)/5. Which is greater: k or l?
l
Let w(u) = 43*u**3 + u**2 - 2*u + 1. Suppose 26 = 5*h - 5*j + 6, h - 3*j = 10. Let l be w(h). Which is smaller: 0 or l?
0
Let q = -33 + 108. Let g = q - 64. Which is greater: 74/7 or g?
g
Let v = -10 + 14. Suppose -m = o + 1, 2*o + 10 = -0. Let b be (-6*(-2)/6)/(m/7). Are b and v nonequal?
True
Let j = 15 - 8. Let i = -0.0505 - -0.4505. Which is smaller: i or j?
i
Let q = 67 + -65. Suppose -q*j = v + 5 + 25, -3*j + v = 35. Are -12 and j equal?
False
Suppose b - 252 = -2*b. Let a be 4/(-6) + (-112)/b. Is 1/33 != a?
True
Let q(z) = -z**2 + 2*z - 7. Let r be q(7). Let h be r/(-567)*(-6)/(-20). Which is bigger: 1 or h?
1
Let l = -155 + 154.9. Let k = 68.937 - -0.063. Is k <= l?
False
Let c = 0.43 + -0.992. Which is greater: c or -2?
c
Suppose 2*z + 0*z - 4 = -3*p, -4*z - 4*p = -4. Let r = 412/165 + -26/11. Which is greater: r or z?
r
Let p(j) = -j**2 + 3*j + 82. Let z be p(0). Is z not equal to 78?
True
Let t = 2.7 + -3. Which is smaller: 24/7 or t?
t
Suppose -2*r - 4*z = 192, 4*z + 384 = -4*r - z. Is r bigger than -96?
False
Let f = 301 - 84. Which is smaller: 216 or f?
216
Let r = 803 + -803. Is -2/565 equal to r?
False
Suppose 10*b - 4*r = 5*b - 15, 0 = 5*b - 5*r + 20. Let p be -1 + ((-40)/17)/(-2). Which is smaller: b or p?
p
Let l = 22 - 33. Let r = l - -5. Let n = 25550/3 - 8522. Which is smaller: n or r?
r
Let d be (-506)/(-40) - ((-55)/20 + 3). Let s = d + -12. Which is bigger: 35 or s?
35
Let s = 11 + -6. Suppose 0 = -s*r + r. Suppose r = -d - d. Do d and 1/3 have different values?
True
Let p be 1736/8730 - 42/210. Which is bigger: -1 or p?
p
Let n be 2/((-2)/3)*7/(-3). Let l(j) = -j**3 - 8*j**2 - 8*j - 1. Let r be l(-7). Is n smaller than r?
False
Let u be (-14)/(-8) + (-2529)/(-36). Are u and 72 equal?
True
Let a = -1526/3111 + 20/51. Is 0 less than or equal to a?
False
Let d = 216 + -247.6. Let z = -77 + 108. Let m = d + z. Which is bigger: m or 0.1?
0.1
Let j = 1860/7 - 425919/1603. Is j not equal to -1?
True
Let h = -68.3 + 70.354. Let m = h - 0.054. Is 0.5 equal to m?
False
Suppose 3*u - 60 = -414. Let b = -473/4 - u. Let r = -1 - 0. Does r = b?
False
Let p be (-7)/((-147)/120) - 6. Which is greater: p or -37?
p
Let x = -358.3 - -358. Which is greater: 30 or x?
30
Let k = -0.152 - 6.748. Let v = k + 6.99. Which is greater: 3/4 or v?
3/4
Let y = 33322.107 + -33286. Let j = -0.107 + y. Which is smaller: j or 0?
0
Let z = 4.19 + -3.89. Is -45 smaller than z?
True
Let c = -278 + 547. Do c and -1/4 have the same value?
False
Let d(v) = 3*v**2 + 43*v - 31. Let p be d(-15). Is p <= -62?
False
Let p be ((-256941130)/(-137375))/(72/46). Let f = p + 331/23550. Let y = f - 1195. Which is bigger: y or 0?
0
Suppose 4*u + 873 = 5*y, 3*y = -u + 55 + 462. Which is greater: 172 or y?
y
Let s = -28927/1258 + 767/37. Let n = s - 4/17. Let u be (-3 + 1)/(1/2). Is n at least as big as u?
True
Let m(i) = -19*i**3. Let g be m(1). Let r = g + 17. Which is smaller: r or -5/7?
r
Suppose -1 - 3 = -s. Suppose -10 = -5*o, -3*o + s*o - 1 = k. Let n be ((-4)/16)/(k/(-4)). Which is greater: 5/6 or n?
n
Let v(a) = 5*a**2 + 3*a + 3. Let q be v(-1). Is 45/8 < q?
False
Let y = 0.025 + 9.975. Let f = y + -8. Which is smaller: f or -11?
-11
Let a = -49 + 50. Let w = -0.11 + 0.1. Is w at least as big as a?
False
Let b = -19 - -19. Suppose -2*j - 5*y = b, 2*j = y - 4*y. Let q be ((-4)/21)/((-12)/14). Is q greater than j?
True
Suppose 0 = 3*s + 5*l - 88, -4*l = 4*s - 2*s - 56. Is 35 bigger than s?
False
Suppose -5*d = -3*a + 31, -2*d = 2*a - 4*a + 18. Suppose 0 = -2*g + 1 - a. Which is greater: -11/7 or g?
-11/7
Suppose -k - 205 + 770 = 0. Which is smaller: k or 564?
564
Let v = 206 - 179.06. Let o = v - 27. Which is greater: o or -0.1?
o
Let n be 3/2*1/6. Let i = n + -7/44. Let a = i - 14/33. Which is smaller: a or 0.3?
a
Suppose 0 = -43*y + 36*y + 14. Is 26/11 at most as big as y?
False
Let j = -2/45001 + 3780122/855019. Do j and 5 have the same value?
False
Let d(i) = -i**2 - 5*i + 3. Let l be d(-6). Let q = -1199/65 + 83/5. Is q >= l?
True
Suppose b + 2*f = 16, 4*b + 0*b + 5*f - 64 = 0. Which is smaller: 5 or b?
5
Let z = 60 + -27. Let o = -34.18 + z. Let h = o + 0.18. Which is smaller: 1 or h?
h
Suppose 5 = -4*q + t, 4*q = -2*t - 3*t + 1. Let s be (15*14/32760)/(1/((-8)/(-3))). Does s = q?
False
Suppose -3*a = 4*q - 33, -4*a + 3*q - 8*q + 44 = 0. Is 29/3 greater than a?
False
Let s(w) = -w**3 + 10*w**2 + 7*w + 43. Let q be s(11). Which is bigger: q or 9/41?
9/41
Let r = 717 - 4313/6. Suppose 5*m = -6 - 9. Which is smaller: r or m?
m
Let d(h) = 2*h - 11. Suppose 2*s = 4*z + 2, -3*z - 3*s - 2*s = 8. Let i be 6*(z - (-6)/3). Let n be d(i). Is 1 greater than or equal to n?
True
Let l = -4960 + 24933/5. Is l at least 26?
True
Let r = -3 - -3.2. Let d be 1/(-5) + (-18088)/210. Let t = d + 89. Is t less than r?
False
Let x = -690 + 694. Which is smaller: x or 1.14?
1.14
Let u = -12 - -12. Let n be 3 + 1/1*u. Which is bigger: 16/5 or n?
16/5
Suppose -2*z + 4*z + 4 = 0. Let o = 377/1656 + -1/184. Which is smaller: o or z?
z
Let q(f) = -f**3 + 5*f**2 - 5*f + 7. Let r be q(4). Suppose -r*v + 25 = 5*y - 0*y, -5*y - 10 = -4*v. Suppose 0 = 4*u + v - 1. Which is bigger: 1/30 or u?
1/30
Let w = -65 + 121. Let s = 57 - w. Which is greater: 2/15 or s?
s
Let p(v) = 3*v - 2*v + 0*v + 9. Let l be p(-4). Suppose -2*o = 3*m, -2*m + l*o - 4*o = 0. Which is bigger: 1 or m?
1
Let q = 63 - 60. Suppose 2*a = q*l - 7, -5*a - 5 = -2*l - 4. Which is smaller: 2/65 or a?
2/65
Let u = -246 - -209. Is u bigger than -37?
False
Let d = 59.37 + -0.47. Let s = -59 + d. Let n be 4/(-18) - (-2)/9. Which is smaller: s or n?
s
Let y(h) = h - 1 - 2 + 7. Let s be y(-8). Let o be s/12 - 2/(-42). Which is bigger: 1/3 or o?
1/3
Let v(t) = 4*t - 7. Let d be v(-5). Let o be -1 + (d/(-8))/3. Let f be (-580)/(-58) - (10 + 1). Is f at least o?
False
Let o = 60 + -55. Suppose -4*h + 314 = o*z, -h + 66 + 17 = -z. Which is greater: 80 or h?
h
Let j = -19613/14 + 1401. Suppose -4*y + 9*y + 25 = 0. Let p = -6 - y. Which is bigger: p or j?
j
Let l be ((-2)/22)/(1 - 2). Suppose 5*r - 310 = -285. Let x be 19/r - (-6 - -5 - -5). Is l at least x?
True
Let p be (((-350)/15)/7)/(24/(-45)