rue
Let t = 0.678 - 13.678. Let f(s) = 8*s**2 + 2*s + 1. Let h be f(-1). Is t less than h?
True
Suppose -m - 1 = 4*w + 2, 3*m - 7 = 4*w. Let g be (19/(-19))/((-1)/w). Let l be ((-138)/34 - -4)/g. Is 1 >= l?
True
Let r be 441/(-504) + 777/(-392). Which is smaller: -16 or r?
-16
Let c be -9 + (0 - 1) - (-40)/(-10). Let o be (-65)/(-26)*(4 - 12). Which is smaller: c or o?
o
Suppose -5*o = -0*o + 165. Let w be (-12)/21 - 81/(-7). Let j = w - 44. Do j and o have different values?
False
Let b(y) = -y**3 + 4*y**2 + 173*y - 927. Let g be b(12). Let f = 153019/25 + -6123. Which is greater: f or g?
f
Let o = -2305 + 2425. Is 133 greater than o?
True
Suppose -v + 6 = v. Let q = -720/143 - -96/11. Which is bigger: q or v?
q
Let a = 318045/88 - 47556/11. Is -708 greater than a?
True
Let v = -5663.6 - -5663.9. Let m = -15.5 - -2.5. Is m less than v?
True
Let c = -16 - -44. Let s = -58 + c. Let p = 30 + s. Is p > -13?
True
Let t(l) = 3*l**2 - 21*l + 11. Suppose 58 = 16*r - 38. Let z be t(r). Which is smaller: z or 52?
z
Let n = 4.800189 - 0.000189. Let i be 1/4 - 11/(-4). Which is smaller: n or i?
i
Let z = -664 + 643. Let h = 27.43 + 0.57. Let b = h + z. Is -6 smaller than b?
True
Let d = 17.23 + -17. Let r = 1.64 + 1.36. Is d > r?
False
Suppose -17*k + 62 + 23 = 0. Suppose k*r + 495 = 2*i, 25*r - 4*i + 505 = 20*r. Is r >= -96?
False
Let o = -4318/54433365 + 422737770799/268406459279070. Let m = o + 2/8531. Is m greater than 1?
False
Let s = -90 - -259. Let v = s + -168. Which is smaller: 5/22 or v?
5/22
Let l be (-4)/9*(-3)/(-2). Let r = 6062.46 + -6062.6. Which is smaller: r or l?
l
Let p = -3342 - -3195. Which is smaller: p or 1.3?
p
Suppose -z = -1 - 5. Suppose 4*f + 2 = -z. Let j = -502.3 - -503. Is j at least as big as f?
True
Let h be ((-4)/6)/((-151950)/(-2036475)) - -9. Which is smaller: 0 or h?
0
Let d(w) = -w**2 + 4*w + 7. Let p be d(4). Let i be (5 - -6) + -5 - p. Is -3/320 less than i?
False
Let v(r) = -158*r**3. Let z(p) = p**3 + 16*p**2 + 15*p + 1. Let a be z(-15). Let o be v(a). Is -156 greater than o?
True
Suppose 0 = w + 3*w + 4, w = 2*h - 149. Let v(u) = 2*u**2 + 20*u + 24. Let y be v(-12). Which is smaller: y or h?
y
Let y = -33.8 - -45.8. Is y equal to -189?
False
Let d(g) = 3*g**3 - 61*g**2 + 74*g + 2. Let u be d(19). Is -33 > u?
True
Let b be 1561/(-476) + (-2)/(-8) + 3. Which is greater: b or 0.06?
0.06
Let v(z) = -4*z + 128. Let h be v(31). Suppose -2*y + 67 = 3*u, -3*u - h + 63 = -2*y. Which is smaller: 20 or u?
20
Suppose 2*d = 4*d + 12. Let c be (-7)/7*d/(-4). Let s = 157.6 - 159.6. Is s less than or equal to c?
True
Let f be (-322)/(-168) + -2 - 900146/228. Let b = -3948 - f. Which is bigger: b or 0?
b
Let j(o) = 6*o + 9*o - 24*o - 8 + 4*o + o**3 - 2*o**2. Let y be j(4). Suppose 0 = 4*i - 0*c + c + 62, 0 = -y*i - 4*c - 68. Which is bigger: i or -14?
-14
Let w be ((-530)/50 - -10) + (0/(-1) - -1). Let y = 3 - 5. Let r = 2 + y. Which is smaller: w or r?
r
Let a(o) = o**2 + 9*o + 13. Let d be a(-9). Let u be (3/(-5))/((-43)/4730*11). Is d <= u?
False
Let h = -254 - -252. Let t be -57*h/(-12)*-6. Are 57 and t equal?
True
Let w = 0.033 - 65.033. Let i = 27 + w. Let b = i - -23. Which is greater: b or -0.2?
-0.2
Suppose -3*p - 4*w - 19 = -2*p, 3*p + 3*w = -12. Let f be (-1)/(-8)*291/(-9)*73. Let i = 295 + f. Which is smaller: i or p?
i
Let x be (-2)/(-15)*-21*-5. Let d be x/42 + 46/(-192). Let u = 1/8 - d. Which is bigger: u or 1?
1
Let l = 102 + -85. Let i be 0 + (l/(-26) - (-3)/6). Suppose -1 = -b + 2*b. Is b at least i?
False
Let v = 2.28 + -8.28. Do v and -41 have the same value?
False
Let h = -4.4577 + 1.4577. Is 1770 < h?
False
Let q(z) = 8*z - 49. Suppose -33 = -3*w - 2*w - 4*n, -w = 3*n - 11. Let y be q(w). Let h be 4/27*y/6*3. Which is bigger: h or -6/5?
h
Let i be (-83)/84 + 4/7. Let y = 15890 + -15888. Which is bigger: i or y?
y
Suppose 9*v = 4*v + d - 14, 0 = -5*v - d - 16. Let h be (4/v)/(7/(588/(-8))). Let b be 2 - 133/h*(-4)/(-5). Which is smaller: b or -7?
-7
Let l = -304 - -316. Suppose 2*k - 3*y = 16, 6*y = -2*k + 8*y + l. Is -12 != k?
True
Suppose 10*l = 39*l + 5597. Which is greater: l or -194?
l
Let m = -439 + 125. Let w = m + 206. Which is greater: w or -107?
-107
Let t be (-1 + (-231)/28)*4/(-120). Let g = -1/15 - t. Is g less than or equal to -16?
False
Let g(h) = -5*h**3 + 2*h**2 + 9*h - 14. Let a be g(2). Let q be 154/(-888) + (a/(-24) - 1). Are 1 and q equal?
False
Let k = -9.9 + 24.2. Let w = 16.1 - k. Let g be (6/(-4))/((-3)/(-1)). Which is bigger: g or w?
w
Let c be (-9566)/(-4)*(38 - 40). Let s = -28769/6 - c. Is s equal to -13?
False
Let r(b) be the third derivative of -b**6/120 + b**5/15 - 5*b**4/24 + b**3/2 + 8*b**2 + b. Let u be r(2). Which is smaller: u or -317?
-317
Let z = -76393/3 + 527833/21. Which is smaller: -330 or z?
-330
Suppose 19 = 9*y + 1. Suppose 6*o - 160 = -y*o. Let l be (-30)/o + ((-5)/(-2))/5. Are l and 1/30 non-equal?
True
Let v = 490 - 499. Let r be (42/(-8))/((-1410)/160 - v). Suppose -l - 2*l - 87 = 0. Which is greater: l or r?
r
Let u = 8592 - 8593. Which is bigger: u or -4/529?
-4/529
Suppose 10*o - 13 = 17. Suppose -l + 5 = -a, -5 = -4*l + o*a + 11. Suppose -l - 15 = 4*b. Is b at least -2/5?
False
Suppose 9554 = -4*n - 5*x + 1710, -2*n - x = 3916. Is n at most -1957?
False
Let o = -578 - -152. Let i = -367 - o. Let r be 1224/21 - (-4)/(-14). Is i not equal to r?
True
Let j = 0.0611 - 0.0611. Is j greater than or equal to 1258?
False
Suppose -9*d - 4*r = -14*d + 1466, 0 = 4*d + 4*r - 1144. Do 289 and d have the same value?
False
Let u(t) = 11*t + 91. Let m be u(-14). Let s = -187 - m. Are s and -124 unequal?
False
Let y be 22 - 21 - (-63)/(-60). Let o be 34/(-102) + 2/6. Which is smaller: o or y?
y
Let h(i) = -2*i - 24. Let x be h(-14). Suppose 60 = -n - 2*o, x*n + 276 = 2*o + 2*o. Is -65 <= n?
False
Let y = -2534.66 - -2438. Let g = y + -0.34. Let a = -96 - g. Which is smaller: -0.13 or a?
-0.13
Let g = 0 - 1. Suppose -154*r = -149*r - 910. Let v = 719/4 - r. Is g greater than v?
True
Let s be 2 + 17/((-68)/8). Suppose s = 12*b + 77 - 89. Are 8/33 and b nonequal?
True
Let n(j) = 3*j**2 + 70*j - 284. Let z be n(4). Is z smaller than 133/3?
True
Let j = -4475 + 4446. Let u(m) = m - 3. Let k be u(3). Suppose 78 = -3*n + 3*g, k = 5*n + 3*g + 203 - 57. Is j equal to n?
False
Suppose -n + 7 = -x, -5*x + x - 2*n = -2. Let u be (34 + -39)*(-1 - x). Are u and 8 equal?
False
Let r be (9/(-1))/(10 - 3). Let c = -660.8 + 660.7. Which is smaller: c or r?
r
Let d = -5.984 + 30.984. Which is smaller: d or -12/19?
-12/19
Let t(h) = h**3 + 23*h**2 + 154*h - 72. Let i be t(-10). Which is greater: 2/39 or i?
2/39
Let u = -0.186 + 0.546. Let j = u - 0.15. Let s be 4/22 + 28/88. Which is greater: j or s?
s
Let n(p) = 4*p**2 - 23*p - 4. Let m be n(7). Suppose m*i = 18*i - 52. Let t = -8 + 4. Is t smaller than i?
False
Let b(x) = 8*x - 2. Let o(k) = 16*k - 3. Let y(z) = -5*b(z) + 3*o(z). Let j be y(0). Let m be (j + -77)/(-2) + (26 - 25). Is m >= 39?
True
Let l be 3/2 - ((-938)/224 - -4). Is 3 >= l?
True
Let s = 0.03036 + 0.26964. Is 185 not equal to s?
True
Let y(j) = -38*j - 15. Let d be y(6). Let p be 3699/d*(-6)/20. Let k = 22/5 - p. Are -2/3 and k unequal?
True
Let w = 112.36 - 112.36. Which is bigger: w or -3/104?
w
Suppose 87*z = 31*z - 37*z + 1023. Let j = 1.4 - 1. Are z and j non-equal?
True
Let t = 12532 + -12533. Is t not equal to -4/7393?
True
Let s be 0*(21 - 27)/18. Let b = 96 - 66. Let k be (-35)/b + (-2)/(-8). Which is greater: k or s?
s
Let h = -280 - -274.8. Let i = -4.5 - h. Let y = -5 - -8. Is y less than or equal to i?
False
Let b(p) = -p**2 + 30*p - 7. Let i be b(29). Suppose -5*s + 2*k = k - 19, 5*s = -2*k + i. Are s and 19/7 equal?
False
Let r = 4146.8 + -4142.8. Which is greater: r or -1373?
r
Let m = -20268 + 256349663/12648. Is m greater than or equal to -1?
True
Let d(l) = 60*l + 2781. Let m be d(-46). Is m < 30?
True
Suppose -5*f - 3 = 3*g - 10, -7 = 3*g - 2*f. Let b be (5 - (-2598)/(-288)) + 5 + g. Is -1 at most b?
True
Suppose 2*f - 11 = -259. Let n(b) = -2*b**2 + 133*b - 2300. Let t be n(29). Do t and f have the same value?
False
Let c = -111 - -68.5. Let p = c + 42.45. Are p and 1/15 equal?
False
Suppose -l = -3*l, 132 = 3*u - 4*l. Let m = -43 + u. Is 1/9 at mo