 = 0. Which is bigger: 12 or j?
j
Let j be 38/6 + (-4)/12. Which is smaller: j or -1?
-1
Let v = 19 - 19. Which is smaller: -1/22 or v?
-1/22
Let w(u) = -u - 4. Let g be w(-3). Let v = g + 1. Let f be (-27)/21 - (0 - 1). Are f and v unequal?
True
Let z = 209699 - 3143563/15. Let o = z + -128. Is o greater than 1?
False
Let w = -4.94 - 0.06. Let t = -5.2 - w. Let h = t + 0. Is h bigger than 0.1?
False
Suppose 4*y + 4*f - 28 = 0, -4*y - 6*f + f = -29. Suppose 4*u + y = 18, -3 = o - u. Which is greater: o or -1?
o
Let y be (-1)/((-5 - -4)/1). Is y greater than 0?
True
Let k be (2/12)/((-13)/52)*3. Which is bigger: 2 or k?
2
Let z(o) = o**3 + 23*o**2 + 42*o + 3. Let d be z(-21). Suppose 3*i = -4*n - 61, -2*i = -3*n + n + 64. Let g be 2/(-9) - 114/i. Is d equal to g?
False
Let m = 7 - 3. Let d = m + -4. Let b = -0.1 - d. Which is smaller: b or 1/4?
b
Let g(n) = -n**3 + 5*n**2 - 4*n + 2. Let l be g(4). Are 0 and l nonequal?
True
Suppose 2*a - a + 4*i = -4, a - 8 = 2*i. Suppose -a*q + 10 = 3*x + 25, 5 = q - x. Which is greater: q or 6?
6
Let m = 40 + -121/3. Let l = 15 - 8. Let y = -6 + l. Is y >= m?
True
Let h be (12/(-40))/((-6)/8). Suppose 5*t + 3 = 4*n, 5*t - 3*n + n + 9 = 0. Let j be 12/30 + t/(-5). Is j equal to h?
False
Let c = 2.5 - -2. Let j = 5 - c. Is j >= -0.1?
True
Suppose 0 = 7*n - 11*n + 28. Let w(c) = -c**2 + 6*c + 5. Let l be w(6). Let i = l - n. Is -4 greater than i?
False
Suppose -5*m = -4 - 1. Let u(f) = -f + 3. Let b = 12 + -8. Let k be u(b). Which is smaller: m or k?
k
Suppose 4*z - 15 - 1 = 0. Suppose r = 4*u + u - 5, -z*u + 10 = -2*r. Which is greater: r or -4?
-4
Let v be (((-8)/3)/2)/((-2)/(-165)). Is -111 != v?
True
Let d = 4.79 + 3.17. Let i = d - -0.04. Let a = i + -8. Is 1/3 at least a?
True
Let q be 128/7 - 2/7. Let m be (-96)/q - 3/(-9). Is m at least -6?
True
Suppose 0 = -2*g - 5*r - 1, -4*r + 1 = 3*g - 1. Let l = 11 + -8. Let m = l - 2. Is g at least m?
True
Suppose 30 = -3*c + 24. Let p = -13/6 + 3/2. Which is smaller: p or c?
c
Let n(l) = -8*l**3 - 2*l**2 - 1. Let i be n(-2). Let w be (-7)/(-15) - (-11)/i. Does 1 = w?
False
Let y(k) = -k**3 + 7*k**2 - 7*k + 2. Let a be y(6). Suppose -13 = -c - c - 3*v, -c = v - 6. Let t = c + a. Which is smaller: 1/2 or t?
1/2
Let c = -1160/7 - -166. Is c bigger than 1/34?
True
Let r = 20 - 25. Suppose -24 = 4*i + 2*z, -2*z + 0 - 4 = -i. Which is bigger: i or r?
i
Let w = -646/387 - -24/43. Which is smaller: 0 or w?
w
Let q be ((-2)/(-10))/1 - 1. Which is greater: q or -2?
q
Let u = -8 + 11. Let n = 0.3 - 0.2. Let l = n + 0.9. Is u != l?
True
Let x(q) = 19*q + 23. Let y be x(-6). Which is smaller: y or -92?
-92
Suppose u - 1 = -5*m - 0, 0 = 2*m - 4*u - 18. Which is smaller: m or 3/10?
3/10
Suppose -10*r - 3*g - 27 = -12*r, -r + 18 = 3*g. Is 29/2 at least r?
False
Let y = 2141/490 - -3/98. Is 3 less than or equal to y?
True
Let z = -0.5 - 0.5. Let q = -171 - -178.1. Let r = q - 7. Is z less than r?
True
Let h = 24 + -25. Which is smaller: h or -1/37?
h
Let n = -2491 + 12652/5. Let h = -39 + n. Which is bigger: 1 or h?
1
Let p(t) = t**2 + 4*t - 2. Let u be p(-5). Suppose 2*g + 5 = 5*k, -3*g + 3*k = u - 0. Let r = -1 - -1. Is r less than g?
False
Let u(h) = -3*h + 7. Let q be u(3). Which is bigger: q or -1?
-1
Suppose 2*u + 4*c = c - 27, -10 = 2*c. Let y = -8 - u. Which is greater: y or -6/5?
-6/5
Let g = 0.4 + -0.2. Let h = 1.2 - g. Which is smaller: -4 or h?
-4
Let q(w) = -3*w - 10. Let o be q(-6). Suppose -5*a - 11 = -a - 5*h, -5*a + h = -2. Is o at least as big as a?
True
Suppose -32 = -2*r + 2*l, 3*r - 11 = -3*l + 49. Suppose 0 = -j + h - 2, h - r = j - 4*h. Let a be 3 - (1 - -1)/j. Which is bigger: a or 2/3?
a
Let j be (8/24)/(1/(-3)). Let u = -3/347 - 3099/2776. Which is smaller: j or u?
u
Let j = -7029 + 1012181/144. Let g = 3/16 + j. Let s = -0.3 - -0.1. Is g > s?
True
Let n = 33 + -20. Is 12 smaller than n?
True
Let g(m) = m + 14. Let r be g(-8). Are 9 and r equal?
False
Suppose -4*a + 0*j = -3*j - 265, a - 63 = 4*j. Let q = -116 + a. Let n = -295/6 - q. Is n greater than or equal to 0?
False
Let j be (-3)/(2 - (-21)/(-6)). Let p be j + (-48)/(-4) + -1. Is 13 greater than p?
False
Let f = 4 - 8. Let c be 84/49*7/2. Let b = c + f. Which is smaller: -0.1 or b?
-0.1
Let z(i) = -i**3 + 5*i**2 - 6*i + 6. Let x be z(4). Let r be 2/(3 + -3 + x). Let j = -2 - 0. Which is smaller: j or r?
j
Let z = -3 - -4. Suppose 5*b + 4*l + 255 = -l, 2*l - 8 = 0. Let x be 4/10*(-25)/b. Which is smaller: z or x?
x
Suppose -5*l + 32 = -18. Suppose 4*w + l = -w + 5*y, 2*w - 3*y = -6. Suppose -r + 3*r - 10 = w. Are 6 and r non-equal?
True
Let j = 0.1384 - 0.0384. Let z = -0.2 + 0.2. Which is greater: z or j?
j
Let a be 1*3/6 - -1. Do 3 and a have the same value?
False
Let h be -25 - -4*(-25)/20. Which is bigger: h or -31?
h
Suppose 2*f + f = 3. Let h = f + -2. Let y = -1 - -1.2. Are h and y unequal?
True
Let f = 2 - 5. Let z be 3 - (-3)/6*f. Which is bigger: 1 or z?
z
Suppose -v = 96 - 54. Which is smaller: -41 or v?
v
Let w = -33 + 33. Which is smaller: w or 4/5?
w
Let n = -25 + 8. Let t = n - -16. Is -7 > t?
False
Suppose 0*d + 5*d + 5 = 0. Let i be 4/7*(-5)/20. Is d greater than or equal to i?
False
Let x be (-12)/(-4*1) + 11. Are x and 14 equal?
True
Let f = 22 + -49. Let s be 21/(-24)*f/21. Is 2 < s?
False
Suppose -w + 45 = 4*w. Let x be (-4)/24*w/4. Is x smaller than -1?
False
Let x be 3 + -1 + 0/2. Suppose 0 = -x*s + s + 6. Is -1/2 at least s?
False
Let j be (-2)/(2*2/8). Let u be (0 + 1)/((-35)/(-10) - 4). Is j equal to u?
False
Let y = -57 - -56. Which is smaller: y or -3/52?
y
Suppose 4*p + 5*i - 17 = 0, 4*p + 6*i - 20 = 2*i. Is p equal to 8?
True
Let o be (-4)/6 - (-8)/12. Is -10/7 not equal to o?
True
Let b be -1*1 - (-2)/2. Is b smaller than -3?
False
Let b(y) = y**2 - 7*y + 3. Let q be b(7). Suppose z + q*z = 0. Suppose z = -2*a - 2*a. Are a and 2/5 equal?
False
Let r = -80645720297/2961 + 27235975. Let o = 2/423 + r. Is -2/3 < o?
True
Let i = 8 + -8. Is i >= 0.8?
False
Let b = 172/5 - 34. Let x = 0 + -5. Let p be 12/x + 3 + -1. Is p not equal to b?
True
Let u = 62/3 + -251/12. Let n = 0.12 + -7.12. Let o = -12 - n. Is u not equal to o?
True
Let m(h) = h**3 - h + 2. Let b = 4 - 6. Let c be (-3 + (0 - -4))*b. Let z be m(c). Is z at least -5?
True
Let t be ((-6)/(-3))/(3/(-36)). Are t and -24 unequal?
False
Let b = -2728/65 - -206/5. Let r = -96/91 - b. Which is smaller: -1 or r?
-1
Suppose y = -4*b + 18, -4*b - 21 = -7*b + 3*y. Which is greater: 35/6 or b?
35/6
Suppose t = -z - 0*z - 2, -2*t = -5*z + 4. Let b = -16 - -12. Let g = b - -4. Is g at least z?
True
Let c = 17 + -18. Let f be (8 - 10)/(c + -1). Let q be (3/(-14))/(6/(-32)). Which is smaller: f or q?
f
Let f be 5/(-20)*(-3 + -1). Suppose x - 2 = f. Let j be (-4)/(-6)*x/(-2). Is j greater than -1/2?
False
Let r = 0.4 - 1.4. Let s = 1.1 + -0.9. Which is smaller: r or s?
r
Let q = 189 + -7369/39. Do q and 1 have different values?
True
Let r = 26 - 26.161. Let p = 1.071 + r. Let b = p + 0.09. Which is bigger: 2 or b?
2
Let q be -12 - (3/2)/((-2)/(-4)). Which is greater: q or -17?
q
Suppose 0 = 13*u - 18 + 18. Is u bigger than 5/8?
False
Let m = -19 + 97/5. Let z = 16 - 16. Which is smaller: m or z?
z
Suppose 1 = -4*i + 5. Let g be 30/26 + -3 + 2. Is i < g?
False
Suppose g - 4*k = 76 - 15, 290 = 5*g - 5*k. Let i be g/135 + (-4)/18. Let m = i - -2/15. Is 2/9 > m?
False
Let u = 12 + -12.6. Is u > 0?
False
Let c = 21 - 34. Is -14 bigger than c?
False
Let q(t) = t**3 + 4*t**2 + 10*t - 2. Let j be q(-5). Is j at most as big as -76?
True
Suppose -t - 4*t - 5 = 0. Is t less than -15/8?
False
Let u = 17/63 + -1786/315. Which is bigger: -6 or u?
u
Suppose 0 = -b - 2, 5*b = -4*s - 0*b + 50. Suppose -g - 2 = 4*d - s, -4*g + d + 18 = 0. Suppose g*i - i - 8 = 0. Which is bigger: i or 1?
i
Let q(s) = -s**3 + 4*s**2 + 4*s + 6. Let i be q(5). Suppose o + i = 2*o. Is 1/3 < o?
True
Suppose -4*c - 4 = 12. Let n(k) = 11*k + 4. Let u(x) = -4*x - 1. Let m(d) = 3*n(d) + 8*u(d). Let g be m(c). Is g at least 1?
False
Suppose 0*d - 2*d = -5*d. Let y = -5/4 + 11/12. Is y bigger than d?
False
Let w = 7 + -8. Let f = w + 0. Is f greater than or equal to -3?
True
Suppose -z - 3*i - 6 = -5*i, 0 = z - i + 3. Which is smaller: z or 31?
z
Let v(f) = -11*f + 9. Le