-40.6 + -0.4. Let q = p - -36. Which is smaller: -11 or q?
-11
Suppose 0 = 12*a - 15*a + 741 + 795. Which is smaller: 0 or a?
0
Let s = 151 + -298. Let h be -7*(-35)/s*-3. Which is smaller: 25/6 or h?
25/6
Let c = 289 - 449. Let y = -195 - c. Which is smaller: y or -38?
-38
Let l(d) = 44*d - 1205. Let a be l(28). Which is smaller: a or -20/7?
-20/7
Let o = -3097 - -3353. Which is bigger: o or 263?
263
Suppose -95 = 5*h + 50. Let y be ((-6)/(-9))/(14/(-63)). Let s be -5 + 7 + (-3)/y + -31. Which is smaller: h or s?
h
Let z be 8965/(-88)*(9 - 252/30). Are -60 and z non-equal?
True
Let y = -203 - 218. Let a = y + 418. Does -28/17 = a?
False
Let w be (-26)/1*(-76)/152. Let u be ((-1)/(-2))/(520/(-265) + 2). Is w bigger than u?
False
Let g(v) = -1039*v - 898. Let i be g(-3). Which is greater: 1 or i?
i
Suppose 7*h = h - 12. Let r = -360 + 343. Which is bigger: r or h?
h
Let w = 5834 + -1481. Suppose 23*g + 1558 + w = 0. Is -256 > g?
True
Let s = 75.88 - 76. Let n = s + -3.88. Let p = 161.01 - 161. Which is bigger: p or n?
p
Suppose 5*v + 4578 = -37*v. Let q be (10/20)/(-1 - 218/(-219)). Which is smaller: v or q?
q
Let a be ((-2)/24)/(4953/(-104)). Is 1/4 at least as big as a?
True
Let d be (-297)/4092*64/(-39). Is 0 not equal to d?
True
Suppose f = -5 + 8. Let t(b) = 42*b + 5. Let n be t(f). Suppose -k - n = 4*r - 0*r, -43 = 2*r + 5*k. Is r <= -34?
True
Let l(x) = -2*x - 3. Let k be l(-3). Let p be ((-2)/(-6))/(2/(-6))*0. Suppose 3*y + 3*r - 12 = -p*r, -4*y + k*r - 5 = 0. Which is smaller: -1/5 or y?
-1/5
Let r be (2 - 1)/(5/(-5))*38. Let z = 32 + r. Let t be 8/z*261/36 + 3. Which is smaller: -7 or t?
-7
Let y be (-10)/45 + 208/774. Let i be 8/(-24) - (-1)/3. Suppose i = -0*w + 5*w. Is y less than or equal to w?
False
Let x(p) = -214*p - 2174. Let b be x(-18). Which is bigger: -2/5 or b?
b
Let d = 8930 - 8575. Which is smaller: 352 or d?
352
Let l be (0 + (-3 - -3))*(5 + -4). Suppose 0*u = 4*u + 3*t - 527, l = -4*u + 4*t + 548. Which is smaller: u or 133?
133
Let k(s) = -s**3 - 68*s**2 + 364*s - 74. Let p be k(-73). Are -4052 and p equal?
False
Let k(g) = 268*g**2 + 14*g + 289. Let r be k(-6). Is 9853 equal to r?
True
Suppose 0 = 4*z - 5*i - 122, -4*z - 28*i + 62 = -23*i. Let n(y) = -y**2 - y + 23. Let d be n(0). Does d = z?
True
Let u(i) be the second derivative of 5*i**3/6 + 21*i**2/2 + 26*i. Let j be u(7). Let d = j - 56. Is 8/9 <= d?
False
Let k = 6199.1 + -6484. Which is bigger: 1 or k?
1
Let z = 487.6 + -488. Let r = 20 - 17. Is r not equal to z?
True
Let s = 53/210 + 32/35. Let k(p) = p**3 + 8*p**2 + 8*p + 8. Let l be ((-28)/8)/(2/4). Let y be k(l). Are y and s non-equal?
True
Let m = -8.58 + 1.68. Let p = -7 - m. Suppose -5*l + 2*k = 81, -65*k + 11 = -l - 62*k. Which is greater: p or l?
p
Let q be 1190 - 25/(0 + 13 + -8). Is 1185 at most as big as q?
True
Let u be 999/1332 - (-6515)/(-4). Are u and -1631 equal?
False
Let l = -247/14 + 841/56. Let u be (0 + -3)/(2 - 1). Which is bigger: l or u?
l
Let p = -13291 - -13825. Let o = 1651 - 1118. Is o >= p?
False
Let b(q) = -q**2 - 3*q + 20. Let i be b(-7). Let f be 4/i*(-130)/117. Let w(u) = -u**2 - 4*u + 2. Let y be w(-4). Which is greater: f or y?
y
Suppose 3*p = 426*r - 431*r - 1562, 0 = -5*r - 5*p - 1550. Suppose -y = 4*y + 1585. Which is greater: r or y?
r
Let i be 8/(-3)*(-168)/(-32). Let t = i - -19. Suppose 4*z - t = j + 20, -5*j = 4*z + 5. Is 3 bigger than z?
False
Let d = -85298 - -85320. Let l = -1 + 20. Which is greater: l or d?
d
Let n be 109026/(-8) + 2 - (-18)/72. Let x = 8625260/633 + n. Which is smaller: x or 0?
0
Suppose -2 = -5*n + 9*n + a, -6 = -3*a. Let b be (2/(-6) - n)*45/(-90). Which is greater: b or 0.056?
0.056
Let g be 27/13 - (1 - -1). Let m be 6/8*(5830/102 + -57). Is m equal to g?
False
Let v = 22841 - 1210287/53. Do 6 and v have the same value?
False
Let u(k) = 7*k - 106. Let l = 71 - 56. Let g be u(l). Is -1/12 smaller than g?
False
Suppose 2*v = l + 827, -5*l - 9*v + 7*v = 4075. Let k = -5721/7 - l. Which is greater: k or 133?
133
Let b = 2 - -915. Let g be (3 - (-18)/(-8)) + b/84. Let i = -8 - -19. Is g < i?
False
Suppose -2*u - 2*u - 4*s = -16, 8 = u + 5*s. Let j be (-1)/(-8)*(u - (-14236)/8). Let f = 223 - j. Which is smaller: -1 or f?
-1
Let u be 1 - (-2 + 1) - 28. Suppose 1 = 5*j - 3*p, 13*p = 14*p + 2. Let x be 1/(144/150 + j). Is x smaller than u?
False
Let u be (-30)/(-72)*-57*-116. Which is smaller: u or 2754?
2754
Let k be (-405)/(-15)*(-2462)/24. Which is smaller: -2771 or k?
-2771
Suppose 2*s - 10*s - 24 = 0. Suppose 3 + 2 = 5*u. Let t be (3 + s)/(-2) - u. Is t less than 2/37?
True
Let u = 1322.1365 + -0.1365. Which is smaller: u or 0?
0
Let l be (-12519)/1170*(-18)/2. Which is bigger: l or 97?
97
Suppose -4*d + h + 10 = 0, 0 = 5*d - h + 2 - 14. Let u(p) = -75*p - 6. Let t be u(d). Which is greater: -157 or t?
t
Let h = -205/88 + 161/88. Is -2959 at most as big as h?
True
Let g = -32/65 + 392/65. Is g at least 5?
True
Suppose -4*v + 76 = 13*z, 60 = 47*z - 43*z - 4*v. Are 504 and z equal?
False
Let t = -1231 + 6895. Which is smaller: t or 5663?
5663
Suppose 4*i - 4 = 0, 9*i - 6 = 2*d + 5*i. Let c be d*(13 + -8) + 6. Which is bigger: c or 14/11?
14/11
Suppose -4*z - 5*n = -7, 2*z - n = 5*z - 19. Suppose -2*l - 5*j - 12 = 0, -l - 3*j - 8 + 0 = 0. Suppose 0 = -l*i + 51 - 11. Is z equal to i?
False
Let z(b) = b**3 - 7*b**2 - 3*b - 5. Let p be z(8). Suppose -2*i = 4*m, -i + 2*m + p = -3*m. Let n(k) = 2*k - 13. Let l be n(i). Is 6 equal to l?
False
Suppose 0 = 5*b + 3*o + 12, -o = 3*o + 16. Let s = -33/85 - -2201/6545. Is s >= b?
False
Let m be (2/(-44))/(-8*7/20272). Which is greater: 17 or m?
17
Let v = -581 - -1197. Let h = v + -326. Which is greater: 0 or h?
h
Let p = -0.1 - -0.1. Let u = 6.688 + -6.653. Is u at least p?
True
Let o = 1.35 + 189.65. Let u = 183 - o. Is -0.01 at most as big as u?
False
Let y be 4 + (-1775)/400 - (0 + 2). Suppose 3*m = 2 - 5. Is m bigger than y?
True
Let m be 4/(-6)*(-9)/(-6). Let h be 2 + m + -3 - -2. Suppose -3*q = 6 - h. Is 3/2 > q?
True
Let p = -1143449/13 + 87879. Is -80 > p?
False
Let q(t) = -t**3 + 11*t**2 + 67*t - 49. Let m be q(14). Which is smaller: m or 296?
296
Let w = -297 + 300. Let u = 685/21 + -254/7. Does u = w?
False
Let x be ((-2185)/380)/(-2*2/16). Is -37 > x?
False
Let h = -988/5 - -5693/30. Let j = 247/30 + h. Suppose -12 = -4*s - 0. Which is bigger: j or s?
s
Let w be (3 + (-57)/21)/(4/7). Let i = -78 + 77.69. Let y = -2.51 - i. Which is smaller: w or y?
y
Suppose -9*s - 1 = -8*s. Let x(f) = 14*f**2 - 2*f - 1. Let v be x(s). Suppose 5 = v*t + 20. Which is bigger: -16/9 or t?
t
Let m = 4616 - 1747. Which is smaller: m or 1/4?
1/4
Let i = 105 - 1271. Which is smaller: -1167 or i?
-1167
Suppose 20038 + 32735 = -49*x. Is -1080 >= x?
False
Let c = -2326.1 - -2326. Suppose 3*t = 6*t - 378. Which is greater: t or c?
t
Let l be 69/(-46) - (-13)/(-2) - (-1 + -430). Let t = 1132 - 711. Is t at most l?
True
Let i(r) = -8*r + 64. Let t(d) = d**2 - 23*d + 22. Let c be t(24). Let p = 53 - c. Let s be i(p). Which is smaller: 49/6 or s?
s
Let d(z) = z**3 - 12*z**2 - 12*z - 28. Let q be d(13). Let k be (-49)/(-3) - (-6)/(q - 3). Suppose 0 = -9*f - 7 + k. Is f < -1?
False
Suppose 31*p + 82579 = -40646. Which is bigger: p or -3976?
p
Let o = -45.28 - -47.353. Let g = o - 2.1. Which is smaller: g or -1?
-1
Let j = 5459 - 5666. Let r be (-4)/(-6)*3/8. Which is greater: j or r?
r
Let g = 3.4 + -7.58. Let j = 4.28 + g. Which is greater: j or -0.47?
j
Let i be (2 + (-3 - -103))*92/(-32). Let s(f) = -11*f**3 + f + 3. Let n be s(3). Let l = n - i. Is -1 at most as big as l?
True
Let p = -2/7551 - 30142/234081. Suppose -2*h = k + 2*h + 1, -4*k + 4*h - 4 = 0. Which is greater: p or k?
p
Let o(y) = -82*y + 10 + 84*y - 3. Let u be o(4). Suppose -12 = s - 4*p, 2*s + 6*p - p - u = 0. Which is bigger: s or 5/21?
5/21
Let d = 58 - 25. Let h(x) = -81*x - 321. Let v be h(-4). Suppose -4*u = -5*m + d, 54 = -4*u + m - v*m. Do -15 and u have different values?
True
Let z = -4276/3 - -1425. Is -1661 equal to z?
False
Let d = -5523 - -5523.081. Is -30 >= d?
False
Let t = -2752.6 - -2753. Is 8/363 at most as big as t?
True
Let d = 10668 + -9700. Which is bigger: d or 971?
971
Let z = 2/387 + 490/5031. Let r = -18459 - -18459. Which is sma