reater: k or c?
k
Let r(t) = -t**2 - 7*t - 11. Let z = -18 + 13. Let j be r(z). Let g = 1607 - 17689/11. Is j less than g?
False
Suppose 16*g - 11*g = 0. Let d(r) be the second derivative of r**5/20 - r**4/12 - r**3/3 - r**2/2 - 2*r. Let y be d(2). Which is smaller: y or g?
y
Let j be 14 + (76/14 - 81/189). Suppose -j = 5*o + 56. Which is bigger: -63/4 or o?
o
Let o = -1663/16 + 7564955/72784. Which is smaller: o or -1?
-1
Let v(z) = -z**3 - 23*z**2 + 164*z - 241. Let u be v(-29). Which is smaller: 44 or u?
44
Suppose 415 = 5*c - k, -c = -2*k - 47 - 45. Suppose c*l = 77*l - 35. Let p be (12945/(-2121) - -6) + (-1)/l. Which is smaller: -1 or p?
-1
Let k = 22667948/2003 - 11317. Is -2/5 > k?
False
Let h = 0.9805 - 4.9805. Which is smaller: -0.5049 or h?
h
Let y(v) = -v**2 - 11*v + 2. Let i be y(-10). Let c be ((-24)/54)/((-1)/i). Let d(h) = 2*h**2 + 92*h + 484. Let f be d(-40). Which is smaller: c or f?
f
Let p = 63 - -247. Let f = p + -9919/32. Do f and -1 have the same value?
False
Let h = -15477 - -15394. Is h < 6?
True
Suppose k = 2, -30*r + 630 = -31*r - 5*k. Is r at least -637?
False
Suppose 39 = 3*u - 2*h, -2*h - 31 = 5*u - 112. Let k be (u/(-20))/(1/24). Are k and -13 equal?
False
Suppose -8*o + 11*o - 414 = 2*z, -4*o + 8 = 0. Let r = z + 227. Which is smaller: 15 or r?
15
Let f(i) = 6*i**3 - 40*i**2 + 101*i - 281. Let k(t) = -t**3 + 8*t**2 - 20*t + 56. Let u(r) = -2*f(r) - 11*k(r). Let g be u(-10). Which is smaller: g or -24?
g
Suppose -68*y + 942 = -74*y. Let r = y - -179. Is r less than 22?
False
Let v = 124.8 + -78.9. Let p = v + -46. Which is bigger: 0.0282 or p?
0.0282
Let a(d) = -3*d**3 + 16*d**2 - 2*d - 10. Let u be a(5). Suppose -5*p = -5*t + 4 - 29, -5*t = u*p - 35. Let z = 75 - 55. Are z and p nonequal?
True
Let y = -0.06026 - 245.97974. Let j = 246 + y. Which is greater: j or -15?
j
Let k = 2777752187/9969 - 278639. Which is greater: 1 or k?
1
Let v(y) = 5*y + 25. Let g = -18 - -23. Suppose 28*z - 29*z = g. Let a be v(z). Is a != -4/43?
True
Suppose -2*k - 78 = -4*x, -x + 37 = 5*k + 1. Suppose 0 = 2*v + 11 - x. Which is smaller: v or 17?
v
Let u = 1096.49 - 1101. Let r = 0.49 - u. Let l = r - 5.1. Which is greater: 13 or l?
13
Let w be -35*10/(-75) + 6/(-9). Suppose -5*t - w*u = -7*u + 15, u + 5 = 0. Which is smaller: -5 or t?
t
Suppose 1916 = -8*r + 620. Let v = -24 - r. Let s be (v/8)/((-15)/5). Which is greater: -6 or s?
s
Let a be ((-288)/300)/(158/35). Let w = -1/79 - a. Suppose 0 = -3*q + 13 + 2. Is q <= w?
False
Let v be ((-3168)/1008)/(8/(-294)). Which is smaller: v or 0.4?
0.4
Suppose 0 = -l + 2*w - 26, -3*l - 63 = w - 4*w. Let g be l/120 - 30/25. Which is smaller: -1 or g?
g
Let p(k) = -k**3 + 7*k**2 - k - 8. Let u be p(7). Let h be (18/u)/(4/20)*-3. Which is smaller: h or 17?
17
Let s = -1372 + 1401. Is 29 != s?
False
Suppose 5*k = -3*a - 18, -5*a = 4*k - 6 + 23. Which is smaller: 0.4 or a?
a
Let s = 3/52142 + 415129/34882998. Which is greater: s or -1?
s
Suppose -5*v - 4*r + 72 = 0, 2*v + 4*r - 8 = v. Suppose 0 = v*y - 4*y - 1932. Is 158 < y?
True
Suppose 8*v - 5*v = 0. Suppose -5 = 2*n + b, -4*b - 8 = -0*n + 2*n. Let u be n/35*(2 + 2 - -1). Which is smaller: v or u?
u
Let w = -1381342147153/267666917 + -16/7234241. Let y = w - -5161. Is y at least as big as 0?
True
Let n be 1 - -3 - (6 - 31). Let p(g) = 59 + n*g - 20 + 3*g**2 - 25. Let f be p(-10). Which is bigger: f or 25?
25
Let t = 8101.885 + -8102. Is t != 7?
True
Let c = -15820 + 79901/5. Which is smaller: 160 or c?
160
Suppose 5*g = 3*g. Let h be g/(-3 + 9 - 8). Do h and -30 have the same value?
False
Let h = 8420/329 - 179/7. Suppose -5*x + 6 = w + 26, -2*w + 20 = -2*x. Suppose 18 = 2*k - 4*v, 4*k = -w*v - 30 + 1. Which is bigger: h or k?
h
Let j = -1968/25 + 2348/25. Suppose -2*w + 3*w = -i + 11, 23 = i - 3*w. Which is bigger: j or i?
j
Let a be (1/(-3))/(16/18 + -1) - 6. Is 925 < a?
False
Let u = 5300 - 5302. Let t(l) = -l**2 + 9*l - 5. Let p be t(8). Let r = p + -5. Is r > u?
False
Let x = -2730 + 731. Is x equal to -1997?
False
Let u be (-18)/(5544/32501) - (9/12)/(-3). Are u and -105 nonequal?
True
Suppose -3*o - 236 = -2*v + 397, -v - 633 = 3*o. Is -212 greater than o?
False
Let j(u) = -u**3 + 67*u**2 + 144*u - 14. Let g be j(69). Are 0.08 and g nonequal?
True
Suppose 8*l + 11*l = 0. Let x be (2 - l)*168/(-945). Does x = 0?
False
Let p = 179 + -200. Let z(g) = -3*g**2 - 64*g - 23. Let o be z(p). Let i be (-2)/(-10)*(-8)/2. Is i at least as big as o?
True
Let v = 1902 - 1856. Let o be 47 + 0 - (-5)/(-4)*-4. Which is bigger: v or o?
o
Let i(f) be the second derivative of -f**4/12 + 3*f**3/2 + 58*f**2 + 82*f. Let o be i(16). Do 2 and o have the same value?
False
Let l(c) = -87*c - 1019. Let o be l(-18). Is 548 <= o?
False
Let t = 1785.79 - 1785.4. Does t = -2/39?
False
Let h = 0.2972 - 22.2972. Which is bigger: 11 or h?
11
Suppose -105 = -4*q + 9*q. Let b(u) = u**2 + 22*u + 24. Let w be b(q). Suppose 0 = -4*z + o - w, z = -3*z + 2*o - 2. Is z less than 2/197?
True
Let k(p) be the second derivative of p**3/2 - 43*p**2/2 - 48*p. Let t be k(22). Which is smaller: 26 or t?
t
Let v = -275 + 297.8. Let a = 22.8 - v. Let j = -2063/28215 + -1/1045. Is a bigger than j?
True
Suppose -56*y = -57*y + j - 6, -y + 5*j = 34. Which is smaller: -1/6891 or y?
-1/6891
Let j = 45553 - 183347/4. Let g = -284 - j. Which is greater: g or 0.6?
0.6
Suppose y = -5*y + 732. Suppose -4*r = -s + y, 4*r + 0*r + 8 = 0. Which is greater: 113 or s?
s
Let r be -1*(1 + 11*(4 + -3)). Let y be (1/(-6))/((-4)/r). Does y = -102?
False
Suppose -2 - 6 = -8*b. Let x(g) = 111*g**3 + g**2 - 6*g + 5. Let h be x(b). Let l = h + -84. Are 26 and l non-equal?
True
Let p = -82/43 + 74/129. Is -44/9 not equal to p?
True
Let p(f) = -3*f + 4. Let r be p(4). Let j(d) = -6 + 8 + 0*d**2 + d**2 + 13*d. Let c be j(r). Is -2/5 at least c?
True
Suppose -259 = 6*u - 5*s, 4*s - 29 = -9. Suppose 3*y + 2*y = 10. Suppose y*q + 16 = -64. Is q bigger than u?
False
Let v = 0.1878 + -83.4478. Let i = -84 - v. Let r = -0.76 - i. Is 4/7 > r?
True
Let l = -14986 - -14991. Which is greater: l or 1/406?
l
Suppose 2296*u = 4*a + 2299*u + 6970, -3*a - 5253 = -2*u. Which is smaller: -1749 or a?
-1749
Let c(r) = -r**2 - 4*r + 13. Let f be c(-10). Let l = -39 - f. Let t(m) = -2*m + 12. Let h be t(l). Which is greater: h or 3?
3
Let y be (0 + (-10)/6)/((-17)/(-51)). Let f be (-4)/(-4)*5*y. Suppose 5*r = 324 - 449. Is r at most f?
True
Suppose -1481 = 10*a - 521. Let k be 416/a*3/20. Which is smaller: -2 or k?
-2
Let l = -0.35 + 44.35. Let r be (-34)/(-51) - 52/(-3). Let h = r - 19. Which is greater: h or l?
l
Suppose 7*r - 47 - 23 = 0. Suppose -14 = s - r. Let j be s/(-18) - 1005/27. Does j = -35?
False
Let c(l) = 70*l**2 + 440*l - 2. Let m be c(-6). Are m and -146 unequal?
True
Let y be (-8 + 4 - 3)*(-7)/7 + 159. Are y and -5 equal?
False
Suppose 8*l + 33 = 5*l. Let f = l + 17. Let d be 18/f - (2 + 1). Which is bigger: 11 or d?
11
Let f = -5310 - -47789/9. Which is smaller: f or -104?
-104
Suppose -4*i + 670 = 2*j, i - 4*j - 160 = -3*j. Let o be (-435)/i + (3/1 - 0). Let q = o + -39/77. Is q at most as big as 4/5?
True
Let h be (-10)/(-6)*31899/1372. Is h bigger than 40?
False
Suppose -7*z - 41*z - 209196 = 6*z. Is -3873 greater than or equal to z?
True
Let b = 39.03 - -4.77. Let i = b - 44. Let r = 10.36 + -10.1. Does i = r?
False
Let r = -106 + 256. Let s be (-3 + -19)/(r/(-9)). Let v = -2293/1775 + s. Which is smaller: 1/3 or v?
v
Suppose 3*b + 3*i + 6 = 0, 10 = -4*b - 7*i + 2*i. Are -7/542 and b equal?
False
Let a be -7 + 5 + 2 - (1 - -2). Let n be (66/18 + a)*165. Are n and 111 nonequal?
True
Let m = 3 + 31. Let z be 5 - (m - 15/(-5)). Let t be (z/(-72))/((-20)/(-6)). Is 1 less than t?
False
Let r = -1.325 - -1.425. Which is bigger: r or 1534?
1534
Suppose 19 - 122 = -103*w. Is w at most 187?
True
Let f = 48/1177 - 2360/78859. Is 1 at most f?
False
Let p = -813 - -810. Let r be 93/(0 - 1) - p. Which is bigger: r or -4?
-4
Suppose 40*d = 2*j + 41*d - 13, -5*j + 5*d + 10 = 0. Suppose -q - 2*l + 5*l + 8 = 0, 4*q + 5*l = -2. Suppose -j*z + q*z + 15 = 0. Which is bigger: z or 0?
z
Let z = -10158.5 - -10159. Is z smaller than -215?
False
Let q(i) = 7*i**2 - 2*i - 9. Let l be q(-2). Suppose -144 = -k - l. Is 120 less than or eq