30. Let c be l(84). Let w be 4/(-6) + (-76)/(-6). Let q = c - w. Is 6 at least as big as q?
True
Let p(i) = 20*i + 15. Let j be ((-4)/5)/((-10)/(-100)). Let g be p(j). Is g less than or equal to -144?
True
Let p be 4/30 - 2718/24435. Let x = 83/20815 + p. Is x >= 0?
True
Let a = 93 + -73. Suppose -20*s - 20 = -a. Is s bigger than -2/29?
True
Suppose -8*x + 40 = 8. Suppose 2*l + 3 = -13. Let k = l - -11. Which is smaller: x or k?
k
Suppose 17*i + 484 + 128 = 0. Are i and -31 non-equal?
True
Let k = 5545 - 5189. Which is bigger: 3 or k?
k
Let i = 35.9 + -34.822. Let t = i + -0.078. Let a = -49 - -29. Is a less than t?
True
Let q(k) = -4*k**3 + 180*k**2 + 12*k - 236. Let a be q(45). Is a bigger than 267?
True
Suppose -306 = -6*y - 822. Which is smaller: y or -85?
y
Let x(r) = -r**3 + r**2 + 26*r + 28. Let l be x(-8). Which is smaller: -2/27 or l?
-2/27
Let a(g) = 3*g - 6. Let d be a(-5). Let m(b) = -b**2 - 26*b - 82. Let n be m(-21). Let k = d + n. Which is greater: k or -39?
k
Let u be (-30 + 9 - -19)*-6*(-2)/(-1328). Which is greater: 3 or u?
3
Let x = 10196 + -10211. Which is bigger: x or -0.022?
-0.022
Let t(z) = -287*z + 1920. Let n be t(6). Is n equal to -61?
False
Let i be -1 - 10*18/36. Let m = 10/7 + -106/35. Which is greater: m or i?
m
Let a = -3780982/565 + 6692. Let k = a - 2484/565. Which is greater: -3 or k?
-3
Suppose -3*v - 4*w + 2 = 0, 10*w - 6*w = 3*v - 10. Let i be (-1)/(-2) + (11/v - 6). Which is smaller: i or -2/191?
-2/191
Let f(b) = -b**3 - 3*b**2 + 5*b + 7. Let a be f(-4). Suppose v - a*h + 1 = 20, 2 = -2*v - 2*h. Suppose v*s = -r - 0*s - 3, -5*r = -s - 6. Is r less than 2?
True
Let g be (660/(-210) - (-8)/7) + (-1)/(-1). Which is smaller: 3/1615 or g?
g
Let d = 860 + -1563. Let j = d - -702. Is -4/61 at least j?
True
Let d be 63/(-14)*-16*(-1)/114*-3. Which is smaller: -1 or d?
-1
Let h = 0.086 + -0.179. Let w = -429 + 428.093. Let f = h + w. Does 2/133 = f?
False
Let o = 75.3 - 299.3. Let k = -183 - o. Does k = -0.1?
False
Let u = -5726 - -5726.072. Are -14 and u equal?
False
Suppose 2*b + 1371 = -5*f, -119*b + 2*f = -114*b + 3384. Which is smaller: b or -1?
b
Let y = -8842/561 - -270/17. Suppose -6*m - 3*m = 0. Is y at most as big as m?
False
Let v be -90*(312/(-36) - -10). Do 0 and v have the same value?
False
Let q(o) = 78*o - 4854. Let z be q(63). Is z != 58?
True
Let v = -4965.1767 + 4965. Is 0.2 >= v?
True
Suppose 0 = 10*s + 4851 + 899. Let t = s + 294. Let m = 1416/5 + t. Is m <= 3?
True
Let y = -2399/85 - -2408/85. Suppose -4*d - d + 4*i - 4 = 0, -4 = 2*d - 4*i. Which is smaller: d or y?
d
Let j be (-993228)/(-1850)*5*-1. Which is bigger: j or -2684?
-2684
Let v = 6863050645/1291524 + 22/107627. Let l = v + -5298. Let i = l + -50/3. Which is smaller: i or -2?
-2
Let h = 3659 - 3678. Which is smaller: -5 or h?
h
Let h be -143 + 11 - (-2)/2. Let v = h + 221. Suppose 5 - v = -5*l. Does l = 17?
True
Let r be 236524/80 - ((-34)/40 - 48/(-80)). Which is smaller: 2957 or r?
r
Let m be 230 + (((-27)/(-2))/(-3))/(124/(-248)). Let b(l) = 9*l**2 + 3*l - 1. Let n be b(5). Does n = m?
True
Let k(y) = 3*y**3 + 5*y - 34. Let x be k(4). Let r be (-3)/12 - x/(-696). Which is smaller: -1 or r?
-1
Let c = 24407/4 - 6102. Which is smaller: c or -3/98?
c
Let a = -155 - -158. Suppose -161 = 4*t + a*s, t = -0*t + s - 49. Suppose 22 = -4*k - 150. Which is bigger: k or t?
k
Suppose 0 = -3248*x + 3289*x - 6806. Which is greater: 1321/8 or x?
x
Let q = -312 - -316. Suppose 0 = -2*m + 2*d + 8, q*m = 2*m - 5*d - 27. Is 10/109 > m?
True
Let l(c) = c**3 - 2*c**2 + 3*c - 6. Let f be l(2). Let y(t) = t**3 + 7*t**2 + t + 6. Let u be y(-7). Let m be (-3)/u - (-7)/(-7). Which is greater: f or m?
m
Let x(k) = -3*k**2 - 193*k - 4956. Let r be x(-30). Are -1870 and r non-equal?
True
Suppose 6 + 1 = -3*z + 5*x, 2*z = -3*x + 8. Let g be z + (-3)/((-9)/12) + 1. Let d be 18/(-24) - (-35)/36. Which is greater: g or d?
g
Let i be 17/(-51) + 664194/(-279). Let j = 2381 + i. Which is smaller: j or 1?
j
Let r be (-5)/(-3)*24/(-30). Suppose 10*j + 102 = -41*j. Is r smaller than j?
False
Let k = -2.5 - 38. Let b = k + -15.5. Which is smaller: 1 or b?
b
Suppose -2*c - 2 = -2*t, -5*t + 0*c + 2*c = -14. Let m be t + (184/(-61) - (0 - -1)). Which is smaller: m or 1?
m
Let k(y) = 5*y - 144. Let h be k(-10). Let o = h + 191. Let n = 3 + -3. Do o and n have different values?
True
Suppose -3*j + 3*a = -2616, -10*a = -3*j - 13*a + 2592. Is j > 873?
False
Suppose 0 = -3*d - 9 - 6, -4*a = -2*d + 714. Let g = -180 - a. Is 5/24 smaller than g?
True
Suppose -a - 5*p - 3 = 20, 5*a - 3*p = -87. Let q = 652 - 671. Are a and q non-equal?
True
Suppose -5*v = 42*v. Let z be 41/(-260) + (-1)/(-4). Is v > z?
False
Let p(c) = -c**3 + 11*c**2 - 6*c + 6. Let g be p(10). Suppose 3*w + 372 = -3*o, -2*w - 4*o = 204 + g. Let b = w - -40. Which is smaller: b or -82?
b
Let o(t) = t**3 - 3*t**2 - 2*t + 7. Let f be o(4). Suppose f*c - 60 = 11*c. Suppose -9*l = -6*l - c. Is l smaller than 5?
False
Let h = 2841 + -3260. Is -412 greater than or equal to h?
True
Let h be 14119/403788 - (-4)/(-138). Which is smaller: -1 or h?
-1
Let k = 0.31 - -45.69. Let h = k - 48.6. Let b = h + 2.5. Is b greater than or equal to -1/37?
False
Let r = -1 + 1. Let f = r + -0.1. Let o = 75209 + -75208.6. Which is greater: o or f?
o
Let r be (-16)/40 + (-14)/(-35) + 0. Is r at most -3/4384?
False
Let b = -211921/78 - -16021/6. Which is greater: -48 or b?
b
Let l = -6 + -48. Let p = l + 15. Let m = p - -41. Is m at least -1/4?
True
Let n = 19069/107564 - 243316321/6187619100. Let m = -24/767 + n. Which is bigger: 1 or m?
1
Let a be (-604)/(-3) + (-20)/60. Is a at least as big as 203?
False
Let n = 38/7817 + -482206/2712499. Is n > -1?
True
Let r = -24399 + 17043. Let g be r/126 - (-2)/(-6). Let p = 59 + g. Is 1 at most p?
False
Suppose -370*i + 388*i - 5130 = 0. Which is greater: 286 or i?
286
Suppose 0 = 40*u - 49*u + 36. Suppose -2*s + 5*s + 4*q = 28, 0 = s + u*q - 20. Which is greater: s or 12?
12
Suppose 165*q + 26525 = -11920. Is 2 less than q?
False
Let y be (-7 + 3)*254/408. Is -3 less than y?
True
Let v = -18902 - -9085. Is v less than or equal to -9816?
True
Let g be -1 - (112/74 + 1). Let k be 7 - 1 - (-385 - 87)/((-4292)/84). Let o = k - g. Is 1 less than o?
False
Let l = 625 + -301. Let n = l - 297. Is n bigger than -7?
True
Let x be (-2)/(-8 - 0) - 0. Let q = 176470 - 3002743/17. Let v = q - -162. Is x at most as big as v?
False
Suppose 0 = 2*c - 8, c = -3*r - 2 + 3. Let o(h) = 2*h + 6. Let z be o(r). Suppose a = z*j - j + 22, -2*a = -j - 19. Which is smaller: a or 13?
a
Let h(q) = -3*q**2 - 163*q - 811. Let s be h(-5). Let i(a) = -71*a**3 + 2*a**2 - 1. Let j be i(1). Does s = j?
False
Let d = -138979/3 + 46821. Is d equal to 495?
False
Suppose 0 = 145*x - 139*x + 48. Let d(y) = -7*y - 55. Let a be d(x). Suppose 0 = -4*g + 6*g - 8. Which is smaller: g or a?
a
Let i be (-5)/4 + (-178196)/1392. Let o = i - -388/3. Are 0 and o unequal?
True
Let m = 2661 - 2663. Let u be (-424)/(-10) + 8/(-20). Let v be (18/u)/(3/(-2)). Is m less than or equal to v?
True
Let k be -2*(-3)/(-30)*76. Let y = -1743/115 - k. Let i(b) = b + 5. Let q be i(-6). Which is smaller: q or y?
q
Let i = 8651/8 - 1082. Let b = 4 + -7. Let h be (b + 3)/(0 - -1). Does i = h?
False
Let u(k) = k**3 + k**2 - 4*k - 5. Let z be (3/(-9))/(((-80)/72)/(-10)). Let w be u(z). Is -23/2 not equal to w?
True
Let l be 1/((-34)/(-4)) + (-361)/323. Let q = -2365/2244798 + -2/3609. Are l and q equal?
False
Let u be (-1204)/8*(13972/(-3430) + 2/5). Is 554 <= u?
False
Let a = 672486052/157027 - 199772/47. Let t = -418/13 + a. Is t >= 1?
False
Let r = 3 - 2. Suppose 0 = l - h + 3*h + 10, -3*l = 2*h + 14. Let i be (0 + l - r) + 4. Are i and 3/4 equal?
False
Let b(m) = 5*m + 77. Let j be b(-15). Suppose -3*v = -3*r - 4*v + 8, 2*r + j*v - 12 = 0. Is -1/20 greater than r?
False
Let j = -12717/23 + 553. Let z = 75 - 74. Is z at least j?
True
Let n(l) = 3 + 2*l**3 + 6*l - 9 - 27 - 14*l**2 + 5 + 7*l. Let j be n(6). Is -43/2 greater than or equal to j?
True
Suppose 11*i - 14*i = -195. Let u(o) = -o**3 - 17*o**2 - 33*o + 5. Let b be u(-15). Suppose 0*n + b = m - 4*n, -n - 128 = -2*m. Does m = i?
False
Suppose 8 = -2*b + h, -8 = -2*b + 2*h - 10. Is -7 >= b?
True
Let l 