et g = -11 - r. Which is greater: -3 or g?
g
Let n = -18 + 17. Is 0.03 bigger than n?
True
Let x(a) = a**3 + 11*a**2 + 8*a - 13. Let m be x(-10). Are 5 and m non-equal?
True
Let q(p) = p**3 - 3*p - 4. Let t be q(-3). Is t <= -22?
True
Let n(s) = -4*s**2 + s**2 - s**3 - 2*s + s**2 + 2 + 2*s**3. Let i be n(2). Which is greater: -7/3 or i?
i
Let o = 5149/22 + -234. Which is smaller: o or 0?
0
Suppose 19 = -3*u + 4. Which is greater: 6 or u?
6
Let s be (-2)/(-10) - (-72)/(-285). Is 0 not equal to s?
True
Suppose -3*m - 3*y = -0*y + 6, 2*y - 2 = 0. Suppose 6*p + 27 = -3*p. Is m smaller than p?
False
Suppose 2*q + 40 = -2*q. Let o(i) = i**2 + 10*i + 1. Let g be o(q). Do g and 0 have the same value?
False
Suppose 7*z = 3*z - 4. Does z = 5/11?
False
Suppose 3*q = 4 - 28. Let l be (-48)/(-26) + q/(-52). Which is smaller: -3 or l?
-3
Let q = 77 + -463/6. Which is greater: -2 or q?
q
Suppose 4*r + 0*r = -2*h + 10, 0 = 2*h - 5*r - 1. Let u be h - 46/20 - 1. Which is bigger: u or 0?
0
Let m = -0.1 - -1.1. Let g = -3.9525 - 0.0475. Which is greater: g or m?
m
Let a(j) = j**3 + 5*j**2 - 5*j + 6. Let s be a(-6). Let h = -6 - -8. Which is smaller: s or h?
s
Suppose 4*c - 11 = 1. Suppose -4*l - 11 = -q, -q - 4*l + 1 - 6 = 0. Suppose p - q = -2*k, -1 = c*k + 5*p - 9. Is 1 bigger than k?
False
Suppose 3*y = 8*y - 10. Suppose 2*x + 1 - y = z, 0 = 5*z - 5*x + 15. Is z <= -6?
False
Let g be (-4)/(-6)*(-18)/44. Which is greater: g or -2?
g
Suppose -3*n - 25 = 5*o, -4*n + o = -3 - 2. Suppose -2*v - 3*v + 10 = n. Is v equal to 2?
True
Suppose 0 = -0*q + 5*q - 20. Suppose 0 = 5*g - 46 + 36. Suppose -q*r - 6*c + 28 = -2*c, -g*c + 2 = 0. Are 6 and r nonequal?
False
Suppose 0 = -2*g - 3*g - 5*l - 25, -g + 10 = -4*l. Let z(f) = -f**3 + 2*f**2 - 3*f + 1. Let y be z(2). Let k be g/(-1) - (-12)/y. Which is greater: k or 1?
1
Suppose -5*s + l + 17 + 7 = 0, 5*s - 5*l - 20 = 0. Let c be ((-1)/s)/((-12)/(-15)). Let g be (-15)/(-27) + (-1)/1. Which is smaller: g or c?
g
Let f = 14 + -14. Which is smaller: -3 or f?
-3
Let p be 2/(-8) + (-26)/(-8). Let b = p + -2. Are -2/27 and b nonequal?
True
Let y = 9 - 9. Suppose 2 = -4*a - y*a + 3*d, -a = 4*d - 9. Which is smaller: 7/8 or a?
7/8
Let g be (-37)/13 - (-8 + 5). Let c = 17/26 - g. Is -1 < c?
True
Let k = -15 + 18. Does 14/9 = k?
False
Let t be 6/4 - (-51)/(-34). Which is smaller: -3/124 or t?
-3/124
Let g = -168 + 43178/257. Does g = 0?
False
Let q = 3509/54 - 65. Is q smaller than 0?
True
Let o = 14 - 4. Let f(i) = i - 8. Let m be f(o). Suppose -5*x + 23 = 2*j, -3*x - 3*j + m = -19. Is 0 < x?
True
Let l(q) = -17*q - 3. Let w be l(5). Let t = -790/9 - w. Suppose 5*p + 13 = -4*z, 5*p + 14 = -5*z - 1. Is t greater than or equal to p?
True
Let w be 2/(-2) + 3 + 0. Suppose -w*f + 1 = -f. Let t = -85/3 + 28. Does f = t?
False
Let p be 0 - 3 - (-2 + 4). Which is bigger: p or -6?
p
Let f be ((-12)/(-5) - 1) + 60/(-75). Let i = 0 + 1. Let a be ((-2)/(-1) + -2)/i. Is a greater than or equal to f?
False
Let j = -1160/13 - -89. Which is smaller: j or -1?
-1
Let i = -5 - -2. Let f be (3/(-30))/(i/(-12)). Suppose 4*b - p - 6 = 0, -3*p - 3 = 3. Is b less than f?
False
Let n = 0.01 + 0.99. Let j = -0.7 + n. Which is bigger: -0.2 or j?
j
Suppose -2*r - 4*c = 1 - 3, -2*c = -2*r + 8. Suppose r*b - b = 0. Which is smaller: b or -0.04?
-0.04
Let p = -7.8 + 0.8. Let v = 6.8 + p. Is v equal to -3?
False
Let u = -11 - -18. Which is smaller: u or 8?
u
Let o(t) = -2*t + 9. Let s be o(6). Let z = -4 - s. Let k = -42 - -41. Is z at least k?
True
Suppose 0 = 2*a + a - 6. Suppose -1 = -r - n, -r + 4*r = -4*n + 1. Suppose -a*b + 0 + r = 3*t, 4 = 4*t. Are 1 and b unequal?
True
Suppose 8*t + 15 = 13*t. Let h be (-10)/(-84) + t/(-9). Is -1 bigger than h?
False
Let p be 3/5 + (-4)/10. Let x(d) = -3*d. Let s be x(-1). Suppose -s + 4 = -g. Which is bigger: p or g?
p
Let b = -26060 - -338521/13. Let p = b + 20. Suppose 5*h - 31 + 5 = a, 4*a + 2*h = 6. Which is greater: a or p?
p
Let s(b) = -6*b**2 - 3*b + 12. Let u be s(2). Which is bigger: u or -20?
u
Suppose 14 = 4*j + 2. Let z = j + -5. Let o = 3 - 5. Is z not equal to o?
False
Let g = 9 - 8. Which is smaller: -0.3 or g?
-0.3
Let r(q) = q**3 + 5*q**2 + 6*q + 8. Let j be r(-4). Suppose -2*n = -5*o - 0*o - 23, -2*n - 3*o - 17 = j. Is 2/7 at least as big as n?
True
Suppose 0 = -2*s + 7 - 1. Suppose -3*d + 14 = -4*y - d, d - 13 = 4*y. Let b be y - s/(-9)*0. Which is smaller: -2 or b?
b
Let l = 106 + -185. Which is smaller: l or 0?
l
Let x be (-314)/8 - (-4 - (-30)/8). Is x less than -39?
False
Let l be -2 + 861/495 + 1. Let a = 2/33 + l. Is a at most 1?
True
Let a be (-59*2)/((6 + -4)*1). Is -60 less than a?
True
Let h(n) = -n**2 - 4*n - 21. Let b be h(0). Which is smaller: -22 or b?
-22
Let f be (4/216)/((-4)/(-16)). Is 0 < f?
True
Let j be (-1)/2*(-1 - 9). Suppose 0 = 4*w + t + 19, 2*w - 13 = j*w + t. Let z be 0 + (-58)/8 - (-31)/124. Which is smaller: z or w?
z
Let o = -1 - -1. Let y = 6/49 - -44/441. Are o and y nonequal?
True
Let q = 15 - 0. Suppose -l = 2*l - q. Let k = l - 4. Is 1/3 < k?
True
Suppose -4*q = 2*c - 4, q = -4*c + 6*q - 57. Let d(a) = 3*a + 5. Let z be d(-4). Which is bigger: z or c?
z
Suppose -2*g = -4*i - i + 15, -3*g + 5*i = 15. Let t be (-2)/(-13) - (-3264)/(-17160). Which is greater: g or t?
g
Let v = 15 - 3. Which is greater: v or 2/5?
v
Let s = -4938/19 + 260. Is -1 greater than or equal to s?
False
Let q be 318/(-4)*(-2)/84. Let g = -15/7 + q. Is 1 bigger than g?
True
Let c = -19/9 + 113/45. Which is bigger: 0 or c?
c
Let x = 29.2 - 29. Is x smaller than -3?
False
Let k = 145/3 + -48. Let o = 2/49 + -57/196. Which is smaller: o or k?
o
Let v be 1 + (-2334)/585 + 3. Let d = 203/780 - v. Are d and 1 nonequal?
True
Let h be (-1)/((-3)/12*-2). Let o = h + 5. Suppose 0 = -o*l - 6, j - 3 = 5*l + 7. Is j at most as big as -1?
False
Let m(z) = -13*z**2 + 12*z**2 + 4 - 3 + 2*z**3. Let s be m(1). Suppose 0 = 5*o + 2*k - 15, -5*o + 3*k + 1 - 11 = 0. Is o < s?
True
Let j = -8 - -7. Let f = 6 + j. Which is smaller: f or 6?
f
Let u = 80/49 - -109/49. Is u equal to 5?
False
Let r = -42 - -43. Which is greater: 2/151 or r?
r
Let b be 0 + -1 + -1*12/(-15). Which is greater: 2 or b?
2
Suppose -2*z - v = 2, -v - 2 + 0 = z. Let j be 0/(-2 - z - -3). Let u = j - 2. Which is smaller: -5/2 or u?
-5/2
Let a = 5.1 - 3.1. Which is bigger: a or 1.8?
a
Let f(m) be the first derivative of -m**2/2 - 3*m - 6. Let i be f(-6). Is 3 equal to i?
True
Let w = 16 + -14. Let o = -36 - -75/2. Are w and o nonequal?
True
Let y = -2 + 1. Let d = -0.02 - -0.16. Let k = d + -0.04. Which is bigger: k or y?
k
Let p be (-5)/(-1) - 2/(-1). Suppose -2 = -5*a - p. Is -3 >= a?
False
Suppose -2*l = 4*h + 10, -l - 5 = -6*h + 4*h. Let b(q) = -q**2 + 10*q - 8. Let o be b(-8). Let v = 1978/13 + o. Is h at most v?
True
Let g(f) = -f**2 - 2*f - 2. Let x be g(-2). Let i be (-4)/6*(-12)/(-2). Which is bigger: i or x?
x
Let a = 0.13 - 0.13. Which is bigger: -1 or a?
a
Let h = 0.8 - 1. Let j = 8 - 1. Let f = j + -6. Which is smaller: h or f?
h
Let f = -29 - -20. Do -8 and f have different values?
True
Suppose -30 = -4*d + d. Which is smaller: 9 or d?
9
Let f = 6 - 1. Let d be (0/(-2 + f))/(-1). Which is smaller: d or 1?
d
Let f = -53.1 - -54. Which is bigger: -2 or f?
f
Let t = -0.8 + -7.2. Let l = t + 7.7. Let g = 3.4 - 4.4. Which is greater: g or l?
l
Let n = 0.09 + 0.81. Let q = n + -0.85. Which is smaller: q or 2?
q
Let z(o) = -o**3 - 4*o**2 - 4*o. Let c be z(-3). Suppose 0 = -c*w + 6 - 3. Is 1 bigger than w?
False
Suppose 0 = -r - 3 + 9. Let b be -3 - (2 - 1 - (3 + 7)). Is r not equal to b?
False
Suppose 4*i - 72 = -16. Is i at most as big as 13?
False
Suppose -5*o = 20, -2*k + 2 = -3*o - 8. Are k and 5/23 nonequal?
True
Suppose -5*x - 12 - 13 = -2*h, -4*h = -3*x - 1. Is x != -6?
True
Let m be (-5)/(-1) - 1 - 0. Let x = -8 - -9. Which is smaller: m or x?
x
Let k = -6 + 21. Is 15 <= k?
True
Let a be (-7 + 3 - -1) + -4. Let u = -9 + 2. Is u at most a?
True
Let i be (-288)/(-21) - (-4)/14. Suppose 0 = -l - 4*b + i, 3*b - 9 = 3*l - 2*b. Is 4/7 at least as big as l?
False
Suppose q + 19 = 5*v, 0*v - 7 = -5*v - 2*q. Suppose v = 4*c - 5. Suppose 8*d - 3*d = 2*m - 9, 5*m + 5*d = 5. Is m smaller than c?
False
Let d = -5 - -3. Let r = 0.84 + -1.34. Whic