ue
Suppose -3*l - 7 - 2 = 0, j + l - 4 = 0. Let h(c) = -c**3 + 8*c**2 - 7*c - 1. Let o be h(j). Which is greater: o or -2?
o
Suppose -12 + 42 = -5*q. Let j be ((-4)/(-3))/(q/(-18)). Is j at most 4?
True
Let j = 6.4 - 6.5. Which is smaller: j or -10/9?
-10/9
Suppose -2 = -6*n + 4*n. Let a be (n - 0) + (-3 - -2). Let d be (-28)/13 + (1 - -1). Which is smaller: d or a?
d
Suppose 5*s + t + 3 - 17 = 0, -12 = -4*s - t. Let v = s - 0. Which is smaller: 1 or v?
1
Suppose t + 0*t = -5*y - 12, -4*t + 18 = -2*y. Let g be (-8)/y - (2 + 0). Let l = 1.8 + 3.2. Is g > l?
False
Let t be (3 - -4)*1 - -2. Suppose 0*k = -k + t. Is k at most as big as 8?
False
Suppose 2*b = b + 2, -2*m - 2*b + 14 = 0. Suppose -5 = -m*a - 5*x, -a - 4*x - 12 = -28. Let r be ((-2)/a)/((-3)/12). Are -2 and r equal?
True
Let h = -7 - -7. Suppose -n + 5*n + 12 = h. Let v be ((-6)/(-24))/((-2)/n). Do -1 and v have the same value?
False
Let q = -0.8 + 0.83. Let y = q + -9.03. Let k = y + 9.1. Which is smaller: k or -4?
-4
Let t be ((-4)/(-12))/((-1)/6). Let g be 10 + (0 + -5 - t). Is 7 less than or equal to g?
True
Suppose -2*n - 2*j - 3*j = -27, -5*n = j - 33. Let m be n*(14/6 + -3). Is -4 != m?
False
Let t = 18 - 35/2. Which is bigger: t or -0.2?
t
Let y = 4/11 - 39/77. Let c = -4 + 3. Which is greater: c or y?
y
Let y = 20 - 13. Suppose y*v = 2*v + 5. Let o = 0.04 - -0.96. Are v and o non-equal?
False
Let i be (-27 + -1)/7*(-1)/5. Is i at most as big as 2?
True
Let h = 1.4 - 0.4. Let k = 1 + h. Let b = k - 4. Which is smaller: b or 2?
b
Let x be 0 + 0 + (5 - -8). Which is greater: x or 35/3?
x
Let l(o) = o**2 + 2*o - 4. Let w = -6 - -6. Suppose w = -4*j - j - 20. Let y be l(j). Is 3 smaller than y?
True
Suppose -59 - 456 = 5*y. Let l = -1308806/11 - -119085. Let x = l + y. Which is smaller: -1 or x?
-1
Suppose 5*f - 14 = 4*o, o + 2 = 1. Suppose -20 = -4*g + 3*z, 5*z = 2*z - 12. Is g less than f?
False
Let d be (2/(-8))/((-113)/1038). Let i = 8368/1695 + d. Let u = 37/5 - i. Is u at most 1?
True
Suppose 0 = -2*h + 6*h - 36. Which is smaller: 31/3 or h?
h
Let s be (-6)/12 - (-2)/(-4). Let c = 15 - 10. Suppose -2*u = 3*m - 2 + 14, 0 = -u + c*m + 20. Which is greater: u or s?
u
Let k = 531946/161 + -3304. Is k > -1?
True
Suppose -28 = -29*x + 25*x. Are x and 4 nonequal?
True
Suppose -4*h + 55 - 23 = 0. Suppose 25 = 5*r, 5*l - 2*l - r = -h. Let f = 1 - l. Is 2/3 <= f?
True
Let m be -2 - (-3 - (-1 + 0)). Suppose m = 4*b - 5*b + 2. Which is bigger: b or 0?
b
Let w = -3 + 4. Let s = 211.02 - 213. Let j = s + -0.02. Is j < w?
True
Let c(x) be the first derivative of -x**4/4 + 2*x**3 - 5*x**2/2 + 2*x + 1. Let o be c(5). Let p = -10 - -12. Is p at most as big as o?
True
Let d(h) = h**2 - h - 10. Let y be d(0). Which is smaller: -9 or y?
y
Let x be (5/2)/(2/4). Let g be (-7)/(-28) - (-15)/(-28). Is x smaller than g?
False
Suppose 5*j = 5*t + 675, -3*j + 2*j - t + 145 = 0. Suppose 2*g = -4*k - j, 5*g - 16 + 78 = -2*k. Let q = k + 109/3. Is -0.2 > q?
False
Let w be -2 - (-1 + 2 - 9). Suppose -2*k = -5*r - w*k + 27, 3*r + 3*k = 15. Is -1 less than r?
True
Let r(b) = b**2 - 5*b + 10. Let a be r(4). Which is bigger: 8 or a?
8
Suppose -1 = -2*v - 9. Let a be (-20)/24*v/5. Which is bigger: a or 2?
2
Let v = 1.7 - 1.9. Which is greater: v or 0.3?
0.3
Let p = 3.7 - 3.5. Do p and -0.18 have different values?
True
Suppose -r - 2*y - 14 = 2*r, -2*r - 4 = 4*y. Let z be (-12)/(-3 + 2/2). Let c = z + r. Is c at least -1?
True
Let u be 3/(-1*3 + 2). Let t be (-7 - 0/u) + 1. Let w be (4/(-35))/(t/(-15)). Does w = 0?
False
Let n = 13 - 8. Let w = 15 + -11. Which is bigger: w or n?
n
Let z = -18 - -17. Let h be 18/15 + 0 + z. Does h = -1?
False
Let a(n) = -n**2 - 3*n. Let f be a(-3). Are f and 2/39 non-equal?
True
Let a be 1/(-3)*12/(-22). Let l(j) = j + 6. Let f be l(-6). Which is bigger: a or f?
a
Let c(w) = w**2 + 7*w + 6. Let i be c(-6). Suppose -2*h + i*h + 9 = s, 5*h - 16 = 4*s. Let v be ((-2)/6 - 1) + s. Are v and 2 non-equal?
True
Let l = 165/4 + -41. Is l greater than or equal to -1?
True
Let b = -21/10 - -599/290. Is b at most as big as 0?
True
Suppose 0 = -2*m + 8, -94 = 3*l - 5*m + 88. Let j be 6/19*2/l. Let b = 503/855 - j. Which is bigger: 0 or b?
b
Suppose -62*r + 5 = -67*r. Let d = 2 - 3. Are r and d non-equal?
False
Let v = -7.8 - -8.3. Are v and -0.5 equal?
False
Let o be (-2 - 0)*((-21)/(-6))/1. Is o > -4?
False
Let s = 20 + -28. Let y be ((-2)/(-44))/((-2)/s). Let a = 14 + -13. Are a and y equal?
False
Let m be (2/12)/((-2)/(-40)). Are m and 0.2 unequal?
True
Let j be (-21)/14*4/(-6). Let g be -18*(-2)/4*j. Suppose -g = 5*y - 4. Is y greater than -3?
True
Let n = -8 + 7. Let b(q) = -7*q**2 - 2*q. Let v be b(n). Is -5 less than or equal to v?
True
Let q(h) be the second derivative of h**4/12 + h**3/6 + h**2/2 + 2*h. Let y be q(0). Is y at least 0?
True
Let l = 613/90 + -64/9. Which is smaller: 0 or l?
l
Suppose -2*z + 0*b = b + 5, 15 = 3*z - 3*b. Suppose 0 = -2*h + 2*y + 3*y + 2, 5*h + 2*y - 5 = z. Which is smaller: h or 5?
h
Let g(p) = -p**2 + 1. Let x(m) = -4*m**2 + 4*m + 2. Let o(t) = 5*g(t) - x(t). Let f be o(-5). Let q(y) = 2*y + 3. Let w be q(-2). Which is smaller: w or f?
f
Let j = -34 - -21. Is 0 greater than or equal to j?
True
Let d = -11 + 11. Let s = 1/367 + -1112/4037. Which is smaller: d or s?
s
Suppose -m - 2*a + 3 = 0, 2*a - 5 = -4*m + 7. Suppose -5*f = x + 13 - 110, 89 = 4*f - m*x. Are 19 and f non-equal?
True
Let u(x) = -2*x**2 - 5*x - 1. Let v be u(-2). Which is bigger: v or 2/19?
v
Let o = 6.1 - 2. Let d = 4 - o. Do d and -6 have different values?
True
Suppose 2*s = -s + 9. Let x be 10 + 0 + (-26)/13. Suppose 10 = s*u - x. Which is bigger: u or 7?
7
Suppose -4 = -4*w + 4*t - 6*t, -4 = -4*w + 2*t. Which is greater: 7/8 or w?
w
Let b be (1 - -2)/(2 + -1). Suppose 5*t - 27 = h, -3*t + b*h = 2*t - 21. Is t greater than or equal to 5?
True
Suppose -x - 4*y = -6*y + 1, -5 = 5*x - 4*y. Is -1/95 not equal to x?
True
Let f = -0.13 + 0.23. Let s = -419.06 + 423. Let o = s + 0.06. Which is smaller: f or o?
f
Suppose -4*d - 25 = d. Let c = d - -37. Let o be (-2)/(-6)*(-12)/c. Which is bigger: 0 or o?
0
Suppose 2*k - 82 + 8 = 0. Let y = -12 + k. Suppose 4*r + 25 = -r - 2*h, -5*h = -5*r - y. Are -6 and r equal?
False
Let c = -199 - -104. Let p = -473/5 - c. Which is smaller: p or 5?
p
Let x = 49 - 244/5. Let o(b) = -b**2 - b. Let h be o(-1). Is x != h?
True
Suppose -5 - 1 = 3*o + 3*t, 0 = -4*o - 5*t - 13. Let m be o*(-2)/(-6)*-3. Is m less than -1?
True
Suppose 5*v + j + 210 = 6*j, 3*v - 4*j + 126 = 0. Let u be (-4)/(-14) + 26/v. Which is greater: u or 0?
0
Suppose 0 = -4*m + 31 + 25. Let j = -6 + m. Is 8 at least as big as j?
True
Let h be (-33)/(-308) - (5/4 - 1). Is h equal to 0?
False
Let h = 49 + -27. Is 21 < h?
True
Let a(n) be the third derivative of n**6/120 - n**5/60 - n**4/24 + n**3/6 - 5*n**2. Let m be a(0). Let c = 2 - 2. Are m and c equal?
False
Suppose -2 = -2*p + 4. Is 4 <= p?
False
Suppose -19 = 3*i + 11. Let j(p) = -p**3 - 10*p**2 + p + 8. Let v be j(i). Which is greater: v or -1?
-1
Suppose -2*g + 0*o = -o - 3, -3*g - 4*o = -32. Suppose g*d = 3*d. Which is greater: d or 2?
2
Let q be (-8)/50*(-15)/6. Which is greater: q or 1?
1
Let j(u) = -5*u. Let a be j(-5). Let f be (1/5)/((-20)/a). Which is greater: -1/3 or f?
f
Let w = -12 - -11. Is w > 0?
False
Let c = -7 - -7. Let x = -1 + -3. Let p = 3.8 + x. Which is smaller: c or p?
p
Let i = -70/27 - -4744/1809. Do 0 and i have different values?
True
Let p = -3 + 5. Suppose 0 = x + p*r + 13, -23 = 4*x + r + 1. Let a = -3 + -1. Which is smaller: x or a?
x
Let b = -61 + 75. Is b at most 3?
False
Let o = 29 - 202/7. Is o smaller than -1?
False
Let i be (0 + 2)/((-1)/(-2)). Suppose 2*x + 12 = t, t + x - 17 = i*x. Which is smaller: t or 0?
0
Let j = -0.28 + -0.72. Which is greater: j or -6?
j
Let a(t) = 2*t**3 + t**2 + t - 1. Let p be a(1). Let f be -2*22/(-12) + -2. Is p greater than f?
True
Suppose 6*j - j = 0. Suppose 3*h = 3*b - 24, -5*b + 8 = 2*h + h. Suppose -b*v - 4*c - 1 = 3, v + 5*c - 3 = 0. Which is greater: j or v?
j
Let r = 1 - 1. Let i = 241 + -1681/7. Is r greater than or equal to i?
False
Let y = -0.1 + -0.1. Does y = 0.4?
False
Let t = -4.3 + 4. Let z = 0.7 - t. Which is greater: 2/9 or z?
z
Let d = 3/76 + -191/9