074132/129. Do t and 1 have the same value?
False
Let m(c) = 9*c**3 - 3*c**2 + 2*c + 22. Let g(b) = 11*b**3 - 4*b**2 + 3*b + 22. Let v(k) = -4*g(k) + 5*m(k). Let u be v(0). Which is bigger: u or 23?
23
Let u(f) = -f**3 + 6*f**2 + 10*f + 12. Let i be u(-3). Let l be (-183)/(-27) + 14/i. Let b be 2/(-7) + (-366)/(-56). Is l at least as big as b?
True
Let i be -59 - -48 - 295*-3. Does i = 875?
False
Let r = 563 - 562. Let k be 1 + r + (-3392)/(-53). Does 69 = k?
False
Let m(f) = -4208*f - 2335. Let d be m(-1). Do d and 1873 have the same value?
True
Let y = -521.514 + 0.514. Let v = y - -448. Do -2/3 and v have different values?
True
Let k(h) = -28*h + 130. Let q be k(5). Suppose -3 + 20 = -v. Let x = 6 + v. Which is bigger: x or q?
q
Let c = -0.6968 + -1.3032. Which is smaller: -0.0537 or c?
c
Let z = 29 - 32. Let g be (-14)/385*1*(2 - z). Let k = g + 27/88. Is 2/33 bigger than k?
False
Let u(p) = p**2 - 3*p - 81. Let r be u(10). Let t be (-652)/8*22/r. Is t smaller than 163?
False
Let w = -43460/9 - -118229/36. Which is smaller: w or -1545?
-1545
Let a(x) = -72*x + 770. Let z be a(9). Is 118 less than or equal to z?
True
Let o = -227 - -95. Let p be 471/(-162)*(-8)/o*-3. Let y = -5/11 + p. Is 0 at least as big as y?
False
Suppose 2*o + d + 17557 = 0, -492*d - 6 = -494*d. Is -8781 not equal to o?
True
Let u be (2 - 8)/(6/4). Let d be (10 + -8)*(-2)/u. Suppose -3*r = -4*b + d, 0*r = -2*r + b + 1. Which is bigger: r or 2/91?
r
Let h(w) = 2*w - 17*w**2 + w + 9*w**2 - 218*w**3 + 12*w**2. Let x be h(-1). Which is smaller: x or 217?
217
Let g = -78068/207 - -3394/9. Is g <= 13/2?
True
Let w = -84 - -2351/28. Let l = w - 47/252. Let z = 1 - 1. Which is greater: z or l?
z
Let o(i) = 10*i**2. Let s be o(1). Suppose s*p = 5*p. Let u = -0.683 + 0.543. Is p less than u?
False
Let k(h) = 5*h - 10*h**2 + h**3 - 5*h**2 + 5*h**2 + 49 - 12. Let a be k(9). Let u be (-2)/5*20/(-16). Which is smaller: u or a?
u
Suppose -3*n - l = 11 + 2, 35 = -5*n - 5*l. Let a be (-15)/(-9)*(21 - n). Suppose -c - a + 5 = 0. Are -1 and c non-equal?
True
Suppose 0 = z + 4*b - 286, 3*z + z = -4*b + 1204. Let h = -37723 - -38028. Is z greater than h?
True
Suppose -34*z = -33*z. Suppose z = 18*h - 51*h + 363. Is h >= 11?
True
Suppose 1073 = -2*o - 3*m, -2*o - 2326*m = -2324*m + 1080. Which is bigger: o or -558?
o
Let o(r) = 514*r + 433. Let k be o(-5). Are -2137 and k unequal?
False
Let r = -14560 - -14528. Is r >= 18?
False
Let q(v) = v + 12. Let m be q(-11). Let z be (-6 - -1)/5 + -42. Let l be (-3)/z*(-1)/(1 + -2). Is m at most l?
False
Let k be (-2 - -7) + (-3 - -6)/(9/(-18)). Is 0.12411 less than or equal to k?
False
Suppose -23*g + 4*t = -19*g - 16, -2*g + 5*t = -14. Let n be (-65)/(-17) - 18/6. Is g > n?
True
Let b = -99 - -138. Let a = -39 + b. Let c = 59 - 83. Is a at most as big as c?
False
Let t be (53452/112)/((-9)/45). Which is smaller: -2385 or t?
t
Let t = 14 + 7. Let b(z) = -z**2 - 7*z + 46. Let k be b(-11). Let g be 4/k - 49/t. Is g at most as big as -15?
False
Let y = 1849 - 1847. Suppose -2 - 6 = 2*h, 5*h = -3*d - 11. Suppose -d*j = -2*l + 4, 13 = -4*j - 3*l - y*l. Is -6 > j?
False
Let w be 9/945*14 - 34/30. Suppose 2*v + 12 = 3*q, 4*q + 6*v - 2*v + 4 = 0. Suppose -4*y + q = 6. Is y less than w?
False
Suppose 0 = -5*k - 2*f + 1308, -2*f + 3*f = 4*k - 1049. Let h = k - 4448/17. Suppose 16 = 4*c, 2*p = -0*c + c - 6. Is p less than or equal to h?
True
Let v be ((-7)/4)/7 - 4/(28832/(-1866)). Is v greater than or equal to -1?
True
Let j(k) = k**3 - 3*k**2 - 25*k - 11. Let u be j(-8). Let b = u + 515. Which is smaller: 682 or b?
b
Let q(b) = -80*b - 16. Suppose -60 = 18*u + 12*u. Let c be q(u). Do 145 and c have the same value?
False
Let l be (-8 - -5)*(-5)/3. Suppose i = -4*x + 2*x - 7, 5*i = -l*x - 30. Let k be (-5 - 258/(-51))/(-1)*-2 - 0. Which is smaller: k or x?
x
Let m(f) = f**2 - f - 1. Let v(h) = -4*h**2 + 5*h - 1. Let r(d) = -2*m(d) - v(d). Let u be r(3). Let t be (-8)/u - (-12)/(-9). Is -2 bigger than t?
False
Let x be (-35)/14*156/65. Is x < 61?
True
Let t be (3*2/6)/(1/(-4)). Let n = 3 - 4. Let i be 3 - ((-12)/(-4) + n). Which is smaller: t or i?
t
Let y(i) = i**3 - 7*i**2 + i - 1. Let t be y(7). Let f be -2 - (21/72)/((-36)/272). Let a = f + 295/54. Which is greater: t or a?
t
Suppose 8*l = -3*j + 4*l + 8, 0 = -j - 3*l - 4. Let a be (-2)/(j/4) - -22. Is 23 != a?
True
Suppose 6*s + s + 16 = y, y + 3*s = -4. Which is bigger: 31.7 or y?
31.7
Suppose 18*k - 30 = 24. Suppose 0 = -5*x + k*n + 17 - 67, 3*x - 5*n = -46. Suppose 8 = -0*u + 4*u. Which is smaller: x or u?
x
Suppose 0*k + 42*k - 195738 = -15*k. Which is bigger: k or 3433?
k
Suppose -27*b - 44*b + 12480 = -6*b. Is 190 < b?
True
Let f(h) = 5*h + 29. Let z(o) = 1. Let k(s) = -f(s) - 6*z(s). Let a be k(-8). Let r be (a/(-30))/((-9)/12). Which is smaller: -6/7 or r?
-6/7
Let m be (42/67923)/(-14)*(4 - 15/(-3)). Is m at least as big as 1?
False
Let u be (150/9)/(135/1134). Which is smaller: u or 0.1?
0.1
Suppose 16*v - 1040 = -64. Suppose -5*b + v = 31. Which is smaller: b or 16/3?
16/3
Let i be ((-320)/(-12))/10*-12. Let g be 4/6*(-48)/i. Is 9/70 less than g?
True
Let o = -1492 + 337. Let t be o/30 + (-10 - -3). Which is greater: t or -45?
-45
Let a be (10 + -1 - 66)*(-25)/3. Let u = 140126/295 - a. Is 0 greater than u?
False
Let h = -8901 + 8959. Are h and -200 equal?
False
Let j(n) = 4*n + 10*n + 512 - 687. Let u be j(17). Is 68 smaller than u?
False
Let z be ((-136)/102)/((-28)/(-6)). Is 406/19 at least as big as z?
True
Let w(g) = g**2 - 20*g + 50. Let r be w(3). Let s be (-108)/(-92) + -2 + 1. Which is bigger: s or r?
s
Let k be (27 - 27)/(5*-1) - -11. Suppose -978 + 989 = k*g. Let j = -5235 + 1334927/255. Which is greater: g or j?
g
Let w = -0.146 + -0.253. Let k = w - 1.901. Which is smaller: -6/7 or k?
k
Let g = -2.9 + 3. Let a(t) = 11*t - 47. Let f(o) = 5*o - 22. Let i(l) = 6*a(l) - 14*f(l). Let y be i(13). Which is smaller: g or y?
y
Let g = 560 - -1103. Which is smaller: g or 1664?
g
Let a = -0.5986 + 0.4986. Which is smaller: a or -3489?
-3489
Suppose -3*g = 5*o + 535, -716 = 7*g - 3*g + 4*o. Let t be (-2)/(-15) - 3756/g. Let p be (1 + -1 - t) + 0. Is -21 at most p?
True
Let m = -68 - -70. Let z be 1/m + (-75)/(-10) + -7. Let b = 54/11 - 811/154. Is z >= b?
True
Let d = 9 - -118. Suppose q + 55 = 2*x, -d = -0*x - 5*x - q. Let p = x - 44. Is p bigger than -18?
False
Let d = -0.1 - -1.1. Let q be ((-4)/18)/(326/489). Is d < q?
False
Let w = 1609 + -1602. Which is smaller: 90 or w?
w
Let f = 98 + 42. Let i be (-182)/(-40) - (-35)/f - 5. Let g = 4 + -4.06. Which is smaller: g or i?
i
Let b be -4 + (-44)/(-12) + -2. Let q = -41/6 - b. Let l = 78 - 78.1. Is q at most as big as l?
True
Suppose -69 = -l - 3*j, -l + 2*j = 4*j - 68. Let a = l + -42. Let r be (-1)/(3/(-4))*(-33)/(-2). Is r equal to a?
False
Suppose 2*w - 6 = -5*g, 4*w - 2*g - 1 = 11. Let b = 605 - 591. Suppose 5*l = 2*u + 5, 13*u - 2*l + 11 = b*u. Which is smaller: u or w?
w
Let y = 1204 - 1305. Is y at most as big as -502/5?
True
Let t = -56 + 277. Let v = 220.9 - t. Let c = -11/25 + 1/25. Which is bigger: c or v?
v
Let z = -11528 - -11527.363. Are 0.05 and z equal?
False
Let i = 44 + -43.94. Let j(z) = -2*z**2 - 20*z + 4. Let s be j(-10). Let o be (2/4)/(6/s) + 1. Which is bigger: o or i?
o
Let d be (-4 - -5) + (3129115/285)/11. Let m = 999 - d. Which is greater: -1 or m?
m
Let m = 6853 + -5201428/759. Which is smaller: m or 1?
m
Let j be 0/(2/9 - 63/(-81)). Let z be (-6)/(-3) - (5 - j)/(-5). Is z equal to 30/11?
False
Let p = -4 + 11. Let u = 6.431 + -1.366. Let h = 0.065 - u. Is h at least p?
False
Let q(v) = -v**3 + 62*v**2 - 930*v - 157. Let m be q(26). Let k be (-181)/(-748) - (-4)/(-16). Which is bigger: k or m?
k
Let u be -2 + 6 + 6 + 98. Let t = u + -43. Which is smaller: 64 or t?
64
Let m be ((-4)/12)/((-5)/(-56)). Let r(v) = -238*v + 4517. Let y be r(19). Which is greater: y or m?
m
Suppose -84 = -2*s - 10*s. Let j(x) = 2*x**3 - 16*x**2 + 10*x + 1. Let m be j(s). Which is greater: m or 2?
2
Let b = 399.5 - 190. Let r = -208 + b. Is r bigger than 2?
False
Let k = 863.7 + -861.4. Let s = 6 - 1. Which is greater: k or s?
s
Let z(g) = 9*g - 29. Let j be z(4). Suppose s - j = -2*q, q + 7 = 2*s - 2*q. Which is smaller: 0 or s?
0
L