 13 = 0. Suppose 5*t - 2 = -4*v, y*v = 2*t - t - 10. Is 24 greater than or equal to t?
True
Let a(f) be the second derivative of f**5/20 + 5*f**4/12 + 4*f**2 + 4*f - 9. Let x be a(-5). Which is greater: -0.05 or x?
x
Suppose 123 = i - 4*i + 3*j, 5*j = 25. Let p be ((-17)/(-17) - -7) + -42. Which is smaller: p or i?
i
Let i = -43 + 77. Let n be (340/15)/((-4)/(-42)). Suppose 2*p = 9*p - n. Is p less than i?
False
Let c = -343963/9 - -38169. Which is bigger: 2/5 or c?
2/5
Let v be (-10)/8288*(-45)/45. Which is greater: v or -1?
v
Let v = 7925/7 + -1136. Let m = 32/21 + v. Let y = 7 - 7. Which is greater: m or y?
y
Suppose i - a = 6, 3*a + 17 = 5. Let f be ((-5)/2 + 2)/((-34)/i). Are f and -1 unequal?
True
Let t = 3 - -13. Let f be 1/((28/t)/7). Let x be (-2)/f - 21/(-28). Which is smaller: x or 29?
x
Let q be 3*6/(-54) - (-290)/6. Which is smaller: 50 or q?
q
Let p = 140.6987 - 140.76. Which is bigger: 3/16 or p?
3/16
Let c = 9063128878/31707 - 285840. Are 0 and c non-equal?
True
Let u = -674762/921 - -2198/3. Is 0 > u?
False
Let b = 2.9 - 3.2. Let z = -476/5 + 381/4. Which is greater: z or b?
z
Let h be 15/2*(-204)/170. Let m(o) = -o**3 - 9*o**2. Let a be m(h). Which is bigger: 0.014 or a?
0.014
Let x be 1/(1/3) - (-1144)/(-598). Let j = x + -1813/1541. Is j >= -1?
True
Let w = -0.11 - 0.23. Let n = 0.14879 - 0.58879. Let r = n - w. Is r <= -2/37?
True
Let l be 4571 + (-8)/4*4. Let i be l/(-324) - (-3)/(-4). Which is bigger: -15 or i?
i
Let d = 1.38 + -1.6. Let s = 7.524 + -7.404. Let h = s + d. Which is greater: h or 16?
16
Let w be ((-4)/(-3))/(1/(-3)). Let m = w + 4. Let v = -425/12123 + 49/449. Is m <= v?
True
Let h = 0.01 + 0.037. Is -21 not equal to h?
True
Let m = 570 - 565. Suppose m*j - 9*j + 10 = 2*c, -2*c = j + 5. Which is smaller: j or -5?
-5
Let q(i) = -421*i**2 - 3740*i - 6. Let p be q(-9). Which is smaller: p or -451?
-451
Suppose -o - 325 = -5*m + o, 340 = 5*m + o. Suppose -y + 25 - 67 = -3*p, 2*y + 119 = -p. Let h = m + y. Which is smaller: 9 or h?
9
Suppose 5*w - 10 = 0, -4*r - 5*w + 4 = -7*r. Suppose 0 = -7*m + r*m - 5*p, m = -2*p - 2. Suppose -44*g - m = -42*g. Are 8/25 and g non-equal?
True
Let u = -4133/65 + 825/13. Is u at least -1?
True
Let n = 55726 - 55725. Let d = -269.02 + 266. Let a = -3 - d. Which is bigger: a or n?
n
Let c = -5254 + 5260. Let q = 4 + -2. Let x be q/8 + (-34)/72. Is x > c?
False
Let t = -2/27697 + -109274/20966629. Which is smaller: -1/4 or t?
-1/4
Let k be (-15)/1*53/(-159) + -6. Is -3/578 at most as big as k?
False
Let j = -261 + 259. Let u be 357/(-2635) - j/10. Which is smaller: 1/9 or u?
u
Let f = -217 + 222. Suppose -10 = -f*r - 15. Do r and 79 have the same value?
False
Let n be -2 + -428*((-15)/(-10))/1. Let s be ((-2)/(-3))/(n/21). Which is greater: 0 or s?
0
Suppose 312 - 328 = 2*g. Is 10 >= g?
True
Let u be -2 + -10 + (14828 + 2)/1. Is u <= 14818?
True
Let t = -32/195 - -2/65. Let d be -824 + 831 - (8 - (3 + (-1 - 0))). Do t and d have the same value?
False
Let r = 20.84 + -18.6. Let p = r + -2.34. Let s = 13 - 40. Which is bigger: p or s?
p
Let p = -1.1 - -1.16. Let d = 167 - 173.94. Let i = p - d. Is i at least 5?
True
Let h = 68469 + -507766103/7416. Which is smaller: h or 1?
h
Let u = -86.3 - 1.7. Let s = 86 + u. Which is smaller: 49 or s?
s
Let x(s) = 2*s**2 + 2*s - 50. Let q be x(-11). Let f = -167 + q. Which is smaller: f or 22?
f
Let s(x) = -x**2 - 22*x - 46. Let y be s(-19). Suppose 7 = y*m - 4. Is m greater than 13?
False
Suppose -f + 4*x - 143 = 266, 6*f + 3*x + 2211 = 0. Which is bigger: f or 4?
4
Suppose q - 255 + 195 = 0. Let s be ((-450)/(-4))/(30/q). Is s != 225?
False
Let h(b) = -b**3 + 21*b**2 - 18*b - 29. Let y be h(19). Let f = 350 - y. Which is smaller: f or -3/223?
f
Let y be -2*4 - (-32805072)/(-6840). Let r = 4804 + y. Is r bigger than -1?
True
Let v = -3779180/57 + 66304. Which is bigger: v or 3?
3
Let c(b) = -2*b**3 + 45*b**2 - 24*b + 31. Let x be c(22). Suppose -3*g = d - 1, -3*g = -2*d - 2*d - 71. Is x at least as big as d?
True
Suppose 0 = -2*l - 5*u + 36318, -2*l - 344*u = -340*u - 36312. Which is bigger: 18143 or l?
l
Let f be (-13932)/45 + (-15)/(-25). Which is greater: f or -1?
-1
Let u = -1745/2 - -123899/142. Let h(p) = -6*p**3 + 13*p**2 + 20*p + 7. Let f be h(-5). Let m = 983 - f. Which is greater: u or m?
m
Suppose 0 = -3*n + s - 10015, 21*s + 3317 = 2*n - 3*n. Which is smaller: n or -1?
n
Suppose -f = f - 2. Let b = -1184/17 - -97037/1394. Which is smaller: f or b?
b
Let n = 2/151287 - -287468/1142670711. Let y = n + -90646/37765. Suppose 3*t - 9 = 6*t. Which is smaller: t or y?
t
Let l = 556/31 - 9749/248. Let t = -21 - l. Let v(d) = -61*d - 121. Let g be v(-2). Is t greater than g?
False
Let n = 53.3 + -23.2. Let p = -9 + n. Let d = p + -23. Which is bigger: 2 or d?
2
Suppose 25*h - 17119 = 831. Let j = h + -687. Let t be (0 - -16)*2*1. Which is smaller: t or j?
j
Let d(k) = 438*k**3 - k**2 - 11*k - 9. Let x be d(-1). Is x < -6?
True
Let u(f) = -82*f**3 + 3*f**2 + 2*f + 18. Let k be u(-3). Are 2253 and k non-equal?
False
Let d = -22 + -53. Let j be (-5)/(-4)*(54/d)/2. Is -1 at most j?
True
Let c = -25612/3 + 8537. Is 2905 greater than c?
True
Let p = -553 - 131. Is p >= -683?
False
Let h(o) be the second derivative of -o**3/2 + 3*o**2/2 + 2*o - 12. Let i be h(-1). Is 4 bigger than i?
False
Let g(o) = 3*o. Let v be g(2). Let b be v/4 + 870/(-564). Suppose 0 = 13*k + 91 - 91. Is b bigger than k?
False
Let i be 2/7 + (-606)/14. Let l = 524045/9 - 58227. Do l and i have different values?
True
Let t = 133/986 - 1/58. Let b = 59 - 92. Let n = 34 + b. Is n < t?
False
Let z be (28/6 - 2)*3. Suppose -3*b + 3*h - 2 + 377 = 0, 3*b + 4*h = 340. Let l be b/14 - 108/(-252). Which is smaller: z or l?
z
Let z = -157/270 + -1/54. Suppose -732 = -4*d - 2*v, -5*v - 265 + 1003 = 4*d. Let w be (-312)/d - 4/14. Which is bigger: z or w?
z
Let r(i) = -2*i**2 + 2*i + 11. Let j be r(-6). Let s = 82 + -159. Let a be (-4)/14 + 5522/s. Which is smaller: a or j?
j
Let s = 9.3 - 47.3. Let n = -55 - -95. Let q = n + s. Is q not equal to -2?
True
Let s be (1764/432*-2853)/((-6)/8). Which is smaller: s or 15534?
s
Suppose 2*x = -0*x - 74. Suppose -q + 32 = -i, 21*i + 96 = 18*i + 4*q. Let c = i - x. Is c >= 5?
True
Let z(y) be the second derivative of -y**5/20 + 5*y**3/6 - y**2/2 + 2*y + 15. Let m be z(2). Let n = 18/5 + -4. Which is smaller: m or n?
n
Let o = -2/25469 + 170769661/203752. Let b = 840 - o. Let v = 13/8 - b. Is v >= -20?
True
Let g be (-3)/(-2) - 99/(-6). Suppose 16*c - 20 = g*c. Let j(d) = -6*d + 3. Let p be j(2). Which is smaller: c or p?
c
Let p be (-2 + -2 - (-6)/3) + 26. Let b(u) = u**3 - 25*u**2 + 26*u - 48. Let g be b(p). Is g <= -4/131?
False
Let i(d) = -23*d**2 + 43*d - 13. Let r be i(2). Is r smaller than 14?
True
Let h(x) = -2*x + 20. Let l be h(10). Let o be (8/(-52))/(8/(-1738)). Let b = -67/2 + o. Which is greater: l or b?
l
Let d(y) = y**3 + 10*y**2 + 23*y - 8. Let i be d(-5). Suppose -2*n - 10 + 76 = -i*a, -n + 3*a + 27 = 0. Is n at least as big as 33?
True
Let n(h) = -49*h**2 - 11*h - 32. Let q be n(6). Which is smaller: q or -1861?
q
Suppose -20*p = 3*p - 13064. Suppose 8*l - p - 56 = 0. Is l >= 153/2?
True
Let c(d) = -d**3 + 25*d**2 - 23*d - 19. Let k = 83 - 59. Let y be c(k). Suppose 3*g = -4*h - h - 10, y*h + 5 = -2*g. Which is bigger: h or 5?
5
Let v(a) = 4*a**3 - 20*a**2 + 2*a - 4. Let h be v(5). Let j(p) = p**3 - 7*p**2 + 10*p - 25. Let n be j(h). Is n bigger than -4/5?
False
Let s be (3/4)/((-19)/(-76)). Let z be (-22)/66 - (-1 + 155/s). Is z at most -50?
True
Let p be (0 - -4)*-1 + 6. Suppose -373*b = -374*b - 197. Let r = b + 198. Do r and p have the same value?
False
Suppose 13*h + 6249 = -3*p, -3*p - 822 - 627 = 3*h. Which is smaller: h or -479?
h
Let n(o) = o**3 - 20*o**2 + 19*o - 1. Let r be n(19). Let f be 16 - (1 - r) - 3. Suppose -15 - 17 = -4*j. Do f and j have the same value?
False
Let o = -4.1 + 1.1. Let t = 3877.7 - 3878. Are o and t non-equal?
True
Let z = -197649/11 + 17968. Is z bigger than -4/253?
False
Let b be 90/(-24)*6/710*(-62)/(-93). Which is bigger: b or 6?
6
Suppose -b - 2569 = 3*g, 35*b - 30*b = 5*g + 4315. Is g greater than or equal to -858?
True
Let p = -15605 - -15604.8. Which is bigger: 19/10 or p?
19/10
Let 