 or 1512?
1512
Let v(a) = 15*a**2 - 69*a + 12. Let k(z) = -z**3 + 6*z**2 - 8*z + 2. Let l be k(3). Let u be v(l). Which is greater: 43 or u?
43
Suppose -3*n - 607 = m - 6*m, 0 = -5*m - 5*n + 575. Suppose 3*g + m = 4*v, 2*v + 2*g - 70 = -0*v. Is 30 at most v?
True
Let w = 7885.4 + -7878. Let q = 47 - 52.4. Let f = q + w. Is 25 bigger than f?
True
Suppose 3*l = -5*t + 9, 2*l + 6*t - 2*t - 6 = 0. Let r be 5*((-7)/((-70)/(-24)) + l). Suppose -20 = -6*u + u, r*u - 12 = -2*b. Are b and -2/17 nonequal?
True
Suppose -5*c = -6*i + 5*i - 19, -3*c - 2*i = -14. Let q be (-5)/(5/c) + -2. Is q bigger than 20?
False
Suppose i = -r - r + 3, 0 = 3*i - 5*r - 9. Suppose -2*x = 3*x + 5*s + 250, -180 = i*x - 3*s. Let v = x - -49. Is v not equal to -5?
True
Let b(v) = v**2 - 7*v - 6. Let j be b(7). Let q(l) = 5*l + 20. Let h be q(j). Let o be h/(-8) + 3/(-12). Is o greater than or equal to -2/141?
True
Let g(i) = 99*i**2 + 135*i. Let h be g(4). Which is smaller: 2122 or h?
2122
Let f = 446.1 + -1062.79. Let l = f - -613. Let o = -0.81 + l. Is 1/4 bigger than o?
True
Let m = 1809788479/36447630 - -41/117573. Let q = m + -483/10. Let x = q - 1738/93. Which is smaller: -17 or x?
x
Suppose -6 = 4*g + 5*c - 45, 2*g = -c + 15. Let x = 73 + -60. Do x and g have the same value?
False
Let z = 60 + -47. Let s be 3/(z/(-7) + 2). Suppose 0 = -7*o + 215 - 61. Which is greater: s or o?
o
Let u = -8848 - -8847.92. Which is smaller: u or 79/5?
u
Let b be ((-3)/(-2))/(78/(-728)). Let x be ((-14)/147)/((-6)/b). Let a = 11 - 3. Is a > x?
True
Suppose -1326 - 1534 = 10*d. Let q be ((-1)/(-3))/(d/78). Is 0 less than q?
False
Suppose 4*u - 3*o + 1063 = 0, -2*u + 1013*o - 1016*o - 509 = 0. Is -265 bigger than u?
False
Let f = 209271 + -106693. Let o be f/3276 + (-1)/6. Let b = -290/9 + o. Is b > -1?
False
Let u be (-3)/(2 - (-7)/(-5)). Let p(g) = g**3 - 5*g**2 - 23*g + 109. Let a be p(5). Which is greater: a or u?
u
Let d be 7*12/18 + (-3 - -9) + -11. Is d less than or equal to 0.082?
True
Let t = -1/53674 - 1422191/9124580. Let r = -3/68 + t. Let o = 5 - 5. Is o smaller than r?
False
Let w = 970.75 + -992.7496. Let s = w + -0.0004. Is -1 < s?
False
Let y be 5/(5*(-6)/(-630)). Let a be (-60)/(-4)*7*-1. Let j = y + a. Is 1 >= j?
True
Let g = -0.039 + -0.214. Let f = 3.253 + g. Is -6/11 at least f?
False
Let o = -9 - -42. Let f = 37 - o. Suppose f*a + 7 = 39. Do a and 9 have the same value?
False
Let w = -9.428 - 536.572. Which is bigger: w or -2/7?
-2/7
Let p = -0.15 - -0.15. Suppose -2702 - 1078 = 189*r. Is r greater than p?
False
Let t = 12893 - 10704. Is t >= 2191?
False
Suppose -5*w - 17 = 27*v - 23*v, -2*w - 2*v - 8 = 0. Let a = -823 + 149. Let t = 16852/25 + a. Is w < t?
True
Let j(n) = -n**3 + 34*n**2 + 164*n + 89. Let q be j(38). Let g = q + -543. Which is smaller: -120 or g?
-120
Let x(q) = -q**3 + q**2 - 10*q + 1. Suppose 2*h - 18 = -a - h, 0 = a + 5*h - 28. Let w be x(a). Let f be 0 + (1 - -2) - 51. Which is greater: f or w?
w
Let s = 0.17 - 17.17. Let p = s - -16.9. Let j be (-288)/1792*4/3. Which is greater: j or p?
p
Suppose 5*g + 123 = 2*t, -206*t = 5*g - 204*t + 107. Let s = 26916580/1029 + -26158. Let n = -48367/2058 - s. Which is greater: g or n?
g
Let s be 2*-3 - (-2 - 0). Let b(p) = p**2 - 18*p + 7. Let a(l) = l**2 - 7*l + 2. Let n(w) = 2*a(w) - b(w). Let g be n(s). Is g bigger than -10?
True
Let j be -2 + 0/(-2) - -6. Let m = 9658 - 9664. Is j greater than or equal to m?
True
Suppose -765 = -6*n - 27. Let c be (-486)/n - -3 - -1. Which is smaller: c or 4?
c
Let d = -1680.9 - -1598. Let m = 43 + d. Let a = -40 - m. Is a > -1/8?
True
Let o be 2962/342 + 11/(176/(-144)). Is 1 < o?
False
Suppose 3*g - 21 = -0*g. Suppose g*f + 0 - 35 = 0. Suppose f*o = -x + 1, -3*o + 3*x = -o - 14. Which is smaller: o or -2/15?
-2/15
Let o = -409 + 414. Suppose o*x - 12 = -5*h + 83, 2*h - 4*x = 38. Is h > 96/5?
False
Let j(d) = d**2 - 23*d - 55. Let y be j(21). Let l = -97 - y. Which is smaller: 2/67 or l?
l
Let s = 20.07 - 19.179. Let f = 1 - s. Is 1 >= f?
True
Let m = -2029 + 4220. Let n be m/(-3066) - (-4)/6. Let a = n + 205/10366. Which is smaller: 1 or a?
a
Let a be (-16)/(-10)*(-45)/(-6). Suppose -4*q - a = -32. Suppose q*k = -z + 1, 0 = 5*k - k + 4*z - 4. Which is greater: k or -4/27?
k
Suppose -5*z + 20 = 0, 2*u + 2*z + z + 2 = 0. Suppose 14 = -5*v - 4*i, v + i + 7 = -2*v. Let o = -5 - v. Which is smaller: o or u?
u
Suppose 85 = -5*w - 5*d, -11*d = w - 8*d + 33. Let t = 10/647 - 27871/3235. Which is smaller: t or w?
w
Let g(u) = 14*u**2 - 3. Let n be g(3). Let b(l) = l**2 - 64*l + 664. Let d be b(10). Which is bigger: n or d?
d
Let s = 64 + -133. Let w be s/5*1/(-3). Which is greater: 4 or w?
w
Let r(k) = -k**2 - 14*k - 19. Suppose 15*d + 44 = -1. Let y be r(d). Is y at least as big as 77/6?
True
Let n = -79 + -23. Let b = n - -151. Let p = b - 48.8. Is p greater than or equal to -5?
True
Suppose 2*y = -2*x - 220, 2*x - y = 2*y - 195. Let z be (-2)/(-13) - 1*x/(-91). Let r be (z - 0) + (-4 - 34/(-6)). Which is smaller: 0.06 or r?
0.06
Let t = -408 - -627. Let s = t + -232.3. Let j = s - -13.4. Is -1 <= j?
True
Let y(f) = -6*f**2 + 3*f. Let c be y(4). Suppose -2*a = -2*q + 150, 3*a + 3*q + 360 - 87 = 0. Is c >= a?
False
Let p = 17/148 + 12659/37. Let r = -341 + p. Which is bigger: r or 1?
r
Let q = 550 - 549.958. Let s = 0.158 + q. Is s > -1?
True
Let a be ((-9)/2)/((-12)/8). Suppose 9 = a*v + 39. Let c = v + 10. Which is greater: -4/27 or c?
c
Let r be -7 + (-36)/12 + (-1 - -1). Let i be r + 8 + (2 + -6)/(-4). Which is greater: -7 or i?
i
Let b = 17947/128550 + 1/2571. Suppose x - 6*x = 0. Is b <= x?
False
Let k(f) = 61*f - 355. Let r be k(6). Is 145/14 > r?
False
Let h(s) = 2*s**3 - 144*s**2 + 153*s - 239. Let i be h(71). Does i = -5?
False
Let l be (4 + -5 - 8) + -1 + 11. Is l != -2/1823?
True
Suppose 3*b - 2*y + 4 = 6*b, 0 = 4*b + 3*y - 6. Suppose 2*l - 4*c = -112, b = -5*l - 13*c + 18*c - 295. Are l and -62 equal?
True
Let z = -11742 + 11747. Is z at most as big as -9.69?
False
Let a = -15013 + 15014. Which is bigger: a or 0.03561?
a
Let r = 176455/17772 + -18/1481. Let a = r + -13471/1356. Suppose -3*y + 3 = -3, -5*o = 4*y - 8. Are a and o unequal?
True
Let s(f) = 30*f - 440. Let m be s(20). Is 157 less than m?
True
Let q(x) = x**3 + 28*x**2 - 9*x - 243. Let g be q(-28). Suppose -8*h + 13*h = -905. Let c be h/(-21) - 4/12. Does c = g?
False
Suppose -114*u - 123*u - 21917 = -230*u. Is -3130 > u?
True
Let l(m) = 71*m**2 + 1152*m + 17. Let o be l(-13). Is -2960 bigger than o?
False
Let l = -249991/27285 - -779/85. Which is smaller: 0 or l?
0
Let q = -133 - -137. Suppose 0 = 3*c + 4*b + 782, q*c + b = 5*b - 1024. Is -257 <= c?
False
Let u be (-2 + (-873)/(-93))*(-3)/10. Let b = u + 1/62. Let t be (-4)/24*-2 + 8/(-6). Which is smaller: t or b?
b
Let q = -1659914/213 - -7793. Which is smaller: 0 or q?
q
Let o = -55 + 37. Let u be ((-429)/(-52))/(o/4). Which is smaller: 3/7 or u?
u
Let a(d) = -6*d + 12. Let n = 37 - 35. Let x be a(n). Let v(l) = -3*l + 47. Let g be v(x). Does 47 = g?
True
Let m(d) = -4*d + 17. Let n be (2 - 2)/(-2) + 10. Let k be m(n). Let c be (-30)/105 - (-159)/(-7). Do k and c have the same value?
True
Let w(l) = -28*l - 134 - 136 + 271. Let d be w(2). Which is bigger: -54 or d?
-54
Let j(b) = 99*b - 1807. Let n be j(34). Is n bigger than 1559?
False
Let s = 11 + -10.2. Suppose -3432*d + 1249*d + 12389 = 1153*d - 7627. Which is bigger: d or s?
d
Let x = 592 - 595. Which is greater: x or -8/9?
-8/9
Let y = 547 + -1381. Is -833 bigger than y?
True
Let s = 388 + -430. Let w be (s/(-308))/(3/(-32)). Let o be (3 + -1 + -2)/2. Is w greater than o?
False
Let p = -527 + 472. Let w = p - -366. Which is smaller: 2/7 or w?
2/7
Let x(z) = -z**2 - 2*z + 1 - 2 - 2*z + 5*z. Let p be x(0). Let k = 163.07 + -163. Which is smaller: p or k?
p
Suppose -9*d - 445 = 203. Suppose 3*m - 6 = 6. Let j be ((-2556)/54)/((-3)/((-18)/m)). Which is smaller: j or d?
d
Let b = -27 + 64. Is b less than 7?
False
Let b = -8 + 7.97. Let p = 0.21 + b. Let l = 7181 + -7181.1. Is p at least as big as l?
True
Let n = 2994 + -2992.5. Do n and -56/9 have the same value?
False
Suppose -824*y + 71*y + 33664 = 299*y. Let m be 8/(-20) - 334/(-10). Which is greater: m or y?
m
Suppose 4*i - 25 = -y + 6*y, 4