er: s or 1?
s
Suppose y + 4 = 3*y. Is y at least as big as 2?
True
Suppose -2*k - 4*y = 0, y = -2*k + 5*y - 8. Let f be (-4)/k*(-3)/(-6). Suppose -f = g - 3. Which is greater: 1 or g?
g
Let w be 0 - 1/((-3)/12). Suppose 0 = -0*q + w*q + 20. Let t = -8 - q. Is -2 at most t?
False
Let m = 20802/13 - 1685. Let g = m + 85. Is g at most as big as -1?
False
Let l = -11 + 14. Is l != 5?
True
Let r = -1 - -1. Let j = 5 + -4.76. Let m = -0.04 + j. Which is bigger: r or m?
m
Let w(h) be the first derivative of h**2/2 + 3*h + 2. Let g be w(0). Which is bigger: 2 or g?
g
Let k be 8/(-6)*(-15)/5. Let q be 6/k*(-14)/21. Is q bigger than -3/2?
True
Let x = -166 - -165.8. Is x not equal to -45?
True
Suppose 6*n = 9*n + 54. Which is smaller: n or -17?
n
Let l be (-22)/55 + (-68)/5. Let g = 12 + l. Which is greater: g or 1?
1
Suppose -4*j + 0 + 12 = 0. Suppose 0*a = -j*a - 18. Let f be 1 - a/(-3) - 1. Which is bigger: f or -1?
-1
Let l = 0.09 - 0.24. Let a = 0.22 + l. Let p = a - 0.13. Which is bigger: 1 or p?
1
Let g = 259/9 + -1079/45. Which is bigger: 4 or g?
g
Suppose 0 = 5*u - u. Suppose -3*r + 87 + 9 = u. Let o = 94/3 - r. Which is smaller: o or -1?
-1
Let n be -4 - (540 - -6)/6. Is -95 >= n?
True
Let p(k) = k**3 + 7*k**2 - 2*k - 7. Let y be p(-7). Suppose 2*f = y*f. Suppose -4*a + f*a - 12 = 0. Which is smaller: a or -0.1?
a
Let b(l) = l**3 + l + 11. Let g be b(0). Which is smaller: g or 12?
g
Suppose d = 1 - 2. Let s be (7 + -7)*((-24)/(-9) - 3). Which is greater: d or s?
s
Suppose 0 = m + m + 2. Is m greater than 2/159?
False
Suppose 0 = 5*f - 3*v - 54, 0 = 4*f + 3*v + 34 - 88. Is f less than or equal to 12?
True
Suppose 4*g + 11 = -5*m, 5*m + 2 + 14 = g. Suppose -c = j - 13, -4*j = c + 4*c - 70. Let v be (-3 + 0)*m/c. Which is smaller: v or 0?
0
Let n be (-12)/40*(-2)/3. Which is smaller: 2 or n?
n
Let x = 7 + 18. Suppose -2*o + 2*c - 21 = 7, -x = -5*c. Which is bigger: o or 0?
0
Suppose -j = -3*j + 56. Let g be ((-12)/j)/(3/2). Is g at least -2/7?
True
Let w be ((-1)/(-2))/((-21)/6). Suppose 10*h = 13*h - 3. Which is bigger: w or h?
h
Let y = 68/93 - 2/31. Does y = 0.21?
False
Suppose -3*l - 35 = -3*y + 2*l, y + 4*l = -11. Suppose -2*g - 4 = y*z - g, -2*g = -2. Let t be z - (2 - 3)/1. Is t at least 0?
True
Let v = 3.5 + 0.5. Let t = -3.9 + v. Is -1/3 bigger than t?
False
Let a = 9 + -2. Which is greater: a or 0.1?
a
Let m = -253 + 2279/9. Do m and -1 have different values?
True
Let c = -4 - -3. Suppose -3*g + 72 = 5*g. Which is smaller: g or c?
c
Let a(c) = c**2 - 2*c. Let r be a(4). Which is smaller: r or 2?
2
Let i be 2/(-1)*2/(-6)*-1. Which is bigger: -0.02 or i?
-0.02
Let u(t) be the second derivative of -t**4/12 - t**3 - t**2/2 - 2*t. Let b be u(-6). Do b and -4 have different values?
True
Suppose 65 = 4*a + 25. Let y be a/14 - (-2)/7. Let g be -1 + (3 - (0 + 2)). Which is smaller: y or g?
g
Let y = 127/138 - 5/6. Is y less than or equal to 1?
True
Let j = 7.8 - -1.2. Let a = -19 + j. Which is greater: -2/3 or a?
-2/3
Suppose 2*y - 3 = -7. Let b be 8/12*-3*1. Is b >= y?
True
Let t(w) = -w**3 - 3*w**2 - 2. Let s(r) = -r**2 - 10*r + 1. Let u be s(-9). Let x(p) = -p + 7. Let h be x(u). Let l be t(h). Which is smaller: -1 or l?
l
Let a(u) = u**3 - 3*u**2 + 1. Let j be a(2). Let g = j - -5. Is g < 2?
False
Suppose -2*i + 0 = 2. Let b be (1/2)/(-1)*-6. Let j be (-2)/(-6) - (-2)/b. Is j less than i?
False
Suppose -26 - 14 = -5*l. Which is smaller: 9 or l?
l
Let q = -9 - -9.02. Let f = 0.02 + q. Which is greater: 0.1 or f?
0.1
Let r = 1 - 1. Let j = 2 + -1.9. Let i = -1.9 - j. Does i = r?
False
Suppose -7*a = -3*l - 2*a - 12170, 5*a = 2*l + 8105. Let d be ((-2463)/l)/(8/10). Let n = 2/271 - d. Is n > 0?
False
Suppose -5*k - 6 = 4. Suppose -3*t - 1 = -4*q - 2*t, 0 = -3*q - 5*t + 18. Let a be ((-4)/30)/(q/5). Which is greater: k or a?
a
Let q(j) = -2*j + 12. Let t be q(6). Which is bigger: -2/9 or t?
t
Let j = -1.8 + -1.1. Let l = 3 + j. Let i = -0.8 + 1. Is i <= l?
False
Suppose -2*i = -4*z - 38, 7*z - 2*i = 4*z - 31. Suppose 5*g + 13 = -22. Is z at most g?
True
Let k = 0.3 - 0.6. Let o be 17/(-14) + 18/(-63) + 0. Which is smaller: k or o?
o
Let y = -547/36 + 59/4. Which is smaller: -1 or y?
-1
Let j = 3/7 + -5/14. Is 1 greater than or equal to j?
True
Let s(r) = r - 8. Let f = 6 + 2. Let y be s(f). Let l = 197/4 + -49. Which is greater: l or y?
l
Let n be (-1)/((-2)/4) + (-48)/22. Let l = 1 - 0.8. Which is smaller: l or n?
n
Let x be (-10)/(-3) + 4/(-12). Let k = -3 + x. Let d = -85/21 + 13/3. Is d greater than k?
True
Let z = -7.3 - -8. Let i = z + -1. Which is smaller: 0.3 or i?
i
Let b = 13/93 - 1/155. Let t = 7/9 + -4/9. Let g = t - b. Which is bigger: g or 1?
1
Let t(s) = s**3 + s**2 + 2*s + 4. Let m be t(3). Let y = -185/4 + m. Which is smaller: 1 or y?
y
Let a = -10 - -6. Let t = -7 - a. Which is bigger: -1 or t?
-1
Let q = 7/2 - 3. Let i(d) = -d**3 + 3*d**2 - 2. Let l be i(2). Which is greater: l or q?
l
Suppose 0 = 5*z + 12 + 3, -15 = -4*d + z. Let y be (3/(9/d))/(-1). Let g be (0 - y) + (-18)/15. Which is smaller: g or 0?
g
Let z(r) = r**2 - 4*r + 2. Let l be z(2). Let i be (10/(-4))/(l/4). Does i = 13/3?
False
Let j(g) = -g**2 - 4*g + 1. Let t be j(-2). Suppose 3*m + 2 - t = 0. Is 0 less than m?
True
Suppose 4*y = -u, -3*u + 7*u = -4*y. Let g be 9/3 - (-23)/(-7). Is g less than y?
True
Suppose -x = 2*x + 27. Let r = 5 + x. Which is smaller: -2 or r?
r
Let z(f) = 7*f + 0*f**2 - f**2 + 4 - 14. Let n be z(8). Let j be (-4)/18 + (-40)/n. Which is smaller: j or -0.2?
-0.2
Suppose -2*n + 8 = -3*p - 6*n, 5*n + 10 = -p. Suppose -4*d - 10 = y, -y + 4 = -3*d - 0. Let u be (y/4)/(20/8). Which is bigger: p or u?
p
Suppose -6*a + 16 = -2*a. Suppose 0 = 3*n - l + 3*l - 5, 5 = -l. Which is smaller: a or n?
a
Let n = 22.76 - -0.24. Which is greater: -2 or n?
n
Let t be (-2)/(-3) + 17/(-3). Suppose -2*h = -4*h + 3*i - 6, -h + 3*i - 3 = 0. Which is smaller: t or h?
t
Let o = 561931067538 + -338844781313423/603. Let g = o + 576431. Let z = g + -2/67. Which is greater: 2/5 or z?
2/5
Suppose 0 = -r - 4*r - 15. Suppose n = -h + 5*h - 39, 3*n = 2*h - 17. Let j = 7 - h. Are r and j non-equal?
False
Let i = 27 - 53/2. Do i and 5.4 have different values?
True
Let i = -4 - -5. Let w be 1 - i/(-1) - -3. Let n = w + -5. Which is smaller: n or -1/2?
-1/2
Let l = 5.9 - 9.8. Are -1/2 and l non-equal?
True
Let q be 1*(0 + 1) + 1. Let u = -69 - -67. Let w = q + u. Is 0 less than or equal to w?
True
Let a be 96/28*7/2. Is a smaller than 11?
False
Let h = 10 + -9. Let b(n) = -n + 2. Let z be b(h). Which is smaller: z or 4/3?
z
Let i = -270 - -269. Let x be ((-1)/12)/((-2)/4). Which is bigger: x or i?
x
Let x = 271 - 4605/17. Suppose -2*t - 7 = 4*k - k, 2*t = -4*k - 6. Is x less than k?
True
Let c = -14/9 - -80/63. Which is greater: -2/11 or c?
-2/11
Suppose -n = -6*n + 10. Let h be (-121)/(-44) - n/(-8). Let b be 5 + ((-2)/(-2) - 3). Do b and h have the same value?
True
Let k = 10 - 8. Suppose 0 = 4*a - 2*a + 4. Let i be a/3*(-9)/k. Which is greater: 2 or i?
i
Let m(v) = -2*v - 16. Let p be m(-11). Suppose 0 = 5*z + 1 - p. Suppose 0 = f - z - 3. Which is bigger: 5 or f?
5
Suppose 2*o - 15 = o. Let b = -45 - -10. Let z be (4/b)/(6/o). Is z equal to -0.1?
False
Suppose 2*h - 23 = 3*x + 4*h, 0 = -3*x + 4*h + 1. Is 0 >= x?
True
Let n(t) = -t - 10. Let i be n(-8). Let v be i*(-1)/(-2)*-1. Let b(o) = -3*o**2 - 1. Let w be b(v). Which is bigger: -1 or w?
-1
Let k be ((-30)/(-8) - 1) + -3. Is 5 at least k?
True
Let l = -0.019 + -0.051. Let d be -2 + 0 - (-1 + 0). Which is bigger: l or d?
l
Let c be 8/(-20) + 0/(-2). Let i be (-6)/(-9) - (-8)/(-3). Let v be i/(-3) - (-2)/6. Is v at least c?
True
Let g be (-1)/(-2) - 2/20. Let r = -2 + -2. Let i = r + 3. Is i at most g?
True
Let p = 0 - 6. Is p greater than 0?
False
Let h = -20 + 14. Let c(x) = x**3 + 5*x**2 - 8*x - 8. Let l be c(h). Are l and 3 non-equal?
True
Let u = 1 + 4. Let q be 2*(1/5)/(-1). Do u and q have different values?
True
Suppose o = -2*p + 4*o - 15, -2*p + 2*o - 10 = 0. Let y(t) = -t**3 - t - 8. Let l be y(p). Let z = 13 + l. Is 5 bigger than z?
False
Let i = -0.14 + 0.19. Let s = 2.95 + i. Is s less than or equal to 1?
False
Let p be -1 + 0 - (4 + -3). Let i be p/12 - 215/(-30). Which is greater: i or 2?
i
Let w be 