uppose 18 + 24 = -3*c. Which is bigger: c or -12?
-12
Let p be (-75)/(-20)*6/(-9) - -3. Suppose 0 = -5*q + q. Do q and p have different values?
True
Let t be (90/(-21))/((-12)/14 - -1). Which is smaller: t or -31?
-31
Let z(t) = t**3 - 3*t**2 + 5. Let w be z(2). Which is bigger: w or 4?
4
Let h be 3/(-2)*8/6. Let t be (4/(-6)*3)/h. Suppose -2*n + 0*n = 2*m - 4, 0 = 2*m + n - 3. Is m > t?
False
Let r be (0/1 - 1) + -1. Let d = 2/401 + -2009/802. Which is greater: d or r?
r
Suppose 0 = 2*h + h. Let a be 2/((-6)/3) - h. Let f = -245/1143 - 1/127. Is a bigger than f?
False
Let t be (-2)/(-9) - (-6)/(-27). Let v be 1/(-1) - 2*-2. Suppose v*q - 9 = t, -4*g + 6 + 9 = q. Are g and 3 equal?
True
Let u = 4 - 2. Suppose u*l + 4*n = 0, 0 = -0*l - l + n. Which is greater: 1/3 or l?
1/3
Let g(o) = -o + 4. Let m be g(3). Suppose m = -0*k + k. Is k > -2/19?
True
Let x = -16227/25 + 649. Which is bigger: x or -1/2?
x
Let w = -126109/2340 + 485/9. Is 1 greater than w?
True
Let o = -18 + 17.8. Which is bigger: 11 or o?
11
Let c(j) = j**3 - 3*j**2 + 3*j - 3. Let d = 0 - -2. Let v be c(d). Is v equal to -3?
False
Let o be 6/18*(1 - -11). Let i be (2/o)/(6/36). Which is greater: 11/5 or i?
i
Let f be 62/6 - (-2)/(-6). Which is smaller: 11 or f?
f
Let b be 542/364 - 18/12. Let m = 177/455 - b. Let j(q) = -q**3 + 4*q**2 - 4*q + 4. Let f be j(3). Which is greater: m or f?
f
Let n be (-12)/(-30) - (-6219)/15. Let z = 815/2 - n. Is z <= -8?
False
Let u be 79/231 + 12/(-42). Let g = u + 3/77. Let x be (-25)/(-20) - (-2)/(-8). Are x and g non-equal?
True
Let z be (-6)/4*4/(-3). Suppose z*s = s. Which is smaller: -1/3 or s?
-1/3
Let v be ((-24)/2)/((-6)/4). Suppose 0 = -t - 1 + 4. Suppose t*p = p - v. Is p at least as big as -4?
True
Suppose 433*b = 429*b - 48. Are b and 2 unequal?
True
Let y = -45 - -185/4. Is y less than or equal to 1?
False
Let v be (-5)/2 - (-2)/4. Suppose -3*m = 5*q + 14, -5*q - 7 = 2*m + 4. Which is greater: q or v?
q
Let k = 3 + -2. Let z be 3/12*-10*2. Let w(u) = -u**2 - 7*u - 6. Let q be w(z). Which is smaller: k or q?
k
Suppose -3*v + v = -12. Suppose 0 = f + 4, 4*u - 3*u = f + 5. Is v less than or equal to u?
False
Let o = -12 - -8. Is o at least as big as -3?
False
Suppose -5*r + 4*w - 37 = -0*w, -27 = 3*r - 4*w. Is -4 != r?
True
Let o = 104/165 - -2/55. Is 2 at least o?
True
Let q(w) = -w**3 - 2*w**2 + 3*w - 3. Let c be q(2). Let z(o) = o**2 + 14*o + 18. Let u be z(c). Let j = -6 + u. Is -1 < j?
False
Let g = 0.4 + 18.6. Let s = g - 16. Which is bigger: -3 or s?
s
Let w = 18 - 13. Let o = 21 - 23. Are o and w equal?
False
Let z = -118.1 - -118. Which is smaller: z or -14/15?
-14/15
Let x be 50/(-6)*(-4)/(-10)*12. Is x equal to -40?
True
Let o be -5 + 3*-6*(-4)/18. Which is smaller: o or 1/19?
o
Let b(x) = x**3 + 6*x**2 - 5*x + 9. Let o be b(-7). Let q be -4 - -1 - (-6 - o). Which is smaller: q or -3/5?
q
Suppose 0 = -5*g - 0*s - s + 2, -4*s = 2*g - 8. Let a = -1/714 - 1397/22134. Is g greater than a?
True
Let v = -15 - -10. Let x(j) = j**2 + 3*j + 2. Let y be x(v). Let o be 4*(-3)/y*-3. Is o smaller than 1?
False
Suppose 9*i = -7*i - 16. Which is greater: i or 1/45?
1/45
Suppose 3*p = 2*p. Let r be (0 + 2)/(1*5). Are p and r non-equal?
True
Let u(a) = 8*a + 5. Let j be u(-4). Are j and -27 nonequal?
False
Suppose 3*o + y = 2 + 5, 25 = 5*o + 5*y. Is 8/7 less than o?
False
Suppose 2*h - 8 = -2*h. Let x = 1 - 5. Let w = x + 6. Is w less than or equal to h?
True
Let c be (-4)/6 - (-2)/(-24). Let d be (-10)/(-28) + (-6 - -5). Let z = -1/7 - d. Which is smaller: c or z?
c
Let r = -33 - -33. Which is smaller: -2 or r?
-2
Let u be (2/(-6))/((-50)/60). Which is bigger: 10 or u?
10
Let z(t) be the third derivative of t**5/60 - t**4/6 - 7*t**3/6 - t**2. Let d be z(5). Is 1 > d?
True
Let d(g) = g**2 - 10*g + 7. Suppose -5*x = 5*l - 20, 0*l - 15 = 3*l. Let i be d(x). Is i greater than -2?
False
Suppose -4*c - 4*b - 20 = 0, -c = 2*c + 4*b + 19. Let i = -2/743 - -3014/15603. Which is smaller: i or c?
c
Suppose 5*d - 12 = -4*n + 59, -5*n - 5 = 0. Let l be 14 + (2 - (-2)/(-1)). Which is smaller: d or l?
l
Suppose 3*u - 70 - 38 = 0. Suppose -5*b - 33 = -2*a, -4*a + u = -0*a - 4*b. Let i = a + -3. Which is greater: i or 6/7?
i
Let f be ((-2)/2*-1)/2. Let s = 0.19 + -2.39. Let z = 2 + s. Is f at least z?
True
Let l be -1*((7 - 1) + -3). Is -9 less than or equal to l?
True
Let m be 17/(-4) - (-7)/28. Let l be (m + 2)/((-10)/(-1)). Which is bigger: l or 2?
2
Suppose 0 = 3*j + j + 16. Let r be (7/(-42))/(2/j). Which is bigger: -1 or r?
r
Let h = 1 + 1. Let y(t) = 9*t + t**2 + 0*t - 2*t + 9. Let i be y(-6). Is h != i?
True
Let t = -121/51 + 8/3. Let v = t - 37/68. Let a be ((-2)/6)/(1/(-3)). Which is bigger: a or v?
a
Let o = 11 + -16. Let n = o + 3. Let r be -2 + 52/14 + n. Is 0.1 not equal to r?
True
Let y be (-16900)/255 + (-1)/(-3). Let h = 66 + y. Which is smaller: -1 or h?
-1
Suppose 6*d - 3 = 15. Does 5 = d?
False
Let t be 2/(-3 + 7)*0 + 4. Let z = 7 - 4. Which is bigger: t or z?
t
Let x(d) = d**2 + 6*d + 3. Let k be x(-6). Suppose -4 = -a + k*a. Which is bigger: a or 6?
6
Let i = 0.085 + 0.015. Let m = -0.8 - 0.2. Which is greater: i or m?
i
Let c(h) = -h**3 + 6*h**2 - 4*h - 5. Let y be c(4). Suppose -1 = 5*b - y. Are b and 1 non-equal?
True
Suppose m - 7*m = -6. Which is smaller: -4 or m?
-4
Let a = -21 + 72. Suppose -a = 4*u - u. Which is smaller: -18 or u?
-18
Suppose 5*z = 67 + 23. Let j be (-22)/z - (-2)/2. Let u(b) = -2*b - 6. Let x be u(-3). Is x bigger than j?
True
Let o be 0/(-2 + 4) + 3. Suppose 1 = 5*a - 4*w, 0 = -6*a + a + o*w + 2. Let i(b) = -b**2 - 2*b + 1. Let r be i(a). Are r and -2 equal?
True
Suppose -9*g - 84 = -3*g. Are -15 and g unequal?
True
Suppose -5*x - 105 = -5*r, 0*x + 5*r = x + 41. Let n = 47/3 + x. Which is smaller: 1 or n?
n
Let k be -3*(7/(-15) - 8/40). Which is bigger: 7/4 or k?
k
Suppose 4*i + 9 = 5*i. Suppose 0 = 10*a + 16 - 106. Does a = i?
True
Let c be 4/(-14) + 4/112. Let d(f) = 0*f + 0*f + 4*f - 5*f - 8. Let o be d(-8). Which is greater: c or o?
o
Let b be ((-24)/105)/(65/25 - 3). Which is smaller: b or -1/4?
-1/4
Let k(a) = a**3 + 7*a**2 - 8*a - 3. Let z be k(-8). Let b be 0/(-3 - 0) - 4. Which is greater: z or b?
z
Let t = 3 + -4. Let n be ((-1 + 1)/t)/1. Let v be 4*((-2)/60 - n). Is v < 0?
True
Let b = 2 + 1. Let p be b/6 + (-1)/(-2). Let c be (10/5)/(1*-7). Do c and p have different values?
True
Let t be 4/(-22) + 48/385. Let p be ((-9)/(-18))/((-2)/4). Is p less than t?
True
Let v = 11 - 12. Let i be (v/7)/(24/(-28)). Is i at least 1?
False
Let r = 3 - 7.6. Let s = r - -0.6. Which is smaller: s or 1/3?
s
Let s be ((-13)/195)/(2/35). Is s > -1?
False
Let h = 268 + -18494/69. Is h greater than or equal to -1?
True
Let r(n) = -n**2 + 6*n - 4. Let g(k) = 2*k - 6. Let c be g(5). Let u be r(c). Suppose 3*m + 5 = u*m. Does 5 = m?
True
Suppose 3*x = 3*u - 1 - 8, -3*x - 5*u = -15. Let g be (-12)/(-14) + x/4. Suppose 0 = 5*k + 3*z - 9, 0 = 3*z - 9. Which is smaller: g or k?
k
Let x(i) be the first derivative of -i**2/2 + 3*i - 2. Let r be x(4). Let n = -7 - -7. Which is smaller: r or n?
r
Let b(p) = -p**2 + 10*p - 2. Let x be b(9). Let q be (-36)/(-8)*(-1 + 3). Suppose -4*v + 2*t = 8, -4*t + q = v - x. Does v = 3/8?
False
Suppose -4*b + 59 - 15 = 0. Let d = 1.9 - 2. Is d greater than or equal to b?
False
Suppose -4*m - 5*z - 38 = -13, -5*m - 4*z = 20. Suppose m = -j + 3 + 2. Is j less than or equal to 5?
True
Let w = 16 - 13. Are 13/6 and w nonequal?
True
Let q = 14696/93 - 158. Which is smaller: 1 or q?
q
Suppose 0 = v + 4*t + 15, 4*v + 2*t + 3 = -v. Let i = -7 - -13. Suppose i*a - 5 = a. Is a equal to v?
True
Suppose -3 = 3*v - 0*v. Let j be (-24)/(-16)*(-8)/(-6). Let m be j + (-5 - -2) - -2. Is m <= v?
False
Let i = -3.7 + 0.7. Let c = 3.3 + i. Which is smaller: c or 2?
c
Let f be -1 - 2 - 58/(-18). Let k = 1 - 0.9. Is f at least k?
True
Let r = -1806 + 10867/6. Which is smaller: r or 4?
4
Let d(t) = t**2 + 5*t + 6. Let b be d(-4). Suppose 5*y - 8 = -b*p, -5*y - 2*p + 4 = -p. Let z be 2 + -1 - y/(-1). Which is smaller: -2/7 or z?
-2/7
Let s be 3 + -5 + 1 + 0. Is -4/5 smaller than s?
False
Suppose -5*i = -1 - 34. Let z = i - -10. Suppose n - 3*j = -j - 7, -n - 4*j + z = 0. Does n = 2?
False
Let x(i) = 6*i + 3. Let t(m)