or d?
d
Let a(r) = -91*r**3 + 21*r**2 - 118*r - 4. Let d be a(4). Is -5965 smaller than d?
True
Let g be (752/282)/((-4)/6 - -1). Suppose -4*o - 204 = -4*i, -g*o + 5*o + i - 143 = 0. Which is greater: -45 or o?
-45
Let n be (-883)/(-4) - (-18)/72. Let q = 224 - n. Let k = 5 + -2. Is q bigger than k?
False
Let v = 558 + -299. Let l(c) = 1641*c - 4663. Let q be l(3). Are v and q equal?
False
Let m = 13885 - 14215. Are m and -348 unequal?
True
Let s(f) = 21*f + 363. Let m be s(28). Is 951 > m?
False
Let h = 94291 + -94305. Let s = 2 + -2.1. Is h at least s?
False
Let z(g) = -2*g**2 + 23*g - 329. Let k be z(0). Is 0.2 at most k?
False
Let d = -57838 + 230241/4. Are d and -279 nonequal?
True
Let w = -47205 - -47413. Suppose 738 + 98 = 4*s. Is s not equal to w?
True
Let m(a) = a**3 + 13*a**2 - 8*a + 15. Let y be m(-13). Let t be 952/16*(2 - (0 - 0)). Is t != y?
False
Let s(a) = -137*a**2 - 11*a + 3. Let w be s(5). Let g = -5194 - w. Let x = g + 226643/132. Is x greater than 1?
False
Let f(j) be the third derivative of -j**4/8 - 23*j**3/3 + 33*j**2 - 2. Let h be f(-29). Which is smaller: 42 or h?
h
Let h be 2 + (-1 - 4) - 2. Let j be h/25 + 2/10. Suppose j = 3*r + 4*r + 77. Which is smaller: r or -10?
r
Let p = -155986/55 - -31184/11. Let b(c) = c + 3. Let k be b(-3). Which is smaller: p or k?
p
Suppose -31 = -p + 3*u, -3*p + u + 46 = -23. Suppose 3*n = -9*i + 4*i - p, 5*n - i - 10 = 0. Is 30/17 less than or equal to n?
False
Let s = 1381062/97 + -14238. Which is smaller: -1 or s?
-1
Let g = -555 - -350. Let b = g + 276.5. Let i = b - 70. Which is bigger: -1/3 or i?
i
Let l = 3361 - 3352.74. Which is smaller: 0.1 or l?
0.1
Let n be (-30)/12*2502/(-30). Let i = 71 - -138. Is n > i?
False
Let d(y) = -2*y + 1. Let n be (-52)/(-39)*123*1/2. Let h = n - 66. Let f be d(h). Which is bigger: -30 or f?
-30
Let c be 2/6 - (-4)/6. Suppose -73*x - 2068 = -4877 - 10404. Which is smaller: x or c?
c
Let q = 157687 - 157693. Suppose 0 = -5*l - 0*d - 4*d + 145, -3*l + 2*d + 109 = 0. Suppose -4*i - 3 - l = 0. Is i bigger than q?
False
Let u be -7 + 1 + (-5)/((-10)/(430210/35849)). Which is bigger: -1 or u?
u
Let g be (-4)/12 - (-753)/2250. Let f = -25489/8250 - g. Is -3 equal to f?
False
Let y(p) = -p**2 - 9*p + 122. Let a be y(-15). Which is greater: 620/19 or a?
620/19
Let d = -3.3 - -62.3. Let z = 20.58 + 54.42. Let c = z - d. Which is greater: c or 1?
c
Suppose -a + 307 = -4*r, -2*a - 54*r + 49*r = -575. Are -0.4 and a unequal?
True
Let k = -25/12 - -7/3. Let z = -4 - -21.8. Let b = 14 - z. Is b less than or equal to k?
True
Let w(i) = i**3 - 16*i**2 + 31*i - 32. Let l be w(14). Suppose l*m = 9*m + 57. Which is smaller: m or 54?
54
Let j be 2/14*(1 - 19). Let p be ((-135)/(-6))/((6 + -12)/(-12)). Suppose -19*t + p = 121. Which is bigger: j or t?
j
Suppose 0 = a + 15 - 17. Suppose -72 = -5*y + y. Let w be (88/y - 1) + -1. Which is bigger: a or w?
w
Suppose 199 = -3*r + 106. Let z be (33/(-22))/(2/40). Is r < z?
True
Let j be 4354/(-3)*3*(-2)/(-36). Let d = j - -242. Is -2 at most as big as d?
True
Suppose 32*y = 30*y - 13*y - 15. Which is smaller: y or 3/4391?
y
Let k = 16 - -1. Suppose k*a = 14*a. Suppose 0 = -4*t + 2*w - 14, a*w = 4*t + 5*w - 21. Which is bigger: t or -10/7?
t
Suppose -3*q + t = -1375, -2285 = -5*q + 6*t - 3*t. Let b = -6904/15 + q. Let a(o) = o**2 + 8*o + 6. Let w be a(-7). Which is bigger: b or w?
b
Let k = -372827/57 - -6541. Do k and 1 have different values?
True
Let y be ((-34)/20)/(6/1116*-3). Let d be 6/((-4)/(-14)*(-3)/15). Let f = y + d. Which is greater: -1 or f?
f
Let j = 254 + -1782/7. Let t = 5.5 - 0.5. Let n = t + -2. Does j = n?
False
Let o = 183 + -120. Let q = -71 + o. Let z be 4*(-2)/9*4/q. Is 1 less than z?
False
Suppose -38*m + 108474 = -34748. Which is smaller: 3770 or m?
m
Suppose -3*i + i - 288 = 0. Let c be (-10)/(-55) + (i/(-143))/(-3). Let y = 7.9 + -3.9. Which is smaller: y or c?
c
Let h = -128 - -134. Suppose -4*b - 446 = i, -i + b = -h*i - 2230. Do -445 and i have the same value?
False
Let d be (2974/(-270) - (30 - 34)) + -45 + 52. Suppose -2*b = -3*b. Which is greater: d or b?
b
Let s(i) = -3*i**3 + 5*i**2 - 15*i + 37. Let q be s(4). Let h = -98 - q. Is h < 37?
False
Suppose 3*t + 4*a = -26, -t - 128*a + 132*a + 2 = 0. Suppose 14*v - 9*v - 20 = 0. Which is smaller: v or t?
t
Let s = 40.017 - 0.017. Let h = -467 - -507.1. Let a = h - s. Is a equal to 0.08?
False
Suppose 34*y - 5162 = 18555 + 5863. Which is greater: y or -1?
y
Let a(o) = -12*o**2 - 230*o - 447. Let p be a(-35). Which is smaller: p or 2?
p
Suppose 0 = -14*v + 67*v + 53. Are -3/1243 and v unequal?
True
Let n be (8/21)/(4940/(-1384)). Let y = 6362/7 - 1240588/1365. Let k = y + n. Which is bigger: k or 1?
1
Suppose 413*h - 414*h + 2562 = -4*t, -10*h - 620 = t. Which is smaller: -631 or t?
t
Suppose -4*h - 16*w + 13*w = 411, -3*h - 300 = 5*w. Let l = h - -165. Is 57 equal to l?
False
Let s = -61/586 + 236081/2284814. Is 0 > s?
True
Let h(s) = 204*s**2 - 52*s - 98. Let n be h(-2). Is n smaller than 822?
False
Let l be ((-2)/4)/(19/(-38)). Let b(s) = -3*s**2 - 4*s + 6. Let t be b(l). Is t bigger than -25?
True
Let h(g) = -6372*g**2 - 2*g + 1. Let r be h(1). Let v = r - -9103. Let o be (-1198)/v - 54/(-126). Are o and -1 equal?
False
Let b = 230 + -54. Suppose 6*u - 1489 + 439 = 0. Do b and u have the same value?
False
Let z = -7421525/734052 + 66/5561. Let b = 20633/6 + -3449. Let s = b - z. Is 1 greater than s?
True
Suppose 0*s - 6 = -3*s. Let a be (s/5)/((-4)/340). Let j = 67/2 + a. Are j and -7/2 unequal?
True
Suppose 4*n = 353 + 167. Let c be ((-15)/10)/3*n. Let h be (3/c)/1*(-4)/6. Which is smaller: 0 or h?
0
Suppose -3*m = -6*p + 8*p + 4, p + 5 = -3*m. Suppose -2 = w - 5. Suppose -w = -v + 2. Is p at least as big as v?
False
Let j(s) = -s**3 - 3*s**2 - s + 6. Suppose 2*k + 4 = -8*n + 5*n, -2*n = 5*k + 10. Let w be j(k). Suppose 4*o + 23 = -2*g - 47, 0 = -4*g + w*o - 164. Is g < -39?
False
Let g = 2.01 - 0.01. Let q = 21010 - 21073. Which is smaller: q or g?
q
Let r = -105.9 - -216.5. Let l = r - 102. Let q = 9 - l. Which is smaller: q or 1/3?
1/3
Let r be (15 + 44/(-3))/(-1695). Which is greater: 0 or r?
0
Let i(m) = m**2 - 16*m - 13. Let u be i(18). Let x = 27 - u. Suppose -3*h + 108 = 5*r, 0 = 3*r - x - 5. Is 30 at least as big as h?
False
Let p be (4 + 1)*(-4)/(-5) + 60800/(-1024). Is -2 less than or equal to p?
False
Let g(l) be the first derivative of -l**4/4 + 5*l**3/3 + 5*l**2/2 + 8*l - 1. Let u be g(6). Let p(y) = -3*y**2 + y - 1. Let k be p(u). Is -11 equal to k?
True
Let a be (-779)/4 + 25/(-100) - 1. Let k be a/1192 + 0 + (-6)/(-36). Which is smaller: k or 0?
0
Let t(s) = s**3 + 5*s**2 + 2*s - 8. Let c be t(-3). Suppose -4*h + c = -2*m - 7*h, -h = 2. Is m bigger than 1?
False
Let h = -10 - 55. Let g be (26/h)/(-409*2/(-10)). Is g greater than or equal to -1?
True
Suppose 9*r + 13*r - 66 = 0. Suppose -3*j + s = r, 9*j + s = 4*j + 3. Is j smaller than -2?
False
Let d = 4.24 + -4.4. Let v = -7.16 - -7. Let a = d - v. Which is smaller: 5 or a?
a
Let h(i) be the second derivative of i**5/20 + i**4/2 + 8*i**3/3 - i**2 + 137*i. Let f be h(-5). Which is smaller: -59 or f?
-59
Let p = -2076 - -2526. Is p >= 450?
True
Let o(x) = -2*x - 14. Let s be o(13). Let c be 3 + s*1 + 1. Let z = -54 - c. Which is smaller: -2 or z?
z
Let q(g) = 24*g**3 + 16*g**2 + 20*g + 2. Let w be q(6). Which is smaller: 5881 or w?
5881
Let n be 3 + (-39)/12 + 11 + (-7939)/68. Which is smaller: n or -631/6?
n
Let v = -1706 + 662. Let o = 42802/41 + v. Let f be ((-4779)/(-270) + -19 + 12/15)*0. Is o bigger than f?
False
Let i be 868/5 + 4/10. Let p be 1 + ((-170)/i - 0). Let x be (-5)/(-45)*7 - (-4)/18. Which is bigger: x or p?
x
Suppose 7*p + 5*n + 419 = 10*p, 0 = 3*p + n - 449. Is p smaller than 148?
False
Let d = 257 + -149. Suppose 11*q = 2*q + d. Are q and 14 equal?
False
Let j = 22556 + -24291. Is j bigger than -3?
False
Let q be (402/4)/(77/42). Let i = 55 - q. Which is bigger: 1 or i?
1
Let z = 19 - 19.5. Let d = z + -1.5. Let c = 6.39 + -6.99. Which is smaller: d or c?
d
Let y = 3385.9 - 3386. Are -3.6 and y unequal?
True
Let y = 489943 - 65162047/133. Let n = -3/2777 - 30148/369341. Let x = n + y. Which is bigger: 4 or x?
4
Let d be (-3 + 9)/((-50)/(-2565)). Is 309