rue
Let l(d) = 5*d - 9. Let a(z) = z. Let g(t) = 6*a(t) - l(t). Let k be g(-8). Is 1 smaller than k?
False
Let n be ((-4)/10)/(1/60). Is -24 less than n?
False
Let c = -3 + 2. Let l = 118 - 191/2. Let n = 22 - l. Is c at least as big as n?
False
Suppose -4*p + 2*f - 76 = 0, -5 = p - 3*f + 4. Which is bigger: p or -20?
-20
Let k be 4 - 6 - 44/(-2). Suppose 0 = 5*p + k, 0*p - 12 = 4*d + 4*p. Let l = -4 - -7. Is d greater than or equal to l?
False
Let g be (0 + 1)*1*-5. Is g less than -5?
False
Let r = 4 + -9. Let m = r - -3. Let a = -8 - -6. Is m greater than or equal to a?
True
Suppose -2 + 17 = 3*f, -5*f = -5*b - 30. Is b < 1/12?
True
Let q = 15.8 - 4.8. Is q < 0.2?
False
Suppose 0 = -5*i - 3*o - 15, -15 = 4*i + o + 2*o. Is -1 >= i?
False
Let g = 24 + -24. Does 0 = g?
True
Let m(i) = i + 2. Let o(p) = p**3 + 3*p**2 - 4. Let l be o(-3). Let n be m(l). Let v be (-3 - n)*4/18. Which is smaller: v or 0?
v
Let v be -3 - (-3)/(-3)*2. Suppose 2*d - i - i + 2 = 0, -5*i = 5*d + 35. Is v at most as big as d?
True
Let o = -9 + 7. Let w = o + 1. Which is smaller: w or -2/7?
w
Suppose -3*m = -5*v - 12 - 21, 2 = 2*m. Let s be -7 - (8 + -7 + -3). Is s < v?
False
Let l be -1 + 3*7/33. Let g = l - -23/33. Is -1 != g?
True
Suppose -4*s + 9*s - 36 = -3*a, -3*a = -2*s + 6. Are s and -1 equal?
False
Let u(k) = -2*k**2 - 6*k - 2. Let z be u(-4). Let s be (4/25)/(4/z). Which is greater: 2/11 or s?
2/11
Let d be 60/2*(-30)/(-50). Does 0 = d?
False
Let p = 7/22 - -17/154. Let u be (-10)/25 - (-2)/5. Which is smaller: p or u?
u
Let i = -263.1 + 251. Let x = i - -12. Which is bigger: 0 or x?
0
Let b(h) = h**3 + 5*h**2 + 5. Let y be b(-5). Suppose 3*w = 3*r - 9, -2*w - 3 = y*r - 11. Do 4 and r have the same value?
False
Let a be ((-127)/129)/((-2)/3). Let h = -1/43 - a. Suppose 0 = -4*j - 8, 2*c = -5*j + j - 10. Which is smaller: c or h?
h
Suppose -n - 2*a - 10 = 0, -4*n - a - 9 = -4. Suppose -3 = -n*g - g. Suppose 0*w = g*w - 9. Which is bigger: 1 or w?
w
Suppose -3*t + 8 = -5*t - 5*n, 4*t + n = 2. Let u be -1 + t - 3/(-3). Which is smaller: u or 2?
u
Let g = 1.9 + -2. Let z = -0.1 + 0.1. Let f = g + z. Which is smaller: -1 or f?
-1
Suppose -1 - 2 = 3*l. Let v(a) = 4*a**2 - 10*a + 6. Let c(q) = -3*q**2 + 10*q - 5. Let z(i) = 3*c(i) + 2*v(i). Let n be z(10). Which is bigger: n or l?
l
Let r = -18 + 129/7. Suppose -2 + 4 = 2*a. Which is smaller: r or a?
r
Suppose 3*l - 10 = -v - v, -3*v - 3 = 0. Suppose 0 = -4*s + k + 23, 3*s + 5*k - 31 = -8. Let w = l - s. Are 0.2 and w unequal?
True
Let x(o) = o**2 + 3*o - 10. Let a be x(-5). Which is smaller: a or -2?
-2
Suppose 0*v = -2*v - 2. Suppose 5*m + 0*m = 0. Let w be 2/(-6) + (0 - m). Which is bigger: v or w?
w
Let k be -239 + 17 + 0 + 0. Let x be 4/2 + k/120. Is x greater than 0?
True
Suppose 12 = 4*u - 4*y, 0 = 2*u - 7*u - 2*y + 8. Let f be 2*((-46)/22 + u). Which is smaller: f or 0?
f
Suppose 408 - 168 = -5*r. Let x be -3 + 5/((-70)/r). Let z be 4/10 - (-2)/(-5). Which is smaller: z or x?
z
Suppose 5*y = -7 - 8. Let m = y - 1. Let c = 6 + m. Which is smaller: c or 3?
c
Let l be ((-4)/252)/(2/(-6)). Let n be 0*(-2)/(-2 - 2). Which is smaller: n or l?
n
Let t be 0 + (-3 - 84/(-30)). Is t smaller than -1?
False
Let d = 434/9 - 383/9. Which is greater: d or 6?
6
Suppose -k = 2*q + q + 12, -4*k + q + 4 = 0. Let j = k + 1. Let f = 1 + -2. Is j < f?
False
Let a(s) = s**3 - 6*s**2 + 2. Let b be a(6). Suppose -b*m + m = 0. Let o be ((-2)/4)/(10/(-4)). Is o at least m?
True
Let r = -801/697 + -18/41. Let k = r - -251/51. Let i = k - 4. Is i at most 0?
True
Suppose 2*r = -3*x, 0 = r - 2*r + 4*x + 22. Let a(w) = 2*w**2 - 9*w + 1. Let s be a(r). Let o = 35/2 - s. Is o less than -2?
False
Let i(j) = j**2 + 3*j + 2. Let k(d) = -d**3 + d**2 + d - 4. Let l be k(0). Let b be i(l). Is -1 greater than or equal to b?
False
Suppose 29 + 6 = -3*a - 5*q, 0 = 4*a - 5*q + 105. Is a at least -18?
False
Let u be -78 + 1/(-3)*0. Let d be (-51)/u + 4/(-26). Which is smaller: d or 0.2?
0.2
Suppose 3*z + 66 = 3*u, 7*u - 3*u + 4*z = 56. Is 17 less than or equal to u?
True
Let y be 12/20 - (-4)/10. Let s be (-1 - 0)*y*9. Let c be ((-8)/(-12))/((-14)/s). Which is bigger: c or -1?
c
Suppose 0 = 5*w - 110 + 40. Suppose 0*c = -5*c - 30. Let k be 3 - w/c*-1. Is k greater than 2?
False
Let h = -56/33 - -26/11. Suppose -2*z - 4*j = 2*z + 8, -3*z = 2*j + 4. Is h at least as big as z?
True
Let b be (16/268 + 0)/2. Is -1 not equal to b?
True
Suppose -i + 6 = -0*i. Let j(u) = -u**2 + 6*u + 5. Let k be j(i). Let s be k/50 + (-1)/2. Is s bigger than 1?
False
Let a(v) = v**2 + 2*v - 5. Let p be a(-4). Suppose p*z = 8*z. Which is bigger: 2/3 or z?
2/3
Let d be (-105)/12 + 0 - -2. Let x = -7 - d. Suppose 5*o = -5*m + 20, -4*m + 3*o - 4*o + 7 = 0. Which is smaller: x or m?
x
Suppose 22 - 8 = -4*k + 2*w, -2*k + 8 = 2*w. Let m(o) = o**2 - 5*o - 5. Let x be m(6). Is k equal to x?
False
Let a be (-3)/5 + 388/(-20). Is -19 > a?
True
Let m = 6 + -4. Which is greater: 6/7 or m?
m
Let h = -2.2 + 2. Let q = h + 0.3. Is q greater than 2/3?
False
Suppose -2*r + 4 = 2*r. Is r greater than 1?
False
Let m = 74/315 + -8/45. Is m less than -0.1?
False
Suppose 0 = -r - 3*r + 16. Suppose -3*g - r + 1 = 0. Is g >= -1/9?
False
Let s be (-4)/3 + 1 - -1. Which is smaller: s or 2/11?
2/11
Suppose -o - 120 = -6*o. Let g be (-2)/4*(-32)/o. Which is bigger: 0.1 or g?
g
Let n(w) = -w**3 + 6*w**2 + 2. Let b be n(6). Suppose b*d + 6 = d. Let m be 7 + 2/(4/d). Is 6 greater than m?
True
Suppose z = -2*z + 15. Which is smaller: 4 or z?
4
Let p(x) = x**2 + 6*x - 1. Let d be p(-6). Let h(t) = -2*t**2 - 2*t - 1. Suppose 0 = 5*g + 5 - 0. Let n be h(g). Is d not equal to n?
False
Let o = 1.5 + -2. Let m = -1.5 + o. Let x = -21.2 + 21. Are x and m unequal?
True
Let j = 0.148 + -12.048. Which is bigger: -2/3 or j?
-2/3
Let g(d) be the first derivative of -d**2 + 1/3*d**3 + 2 - 2*d. Let l be g(2). Is -1 smaller than l?
False
Let m(a) = a**2 + 6*a - 5. Let f be m(-7). Let o be 2/(-3)*(-9)/6. Let p be 1 - (1/o + f). Which is smaller: -1 or p?
p
Let t(k) = -5*k**2 - k - 1. Let d be t(-1). Let m = d + 8. Is m greater than 3?
False
Let i = 0 - -2. Let g be (-1)/i*(-1 - -1). Suppose 4*t + 4*l - 4 = 0, 3*l - 5*l + 9 = -5*t. Is t equal to g?
False
Let x = 4 - 0. Suppose 2*k - 3 = -5*b, 3*b = -x*k + 1 - 2. Which is greater: 0 or b?
b
Let h(r) = r + 9. Let g be h(-7). Let v be (g/7)/(2/(-4)). Suppose 5*u + 3*z + 4 = 0, -2*u - 3*z + 1 = -1. Is u less than v?
True
Let v(o) = -2*o**3 + o**2 - 3*o - 4. Let z be v(-1). Is 8/7 at most as big as z?
True
Let o = 29 + -30. Which is greater: o or 0.024?
0.024
Let l = 0.25 - -12.75. Does 1 = l?
False
Let n(u) = u**2 + 4*u - 4. Let w be n(-5). Let h be 5/(-5)*w*-1. Is 1 at most h?
True
Let r = 1.2 - 2. Let z = 6.8 + r. Is -0.1 bigger than z?
False
Let q(z) = z**2 + 6*z + 8. Let n be q(-4). Which is greater: n or 2/15?
2/15
Suppose 12*r - 9*r + 3 = 0. Let n be -2 - (0 - 7)*r. Is -9 < n?
False
Let r = 28 + -28.4. Which is bigger: r or -2/9?
-2/9
Let c(d) be the second derivative of -d**4/12 - d**3 - 2*d**2 + 3*d. Let a be c(-6). Is a at least as big as -4?
True
Let x = 2 + -6. Let d = x + 4. Which is greater: 1 or d?
1
Let h be ((-18)/4)/(-9)*-82. Which is smaller: -119/3 or h?
h
Let m(y) be the third derivative of y**4/24 - y**3/2 - y**2. Let j be m(3). Is 3/7 bigger than j?
True
Let f = 0.01 - 0.08. Let b = f - -0.27. Do b and 1/4 have the same value?
False
Let b be (-1)/(-4) - 90/(-24). Suppose -g = -l - 84, b*g - 424 = 3*l + 2*l. Let n be (-12)/l*16/6. Is n < 1?
True
Let r = -9 - -8. Let z be -3*1 + (-3)/(-3). Which is smaller: z or r?
z
Let q = -35 - -30. Which is bigger: -4 or q?
-4
Let s(h) = -2*h - 2. Let l be s(-3). Suppose 4*c - 2 - l = -j, 5*j = -4*c + 14. Is j less than or equal to 0?
False
Let o = -32342/47 + 688. Let q = o - -165/188. Which is smaller: q or 3?
q
Let a be -1 + (-4 - 470/25). Let s be (-73)/3 + (-3)/(-9). Let l = s - a. Which is smaller: l or 0.3?
l
Let c = 0.5 - 0.6. Let i = 0 - c. Let x = i - 2.1. Which is smaller: 0 or x?
x
Let x be -1 + (-3 - (-30)/8). Suppose 5 = -0*m - 5*m. Let i be (3 + 1)/2*m. Which is greater: x or i?
x
Let y(r) be the first derivative of -r**2/2 + 11*r - 6. Let z be y(6). Is z > 8?
False
Let v = 1 + 3. Let u be (-18)/v - (-1)/