12 - 2/3. Suppose 11 = c - 5*c + r, -2*c = -5*r + 19. Which is bigger: c or q?
q
Suppose 3*l - 2*i = -1, 0 = 2*l + 2*i - 5*i + 9. Suppose l*j + 2*j = 5. Which is smaller: j or -2/9?
-2/9
Let w be (3/12)/((-1)/(-2)). Let l = -7 + 12. Suppose -5*v - 15 = -l*g, -5*g - 10 = 3*v - 33. Is w bigger than v?
False
Suppose -2*y - 2 = -2*b, 23 = 3*y - 8*y - 4*b. Let q = -4 - y. Let i be 5/(-12) + (-2)/6. Is i less than q?
False
Let n(a) = -a**2 - 6*a + 4. Let o be n(-6). Suppose 2*v - 42 = o*p, 2*p = 4*p + 5*v + 3. Are p and -9 unequal?
False
Let o = -0.41 + -0.19. Is 0 < o?
False
Let i be ((5 - -1)/(-3))/(-1). Suppose -o - 18 = i*o. Is o less than or equal to -7?
False
Let h(z) = -12*z**3 + z. Let o be h(1). Let k be (-4)/(-22) - (-2)/o. Suppose -2*q - 2*q = 3*b + 7, -2*q - 2*b - 4 = k. Is 1 >= q?
True
Let w = 8 - 8.08. Let h = w + 1.08. Which is greater: -0.2 or h?
h
Let a be (8/6)/((-15)/(-9)). Let y(p) = -p - 3. Let z be y(-3). Do z and a have different values?
True
Let y = -3 + 10/3. Is y at least 3?
False
Suppose 6*g - 5*g + 6 = 0. Suppose -m = -4*o + 19, 2*o - o + 11 = -5*m. Let d(n) = -n**3 - 4*n**2 - n + 1. Let r be d(m). Are r and g equal?
False
Let i = -20 - -30. Let k be 3 - (i + 2)/3. Is -3/10 greater than k?
True
Let n = 238 - -218. Let a = n - 240. Let i be 3 + 4/(a/(-166)). Which is smaller: 1 or i?
i
Suppose -6*g = q - g + 20, g = -3*q - 4. Is q != 1/15?
True
Suppose -3*g = -5 + 2. Which is bigger: g or -3/7?
g
Suppose -2*h - 1 = -2*b + h, -3*b + h + 19 = 0. Let v be -1 - (-3 + -1) - -5. Are v and b unequal?
False
Let q(y) = -y + 10. Let m be q(10). Suppose m = -6*h + 5*h. Which is smaller: 2 or h?
h
Let i be 4/(-1 - 0/(-2)). Let x = 8 + i. Suppose -2*f = -x*f. Is 3/5 > f?
True
Suppose 3*n - 4*l = 17, 0 = 6*n - 3*n - 2*l - 7. Let d = -50194/35 - -6687/5. Let p = 97 + d. Are p and n non-equal?
True
Let z = 559/2 - 292. Let p = z - -131/10. Which is greater: p or 1?
1
Suppose 0 = 5*b - b - 12. Let a be (b - 2) + (-7)/4. Let l be ((-17)/(-51))/(2/(-6)). Is l greater than a?
False
Suppose -4*j + 37 = 3*g, 0*g = 5*j + 2*g - 41. Suppose 1 = -2*x + j. Are x and 1 non-equal?
True
Let j = -13 + 39. Let d be (-3)/j*24/18. Is 0 != d?
True
Let c(q) = q**2 + 4*q - 3. Let m be (2 + -4)/((-2)/(-4)). Let x be c(m). Let w(r) = -r**2 + 7*r - 8. Let g be w(6). Which is bigger: g or x?
g
Let u = 9322 + -950773/102. Let l = u - 1/34. Is 0 > l?
False
Let r(v) = -6 + 0*v**3 - v**3 - 10*v**2 + 3. Let x be r(-10). Is x at least as big as -2/9?
False
Let q = 0.5 + -0.4. Which is smaller: q or 1.5?
q
Let x = -2 + -2. Let g = x + 12.1. Let j = g - 8. Which is greater: -2 or j?
j
Let y(i) = i**3 + 11*i**2 + i - 7. Let j be y(-9). Is j bigger than 147?
False
Let f = -81993/4 - -3362075/164. Let c = -12/41 - f. Which is greater: c or -3?
c
Suppose 3*c = -x + 8 + 14, -4*c + 12 = -3*x. Let o be 2/c*(2 - 3). Suppose 3*d + d = -4. Does d = o?
False
Let k = -2 - -2.2. Let x = k + -0.1. Which is greater: x or 0.3?
0.3
Let o(z) = 2*z**2 - z. Let f be o(1). Which is smaller: f or 4/21?
4/21
Let v = 1429/238 + -6. Let m = v - -465/2618. Which is smaller: m or -1?
-1
Let h(s) = -s + 6. Let b be h(4). Let u = -99/8 - -519/40. Which is smaller: u or b?
u
Suppose 7 = -3*d + 4. Is -6/5 >= d?
False
Let b = -2 + 2. Let x = -4 + 16. Let w be x/(-4)*(-4)/(-18). Is w > b?
False
Suppose 4*v - 5 = -3*u + 34, -u = -v + 15. Is 13 less than or equal to v?
False
Let l = 0 + -0.1. Let a(t) = t**3 + 9*t**2 - t - 3. Let n be a(-9). Let o be 7 - n - 2/2. Which is smaller: o or l?
l
Let v(j) = 2*j**3 - 4*j**3 + 3*j - j**2 + j**3 + 2. Let n be v(-2). Suppose n = 2*o - o. Which is greater: o or 1?
1
Suppose 0 = 2*w - 2*b - 14, 2*b + 8 = -4*w - 3*b. Suppose 6 = -2*y - 0*o - 4*o, -w*y - 2 = -o. Let m be (-8)/(-10)*10/4. Which is smaller: m or y?
y
Suppose -4 = i - 0. Let m be 2/i*(-16)/4. Let a be (1 - m)/((-7)/28). Which is smaller: 5 or a?
a
Let k = -83 + 76. Which is greater: k or -1?
-1
Let g = -0.02 + -0.08. Let t = -21 + 32. Which is smaller: t or g?
g
Let q = -42 - -42. Let t = 15.28 - 0.28. Which is smaller: q or t?
q
Let j be -16*(108/(-8))/(-9). Which is smaller: j or -25?
-25
Let m = -2.8 - -8.8. Is 0.1 greater than m?
False
Let s = 1579/240 - 33/5. Let g = 11/16 + s. Let m be (-14)/60 - ((-25)/(-6) - 4). Which is greater: m or g?
g
Let y(s) = s**3 + s**2 - s. Let n(p) = -p**3 - 2*p**2 - 1. Let k(o) = n(o) + 2*y(o). Let l = -38 + 37. Let a be k(l). Which is bigger: -2 or a?
a
Suppose 9*q = -6*q. Which is greater: 2/525 or q?
2/525
Let y = 90 - 100. Let h = -0.2 - -0.3. Which is smaller: y or h?
y
Let l(w) = -2*w**2 - 6*w + 2. Let y be l(-5). Let v = -17 - y. Is v equal to -1/18?
False
Let u(o) = -o**3 - 5*o**2 - 1. Let r be u(-5). Let y be 20/(-9) - (-4)/18. Which is bigger: r or y?
r
Let q = -11 + 22. Do q and 12 have different values?
True
Let l be 6/(-9) - (-2753)/(-33). Let c = l - -84. Which is smaller: c or 0?
c
Let i = -0.3 - 0.1. Let w = i - -0.2. Suppose o = -2*z, 5*o - 10 = -5*z - 0. Which is smaller: z or w?
z
Suppose -4*j + 5*c = 17, -3*j - 25 + 6 = -5*c. Let d(k) = -k**2 + 5*k - 1. Let r be d(j). Suppose 0 = -5*f - 3*n - 6 + 26, 2*n - r = 5*f. Is -0.1 equal to f?
False
Suppose -5*d + 5*y + 135 = -85, d - 4*y - 59 = 0. Suppose 0 = -10*u + 7*u + d. Is u bigger than 13?
False
Suppose 0*a + 5*a - 285 = 0. Is a greater than 57?
False
Suppose -2 = -3*v + 4. Is -8 bigger than v?
False
Let f = -5 - -7. Let p = 24 + -23. Let w = 2 - p. Which is bigger: f or w?
f
Let b = -0.2 + 0.3. Let i = 0.3 + 0.2. Do b and i have different values?
True
Let n = -2 + 1. Let k be n - 1/(-1) - 2. Let s be 1 + (-1)/k*0. Are s and 3 nonequal?
True
Suppose -4*d - d = -15. Let z be (-9)/(-7) - 3/d. Suppose 0*w = 4*w - v - 4, -4*w + 4 = 5*v. Is z > w?
False
Let l = -23/42 - -8/21. Which is greater: l or -1?
l
Let t = 11 + -14. Which is smaller: t or -0.1?
t
Let y = -0.07 + 0.17. Let f = y + 0.5. Let t = 0.3 - f. Is t less than or equal to -0.1?
True
Let z = 7.57 - 0.37. Let v = z - 7. Which is smaller: 0.06 or v?
0.06
Let v be 100/12 + 2/(-6). Suppose 0 = -2*u - 0 + v. Let a(x) = -x**3 + 4*x**2 + 2. Let d be a(u). Which is bigger: d or 1?
d
Suppose -14 = 4*a - 4*f - 34, 5*f = -2*a + 3. Let t(u) = -u**3 + 5*u**2 - u + 2. Let d be t(5). Let z = d + a. Which is bigger: -0.2 or z?
z
Let v(h) = h**2 + 2*h - 6. Let p be v(-4). Is p <= 2?
True
Let i(u) = 5 - 5 + 2*u + 25*u**2 + 1. Let g be i(-1). Suppose -5*o + y + g = 0, 4 + 0 = -y. Is 5 bigger than o?
True
Suppose -4*c - 51 + 3 = 0. Let a be ((-1)/2)/(6/c). Is a > -1/11?
True
Let u be 4 + (-2)/2 - 5. Which is bigger: u or -1?
-1
Let b = 124.4 + -124. Are b and 9 equal?
False
Let d(j) = -25*j**3 + 2*j**2 - j. Let r be d(1). Let o be 8/28 - r/14. Is o >= 1?
True
Let d = 20/7 - 43/14. Which is smaller: 0 or d?
d
Let v(w) = w**2 + 4*w - 1. Let x be v(-5). Suppose -x*z = 4*t, -t - 21 = 4*t - 2*z. Suppose 3*j + 14 = -4*d, -5*j + 2*j + 2 = -4*d. Which is bigger: t or j?
j
Suppose -7*a = -2*a. Let p be (2/3)/((-4)/(-42)). Let j be 1 + (-16)/p + 1. Is j >= a?
False
Let b = 18 + -11. Let x = -1 - b. Let z be (-10)/x + (-2)/8. Is -3 > z?
False
Let s be 5 - (5 + -7 + -24). Which is smaller: s or 32?
s
Let q(r) = -r**3 + 11*r**2 + 10*r + 27. Let f be q(12). Is 5 greater than or equal to f?
True
Let f = -1.6 + 1.63. Which is greater: 0 or f?
f
Let f be 0 - 2/(-2 - 0). Let p = 3 - f. Let n be -4*(p + 33/(-12)). Which is greater: n or 4?
4
Let v be (-2 + 15/9)*-30. Let y be v/4*(-8 - -6). Is -4 >= y?
True
Let o be 1 - (-2 - 0)/(-2). Let g = 3 - 2.75. Let b = g + 0.05. Is o smaller than b?
True
Suppose -45 = 2*o - 7*o. Let h = -9 + o. Which is smaller: h or -3/4?
-3/4
Let y(p) = -2*p - 9. Let q be (-9)/(-9)*-1*4. Let v be y(q). Is v at least as big as -2?
True
Let h = 47 + -30. Which is greater: h or 16?
h
Let u(a) = a**3 - a**2 - 4. Let j be u(2). Which is smaller: -7/8 or j?
-7/8
Let v = -9 - -16. Let i = -20/33 + 14/11. Which is bigger: i or v?
v
Let n(t) = -t**2 - t + 11. Let q be n(5). Let j = -15265/4 + 3836. Let f = q + j. Do f and 0 have the same value?
False
Let r = -1 - -7. Let l = -6.1 + r. Do -3 and l have the same value?
False
Let d = -12 - -23. Let h = d - 12. Is h <= 4/9?
True
Let y = -0.11 + 1.21. Let h = y - 0.9. Is 1 equal to h?
False
Let v(c) = c**3 - 6*c**