than 1.3?
True
Let j = 77.3 + 39.7. Is -1 less than or equal to j?
True
Let y = 114 - 109. Suppose y = -3*s - 1. Which is bigger: -8/11 or s?
-8/11
Let o(f) = 31*f + 23. Let x be o(-19). Let m = 6206/11 + x. Which is smaller: -3 or m?
-3
Let n = 664/3 - 223. Let j = -1.09 + 0.09. Which is smaller: j or n?
n
Let m = -35 - -72. Let r = 32 - m. Let z = 0.13 + 0.07. Which is smaller: z or r?
r
Suppose 2 = -n + 17. Let v be 35/n - (-9)/(-6). Let l be 3/30 - (-5)/(-10). Is l at least as big as v?
False
Let i be (-274)/(-714) - (-2)/42*-6. Is 1 equal to i?
False
Let h = -3.7 - 0.3. Let o = -7 - h. Let j = 0.088 - -0.312. Is j at most as big as o?
False
Let c be (-2)/15*50*2/(-80). Let s = 7/291755 + 28357361/51057125. Let d = s - -2/125. Which is bigger: d or c?
d
Let y = 0.0327 - 1.0327. Which is bigger: y or -83?
y
Let y(c) = c**2 + 1. Let t(a) be the second derivative of a**4/12 - 13*a**3/6 - a**2/2 - a. Let k(g) = -t(g) + 2*y(g). Let p be k(-13). Is p <= -2/9?
False
Let k = -51 + -123. Which is smaller: k or -349/2?
-349/2
Let c = 2 + -3. Let s be 3 - 6 - (c - 1). Let l = 931 - 12097/13. Which is smaller: l or s?
s
Suppose -14*h = 5 + 9. Is 2/105 less than or equal to h?
False
Let d be ((-15)/145)/((-42)/(-56)). Which is smaller: -2/7 or d?
-2/7
Suppose -8*x - 25 + 1 = 0. Which is smaller: x or -36?
-36
Let d = 1135 + -1134. Which is smaller: 430 or d?
d
Let x(j) = -j**3 - 2*j**2 - 2*j - 1. Let n be x(-2). Let i(h) = 3*h**3 - 3*h - 3 + 6*h - h**2 + 2 - 4*h**n. Let p be i(1). Is p equal to 6/7?
False
Let c be 38/154 - -1 - 4/(-22). Suppose 9*g - 24 + 6 = 0. Are g and c unequal?
True
Let u(p) = -p**3 - 5*p**2 - p - 2. Let o be u(-5). Let b be 58*o*(-2)/12. Let m be (5 - 2) + b/9. Which is smaller: -1/3 or m?
-1/3
Suppose -y = -74 + 4. Let m = 37 - y. Is m < -34?
False
Suppose -3*s + 5*t + 70 = 0, 0*s = s - 3*t - 26. Let v = 16 - s. Are -4 and v non-equal?
False
Suppose -32 = 3*a - 4*u, 3*u - 6 = a + 4*u. Let j = 7 + a. Which is greater: j or 1/20?
1/20
Let s(c) = -10*c + 202. Let f be s(21). Is -62/7 < f?
True
Let j = -4 + 8. Suppose -25 = -4*p - 5. Let w = p - j. Which is smaller: w or -2/13?
-2/13
Let m be (-10)/4 + 2520/(-144). Is m equal to -204/11?
False
Let p = 18.214 - 0.214. Let y = -8.5 + -9.6. Let w = y + p. Which is greater: w or 0.3?
0.3
Let c = -102/35 - -9879/3395. Are c and -1 equal?
False
Let t be -14*((-36)/7)/6. Suppose 0 = b + 10 - t. Is b < 24/19?
False
Let p(v) = -v**2 + 0*v + 0*v. Let i be p(1). Let g = -29809/8 + 3726. Which is smaller: g or i?
i
Let g be (0 - 0)*(-11 + 14 - 2). Which is smaller: -20/67 or g?
-20/67
Let k be (3/3)/((-14)/922). Let i = -66 - k. Is i at least 0?
False
Suppose 0 = 5*a - 3*a. Suppose 5*k - w = -5, a = 5*k - 2*w + 7*w - 25. Let u be 2/12*(-6)/(-4). Which is smaller: u or k?
k
Let y(x) = -x**3 + 7*x**2 + x - 8. Let i be y(7). Let q be i*(-10)/(-4) + 228/76. Let t = -0.8 - -1. Is t at least q?
False
Let k(g) = 3*g. Let w be k(-8). Let c = 19 + w. Is -5 >= c?
True
Let n = 339 - 326. Which is smaller: 148/11 or n?
n
Let o = 19865155849/17517931 - -76/170077. Let z = 1134 - o. Let u = z - -401/1133. Are u and -1 unequal?
True
Let m = -51 - -50. Is m > -1/77?
False
Let x = 1050 + -1049. Is x smaller than -47?
False
Let r = -22 + 16. Let m be 1/r + (-10)/12. Let x(i) = -i**2 + i + 1. Let h be x(-2). Which is bigger: h or m?
m
Let d(f) = -2*f + 45. Let s be d(-9). Is s less than or equal to 61?
False
Suppose -16*t + 2 = -17*t. Does 1.5 = t?
False
Suppose 4 = 6*f - 10*f. Let z be 1/((0 - f)/1). Let l be ((-2)/(-3))/(z/3). Do 2 and l have the same value?
True
Let z(i) = i**2 + 9*i - 10. Let b be z(-10). Let q(v) = -2*v**2 - 2*v + 1. Let s be q(1). Let c be 1 - (-3)/(s/2). Which is smaller: b or c?
c
Suppose -28 = -6*o + 8*o. Let m be (o/49)/(6/(-14)). Let r(x) = x**3 - 12*x**2 - 13*x + 1. Let c be r(13). Which is smaller: c or m?
m
Let y = -10709/4 - -2678. Let j be (-1)/3 - (-2)/6. Is j greater than y?
False
Let i(t) = -t**3 + 7*t**2 + 6*t + 15. Let m be i(11). Is -404 bigger than m?
False
Suppose 5*d - 16 = -1, -p + 2*d + 46 = 0. Suppose g + g + p = 0. Which is smaller: g or -28?
-28
Let z = -191.85 + 192. Does z = -0.1?
False
Let i = -883 + 883. Is i >= 95?
False
Suppose 10*d = 12*d + 26. Which is greater: -6 or d?
-6
Let h be 0 - (-2 + 4)*-1. Let p be 9/(-6)*h/6. Let f = 6199/2 - 154971/50. Do f and p have different values?
True
Let o be 3/12 - 7/12. Let s(r) be the third derivative of -r**5/30 - 19*r**4/24 - 3*r**3/2 - 11*r**2. Let p be s(-9). Which is smaller: o or p?
o
Let d = -1.84 - -1.24. Is d greater than or equal to -1/3?
False
Suppose 2 = 2*z - 0. Suppose 0 = 12*f - 5*f + 5712. Let n be 368/f + (-1)/(-3). Which is smaller: n or z?
n
Suppose -48*i = -95*i + 46*i + 19. Let a(p) = -5*p - 9. Let r be a(-6). Which is bigger: i or r?
r
Suppose -c + 5*i + 20 = 0, 5*i + 3 + 17 = -2*c. Let d be (((-30745)/(-7110))/13)/((-10)/(-4)). Let s = 7/79 - d. Are s and c nonequal?
True
Let g(v) = v**3 - 10*v**2 - 29*v - 19. Let s be g(13). Suppose s*r - 35 = 116*r. Is r less than -3?
True
Let j(y) = -y**3 + 6*y**2 + y - 4. Let q be j(6). Suppose -2*g = 3*s + q*g + 346, 2*g = 4. Let z = 824/7 + s. Is z <= -1?
False
Let a = 304 - 303. Let t(j) = -j**3 - 8*j**2 + 3. Let k be t(-8). Let v = -3 + k. Is a > v?
True
Let u = 68140/37 - 1842. Which is smaller: u or -1?
-1
Let n(u) be the second derivative of -u**5/20 - u**4/4 - u**3/3 + u**2 - 3*u. Let k be n(-3). Is k bigger than 26/3?
False
Let h(f) = f**2 + 23*f - 104. Let y be h(6). Is 71 >= y?
True
Let i(v) = v**3 - 2*v**2 + 3. Let t(h) = -h + 9. Let x be t(7). Let q be i(x). Suppose q*b - 4*k = 1, 0*k = 3*b - 2*k + 7. Are b and -0.2 equal?
False
Let f be (12/(-8220))/((-17)/10). Which is smaller: -1 or f?
-1
Let v = 32 - 32.013. Which is greater: -1/2 or v?
v
Suppose 2*y = -s - 4*s - 6, 0 = 3*y - 2*s - 10. Suppose y*o = -3*p + 6, -3*o + 6 = -8*o + 3*p. Suppose o = -5*w + 28 - 8. Which is smaller: w or 3?
3
Let v = -24.4 + 23. Let b = v + 1.4. Let z = -0.04 + 0.94. Is b < z?
True
Let k be (0 - 0)/(-1 + 2). Let h be 26/60 - (-2)/(-6). Do k and h have different values?
True
Let i = 84 - 80. Suppose -158 = -i*n - 130. Which is smaller: 6 or n?
6
Let d = -86 - -110. Is 73/3 at least as big as d?
True
Let r be 5/(((-5)/(-1))/(-305)) + 2. Which is smaller: -305 or r?
-305
Let a = 0.5 + 0.5. Is -731 at least as big as a?
False
Let t = -401 - -286. Which is bigger: -114 or t?
-114
Let j = 1892 + -1835. Which is smaller: 47 or j?
47
Let y = 127 - 138. Let j be 75/y*3/9 - -3. Which is smaller: 0 or j?
0
Let p(m) = 8 - 3*m - m**2 + 3*m. Let h be p(0). Let s be (-2)/24 + h/(-32). Is 0 >= s?
True
Let f(p) = 2*p**2 - 7*p + 10. Let o be f(4). Let m = -5 - o. Which is bigger: -2 or m?
-2
Let p = 0.84 + 0.16. Let h = 4 - p. Is -2 equal to h?
False
Let r = -1.3 - -1.2. Let y be (-3)/(132/80) - (-2 - 2). Is r smaller than y?
True
Let r = 869 - 3655/4. Which is bigger: -44 or r?
-44
Suppose r - 5*j = 25, 2*r - j = 3*j + 20. Suppose r = 5*p - 4*z + 29, -3*z - 5 = -3*p - 23. Is p at least as big as -4?
False
Let h(b) = -12*b + 2. Let d be h(-2). Let v = -43 + d. Is -17 at least as big as v?
True
Let u(r) = -84*r**3 - 2*r**2 - 2*r + 3. Let n be u(2). Is n bigger than -681?
False
Let m be 4 + (0 - 4 - -2). Let z(o) = -3 - 1 + o**m - 1 - 3*o + 7. Let q be z(2). Which is smaller: q or 6/5?
q
Suppose 0 = 4*w - p - 6, 7 = 2*p + 3. Let j = -9 + 6. Let v be (-4 + 2 + j)/1. Which is smaller: w or v?
v
Let j(s) = s**2 + 26*s - 184. Let n be j(-27). Which is smaller: n or -160?
-160
Suppose -196*t + 5095 - 587 = 0. Let b(a) = -a**3 + 2*a + 1. Let y be b(-3). Which is smaller: y or t?
y
Let s be 28/(-126) - 2375/(-360). Are s and 7 unequal?
True
Suppose 4 = 38*s - 40*s. Let p be ((20 - -6) + s)/(6/(-4)). Is -61/4 less than or equal to p?
False
Let q(p) be the second derivative of p**3/3 + 35*p**2 - 48*p. Let w be q(-28). Which is smaller: -2 or w?
-2
Suppose -35 = 7*j - 21. Which is greater: -8/15 or j?
-8/15
Let y(w) = -w**3 + 6*w**2 - 7*w + 9. Let f be y(4). Let r = 2 - f. Let a be 2/r + 24/(-231). Which is greater: 1 or a?
1
Let v = -1733/94536 + 1/808. Let j be 6/(7020/(-6415)) + 1 + 3. Let n = v + j. Which is smaller: n or -2?
-2
Suppose -14*u + 10*u = -4*s - 156, 3*u - 2*s = 122. Is 45 < u