et n(m) = 4*m**2 - m - 5. Let t(v) = 3*v**2 - 4. Let a(y) = -2*n(y) + 3*t(y). Let l be a(-2). Which is smaller: 1 or l?
l
Let n = 23.011 + -0.011. Let p = -129.2 + 152. Let g = p - n. Which is greater: g or 4/5?
4/5
Let j = -34.48 - 0.52. Let z = 35.8 + j. Let b = 92 - 646/7. Which is greater: b or z?
z
Let z = -96 + 95.953. Let u = -0.077 - z. Let j = 0.1 - 0.1. Which is greater: j or u?
j
Suppose -2*y = 4*m + 90, -m - 11 = 2*y + 13. Let x be m/(-8) + 12/48. Let z = 3 - x. Which is smaller: -1/9 or z?
-1/9
Let n(b) = b**2 - 6*b - 7. Let t be n(7). Suppose -5*a - 4 - 11 = -2*r, 5*r + a + 3 = t. Is r smaller than -1?
False
Let m = -18 - -14. Let q be 6/m - 124/(-8). Suppose -9*k + 25 = -q*k. Which is smaller: k or 1?
k
Let y(t) = -t**2 - t - 1. Let l be y(0). Let k = -45 + 40. Let g be (2/l)/(10/k). Is -3/8 greater than or equal to g?
False
Suppose -4*f + 0*f + 8 = 0. Let g be (6/(-72))/(f/(-20)). Is 0 bigger than g?
False
Let r be 12/3 + -3 - 5. Let a be -2 - (-2 - r) - -3. Let u = 5523/20 + -276. Which is greater: u or a?
u
Let w = 46 - 18. Let l = 28.17 - w. Is -1 greater than l?
False
Suppose -i - 2 = -0*i. Let r(u) = u**3 + 2*u**2 - 6*u + 6. Let d be r(-4). Is i at most as big as d?
True
Suppose -4*b - 4*k = -8, 3*b + 4 - 14 = -k. Suppose -4*g + 2*d = 22, 5*g + b*d = 3*g - 6. Let a = -127 - -124. Does a = g?
False
Let s be (22/4)/(139/46 + -3). Is -0.1 equal to s?
False
Let b = -63 - -66. Let r = -4 - -7. Do b and r have different values?
False
Suppose 88 = -8*j + 248. Is j less than 9?
False
Suppose -3*y + 15 = -0*y, -40 = 2*g - 4*y. Let p be ((-16)/(-18))/(g - -9). Let x(m) = m + 9. Let u be x(-9). Do u and p have the same value?
False
Let b(g) = g**2 - 14*g + 13. Let p be b(13). Suppose p*a - 2*a = 0. Is -6/19 bigger than a?
False
Let j = -125 + 237. Suppose -3*d - d = -j. Suppose 7*t - 3*t = -d. Is t less than -3?
True
Let l be (4 + 0 - 5)/((-4)/(-92)). Is -31 equal to l?
False
Let t = 68 + 47.3. Let j = -115 + t. Does j = 3?
False
Let x be 1*(-9)/(-12)*52/(-39). Which is greater: 22 or x?
22
Suppose -119 = -4*f + 5*u, 5*f + 5*u - 72 = 43. Let s = 65 + -92. Let y = s + 53. Is f < y?
False
Suppose 2*t + 6 - 30 = -2*f, -5*t = -25. Let g(d) = d - 7. Let c be g(f). Let u be (-8 + 11)*(c + 1). Which is bigger: u or 15/4?
15/4
Suppose 50*j + 5*h = 53*j - 8, 4*j - 4*h - 8 = 0. Let s = 4 - 2. Let q be 17/8 - s*1. Is j equal to q?
False
Let q(l) = 2*l**3 - l**2 + 2*l - 2. Let r be q(1). Let x = -31 + 16. Which is smaller: x or r?
x
Let j(q) = 1 + 2 - 2*q - 1 - q. Let t = -18 + 26. Let z be j(t). Is -21 smaller than z?
False
Suppose 5*o + 50 = -0*o. Let d be (-4)/o - (-64868)/100. Let k = -649 + d. Are 1 and k non-equal?
True
Let w be 50/10 - -33*1. Let l be ((-4)/19)/(-2) - (-1250)/w. Which is bigger: 35 or l?
35
Let a = -6 - 2. Let t be (-15)/(-6) + (-3 - 20/a). Which is bigger: t or 7/9?
t
Suppose 2*t - 37 = -4*j - 15, 2*t - 6 = 4*j. Suppose t*i - 2*i - 44 = k, -3*k = -2*i + 28. Suppose 0*q = -2*q - i. Is -5 at most q?
True
Let d be (-3)/4 + 3/4. Let n = 386/3925 + -172857126/160925. Let m = n + 1074. Which is greater: d or m?
d
Suppose 49*a = 52*a - 15. Suppose a*c - 12 = -52. Let l(g) = 11*g**3 + g**2 - g - 1. Let w be l(-1). Which is smaller: w or c?
w
Suppose 5*p = -37 + 422. Let y = -76 + p. Is -2/23 equal to y?
False
Let n be (-9996)/(-1649) - (-12)/(-2). Is n less than -1?
False
Let p be (-5)/1 - (-570)/657*6. Which is smaller: p or 1?
p
Let c = -38.006 - -0.006. Let d = -31 - c. Is 0.5 smaller than d?
True
Let h be 0 + 1 + -3 + 13. Let a = 31 + -34. Let l = 9 - a. Is h greater than l?
False
Let y be ((-6)/9)/(8/444) - 5. Which is smaller: -286/7 or y?
y
Let i(u) = -7*u - 186. Let y be i(-33). Are y and 47 non-equal?
True
Let z = 93 - 39. Let d = 53 - z. Is 7 equal to d?
False
Suppose -47 - 149 = 4*y. Let a = y - -99. Suppose 20 - a = 5*m. Which is smaller: -3 or m?
m
Suppose -122 = -h + 5*g, 3*h + 2*g - 417 = -0*g. Which is smaller: 139 or h?
h
Let k be -3 + ((-294)/(-35) - 2). Which is bigger: 3 or k?
k
Let u = 53/2 - 363/14. Is u at least 0?
True
Let z be (-10)/4*12/(-15). Suppose -z*v + 0*v = 0. Let f be (1 - 5) + 42/11. Which is smaller: f or v?
f
Let t = -8 + 22. Suppose 41 = 3*c - u, 0*c + c - 21 = 4*u. Which is smaller: t or c?
c
Suppose 4*u = 5*u + 5. Let x(s) = 2*s + 46. Let f be x(-25). Is f greater than u?
True
Let i = 569 - 857. Which is greater: 0.1 or i?
0.1
Let i = -1.7 - -29.7. Let g = i + -29. Is 8/5 at least as big as g?
True
Let v = 447/104 + -51/13. Suppose 0*z - z + 1 = 0. Is v greater than z?
False
Suppose -92*o + 503 = -89*o - 5*i, -3*i = o - 149. Does 161 = o?
True
Let j(m) = -3*m + 30. Let p be j(-10). Let h be p/70 + 2/7. Which is greater: h or 0.1?
h
Let h(s) = 3*s**2 + 7*s + 18. Let w be h(-2). Is 19 > w?
True
Let n = -0.11 - -0.22. Let c = 0.89 + n. Let a = 1.4 + -0.4. Is a greater than or equal to c?
True
Let l be 1/(-3) + (-316)/(-3). Let y = l + -1156/11. Is y equal to 0?
False
Let i(o) = 3*o + 5. Let d be i(-5). Let y be -2 + 5 + -11 + 0/1. Is d less than y?
True
Let m be 2 - 10*3/(-12). Let f = 5 - m. Is f >= 3/5?
False
Let a = -1096/259 + -2/37. Which is greater: -4 or a?
-4
Let d be (-611)/(-306) - (1 - 2). Let a be (-7)/(-35) + 801/(-255) + 0. Let i = a + d. Do i and 2/7 have the same value?
False
Let j = 958 - 538. Let g be j/(-9)*(-84)/10. Let o = 7450/19 - g. Which is smaller: o or -1?
-1
Suppose -3*a + 10 = -8. Suppose -5*q = a*u - u - 15, -5 = -q. Which is bigger: u or 2?
2
Let i = -95/814 + 6/37. Which is smaller: -2/7 or i?
-2/7
Let b = 31 + -29. Which is smaller: 34/33 or b?
34/33
Let l(z) = -4*z - 34. Let q be l(-5). Suppose -n - 4*m = n + 8, -3*m + 71 = -4*n. Is q at most as big as n?
True
Let r(u) = -3*u**2 - 8*u - 1. Let f be r(-3). Which is greater: 1.7 or f?
1.7
Suppose 2*p - 5*c = -2*p + 131, c = -p + 26. Suppose -3*i - p = 31. Which is greater: -21 or i?
i
Suppose -6*w + 3*w = -27. Let m be (-90)/(-5)*12/w. Let x be 2*(51/m - 2). Which is smaller: x or 0?
0
Let w = 391 + -395. Which is bigger: w or 6?
6
Suppose 3*z = -4*d - 76, -3*z + 9 = -2*d - 11. Let a be (25/(-5) - -4)*d. Is a < 16?
False
Suppose -6*k = 3*k - 1170. Is 131 bigger than k?
True
Let v = -1 - 3. Let l = -0.67 + 0.07. Let h = -0.7 - l. Which is smaller: v or h?
v
Let t be 8*(255/(-35) + 7). Which is greater: t or -3?
t
Let g(n) = 3*n**3 + 2. Let v be g(2). Let l = v - 24. Is 13/5 != l?
True
Let q(z) = z**2 - 17*z + 6. Let c be q(17). Let a be ((-2)/c)/((-12)/(-18)). Is 2 greater than or equal to a?
True
Suppose -18 = -k + 3*d, -d + 44 = 4*k + d. Let x = k - 9. Let i = -111 + 118. Which is greater: i or x?
i
Suppose 2*j + 120 = 2*x - 20, -207 = -3*x + 4*j. Is x bigger than 71?
True
Let l = -81/20 - -19/5. Let y = -89/1345 + -36/269. Which is smaller: l or y?
l
Let v be (98/(-4))/((-5)/(-5)). Let w = v + 24. Suppose 36*k + 5*k = -82. Which is smaller: k or w?
k
Suppose -2*y + 74 = 14. Do 49 and y have different values?
True
Suppose 7*o - 3*o - 2*o = 0. Suppose n - 5*r - 37 = -o*n, -2*n + r = -65. Which is bigger: 31 or n?
n
Let g(w) = -5. Let v(t) = t**2 - 4. Let i(p) = 3*g(p) - 4*v(p). Suppose -3*l = -5*h - 14, -5*h + 2*l - 11 = -0*h. Let c be i(h). Is -3 at most as big as c?
True
Let j be (-16)/(-40) + (-562)/5. Let u be ((-6)/2)/((-663)/111 - -6). Which is bigger: j or u?
u
Let s be 1/(-2) - (11 + 1095/(-60)). Suppose -3*j - 5*o = -8, j = 3*o + 10 + 2. Is j at most as big as s?
True
Let t = 23 + -49/2. Let q(l) be the third derivative of -l**4/8 - 13*l**3/6 + 4*l**2 + 5. Let r be q(-4). Which is bigger: r or t?
r
Let g = 23 - 25. Let b be (-2)/g - 10/(-20). Are b and 2 equal?
False
Let x = -669 - -657. Which is smaller: x or -0.06?
x
Let q = 945 + -1470. Is q less than 2?
True
Let x be 1 + -3 + 1/(-1). Let k = -95/2 + 46. Which is smaller: x or k?
x
Let d(h) = 4*h**2 - h. Let w be d(1). Let n = w - 2. Let j be (-2)/8*(-1 - n). Which is bigger: 1 or j?
1
Suppose 4*a + 13 + 11 = 0. Let w = -1 + a. Suppose 0 = 3*m + 2*m + 25. Is m <= w?
False
Let m = -1.24 + 0.24. Let i = 17.24 + -17. Is m < i?
True
Suppose 4*j - 21*j - 17 = 0. Is 5/227 at least as big as j?
True
Let z = 0.41 + -0.28. Let b = z + 0.07. Let p be 15/(-21) + 12/(-42). Which is bigger: p or b?
b
Let z(s) = -s**2 - 38*s - 22. Let l be z(-36). Is 51 > l?