alse
Let k(q) = q**3 - 54*q**2 + 103*q + 50. Let f be k(52). Is -738 > f?
False
Let m(o) = -o**2 + 20*o + 39. Let i be m(7). Which is smaller: 125 or i?
125
Suppose 0 = -5*o + 2*o + h + 16, 16 = o - 3*h. Suppose 5*d = 5*i + 4*d + 9, -o*i - 3*d - 11 = 0. Let x be 2/(-20) + (-2)/4. Is x less than or equal to i?
False
Let i be 4772 + 28 + -16 + -25. Is i less than or equal to 4759?
True
Let y = -24773 - -24779. Which is greater: -131/2 or y?
y
Let j(n) = -18*n - 57. Let m be j(-3). Let b = -1931 + 1929. Is b greater than or equal to m?
True
Let w(p) = p**3 + 7*p**2 + 3*p + 10. Suppose 66 = 2*t - 13*t. Let d be w(t). Suppose -2*s + 6*s - 116 = 0. Is d at least s?
False
Let g be ((-1120)/(-3920))/((-179)/(-7) + -2). Let q be 6/(-5) + (-2)/(-10). Which is bigger: q or g?
g
Let i(g) = g**2 - 4*g + 298. Let q be i(15). Is q at least as big as 463?
True
Let c(g) = -9*g**2 - 5*g + 4. Let s be c(1). Let n(h) = 2*h**2 + 10*h - 39. Let v be n(s). Are -0.1 and v equal?
False
Suppose 5*r + 49 = -61. Let w = -18 - r. Let x = 68 + -273/4. Which is smaller: w or x?
x
Let v = -39.6 + -0.4. Let o = v - -34. Let n = o - -3. Which is smaller: -9 or n?
-9
Let u = 11280 + -11279. Which is smaller: u or -22/431?
-22/431
Let p = -0.311 + -198.689. Let i = 133 + p. Are i and 1 non-equal?
True
Let p = -1328.1424 - 2.8576. Are p and -7 non-equal?
True
Let q(r) = r**2 - 54*r - 389. Let l be q(60). Suppose -3 = o - 5*f, 3*f - 3 = o + 10. Which is bigger: o or l?
o
Let d(g) = -184*g**2 + 6*g - 5. Let y be d(1). Let a = 134 + y. Let s = -1.5 + 1.6. Do s and a have the same value?
False
Suppose 0 = -5*y - k + 20, 0 = 4*y - 5*k - 60 + 15. Let u be 4/y - (-73)/365. Let x = 181/236 + -1/59. Which is smaller: x or u?
x
Let q = -43419 + 429544161/9893. Which is bigger: q or -1?
q
Let b = -21 + 38. Suppose -b*j - 2*j = 38. Is j equal to -53?
False
Let o = 0.971 + -0.871. Let j = -1408.28 + 1379. Let k = j - 0.72. Is o < k?
False
Let w = -3718 - -3467. Is w less than or equal to -251?
True
Let j = 0.2103 + -20.3903. Let l = -0.82 + j. Let o = l + 22. Which is smaller: -1/4 or o?
-1/4
Let u = -863/21274 - -1537137075/659494. Let v = u - 2331. Is -1 < v?
True
Let d(o) = o**3 + 11*o**2 - 16*o - 44. Let b be d(-12). Suppose -b*w = 0, -3*q = -w - 1 - 2. Which is smaller: -377 or q?
-377
Suppose -2*i + 1 = 2*o - 19, o + 5*i = 30. Let a(u) = 7*u + 33. Let v(t) = 3*t + 16. Let n(l) = 6*a(l) - 13*v(l). Let m be n(o). Which is greater: 35/6 or m?
35/6
Let y be -5 - -8 - 9/(9/16). Let j be (22/(-4))/(y/338). Is j not equal to 144?
True
Let w(m) be the third derivative of 5*m**4/24 - 3*m**3/2 + m**2. Let t(o) = -o**3 + 33*o**2 + 70*o + 5. Let b be t(35). Let f be w(b). Does f = 17?
False
Suppose 1 = 3*w - 8. Suppose -7*d + 16 = -w*d. Let n be 52/(-9) - -2 - d/18. Which is bigger: n or -6?
n
Let z(p) = p**3 - 4*p. Let g be z(2). Suppose -o + 1 = 0, -5*l - 13 = -g*l + 2*o. Let w(j) = -2*j - 9. Let t be w(-6). Which is smaller: l or t?
l
Let v(y) = -y**2 + 7*y + 6. Let c be v(6). Let s be (3/c)/(3/(-76)). Let p(k) = 15*k**2 - 621*k + 241. Let o be p(41). Which is greater: o or s?
o
Suppose -4*j - 32*r - 5172 = -35*r, 2*r + 8 = 0. Is -1296 != j?
False
Let w(l) = -9*l - 1. Let x be w(1). Suppose 9 = -3*c, 0 = -2*f + 2*c + 8 + 4. Suppose 2*n - 8 = f*s - 26, 2*s - 27 = 3*n. Which is greater: n or x?
n
Let v = -127 - -189. Let b = 18 - v. Let i = -43 - b. Which is greater: 8 or i?
8
Let a = 296.7 - 272. Let y = -6.7 + a. Which is smaller: 2 or y?
2
Let z = -605.6 + 659. Let w = 48 - z. Let s = w + 6.8. Which is smaller: 0 or s?
0
Let j = 11.65 - 11. Let a = j - 50.65. Let y = 50.1 + a. Which is smaller: y or -33?
-33
Let z = 396.3 - 5.3. Let x = 386 - z. Is x not equal to 29?
True
Suppose 101*z - 736 = 99*z - 3*f, -f = -2*z + 728. Is 369 bigger than z?
True
Suppose 119*o - 35*o - 276612 = 0. Which is smaller: 3294 or o?
o
Suppose 2*x - 888 = -4*j, -15*x + 419 = -14*x - 3*j. Let a = -55116 + 388855/7. Let f = x - a. Which is smaller: 0 or f?
f
Suppose 2*g = -3*n - 2*n - 8, 0 = -n - 2. Suppose h - 3 = 4*l - 14, -l - h = g. Suppose -t = 2*f + 5, t = l*t - 2*f - 11. Which is bigger: -3 or t?
t
Let l = 778 + -782. Let c be ((-1)/(-6))/((-21)/63)*l. Suppose 4*k + 24 = 4*i, -2*k = -2*i + 7*i - 9. Is i > c?
True
Let u = 20496 + -11826197/577. Which is smaller: u or 0?
u
Let o(y) = 3*y**3 - 3*y**2 + 4*y + 2. Let q be o(2). Let d be -3 - (q + 2)/(-2). Let g = d + -3. Is g greater than 7?
False
Let z(k) = -2 + 6*k**2 + 4*k**3 - 3*k**3 + 3*k - 5*k - 11. Let d be z(-6). Let h be d/5 + (-366)/(-330). Which is bigger: h or 2?
2
Let k be (21/6)/(6/(-48)). Let c = 27 + k. Let s = 19 + -19. Is s < c?
False
Let i = -3528 + -186. Which is greater: i or -3712?
-3712
Let q = -7154 - -7153.748. Which is smaller: q or -0.17?
q
Let w(v) = -v + 14. Let u be w(12). Suppose -3*i = -a - u*i + 4, 0 = 5*a + 5*i + 20. Which is smaller: a or 15/34?
a
Suppose -6*k + 14*k + 40 = 0. Let z be ((-20)/14)/k + (-679)/(-1225). Is z smaller than 0?
False
Let c = 93 - 78. Let n(y) = 3*y - 42. Let z be n(c). Let r(l) = -l**2 + 8*l + 10. Let a be r(9). Which is smaller: a or z?
a
Suppose -5*w + x = -2*w - 7, w = -5*x + 13. Suppose 0 = -5*y - 3*j + 37, -3 - w = -y - 2*j. Suppose 76 + 68 = y*d. Which is smaller: d or 17?
17
Let l = 3219 - 2723.6. Let k = -495 + l. Is -15 not equal to k?
True
Let q = -0.13106 - 1.06894. Is 488 bigger than q?
True
Let q(p) = p**3 + 1 - 7*p**2 - 5*p + 5 + 4 - 5*p. Let x be q(8). Let y be 4*(3 + (-21)/6). Which is greater: x or y?
y
Suppose c = -3*w - 41, -17*c + 22*c + 205 = -2*w. Is c less than -42?
False
Suppose 50*n = 24*n - 89*n - 200*n. Let h = 2/5155 - 5787/1628980. Is n at least as big as h?
True
Let r = 65 - 58. Suppose 0 = -r*k + 6*k - 3*k. Which is smaller: k or 1/2?
k
Let z(g) = g**2 + 2*g - 12. Let a be z(-5). Let v be (3/(-2))/1*8/a. Let d be -4 + 3 + -2 + v. Do d and -7 have different values?
False
Let s = -966315286/49 - -19721521. Let b = -801 + s. Let p(r) = -4*r**2 - 1722*r - 35948. Let a be p(-22). Is a at least as big as b?
True
Suppose 6*u = -929 + 281. Let a = 271/64 + 46551/448. Let r = u + a. Which is smaller: 1 or r?
r
Let a(p) = p**3 - 4*p**2 + 2*p - 1. Let o be a(4). Suppose -89*v + 94*v - 5*q = 10, -v = -3*q + 18. Which is greater: v or o?
v
Let q(y) = -19 + 10 + y - 40*y + 0. Let c be q(-2). Suppose a = -3*b - 86, 2*b + 3*a + 0*a + c = 0. Is -27 >= b?
True
Let a = -18 - -31. Let u be (0 - -11) + (-55)/(-65). Which is bigger: u or a?
a
Let n = 30173/33319850 + -3/10174. Is n < 1?
True
Let w(a) = -2 - 23 - 4 - a - 1. Let f be w(5). Is f equal to -32?
False
Suppose 2*n = 3*n + 3*a - 23, 4*n - 2*a = -20. Which is bigger: -49/202 or n?
-49/202
Let u(g) = 23*g - 157. Let k be u(7). Suppose 2*t = -k*d - 1816, -29*d + 26*d - 1359 = 3*t. Is -454 equal to d?
False
Suppose -128 = -m + 5*m. Let z be (2/1)/(m + 1). Let r = 377 + -379. Which is smaller: z or r?
r
Suppose -757 - 13506 = -20*q + 3*q. Is q >= 839?
True
Let i be (-33)/(-55) - (-216)/(-60). Let x be -1 + 1 + (-40)/15. Is i less than or equal to x?
True
Suppose -4*n + x + 3800 = 276, 3*n - 2660 = 5*x. Is 878 > n?
False
Let z be (-2)/(-7 - 1442/70). Which is greater: -1 or z?
z
Let m = 58/225 - -15541/5175. Is 2 greater than or equal to m?
False
Let n = 1115 + -980. Is n at least 20?
True
Let i(l) = 8*l - 136. Let p be i(20). Let s(f) = -f**2 + 28*f - 98. Let y be s(p). Which is greater: -0.09 or y?
-0.09
Let n = -17.4979 - -0.2979. Are n and -0.7 nonequal?
True
Let o = -61.3 - -73. Let t = -5.3 - o. Let h = t + 43. Which is smaller: 0.1 or h?
0.1
Let o be 4468860/(-4180) + 4/38. Is o at most -1069?
True
Suppose 7 = -4*n + f, 2*f - 6 = -5*n - 5. Let h = 5642 + -5588.085. Let c = h + 0.085. Is c greater than n?
True
Let w(g) = 143*g - 2146. Let r be w(15). Is -9/1177 less than r?
False
Suppose z + 298 = 5*f, 5*f + 4*z - 22 = 311. Which is bigger: f or 59?
f
Suppose -27*g = 3*j - 34*g - 206, 3*j = -3*g + 186. Suppose n = -3*n + 4. Which is greater: j or n?
j
Let n be (182090/(-50) - -8) + -21. Which is bigger: n or -3654?
-3654
Let i be -3 + 6 - (-840)/(-228). Let w be (-3)/(-6)*(-12)/9. Is w <= i?
False
Suppose -5*u + 4*v + 41 = 0, 0*u + 8 = 4*u + 3*v. Suppose -3*n - 4*s - 36 = -5*n, u*s = -3*n + 10. Is n greater than -3?
True
Suppose -3*x 