y + 5*g. Which is bigger: 6/19 or y?
6/19
Let j = 0.5 + -0.9. Let m = j - -0.34. Are 0.1 and m unequal?
True
Suppose -y = 3*x + x + 22, 4*x - 5*y = -34. Let c be 10/(-2)*(-8)/20. Suppose 27 = -4*m + f + 8, 5*m - c*f + 23 = 0. Which is smaller: m or x?
x
Let x(y) = -y**2 - 7*y + 15. Let a be x(-9). Suppose 4*v - 5 = 7. Let b be (1 - -1)*v/(-2). Is b bigger than a?
False
Let l = -57 + 58. Which is smaller: l or -2/99?
-2/99
Let p = -10.99 + 11. Let h = 0.39 + p. Which is smaller: -2 or h?
-2
Let z = 13 - 15. Which is smaller: z or 0.1?
z
Let o = 21 - 23. Is 4 greater than or equal to o?
True
Suppose -3*c = -3 - 3. Let f = 0 + -4. Which is greater: f or c?
c
Let x be 3*2*2/4. Suppose -8*v - 5 = -x*v - y, -20 = -2*v - 4*y. Let f be 20/(-20)*(-4)/(-2). Is f != v?
True
Suppose 0*x = x - 5. Suppose -x*a + 9 - 4 = 0. Is -2/5 greater than a?
False
Let c be ((-24)/10)/(20/(-50)). Is c < -1?
False
Let c = 117 - 4799/41. Suppose -5*v = 4*s - 20, -s - s = 5*v - 10. Is v greater than or equal to c?
True
Let s be 6/20*5/3. Which is bigger: s or 12/11?
12/11
Let k(w) = 10*w**3. Let q be k(-1). Let n = 180 + -189. Which is greater: n or q?
n
Suppose -5*z + 13 = -3*z - 3*d, -3*d - 18 = 3*z. Which is bigger: z or 1/6?
1/6
Let k = 10287/7 - 1472. Are -1 and k equal?
False
Let k be (2/6)/(14/(-210)). Is -5 less than or equal to k?
True
Let x = -26.43 + 0.43. Is x < -1?
True
Let h = -19 - -19. Is -6/17 > h?
False
Let q = 59 - 58. Which is greater: -171 or q?
q
Suppose 2*p + 4*v = 7*p + 10, -3*p - 3*v - 6 = 0. Let a be ((-6)/(-9))/(p/3). Which is smaller: -2/3 or a?
a
Let r(m) be the first derivative of -2*m + 1/2*m**2 + 1/4*m**4 + m**3 - 1. Let t be r(-2). Is -1 smaller than t?
True
Suppose 4*f - 76 = 44. Suppose 0 = c + 4*c - f. Suppose -4 - 21 = -5*y. Is y less than or equal to c?
True
Suppose -5 = 5*f + 270. Is -56 greater than f?
False
Let i = -0.3 + 0.5. Let m = i - 0.7. Let y = 0.5 + m. Which is greater: -2/7 or y?
y
Let d be (12 - (-3 - -5)) + 0. Let w be d/25 - 24/35. Which is bigger: w or 0?
0
Let c be (0 - -4)/(-2) + -1. Let i be c/(-36) - 3/9. Let b be 1/(-3) - (-2)/6. Is b at most as big as i?
False
Let x = -19 + 37/2. Suppose -4*q - 10 = q. Which is smaller: q or x?
q
Let z be -1 + -1041*6/(-99). Suppose -3*k = -9, -2*k + 68 = f - 0*k. Let w = f - z. Is w smaller than 0?
True
Let s(w) = 17*w + 2. Let x be s(-1). Which is greater: -31/2 or x?
x
Let j = -45 + 47.1. Is 0.2 at most j?
True
Let u be -14*(2 + -4 + 3). Let w be ((-18)/(-8))/((-2)/12). Let d = u - w. Which is bigger: d or 0?
0
Let k be (-9)/(-2)*(-5)/(-15). Which is smaller: 2 or k?
k
Let q be ((-26)/10)/(18/(-45)). Is 7 at least q?
True
Let w = 0 + 0. Let k = 27460 - 2196663/80. Let b = k - 21/16. Which is smaller: w or b?
w
Let w be (-8)/12*9/(-15). Which is bigger: -11 or w?
w
Let q be (6/(-16))/((-18)/(-52)). Let p be ((-2)/(-12))/(5/40). Let c = p + q. Which is smaller: 0.2 or c?
0.2
Let k(o) = o**3 - 2*o**2 + 3. Let l be k(3). Is 11 bigger than l?
False
Let l be -2*(2/58)/1. Which is smaller: -1 or l?
-1
Let b = 15 - 15.01. Let f = 1.01 + b. Let t(j) = j - 4. Let l be t(3). Is l != f?
True
Let z(x) = x - 2. Let d be z(2). Let h be (9 + d)*(-2)/3. Let k be (0/1)/(7 + h). Is k equal to 3/4?
False
Suppose 0 = -5*g - 2*g + 182. Is -1/2 equal to g?
False
Let q = -52 - -55. Is -2 > q?
False
Let v = -0.17 + -0.53. Let d = v + -1.3. Which is smaller: d or -0.2?
d
Let h be (-1 - -6) + (0 - 0). Suppose 2*c - 3*c + 14 = -5*i, -3*i - 14 = h*c. Let k be 3 - -8*3/(-6). Is c greater than k?
False
Let b = 1 + -2. Let t = -11 - -17. Let m be t - 4 - 0/2. Is b != m?
True
Let g(v) = -v + 7. Suppose -7*l - 15 = -2*l. Let s(u) = -2*u. Let h be s(l). Let z be g(h). Which is smaller: 2/17 or z?
2/17
Let l be (99/(-6))/(-11) + -1. Is -2/43 equal to l?
False
Let d = -32 - -32. Let k be (((-5)/(-4))/(-5))/(-1). Which is greater: k or d?
k
Let l(b) = -b**3 - 7*b**2 - 8*b - 9. Let c be l(-6). Suppose -c*z + 2*z = -1. Which is bigger: 3 or z?
3
Let b be 12/((-2)/(16/(-12))). Let s = 4 - b. Which is smaller: s or -1?
s
Let a(s) = -5*s**3 + 29*s**2 + 29*s + 35. Let d(v) = -v**3 + 6*v**2 + 6*v + 7. Let x(c) = -2*a(c) + 11*d(c). Let h be x(9). Is -2 > h?
False
Suppose -3*m = -5*y + 9, -5*y - m - 2 = 1. Is y equal to -26?
False
Let c(r) = -8 - r + 2 + 0. Suppose 26*f = 27*f + 7. Let i be c(f). Is i <= 2?
True
Let s be 290/(-15) - 2/1. Let o = s + 21. Which is smaller: o or 0?
o
Let t = -10 - -16. Let n = 8 - t. Which is smaller: -1 or n?
-1
Let f = -12.4 + 12.36. Which is greater: 0.3 or f?
0.3
Suppose 4*k = 3*i, 0*i + i - 3*k = -5. Suppose o + 45 = 5*x - 3*o, -42 = -i*x + 2*o. Are 12 and x unequal?
True
Let x(l) = 2*l**2 - l. Let p = -1 - -2. Let i be x(p). Let h be ((-2)/6)/(i/(-3)). Is -1/3 <= h?
True
Suppose -3*n + 5 = -4. Suppose 4*q = -0*q - o + 7, 0 = q - n*o + 8. Let h = 135 - 943/7. Is q at least h?
True
Suppose 2 = -2*a - 2. Suppose -g + 3*d = -1 - 1, g + 3*d = 8. Suppose -g*o = -15, -5 = -2*y - 5*o + 2*o. Is a less than y?
False
Let i = -281038/436723 + -10/14721. Let d = -2/89 + i. Do 0 and d have the same value?
False
Let h = 1/19 - 79/57. Is h equal to -5/4?
False
Suppose -5*v + 11 = -14. Is v at most as big as 5?
True
Let h = 166 - 3148/19. Which is smaller: h or 0?
0
Let a = 16.07 - 16. Let m = -0.07 + a. Is -2/3 less than m?
True
Suppose -z = -0 - 3. Let f be 3 - (32/5 - z). Is -0.3 greater than f?
True
Let y = 17 + -17. Is 0.21 at most y?
False
Let s be 10/(-6)*18/12. Are s and -0.1 non-equal?
True
Suppose -4*n = -g - 0 + 13, 2*g - 13 = -5*n. Suppose -4*i = 1 - g. Let d = 10 - 8. Are i and d unequal?
False
Let q(r) = -r**2 - 5*r + 6. Let i be q(-6). Suppose 16 = 4*c - 6*b + 2*b, -2*c - 5*b = 13. Let f be c/(-5)*-6 - 1. Which is smaller: i or f?
i
Suppose -5*z = -5*o + 9*o, -5*z = 0. Let r = -1/171 + -329/2223. Is o greater than r?
True
Suppose -w - 1 = -2*w. Let g be ((-70)/(-25))/(w/5). Let z be (4/g)/(45/63). Which is smaller: z or 0?
0
Let h = 40 + -34. Let x(u) = u**3 + 5*u**2 - u. Let j be x(-5). Which is greater: j or h?
h
Let m = 0.15 - -0.85. Which is smaller: 8 or m?
m
Let i = -22 + 21. Is 4/15 != i?
True
Let q be 4*(-1)/(-12) - (0 - -1). Which is smaller: -53 or q?
-53
Let s = -0.0452 - 0.9548. Suppose 0 = -w - 6 - 3. Which is greater: w or s?
s
Suppose 20 = -5*u, 4*u = r - 0*u - 3. Is r at least as big as -13?
True
Let y = -6 + 9. Suppose -3*j = -b - 7, -4*j = 2*b - y*j. Is b less than or equal to -1?
True
Suppose -3*h - 5*p - 5 = -5*h, -3*h - 3 = 3*p. Let x be -2 - 0 - (-2 + h). Suppose -4*c - 2 = c - i, c - i + 2 = x. Which is bigger: c or -4/5?
c
Let r = -0.5 - -0.4. Let w = 3 - 2.1. Let v = w - r. Which is smaller: v or -2?
-2
Suppose -4*w = 5*p + 7, 2 - 5 = p. Suppose 0 = 4*o - w*o - 2. Let r(s) = -s. Let q be r(1). Which is smaller: o or q?
q
Let y(z) = -27*z**2 + z + 3. Let i(j) = -28*j**2 + j + 3. Let a(c) = 3*i(c) - 4*y(c). Let h be a(3). Let q be (-32)/h + (-2)/(-7). Is q not equal to -1?
True
Let g = -2659/20 - -133. Let v(a) = -3*a + 94. Let x be v(31). Is x bigger than g?
True
Suppose -33 = -5*r + 17. Suppose 5*w = 15, -2*d = -4*w + r + 4. Let b be (d/(-2))/(3/2). Which is smaller: b or 1?
b
Let r = 0.82 + -0.7. Let f = r + -1.12. Which is smaller: 0.1 or f?
f
Suppose 0 = -0*u - 3*u - 30. Is -10 at least as big as u?
True
Let a(u) = -2*u - 48. Let d be a(-25). Which is greater: 0.06 or d?
d
Let c(t) = t**2 + 9*t - 1. Let n be c(-9). Let y = -79/3 + 26. Are n and y unequal?
True
Let x(c) = -c**2 - 4*c + 1. Let q be x(-7). Let h be 1/(-5) + (-9)/q. Let j = 18 - 18. Which is smaller: h or j?
j
Suppose 8*k - 5*k + 9 = 4*q, 3*q - 9 = 3*k. Are -6/13 and q nonequal?
True
Suppose 3*o + 9 = 2*o. Let a be (-1041)/(-27) - 6/o. Let x = -39 + a. Is 1 bigger than x?
True
Let t(p) = 5*p + 15. Let c be t(-2). Let f(n) = n**2 - 2*n. Let w be f(2). Suppose w = -4*g + 19 + 5. Is c at most g?
True
Suppose -6*u = -u - 30. Let z be 2/(-7) + (-88)/(-14). Let l be (4/z)/(u/(-9)). Which is greater: l or 1/5?
1/5
Suppose 10 = 3*t - 5. Suppose -t*n - i = -12, 5*i + 13 = -2. Which is smaller: n or 1/3?
1/3
Suppose -5*z + 16 = -4*l, 5*l + z + z - 13 = 0. Let b = l + 2. Let w = -1 + b. Is 2 > w?
False
Let i = 4 - 2. Suppose -2*k + 4*n + 270 = 0, 3*k - 270 - 130 = n. Let g = 935/7 - k. Is i at least g?
Tr