z or 0?
z
Suppose -10*p = -6*p + 112. Let f be p*(1 + (-6)/4). Which is smaller: 15 or f?
f
Suppose -3*b + 5 = 3*c - 7, 2*b - c = 23. Suppose 2*q + b = 7*q + 2*s, q + 5*s - 11 = 0. Suppose -4*y = 3*k - 3, 4*k + 5*y = 3*k + q. Is k < 3?
True
Let w = -6.6 - -6. Let v = w - 0. Let z = v + -1.4. Are -2 and z unequal?
False
Let h be 2/2 + (-11 - 44). Let c(i) = -2*i - 4. Let j be c(-6). Let m be 10/h*j/20. Which is smaller: 0 or m?
m
Let l = -16 + 46. Let d be (-4)/l*3*5. Let w = 0 + -1. Which is greater: d or w?
w
Suppose -12 + 66 = 3*z. Let a be 6/z*(-1 + -2). Let g = 66 - 724/11. Is g less than a?
False
Let g be 4/3*5/10. Which is smaller: -1/25 or g?
-1/25
Let z = 0 + 2. Let w = 0.061 + 0.939. Is z less than w?
False
Let r(l) = l + 2. Let n be r(-2). Suppose n = -0*h - 2*h - 8. Let t be h/3*3/2. Are t and -2 unequal?
False
Let t be (1/2)/((-16)/(896/36)). Which is bigger: t or -2?
t
Suppose 2*u + 30 = -0*u. Let q(b) = -2*b**2 + 13*b - 7. Let n be q(7). Is n >= u?
True
Let c(i) = i**3 + 8*i**2 + i - 8. Let u be c(-8). Let j = u - -16. Are j and 0 non-equal?
False
Let d = 0.071 - -1.729. Which is smaller: d or 5?
d
Let a = -4 + 4. Is 2/25 at most a?
False
Let o(g) = 8*g - 1. Let p be o(1). Let f = 5 - p. Let t be f/(2/(-2 - 0)). Which is greater: t or 3?
3
Let n = -0.6 + -0.2. Let o = n - -0.7. Let j = 0.2 - 0.4. Which is bigger: o or j?
o
Let o = 16/41 + -581/1804. Which is bigger: 1 or o?
1
Let t = -0.18 - 0.62. Let f = -1.1 - t. Is -2/11 at least as big as f?
True
Let v(q) = q**2 - 6*q - 2. Let j be v(6). Let x = -2 - j. Does x = -1/4?
False
Suppose -4*w + 2*a - 4 = -24, -3*w + 5*a + 29 = 0. Suppose -7 = -2*n - w. Suppose k = -2*v + v + 3, -8 = -k - n*v. Is -3 < k?
True
Let t be -18 + 22 + 3/(-1). Is 1 not equal to t?
False
Let u(p) = p**3 - 13*p**2 + p - 10. Let x be u(13). Let b = 7 - x. Which is smaller: b or 2/9?
2/9
Let y be (-4)/(-6) + (-23)/3. Suppose 5*n - 4*n = 6. Suppose -5*m = -n*m - 8. Which is smaller: m or y?
m
Let k = 18 - 12. Which is greater: -1/3 or k?
k
Let m be -7 + 61/9 - (-4)/18. Suppose 4*g - 10 = -2*t, -3*t + 2*g - 15 + 6 = 0. Is m at least t?
True
Let c = -45 - -28. Is c smaller than -16?
True
Let a be 2*(-3)/6*(-1 - -2). Let j(p) = -p - 1. Let f be j(-1). Suppose 1 = -3*r - 4*y, -r = -f*r + 3*y + 2. Which is smaller: r or a?
a
Suppose 0*l - p - 5 = -4*l, -l = -2*p - 10. Is -3/7 not equal to l?
True
Suppose -4*r = -66 + 10. Let n = -32 + r. Let x be 2/(-6)*n/12. Which is bigger: x or -0.2?
x
Suppose -q - 5*i - 22 = q, -4*q = -2*i - 4. Does q = -5/3?
False
Suppose s - 4*u - 23 = 0, -s = 3*s - 2*u - 78. Is 18 at most as big as s?
True
Let a = -6/13 + 31/39. Let z = -27 + 22. Which is smaller: z or a?
z
Let j = -37 - -149/4. Let t = 3 + -2.9. Is j > t?
True
Let u = 12 + -12. Which is smaller: 1 or u?
u
Suppose c = -12 - 3. Are -15 and c unequal?
False
Let p = -3 + 42. Is p > 39?
False
Suppose -5*y - 22 = 2*l, 2*l = -11*y + 7*y - 18. Does -4 = y?
True
Suppose 0 = 3*s + 22 + 26. Let j be (-2)/s*-2*-4. Suppose a - 4 = -2*o, 2*o - 4*a + 5 = -1. Is j at most o?
True
Let x = 0.036 + 0.064. Is 0.2 smaller than x?
False
Let b(d) = -d - 3. Let t be b(-3). Suppose -3*c = 2*l - 5, -2*c - 3*l - 2*l + 18 = t. Is -2 != c?
True
Let f(o) = -o**3 - 5*o**2 + o - 2. Let d be f(-5). Let w = 4 + d. Which is smaller: w or -4?
-4
Let w = 120 + -120. Are w and -8/17 nonequal?
True
Let w(i) = i**3 - 12*i**2 + 13*i - 15. Let o be w(11). Let v = o + -7. Let r = 0 + 0. Is v equal to r?
True
Let c = -127 - -126. Is c > -16?
True
Suppose 0 = -y + 2*m - 4, -y + 4 = 4*m - 4. Let r be (-1 - -2)/((-7)/2). Is y >= r?
True
Suppose 0 = m - s + 6, -s + 6 = -3*m - 2*s. Let r = -22 - -19. Is m >= r?
True
Suppose -3*f = -f + 2. Let r = f - -31. Let d be (-1 + -1)*6/r. Which is smaller: -3 or d?
-3
Let u be 436/16*-1 - 0. Let p = u + 27. Is p not equal to 1?
True
Let y be (-1)/4 - 135/36. Let m be (y/66)/(3/9). Are 0 and m non-equal?
True
Let y(z) = -z**3 + 10*z**2 - 11*z + 9. Let n be y(9). Let j be (-2 + 0)*18/4. Are n and j non-equal?
False
Let v be (-6)/(-8)*(-72)/90. Which is bigger: 1/3 or v?
1/3
Let t = 5/24 + 1/24. Is t greater than 2/5?
False
Let q be (-222)/24 - (-2)/8. Let d = 10 + q. Let z = 19/15 + -3/5. Is d != z?
True
Suppose -5*u + 0*u - 15 = 0. Let m = u - -3. Let p = -75 - -527/7. Are p and m equal?
False
Let g = 1 - -2. Suppose -g*f - l = 2*l + 9, 3*l - 5 = -f. Let o(t) = -t - 6. Let w be o(f). Which is smaller: w or 2?
w
Suppose 2*j - 3 = -21. Let f = -8 - j. Is -1/14 at least as big as f?
False
Let h be (-7 + -2)*(-2)/(-6). Let j be h/(-18) - 22/(-12). Suppose 2*l - 4*n = n - 25, 0 = 2*l - j*n + 10. Which is bigger: l or 2/23?
2/23
Let a(x) = -x - 10. Let y be a(-6). Let q be 2 - 0 - y/(-5). Which is greater: q or 0?
q
Suppose 8 = 4*x + 4. Let k be x/(1 + -2)*-3. Suppose 2*w + 3*w = -r + 5, -w + r + 1 = 0. Which is greater: w or k?
k
Let s(n) = -n**2 + 4*n - 2. Let b be (1/2)/((-1)/(-8)). Let d be s(b). Which is smaller: -3 or d?
-3
Let f be 97/9 + (-2)/(-9). Let n = f + -8. Let m be n/2 + 1/2. Does -2 = m?
False
Let r = -2 - -6. Let l be 5/10*2/r. Which is smaller: l or -0.2?
-0.2
Suppose 3*c = -5*v + 3*v + 22, 5*c + 37 = v. Which is bigger: v or 18?
18
Let z = 221/5 + -44. Suppose 2*o - 2*k - 6 = -0*k, o - 2*k = 7. Which is smaller: z or o?
o
Let t = -0.42 - -16.42. Is -2/5 > t?
False
Let c = 0.106 + 4.194. Let h = c - 5. Which is smaller: h or 0?
h
Let q = -35/4 - -173/20. Let l = -0.9 + 1. Which is smaller: l or q?
q
Let r = 6.9 + -0.9. Let p = r - 3. Do -1 and p have the same value?
False
Suppose 4 = -6*i + 4. Is i < 6/35?
True
Let y(k) = -k**3 + 3*k**2 + 1. Let w be y(3). Which is smaller: 2 or w?
w
Suppose 2*p + 1 = 3*y - 1, 4*y - 4*p - 4 = 0. Do y and 0 have the same value?
True
Let k = -4.1 - -4.27. Let o = k + 0.13. Which is bigger: -1/4 or o?
o
Let y(b) = 7 + 2 + 2*b - 7*b**2 - b**3 - b + 0*b**2. Let q be y(-7). Let c be 129/(-84) + q/7. Which is greater: c or 0?
0
Suppose 2*n = -2*j, -3*j + 0*n - 4*n = 3. Suppose -2*i - 1 = -j*i. Are i and 3 non-equal?
True
Let u be (0 - -2)*5/10*-1. Which is smaller: u or -5?
-5
Suppose -5*x = -4*r - 14 - 7, -2*x + 5*r = -22. Which is smaller: x or 8/35?
8/35
Let r = -5 - -17. Let p be 8 - 1/(4/r). Is p smaller than -0.2?
False
Let t = 2.2 - 2.33. Let l = 0.03 + t. Which is bigger: 1 or l?
1
Let w(q) = q**2 - q + 2. Let t be w(2). Let h be (-34)/t + 1/(-2). Are -10 and h equal?
False
Let d(m) = -m**2 + 6*m + 3. Let h be d(6). Is h less than 0?
False
Let q = 1/21 + 11/21. Let w(l) = -l + 8. Let p be w(6). Which is bigger: q or p?
p
Let p(b) = 2*b - 24. Let l be p(11). Suppose 5*w + k = -0*k + 6, -k = 4*w - 4. Suppose -w*u + 5 = -5*o - 3*u, 5 = -o - u. Which is greater: l or o?
o
Let g(v) = -2*v - 16. Let y be g(-9). Is 12/7 equal to y?
False
Let w = 50 - 51. Suppose 15 + 20 = 5*j. Which is smaller: j or w?
w
Let w = -2 - -2. Let h = w + 0. Is h not equal to 1?
True
Let s be (-7)/5 - (-4)/10. Which is smaller: s or -3?
-3
Let w(o) = -4*o**3 + 2*o**2 - o - 2. Let i be w(2). Let d be (6/i)/(2/4). Let b = -124 - -123. Are b and d non-equal?
True
Suppose -3 = -3*c - 6. Suppose -20 = i + 3*f, 3*i + 2*f + 32 - 7 = 0. Let s be (2 - (-22)/i) + 2. Is s >= c?
True
Let o(b) = b**3 + 4*b**2 - 2*b - 6. Let x be o(-4). Let r = 1 - x. Is -1/2 < r?
False
Suppose 1 = -0*m + m - 5*q, 0 = -4*m - 5*q + 4. Do m and 2 have the same value?
False
Let v be (-2)/(-2) - (-16)/(-21). Let x = v + -4/7. Which is greater: x or 0?
0
Let i be 1*3*((-8)/3 - 0). Let z be (-6)/10*1 - -1. Which is smaller: z or i?
i
Let v be (-2)/(-10) - (0 - (-6)/(-20)). Let c be (-53)/(-255) + (-6)/(-15). Let d = c + 1/17. Is v != d?
True
Suppose 3*w - 4*l = -l - 3, 3*w - 7 = l. Suppose 2*s = 16 - w. Let o be (-4)/8*s/4. Which is greater: o or -2?
o
Let f be 6 - 20/((-15)/(-3)). Is 4 > f?
True
Let c be 2/(7/((-21)/2)). Which is smaller: -14/5 or c?
c
Let b = -0.95 - 0.05. Let p = 0.8 + b. Which is smaller: -2 or p?
-2
Suppose 2*k = -0*k - 42. Let r be k/(-2) - 9/(-6). Is 12 less than r?
False
Let b = 19.9 - 20.9. Do b and 2.6 have different values?
True
Let b be (1 - 19/16)*4. Are -1 and b unequal?
True
Let f be 13/((-546)/(-12)) + 131/7. Are f and 22 non-equal?
True
Suppose 0 = -2*d - 5*z + 29 - 10, -2*d - 1 = z. Let b be d*2/45*18. Which is b