 u be (2/b)/(8/(-92)). Are u and -24 nonequal?
True
Let x = 38098 + -914195/24. Is 8 <= x?
False
Let l be ((-3)/(-2283))/(11/(-22)). Which is bigger: 1 or l?
1
Let a(c) = 11*c**2 + 35*c - 66. Let b be a(-6). Which is smaller: 1310/11 or b?
1310/11
Let x = 553 - 1509. Let q = 1068 + x. Is q at most as big as 111?
False
Let g(u) = 4*u**2 + 8. Let q be g(-10). Let a = q - 17542/43. Let c = 9674 - 9673. Which is smaller: c or a?
a
Suppose z - 5 = -0*z, 3*z = 4*i + 63. Let n = 270 - 186. Let w be 4*((-297)/n - 16/(-56)). Is i bigger than w?
True
Let y(w) be the first derivative of w**3 + 2*w**2 - 3. Let n(m) = -m**3 - 23*m**2 + 23*m - 26. Let b be n(-24). Let j be y(b). Is j at least -8?
True
Let y = -3042.1 + 3304. Let c = y + -262. Which is smaller: c or 12/5?
c
Let h = -1.32 - -1.04. Let t = 0.72 - h. Let a be 15/(-18) - (1 + -2 + -1). Which is bigger: a or t?
a
Let o = 137.24 + -142.24. Which is smaller: o or -77?
-77
Let f = -26 + 27. Suppose -h = 3 - 12. Suppose h*d = 8*d - f. Does 0.9 = d?
False
Let z = -32 - 9. Let d = -10 - 30. Which is smaller: d or z?
z
Let l = -97 + 98. Let x = 187 - 194. Is x bigger than l?
False
Suppose 0 = 38*d - 3*d + 910. Suppose -24*h = 385 + 263. Which is greater: h or d?
d
Let q = -17229 + 14408. Which is greater: q or -2822?
q
Let f = 733 - 460. Let d = -625 - -898. Do f and d have different values?
False
Suppose -5*q - 19 - 41 = 0. Let j be 26/8 + q/(-16). Let d(u) = u**2 + 13*u + 25. Let a be d(-11). Which is smaller: a or j?
a
Let l be (11 + -16 + 3)*-1*1399/(-4). Are l and -699 unequal?
True
Suppose -15*p = 21*p - 216. Let r(n) = -n**3 - 5*n**2 - n + 1. Let w be r(-5). Suppose -35 = -w*j + j. Which is smaller: p or j?
p
Suppose 4*p - 17 = -n, 3*p = -2*n + 7*p + 10. Suppose -54*v = -57*v + n. Suppose -2*y - 4*t = v*y + 21, -10 = 2*y + 2*t. Does y = -0.3?
False
Let g be (-7)/((-28)/(-8)) + (-8)/(-2). Suppose -6*c + g*c - 3*p = 246, -3*c - 2*p - 185 = 0. Do -68 and c have the same value?
False
Suppose k - 2*v = 8, 2*k + 23*v = 25*v + 26. Is -94 equal to k?
False
Let y be (2/757)/(4/4). Let j = 177429055 + -537255173233/3028. Let r = j - y. Which is greater: r or -2/7?
r
Let c = -4/31 + -15/124. Let x = 62.4 - 493. Let o = x + 432. Which is greater: c or o?
o
Let a(j) = 2*j**2 + 2*j - 7. Let u = -21 + 18. Let v be a(u). Suppose -x - v*x = -60. Is 8 less than or equal to x?
True
Let q = -104 - -105. Let b be (-26)/(-24) - q/3. Which is greater: b or -0.1?
b
Let z = -2487.89 + 2499.5. Which is smaller: -1/2 or z?
-1/2
Suppose 0 = -5*u + 3*j + 45, 5*u = -3*j + 64 + 11. Suppose -u = -3*y - 0*y. Suppose -5*v - 5*i = 75, -i + 3*i - 66 = y*v. Which is greater: v or -14?
-14
Let r(f) = -f**2 + 7*f - 6. Let h be r(5). Let b = 3/2 + h. Let d be 35/(40/(-6)*18*33/(-792)). Which is smaller: b or d?
b
Let x(g) = -4*g - 79. Suppose 337*r = 330*r - 133. Let s be x(r). Is s < -0.54?
True
Let k = 18757/120 + -1994/15. Let y = 85/4 - k. Let l = y - 9/8. Do -4 and l have the same value?
False
Let t be ((-2)/6)/(1/(-90)). Suppose -4*c + 3*m + 99 = -5, -4*c = -4*m - 100. Is c < t?
True
Let r be -1*(-12)/(-8) - (-15)/(-6)*-149. Is r equal to 352?
False
Let u be 3*(-4 + 6)/48. Suppose -h = -4*g - 20, -28 = -2*h + 4*g - 8. Which is bigger: u or h?
u
Let t(y) = y + 14. Let w be t(-4). Let u(o) = -o**3 + 9*o**2 + 10*o + 9. Let v be u(w). Suppose v*i + 0 = -9. Is i bigger than 0?
False
Let o be -5 + (0 - -2 - 3). Let k be (36/(-10))/(-12*4/(-3040)). Let a = k - -668/3. Is a at most as big as o?
False
Let b be 1 + 12370/(-20520) - 2/8. Let a = -10581 + 10856107/1026. Let r = b + a. Is 0 equal to r?
False
Let x = 0.02 - 3.02. Let p(r) = 41*r - 863. Let q be p(22). Which is bigger: x or q?
q
Let w = -19 + -6. Let c = w + 8. Let y = c - -16.9. Is y equal to 2?
False
Let u(s) = -s**2 - 18*s - 80. Let a be u(-8). Suppose 0 = -4*l + m - 511 - 581, -l + 5*m - 292 = a. Is -273 > l?
False
Let n(h) = 992*h + 139. Let l be n(-1). Which is bigger: -854 or l?
l
Let o = -5.552 - -5.251. Which is greater: o or 0.04?
0.04
Let u = 1 - 1. Suppose 2*i - 4*v - 29 = -9*v, -2*i + 2*v + 50 = 0. Let z be (i/66)/(-1*2 - -1). Is u at most as big as z?
False
Let r = -1627/46540 + 3/716. Let l = -12.378 - 0.022. Let x = 13.4 + l. Which is smaller: x or r?
r
Let c = -3398/1359 - -1/2718. Which is smaller: c or 0.1031?
c
Let g = 195 - 92. Let t = g + -103.39. Which is smaller: -1/2 or t?
-1/2
Let g(c) = c**3 - 347 + 175 + 9*c**2 + 163 - 8*c. Let b be g(-9). Let n = b + -61. Is n at least -10?
True
Let r = -23702 - -23404.91. Let b = 297 + r. Suppose -g + 3 = q, -q = -0*g + 2*g - 8. Is q less than b?
True
Suppose -8592 = -11*c - 13*c. Let f be (396/70)/(12/728). Let v = c - f. Which is smaller: 16 or v?
v
Let z be ((-2)/(8/(-90)))/((-21)/28). Let x be (300/z)/((-6)/2 - -1). Let l(u) = -3*u**3 - 3*u - 4. Let r be l(-1). Which is smaller: r or x?
r
Let d be 30*6/9*8/(-10). Let f = -20 - d. Do -29/11 and f have the same value?
False
Let v(t) = 356*t + 1280. Let h be v(-6). Which is bigger: -873 or h?
h
Let s = -2.9 - -1.9. Let k = 3.588 + -45.588. Is k greater than or equal to s?
False
Let c = 1.6316 + -1.2316. Let i = -0.43 - -46.43. Which is greater: c or i?
i
Let z = 16.31 + -76.71. Which is greater: 5 or z?
5
Suppose 24*h + 696 + 172 = -452. Which is smaller: h or -271/5?
h
Let i = 1205.9 + -1250.9. Which is greater: 8/7 or i?
8/7
Suppose -2*i + 22 = -26. Let l = 23 - i. Let d(r) = -r**3 - 2*r**2 + 1. Let t be d(l). Is t at most as big as 30?
True
Let a = -29 - 3.2. Let j = a - -27. Let q = 30.2 + j. Is q >= -0.2?
True
Suppose 0 = j - 5*g - 18, 5*j - 3 = -5*g + g. Suppose 2*r = -5*t + 2, 0*t - 3*r + j = -2*t. Suppose t*n - 3*n = 0. Does n = 6/23?
False
Let l = -23238 + 23010. Is -211 greater than l?
True
Let j(o) be the third derivative of -o**5/60 + 2*o**4/3 + 13*o**3/2 + 23*o**2. Let c be j(18). Suppose -2*g + 0 = -c*r - 33, 2*r = -3*g + 30. Is 12 at least g?
True
Let g(u) = 54*u - 429. Let k(r) = 2*r - 1. Let p(v) = g(v) - 6*k(v). Let i be p(10). Are i and -127 non-equal?
True
Let t(u) = 4*u**3 - 3*u**2 - 10*u + 5. Let d = -7 - -10. Let h be t(d). Which is smaller: h or 55?
55
Suppose g + 4*s = 17, -4*s + 15 = s. Suppose 20*o - 555 = g*o. Are 35 and o unequal?
True
Let n be 2/(-5) - (-3405)/75. Let m be (-1)/5*-2 - (-8802)/n. Suppose 0 = 2*l + 3*g + 85, 5*l - 4*g + m = -6*g. Is l not equal to -40?
True
Let b(v) = 5*v**3 - 2*v**2 - 70*v + 264. Let j be b(4). Is j >= 272?
True
Let q = -39 - -12. Suppose -30*y + 9744 + 2736 = 0. Suppose 14*t = -2*t - y. Is q smaller than t?
True
Let a = 1660 + -1555. Which is bigger: 100 or a?
a
Let m(x) = -3*x**2 - 11*x + 13. Let d be m(-5). Let j be 0*(28/6 + -5). Which is smaller: j or d?
d
Let s = -57.92 + 57. Let o = -0.78 - s. Let j = 0.14 - o. Is j > -0.1?
True
Suppose 65 + 37 = -3*d. Let l(j) = -j**3 + 28*j**2 - 8*j + 191. Let k be l(28). Let t = k - d. Which is bigger: 8/15 or t?
t
Let m = 31.068 + -31. Let j(x) = -12*x + 58. Let b be j(5). Which is greater: m or b?
m
Let t = -1081 + 1082. Which is smaller: t or -2/4903?
-2/4903
Let p be -3 - -5 - (-8 - -6). Suppose -18*r + 1134 = -p*r. Which is smaller: r or 83?
r
Let m = -191.1 - -664.1. Does -1 = m?
False
Let k be 840/(-36)*(-21)/1. Let o = 490 - k. Do o and -2/891 have the same value?
False
Suppose -267*w + 2952 - 64852 = 31817. Which is bigger: w or -336?
-336
Let r(d) = -d**2 + d + 4. Let t be r(-11). Let u be (9/(-6))/(3/t). Suppose -3185 = -20*c - 29*c. Which is smaller: u or c?
u
Suppose -15*j + 10*j = 0. Let x be 12/(-4)*88/(-12). Suppose q - 2*z + 7 = j, -5*q - 2*z - z - x = 0. Is q > -5?
False
Let y = 2507 - 6705. Is y less than or equal to -4197?
True
Let f(u) = -u**2 + 11*u - 23. Let y(m) = m**2 - 11*m + 24. Let s(t) = -4*f(t) - 3*y(t). Let d be s(10). Suppose d*p - 3*p - 42 = 0. Which is bigger: p or 5?
p
Let g = 3734 - 3734.5. Which is smaller: g or -216?
-216
Let d = -1300 - -1319. Is 132/7 greater than or equal to d?
False
Suppose -i + 2 - 3 = 0. Let p be (88/(-90) + 1)*(-7)/49. Which is smaller: i or p?
i
Let f = 1/364 + -911/66612. Let n be 5/20 - (-243)/(-12). Let d = n + 21. Are f and d non-equal?
True
Let h = 448/477 + -462827/494649. Let o = h - 376625/3111. Let l = o + 121. Which is smaller: 1 or l?
l
Let w(h) = -6*h + 3. Suppose 4*o = -5*u + 21,