aller: s or -26?
s
Let m(r) = r**2 + 4*r - 5. Let c be m(-5). Let a be (1/2*0)/(-2). Suppose 2*g - 13 = -5*o - a*g, 7 = -o + 2*g. Which is bigger: c or o?
o
Suppose -2*v - 70 = 3*v - 5*u, 4*u = -3*v - 42. Let r be v/35 + 4/5. Which is bigger: 0.02 or r?
r
Let n be 5/((-20)/6)*-2. Suppose 5*h = -y + 19 + 17, 5*h = 5*y + 30. Suppose -h = -m + b, -2*b - 2 = n*m + m. Which is bigger: 1 or m?
m
Let u = 49 - 46. Are -1 and u nonequal?
True
Let a = 40 - 41. Does -3/4 = a?
False
Let z be 2/(-3) - (-533)/12. Let u = z - 44. Suppose 0 = -y + 3*g + 11, 4*y - 2*g = -y + 3. Is u greater than y?
True
Let j be (21/(-14))/((-1)/2). Suppose 3*p = -3*c - 3, -2*p + 6*p + 12 = 0. Which is bigger: j or c?
j
Let l = -6.7 - -7. Let o = l + -0.2. Is o greater than -1?
True
Suppose -3*q - h + 11 = 0, 0*h + 2*h - 18 = -4*q. Let o = q - 2. Which is greater: o or 4/7?
4/7
Let w be 0 + -2 + 3 + 13. Let f = 29 - 19. Let x = f - w. Is -4 > x?
False
Let j(y) = -y - 4. Let z be j(-3). Let l(g) = 2*g + 1. Let p be l(-1). Is p bigger than z?
False
Let b(v) = -2*v + 2. Let g be b(3). Let c be 2/(-8)*(3 + -3). Let o be ((-15)/5 - 1) + c. Are o and g nonequal?
False
Let u = 14 + -12. Suppose a = -0*a + u. Which is smaller: 3 or a?
a
Let i be 192/(-97) - 4/6*-3. Which is bigger: -1 or i?
i
Let k(c) = -c**3 - 2*c**2 + 2*c + 1. Let j be k(-2). Let q be (-25)/10 - (j - -1). Is q equal to -0.2?
False
Let m = 4 - -1. Let v(j) = -j**3 + 2*j**2 + 22*j + 19. Let i be v(6). Which is smaller: m or i?
m
Let l be 4/((-2 - 0) + 4). Is l at least 3/5?
True
Let g(w) = w**2 + 9*w + 6. Let c be g(-10). Do 15 and c have the same value?
False
Let u = 1 + -1.04. Let r be 1*(18/(-189))/(3/9). Is u less than r?
False
Let s(b) = -3*b + 12. Let f be s(7). Which is greater: f or -5?
-5
Suppose 3*j = 4*o + 19, -4*j + 26 + 2 = -4*o. Are j and 9 non-equal?
False
Let j = -4 + 21. Is j at most as big as 16?
False
Let s = 17/33 - 53/33. Is s at least as big as 1?
False
Let i be (1/(-2))/((-6)/24). Suppose 4*z = a - 0*a - 2, 0 = 2*z - i*a - 2. Which is smaller: z or 0.05?
z
Let l be -1 - ((-2056)/(-18) - 0). Let n = -115 - l. Is 0 greater than n?
False
Let k = -14/3 + 29/12. Is 0 at least as big as k?
True
Let s be (-28)/450 - 4/(-18). Let c = 53/175 - s. Is 0 greater than c?
False
Suppose -3 = k + 4*q + q, -3*q = -6. Let s = -40/3 - k. Which is greater: -1 or s?
s
Suppose -4*i - 4 = 8. Let o be 1/(-3) - 13/i. Does o = 4?
True
Let y = 5.8 - 7. Let c = -0.2 - y. Is -4 greater than or equal to c?
False
Let f = 0.1 + -0.1. Suppose 7*t - 4*t - 9 = 0. Let l be (-5)/(-3) + -5 + t. Which is bigger: f or l?
f
Let a = -75 + 74. Which is greater: 6 or a?
6
Let n = 6/17 + -8/119. Let y(k) = -k**2 + 8*k - 2. Let i be y(8). Is n at most i?
False
Let r(n) = -n + 4. Let d be r(-5). Suppose 0 = z + d - 32. Suppose -3 = 5*t - z. Are 5 and t equal?
False
Let i be 24/(-9) + 1/(-3). Let u = -3 + 2. Let g = 0 + u. Which is smaller: g or i?
i
Let n be (-58)/12 + (1 - 0). Let b = n + 7/2. Which is smaller: 1 or b?
b
Let r(y) = -y + 2. Let q be r(-6). Is q at least as big as 8?
True
Let u(q) = -q**2 + 3*q - 2. Let h be (7 - 6)/((-1)/(-2)). Let l be u(h). Which is smaller: -3/8 or l?
-3/8
Suppose p = -3*p + 16. Suppose -6 + 1 = -v. Suppose 4*z + 0*d = -5*d - 13, v*z = 4*d + 35. Which is bigger: z or p?
p
Let v(j) be the second derivative of -j**4/12 + j**3/6 - j**2/2 + j. Let p be v(0). Let u = 94/3 + -31. Which is greater: u or p?
u
Let c = -18 + 10. Let r = c + 5. Let o = r - -2. Which is smaller: 1 or o?
o
Let z = -11 - -11.4. Which is smaller: -2/5 or z?
-2/5
Let i(m) = m**3 - m**2 + 3. Let b(g) = -g**3 + g - 2. Let p(z) = 7*b(z) + 6*i(z). Let f be p(-7). Which is smaller: 5 or f?
f
Suppose 5*z + a - 13 - 22 = 0, 5*a = 2*z - 14. Which is smaller: z or 0?
0
Let j = -19 - 17. Let a(m) = m - 126. Let s be a(0). Let n be (-8)/j - 8/s. Which is greater: n or 0?
n
Let w = 1.8 + -6.8. Is 1/3 != w?
True
Let l(n) = -1. Let j(b) = 2*b + 12. Let y(z) = j(z) + 6*l(z). Let i be y(-5). Let h(r) = r**2 + 4*r. Let d be h(i). Is -1/3 <= d?
True
Let k = 1.23 + -1.3. Is -2 > k?
False
Let z(c) = -c + 4. Let v be -1 + (3 + -1 - 1). Let d be z(v). Let t be (d + -3)*-1*2. Which is smaller: t or -1?
t
Let x(i) = i**3 + 9*i**2 + 2. Let b be x(-9). Let w be 1 + 2/b*1. Suppose -w*m = -m - 1. Is m < -1/4?
False
Suppose -4*v + v = 0. Suppose -5*s - 5*l - 15 = v, 4*l - 5 = -5*s - 18. Which is greater: 1/9 or s?
1/9
Let w be ((-2)/15)/((-34)/20). Let c = w - 130/357. Suppose 0 = -2*a - 0*a. Which is smaller: c or a?
c
Suppose 5 = 116*v - 111*v. Which is greater: v or 3/5?
v
Let o be (-34)/(-6) - (-4)/(-6). Suppose 2*u + 3*n = -0*n - 7, o*u - 20 = 5*n. Is 4/5 at most as big as u?
True
Let x = 18342/539 - 375/11. Which is bigger: -1 or x?
x
Let u = 32 + -11. Let r = u - 16. Is 5 at least r?
True
Let i(z) = z**3 - 8*z**2 - 15*z - 17 - 7*z**2 + 0*z**2. Let a be i(16). Which is bigger: a or -10/11?
-10/11
Let b = -2 - -2. Suppose a + b*a = -2*v + 66, -3*a + 62 = 2*v. Let j be v/12 - (4 + -1). Is 0 bigger than j?
True
Let t = 0.058 - -0.042. Which is greater: -0.66 or t?
t
Suppose 23 = 5*g + 2*n, -3*g + 3*n - 4 + 1 = 0. Let f be (-2)/g*18/(-28). Which is bigger: f or -1?
f
Let m(b) = b**3 - 7*b**2 + 7*b - 3. Let r be m(6). Suppose 4*j + r - 7 = 0. Let w(f) = -f - 3. Let p be w(-3). Do p and j have different values?
True
Let g = -542/5 + 108. Let i = -0.0498 + 0.1498. Which is smaller: i or g?
g
Let x = -9 + 24. Which is smaller: x or 16?
x
Let w be (-2)/13 - (-505)/663. Let k = -1/17 - w. Is 1 bigger than k?
True
Let d = -172008685/891592 + 1/68584. Let w = d + 193. Which is smaller: 0 or w?
0
Let t = 6 + -4. Let r be 4 + (0 - -2) - 2. Suppose 0*f = r*f - 8. Is t at most as big as f?
True
Let y = 2 + -2. Suppose 0*o - 13 = -o. Suppose -3*t + o = 5*v, 5*t - 5*v + v + 3 = 0. Is t <= y?
False
Let n = 7.7 + -8. Let w = n + 0.4. Let h = w + 0. Which is bigger: h or -2/7?
h
Let m(l) = -l**3 - 6*l**2 + l + 8. Let h be m(-6). Let a be 0 + -2 + h - 1. Let g be (0 - 0)*a/(-2). Are 2/7 and g non-equal?
True
Let b = 11 + -15. Which is smaller: b or 1?
b
Let u = 624 - 634.17. Let t = u - -0.17. Let h = 10 + t. Is h smaller than -1?
False
Let x = -9 - -6. Let j(o) = o**3 + o**2 - 3*o + 2. Let v be j(x). Which is smaller: -6 or v?
v
Let v be (5 - 4) + 52/(-54). Let i = -10/27 + v. Which is greater: 1 or i?
1
Let s(q) be the second derivative of 2*q - 7/6*q**3 - 1/2*q**2 + 0 - 1/12*q**4. Let h be s(-7). Is h < 1?
True
Let o = 20 - 15. Is 1 greater than or equal to o?
False
Let h be -1 + 85/(-180)*-2. Let w(f) = f**3 + f**2 - 2*f - 1. Let d be w(-1). Is d at most h?
False
Let z = -2 - 17. Let p = z + 20. Which is smaller: -11/3 or p?
-11/3
Let a(w) be the second derivative of -1/2*w**2 - 1/20*w**5 - 3*w - 1/6*w**3 + 0 + 1/3*w**4. Let l be a(3). Which is bigger: 4 or l?
l
Let c be ((-200)/(-96))/((-3)/176). Let v = c + 122. Is v > 0.1?
False
Let r = -57 + 82. Is r not equal to 25?
False
Let b = -18.5 + 19. Let l = -0.2 + b. Are l and -2 non-equal?
True
Suppose 5*c - 4*z = 72, 2*c + 8*z - 9 = 3*z. Suppose -c*k = -10*k - 2. Which is greater: k or 1/20?
k
Let h = -1.1 - -0.1. Let t be (6/(-4))/((-27)/(-12)). Which is greater: h or t?
t
Let i = 0 - -3. Suppose i = 3*d - 0. Which is smaller: d or 6?
d
Suppose 3*w - 3*r - 30 = 0, -4*w - 1 = 5*r - 50. Which is greater: 10 or w?
w
Suppose -2*l - 61 = -5*u, 20 = u + u - 3*l. Let h = -19 + u. Is -6 <= h?
True
Suppose -14 = -11*u - 80. Let m = -5 - 3. Is m at most as big as u?
True
Let m be (3/(-7 - 2))/((-2)/6). Which is smaller: 1/4 or m?
1/4
Suppose 2*b - 4*b + 4 = 5*a, -5*b = 3*a - 10. Let h(i) = i - 8. Let f be h(6). Let p(u) = -u**2 - 2*u. Let g be p(f). Is a > g?
False
Let y = 34 + -33. Which is greater: 4/21 or y?
y
Let t = -0.4 + 0.3. Let o = 7 + -3. Which is greater: o or t?
o
Let p = -2.97 + -0.03. Let a(z) = -2*z**2 + 2*z + 2. Let h be a(-2). Let g be (h/125)/(2/(-10)). Do g and p have different values?
True
Suppose 3*m - p - 35 = 0, -p = m + p - 7. Let i be (-29)/(-3) + 5/15. Are m and i unequal?
True
Let m(b) = b**2 - 10*b + 10. Let f be (-2)/4 + (-38)/(-4). Let k be m(f). Which is bigger: k or 2/3?
k
Suppose 0 = 4*q - 13 - 39. Let c = q - 16. Is c at most -3?
True
Suppose 2*r - 14 = -2*w, 4*r - 2*w - 2*w = 4. Suppose -v + 4*t = 