Let c be ((-15)/6 + 2)*-2. Let y be ((1 - 0) + 0)/1. Let w be -1*(-2 - y) - c. Which is bigger: w or 3?
3
Let l = -1659 + 101201/61. Are 1 and l nonequal?
True
Suppose -b + 1 = 2. Let u = -3 + 7. Suppose -3*z + z - u = 0, -3*z = -5*w - 4. Which is bigger: w or b?
b
Suppose 2*t + 16 = 6*t. Suppose t*n + 3*i = -i - 4, 3*n + i + 9 = 0. Let y be -3 + (-5)/((-10)/(-6)). Which is smaller: y or n?
y
Let f(k) = -13*k + 76. Let b be f(9). Which is bigger: b or -43?
b
Let c(s) = 16*s - 175. Let l be c(11). Is -4/181 bigger than l?
False
Let f = -21 - -14.5. Let p = f - -6.4. Which is greater: p or 0.051?
0.051
Let x be (-8)/(-52) + (-58)/(-130). Suppose 0 = -2*a - 3*a. Suppose 2*f = 3*f - z - 2, a = -z. Is f at most as big as x?
False
Suppose -62*k = -66*k - 24. Let z be (-231)/28*(-2 + (-28)/k). Which is smaller: z or -21?
z
Let g be 2*2/4 - (-71 + 102). Which is bigger: g or -1?
-1
Suppose 2*z = -d - 51 - 52, 0 = 4*z + 5*d + 215. Let x be (z/(-30))/((-10)/(-12)). Let k be x + (-10)/(4 + 1). Are k and -1/24 equal?
False
Let f = -3431/2 - -1763. Which is bigger: 48 or f?
48
Suppose -3*i = -5*v + 450, 450 = 5*v - 6*i + i. Which is greater: 85 or v?
v
Let i = 0.073 + -32.073. Let w = -20 - i. Let q = w - 12.2. Which is greater: -2 or q?
q
Let w(x) = 9*x**2 + 3*x + 4. Let z be w(-3). Let c = z + -84. Which is smaller: c or -13?
-13
Let j be 12/(1 - -3) + -3. Suppose -3*t = -t - 5*c + 10, -5*t + 4*c - 8 = j. Which is smaller: 5/14 or t?
t
Let n(k) be the second derivative of -k**4/12 + 4*k**3/3 + 4*k**2 - 9*k. Let i be n(7). Let g = i - 31. Is g bigger than -16?
False
Let i be ((-10)/35 - (-4176)/14)/2. Is i < -1?
False
Let h = 0.69 - 3.59. Let p = 3 + h. Suppose 21*g = 16*g + 4*a - 44, 22 = -3*g - 2*a. Is p >= g?
True
Suppose 24*m + 684 = 948. Is m equal to 85?
False
Let x = -116 - -233. Let j = x - 63. Which is bigger: 55 or j?
55
Suppose 3*g + g + 8 = 0. Let d be 0/(((-6)/g)/3). Let u = 47.9 - 48. Which is smaller: d or u?
u
Let n be (-18470)/(-10620) + (-2)/9. Let u = -1/59 + n. Which is bigger: u or 1?
u
Suppose 4*l + 20418 = -o, -2*o + 0*o - 10212 = 2*l. Let a be l/(-286) + 2/13. Does a = 17?
False
Suppose -15*f + 3063 = 633. Which is greater: 161 or f?
f
Let s = 15/38 - 277/798. Let m be 3 - (-9)/3*-1. Which is greater: s or m?
s
Suppose -5*r - 4*n = 14, 15*r + 4*n = 16*r + 22. Which is smaller: r or -5?
r
Let k be (82/(-3))/(32/(-48)). Let b = -83/2 + k. Is b <= -1/3?
True
Suppose -2*f - 5 + 5 = 0. Which is smaller: 2 or f?
f
Suppose x + 2*x + 90 = 0. Let h be ((-4)/(-6))/((-10)/x). Suppose -2 - h = -4*p. Is 5/3 less than or equal to p?
False
Let w = -11 + 14. Suppose 2*a = 3*l, w*l + 0*a = -2*a - 12. Is l > -2?
False
Suppose 0 = 2*u + 4, -3*u = -5*z - 7*u - 43. Let t be (20/z)/(-1) - -2. Are 6 and t nonequal?
True
Let a be (-6)/9*(12/(-8))/(-1). Which is greater: -1/187 or a?
-1/187
Let o be (4 + (-18)/4)*-8. Suppose 1 - o = -3*s. Suppose -s = -4*h - 5. Is h smaller than -2/5?
True
Let h = -0.9 - -0.2. Let i = -0.3 + h. Let r be 1 - -1 - 440/209. Is r bigger than i?
True
Suppose -3*d + y - 17 = -11, 0 = -3*d + 3*y - 12. Is -3/16 smaller than d?
False
Let s = -211 + 280. Which is bigger: s or 71?
71
Let y = 855/4 + -67557/316. Let j = y - -209/1343. Which is smaller: j or 1?
j
Let n(v) = 4*v + 19. Let o(p) = -13*p - 57. Let b(i) = 7*n(i) + 2*o(i). Let f be b(-8). Which is smaller: f or 4?
f
Suppose -3*t + 30 = 6. Let m = t + -2. Suppose 21 - 41 = -4*f. Which is greater: m or f?
m
Suppose 0*s - 3*s + 5*c - 17 = 0, -s + 21 = 5*c. Let y be (s + 3 + 0)*4. Suppose 0 = 3*w - 4*h - y, -3*w - 3*h = -5 - 4. Which is smaller: 3 or w?
3
Let n(l) = -l**2 + l + 1. Let u(a) = a**3 + 4*a**2 - 7*a - 4. Let w(r) = n(r) - u(r). Let x be w(-6). Are x and -5 equal?
False
Let g = -13 + 36. Let q = g - 23.1. Is q < -0.1?
False
Let v = -41 - -40. Let f be 2/(-14)*(v + 0). Which is greater: f or 1?
1
Let j = 5955/8 - 734. Is j bigger than 11?
False
Suppose 6*x + 2*v = 5*x, -6 = x - 4*v. Let n be ((x/(-3))/2)/(39/(-585)). Is -17/4 less than or equal to n?
False
Suppose -30*j + 16*j = 18*j. Is j greater than or equal to 1/187?
False
Let g be 4/10 - 48/45. Let j(i) = -i**3 - 11*i**2 - 24*i - 57. Let l be j(-9). Which is smaller: g or l?
l
Suppose 0 = -22*h - 9*h - 868. Which is smaller: h or -9?
h
Let k = -98 + 102. Suppose k*j - 60 = 5*o, -28 = -2*j - o + 16. Is j less than or equal to 3?
False
Let f be (-280)/12*(-12)/10. Suppose f = 6*i - 8. Which is greater: i or -1?
i
Suppose 5*w + 1 + 19 = 0. Let n be 3*(0 - w/(-12)). Let t be (n/(-23))/(-8 + 7). Is -1 greater than t?
False
Suppose -29*h - 38*h = 5896. Which is smaller: -81 or h?
h
Let s be (-2 + 2)*4/(-8). Suppose 2*b = -5*f + 28, s*f - 3*f + b = -8. Let l be 1/(-2)*f*2. Which is smaller: -2 or l?
l
Let c = -8 + 8. Suppose t = -c*t - 2. Let h = 11 - 9. Is h >= t?
True
Let s be (7/(-14))/(3 - (-1722)/(-573)). Does s = 96?
False
Let a(d) = -d**3 + 5*d**2 + 7*d - 8. Let l be a(6). Let y be (-9)/(-6) - 27*3/36. Do l and y have different values?
True
Let y = -6163/9 - -684. Let c be 9/(-36) - (15/4 + 0). Let a be (1/c)/(1 + 6/(-8)). Are a and y unequal?
True
Let k = 1756/65 + -27. Let p = k + -14/65. Suppose 2*h + 2*h - 4 = -f, 1 = h - 4*f. Is p at most h?
True
Let j = -528 - -527. Let o = -64 + 108. Which is bigger: j or o?
o
Let x = -2/361 - 16935/5776. Are x and -4 equal?
False
Let x be (-4275)/18 - (1 - (-1)/(-2)). Is x greater than or equal to -237?
False
Let o be (-28542)/99750 - (-6)/21. Let g = o - -45133/19000. Do g and 2 have different values?
True
Suppose 2078 + 2134 = 9*b. Is 468 smaller than b?
False
Suppose -j + 3*n = j - 12, 0 = 2*j + n + 4. Which is greater: j or 5/352?
5/352
Let m = -73065/7 - -10415. Is -23 < m?
True
Let u = -0.01 + -2.49. Let p be 1 - ((-9)/7 + 2). Is p bigger than u?
True
Suppose -14*u = 18 + 52. Is u less than -0.074?
True
Let n be (5/(-160))/(3/(-12)). Let u be 4/10 - (-220)/(-425). Is u != n?
True
Let g = -188582/4351 + 824/19. Which is greater: g or 0?
g
Let a = -243.6 + 237.73. Is a less than or equal to -1?
True
Let n = 266 - 292. Are -2 and n equal?
False
Let y be (-2680)/(-1273) - (-4)/(-38). Do 14/19 and y have the same value?
False
Let v = -72 - -75. Let t be 84/45 - v - -1. Is -1 >= t?
False
Let i(p) = -p + 17. Let n be i(11). Let q be (9/n)/((-1)/(-8)). Let w be (-55)/(-75) + (-4)/q. Which is smaller: 0 or w?
0
Let r(h) = 2*h + 18. Let t be r(-5). Let v be (-66)/88 + 6/t. Which is bigger: v or -5/9?
v
Suppose -5 = -4*q - 17. Are q and 186 nonequal?
True
Suppose -7 + 53 = p - 3*s, p - 2*s = 44. Let x be (-1)/((-4)/p*2). Suppose 0*j + 22 = 2*j - 4*d, 2*d = 5*j - 31. Is x != j?
False
Let a(m) = -m - 4. Let u be a(12). Let l = 25 + u. Let b be (4/10)/((-36)/(-765)). Do b and l have different values?
True
Suppose -2 - 13 = 5*y. Let o be 14*y/(-9)*-15. Let p be (-41)/5 - 14/o. Is p not equal to -10?
True
Let y = -1006/9 + 112. Suppose -3*h - 22 = -67. Let j be (1/(-3))/(5/h). Is y >= j?
True
Let x be 404/2456 + 9/(-54). Is -1 < x?
True
Let k(n) = -n + 5. Let z(m) = -2*m + 11. Let i(l) = 11*k(l) - 6*z(l). Let v be i(11). Let y = 5/16 + 1/48. Which is bigger: v or y?
y
Let u = -87 + 4961/57. Which is smaller: -9 or u?
-9
Suppose 22 - 7 = 5*k. Let m be -2 + 7 + (-12)/k. Which is bigger: m or 8/5?
8/5
Let d be 102/612 + (-178)/1140. Which is greater: d or -1?
d
Suppose 12 + 0 = 3*w. Suppose -8 - 2 = 3*n - 4*x, -4*n - 3*x = 5. Let u = w + n. Is u less than 2?
False
Let g = -3.02 - -3.4. Let s = g + -0.18. Which is smaller: -2 or s?
-2
Let s = 0.85 + -0.5. Let z = s - 0.05. Is 0.1 equal to z?
False
Let v = -5.4 + -3.6. Let o = 6 + v. Which is greater: o or 0.07?
0.07
Let t be (1*(-14)/4290)/((-115)/372). Let m = -6/325 + t. Is m at least 1?
False
Let s be (4 - 90/(-81)) + (-4)/(-6). Do s and -0.2 have the same value?
False
Suppose -4*q + 0*q = -216. Let w = -53 + q. Are 1 and w equal?
True
Let d = -2.05 - -1.05. Let x = -0.1 + 0.14. Are x and d non-equal?
True
Suppose a = -0*a + 3*h + 30, 3*a - 4*h = 85. Let f = -19 + a. Suppose k - 2*m = -3, 0*m = 4*m - f. Which is greater: 9 or k?
9
Let g be ((-4)/(-12))/(-1)*-6. Suppose -g*v - 2*s + 1 = s, 5*s = -15. Suppose -11 = -v*k - 5*w + 4, 3*w = 9. Is k at most as big as 2/9?
True
Suppose 0 = -5*m + 3*a - 132, -3 = 15*a - 12*a. Which is sm