 greater: j or q?
j
Suppose 0 = -5*d + 12 + 13. Suppose -4*t = -d*w - 3 + 2, 5*t = 5*w. Which is bigger: 2 or w?
2
Let w = -0.1 + -0.9. Is w at least -9?
True
Suppose b = 5*b + 5*s + 6, -2*b - 6 = s. Suppose -2*q + 0*q - 6 = 0. Which is bigger: b or q?
q
Let g be 9 - (2/1 + 0). Let q be (-22)/(-10) - (8 - g). Are 0 and q nonequal?
True
Let s be -5 + 1 + (3 - 1). Let z = 6 + s. Let c(p) = -p**3 + 4*p**2 + p + 1. Let t be c(z). Which is smaller: 6 or t?
t
Let s be 4/14*(-39)/2. Let n = -347/56 - s. Is n at most as big as -0.1?
True
Let x = -47630/329 + 1014/7. Which is bigger: x or -1?
x
Let i = 3/43 - -851/129. Which is smaller: 7 or i?
i
Let h(q) be the third derivative of -11*q**4/24 + 4*q**3 + q**2. Let u(y) = 5*y - 12. Let r(f) = 4*h(f) + 9*u(f). Let s be r(9). Is s bigger than -4?
True
Suppose 0 = 4*c + 4*f - 24, 3*c - 16 = 7*c - 4*f. Which is greater: -1/4 or c?
c
Let q = 6 + 8. Let y be ((-4)/(-8))/(q/4). Which is smaller: y or 0?
0
Let r(i) = 4*i**2 + 4*i + 3. Let z be r(-2). Let v(d) = -d + 13. Let b be v(z). Let q(y) = -y**2 + 6*y + 2. Let t be q(6). Is b < t?
False
Let n be (9/(-6))/((-27)/12). Let f be 1/((-2 - 0) + 3). Let j = f + -1. Are n and j unequal?
True
Let s = -150 - -174. Suppose 0*i - 96 = -4*i. Is i greater than s?
False
Let o = 13 - 33. Which is smaller: o or -1/3?
o
Let y = -0.1 + 0.19. Let t = 446.91 + -445. Let i = y + t. Is i greater than -0.1?
True
Let u be 1/(-5) - (5 + (-3 - -1)). Is u at least -2?
False
Suppose -16*h = -12*h + 8. Which is greater: -26/11 or h?
h
Suppose -15*m + 4 = -11*m. Is 3 smaller than m?
False
Suppose -3*x + 9 = -2*d, -d = 2*x - 2*d - 7. Let t = x - 6. Let z be 1/6*(-6)/(-4). Which is smaller: z or t?
t
Let r = -268 + 503/2. Let g = r - -17. Let i = -19 - -19. Is g != i?
True
Let l(d) = 7*d - 4. Let n(y) = -20*y + 12. Suppose -4*m - 32 = -8. Let b(q) = m*n(q) - 17*l(q). Let o be b(3). Is o less than -1?
False
Let l be 36/(4/(-4) - -3). Which is bigger: l or 20?
20
Suppose -5*r + 3 = -17. Suppose -r*b + 4 = -3*p, 2*b = b + 5*p + 1. Which is smaller: b or 0?
0
Let g be (-84)/(-9) + (-6)/(-9). Suppose -45 = -7*i + 2*i. Is i > g?
False
Let j(s) = -s**3 + 8*s**2 + s - 9. Let n be j(8). Suppose -4*d - 26 = -d - 4*r, 4*d + 4*r = 12. Is n != d?
True
Suppose 4*m = 17 - 5. Suppose 5*l = m*l - 2. Let y(v) = v**3 - 2*v + 1. Let q be y(1). Which is greater: q or l?
q
Let h = 344/17 + -3776/153. Is -4 bigger than h?
True
Suppose -21 = -f + 2. Is 2/5 > f?
False
Let k = 1.97 + 0.33. Let l = -0.7 - k. Which is smaller: 0.2 or l?
l
Suppose 0 = -0*q + 2*q. Suppose 10 = 3*w + 2*w. Suppose 2*o + 4 = -w*g + 2, 0 = -3*g + 4*o - 3. Which is smaller: g or q?
g
Let u = 9 + -9.1. Is 0.6 less than u?
False
Let n = 13 + -3. Let i = n + -6. Which is smaller: i or 3?
3
Let c = -12.9 + 13. Which is bigger: 6/11 or c?
6/11
Let x(j) = -j**3 - 10*j**2 - 1. Let f be x(-10). Let z be 2/(7/(-2) - 0). Is f at most z?
True
Let i = -61 - -59. Is i at least as big as -3?
True
Let m(a) = -5*a + 2. Let o be m(1). Which is smaller: -2 or o?
o
Let n = -5/228 - 73/570. Is -0.1 less than n?
False
Suppose -x + 3*p - 7*p + 19 = 0, 4*x = 3*p. Suppose -10 = x*j - 8*j. Suppose -j = -2*h - 0. Is h greater than or equal to -1/5?
True
Let g = 28 + 9. Is 2/5 at most as big as g?
True
Suppose -4*d - 13 = -5*g - 0*d, 3 = d. Suppose -7 = -g*y + 8. Suppose y*z + 0*z = 0. Which is smaller: z or -2/17?
-2/17
Let h = 13 - 19. Is 1 at most h?
False
Let t(z) = -126*z**2 + 4*z - 3. Let m be t(-4). Let r = m - -22337/11. Let l = -166/33 - r. Which is smaller: -1 or l?
-1
Suppose -6 = x + 4*n, 4*x - 3*n + 7*n = 0. Does x = 0.3?
False
Let w be ((3 + 654)/(-3))/(-1). Let q be -3 + 4 - w/126. Let p = 1/14 + q. Which is smaller: p or -2?
-2
Let i = 36 - 36. Let x be -3 - (2 + 46/(-10)). Which is smaller: x or i?
x
Suppose 14*a - 2 = -2. Which is bigger: 12/19 or a?
12/19
Let i(y) = -3*y**3 - 6*y**2 - 4*y + 4. Let k(x) = -8*x**3 - 18*x**2 - 11*x + 11. Let g(v) = 11*i(v) - 4*k(v). Let s be g(6). Which is greater: s or -1/7?
s
Let d(h) = h**3 + 17*h**2 + 16*h + 21. Let a be d(-16). Is a at most 24?
True
Suppose -5*s + 6*b - 8*b - 4 = 0, -4*b + 12 = 0. Is -15/8 <= s?
False
Let f be (-236)/186 - 2/(-1). Let g = f - 2/31. Which is bigger: g or 2?
2
Let m = 189/4 - 47. Which is smaller: 0.06 or m?
0.06
Let c be 63/(-6) - (-5)/(-10). Which is smaller: -2 or c?
c
Let g(b) = -b**3 + 7*b**2 - 5*b. Let k be g(6). Let y = 5 - k. Let w be y/(-3 + 2) + -1. Is 2/3 greater than or equal to w?
True
Let c(x) = -x - 3. Let w(j) = j - 10. Let k be w(7). Let q be c(k). Is -2/19 at least q?
False
Let q(k) = -6*k**2 - 4*k + 2. Let j be q(-5). Let s = 192 + j. Let p be s/(-360) - 4/18. Which is smaller: 1 or p?
p
Suppose -f + 14 = 6*f. Which is smaller: 3 or f?
f
Let q(y) = y**3 + 8*y**2 + 7*y + 4. Let f be q(-7). Suppose 3*r = 2*r - 3*o - 3, 0 = -4*r + 2*o + 16. Do f and r have different values?
True
Let k be 0*(2 + 9/(-6)). Let h = -628 + 18210/29. Is k at most as big as h?
False
Let f be 0/((-1 - 0)*-1). Let s = -1 + f. Let i = -0.1 + -1.9. Which is greater: s or i?
s
Let b = 0.5 - 0.4. Let k = -6 - -5.8. Which is bigger: k or b?
b
Let t = -1.118 + 0.118. Is t at least as big as 18?
False
Let a = 11.82 - -0.18. Let i = 11 - a. Which is greater: i or 1/3?
1/3
Suppose 3*d + 4 = 7*d. Which is bigger: d or -1/5?
d
Suppose -5*i - 5*m + 4 = -1, 0 = i - 4*m - 6. Suppose -2*f - i*f = h - 7, f = 5*h - 14. Is 1 smaller than h?
True
Let a be (6/(-16))/(17/34). Let f = 4 - 2. Which is smaller: a or f?
a
Let k(m) = m**3 - 8*m**2 + 8*m - 4. Suppose 25 = 4*o - 3*c, 18 = 4*o + c - 11. Let g be k(o). Let r be g*(2/12 + 0). Which is smaller: r or -5?
-5
Let p = 0.5 + -1.5. Let w(j) = j**3 + 3*j**2 + 3*j. Suppose 0 = -5*v - 3*l + 2, -4*v + 2*v + 2*l = 12. Let u be w(v). Which is smaller: u or p?
u
Let r(w) = -2*w**2 - 4*w - 2. Let f be r(-1). Which is smaller: f or -1/41?
-1/41
Let u = -84 + 79.7. Let y = 4.06 + -0.06. Let a = u + y. Is -0.2 at most a?
False
Suppose 2*p - 1 = 3*p. Let n = p - 0. Which is greater: 4 or n?
4
Let a(h) be the first derivative of -3*h**4/2 - h**2 + h + 8. Let y be (2/4)/(2/4). Let o be a(y). Which is greater: o or -8?
o
Suppose 4*s + 10 + 18 = -2*h, 3*h + 26 = -2*s. Which is greater: h or 2?
2
Suppose 0 = -3*d + 3*r - 18, 2*d - 3*r + 27 = 2*r. Do d and 3/8 have the same value?
False
Let h = 4 - 3. Let f be 1/3*(7 - h). Let z = 0 - f. Is -3 smaller than z?
True
Let j = -0.1 + -15.9. Which is smaller: j or 2?
j
Let q = 0 - -1. Let z be 1 + (-2 + 1)*q. Let s be (-1*z/(-2))/2. Is s > 2/3?
False
Let x(y) = y**3 - 10*y**2 + 7*y + 12. Let n be x(9). Let s be (-2)/(-68)*(-2 - n). Is s less than or equal to -1?
False
Let m be (-5)/(-3)*-4*(-5)/50. Let a = -3 + 3.4. Is a at most as big as m?
True
Let t(p) = -p - 1. Let d be t(-9). Suppose 2*g = 4*g - d. Suppose g*s - 14 = 5*o, 0 = 3*s + 3*o - 0 + 3. Is 0 greater than or equal to s?
False
Let q = 3 - 8. Let w = q + 2. Let s be (w/(-8))/((-24)/(-16)). Which is smaller: s or 1?
s
Suppose 3*g = -3 - 3. Let s be -2*(-1)/g*-4. Which is smaller: s or 5?
s
Let j = 201 - 206. Let i = 1.9 + -4. Let t = -2 - i. Are j and t non-equal?
True
Let v be (-1 + -466)*(-4)/(-18). Let j = 104 + v. Let q be ((0/(-3))/2)/2. Is j < q?
False
Let g be 98/28*2*-1. Which is smaller: g or -6?
g
Let w = -2/17 - -65/119. Let m = 5/7 - w. Which is smaller: 1 or m?
m
Suppose 0 = -3*g - 6 + 12. Suppose -4*p + g*p = 22. Is -11 not equal to p?
False
Let x = -11 - -8. Let g be x*(10/(-6) + 0). Which is greater: g or 4?
g
Let i(a) = 9 + 6 + 7*a - 3 + a**2 + 5*a. Let n be i(-11). Let l = -107 + 961/9. Is n at least as big as l?
True
Let r = -11.1 + -0.9. Let d = 11.3 + r. Which is smaller: d or 1?
d
Let i = 6 + -8. Let l be (4 - -1)*i/(-5). Suppose 2*h + l*h = 8. Are h and 2 equal?
True
Suppose 2*v = 4*v + 2. Which is smaller: v or -8/5?
-8/5
Suppose 0 = 9*r - r - 56. Are 4 and r nonequal?
True
Let a = -3 + 11. Let i(r) be the first derivative of -r**2/2 + 7*r + 2. Let c be i(a). Is c at least as big as -1?
True
Let k(h) = -h**2 + 13*h - 17. Let a be k(11). Is -1 <= a?
True
Let a = -3/520 - 11/2600. Which is smaller: a or 1?
a
Suppose i - 3*x - 8 = 2, -3*i - 10 = x. Let n = 6 + -12. Which is smaller: n or i?
n
Let a(i) = i**2 + 9*i + 11. Let n be a(-8). Let l(k) = k*