 b be (11/(-4))/(1/4). Is b < g?
True
Suppose -2*n - 22 + 18 = 0. Is -31/10 > n?
False
Let w be 63/(-35) + (-12)/(-15). Let a = 271/14 + -39/2. Are w and a nonequal?
True
Let o be 82/(-287)*(-7)/2. Is 2/2319 < o?
True
Let x = 11263/15 - 751. Is x bigger than 41?
False
Let t = 261 + -262. Which is smaller: t or 3?
t
Let w = -4867 + 199535/41. Are w and 2 nonequal?
True
Let t = -12 - -6. Let l be (2/t)/((-12)/72). Which is greater: 4 or l?
4
Let s(c) = -2*c**3 + 14*c**2 - 3*c + 3. Let a be s(9). Let z be 3 + a/(-177) + -5. Is 0 greater than z?
True
Suppose -5*a - 2*g - 5 = -0*g, -g = -4*a - 17. Let w(v) = v**2. Let t be w(a). Let n be 5/15 - (-6)/t. Which is smaller: -1/21 or n?
-1/21
Let g(f) = -f**3 - 6*f**2 + 8*f - 2. Let p be g(-6). Let c = 988 + -1036. Are p and c equal?
False
Suppose 4*s - y = 117 + 78, 2*y - 138 = -3*s. Suppose s - 14 = o. Is o smaller than 34?
False
Let j = 0.011 - -37.989. Let w = j - 37.98. Is -3 at most as big as w?
True
Let w = -0.85 + -2.15. Is -1 at most as big as w?
False
Let r = 182 - 1276/7. Let g = 0.8 - 0.6. Let x = 0.4 - g. Is x < r?
False
Let z = -1.85 - -1.897. Which is greater: 0.2 or z?
0.2
Let q = 170 - 109. Suppose 7*g + q = -79. Do -22 and g have different values?
True
Let g be 4/(112/6)*(-256)/2. Let w = g - -3257/119. Which is greater: w or -1?
w
Suppose -63*j - 4*n + 4 = -59*j, n = 3*j - 11. Let r(t) = -t**2 - 5*t - 4. Let b be r(-4). Are b and j unequal?
True
Let g be 2/61*(-5 - 0)/(-10). Which is greater: g or -0.1?
g
Suppose z - 4*z + 9 = 0. Suppose -2*x = z*x. Let n = 16/27 - 121/189. Which is smaller: x or n?
n
Suppose 0*q = -4*y + q + 24, -2*y = -3*q - 12. Let o be (2/y)/(6/162). Is 1 not equal to o?
True
Let y(g) = -g**2 - 8*g + 17. Let o be y(-10). Let f be (o/2)/((-27)/54). Which is smaller: 4 or f?
f
Let v(b) = b - 15. Let x(w) = -3*w + 46. Let m(o) = 17*v(o) + 6*x(o). Let d be m(4). Which is bigger: 16 or d?
d
Suppose 122 = 3*o + 4*h, -2*h - 165 = -5*o - h. Is 34 at least as big as o?
True
Let w be (3 + 1)*1/(-22). Let v be (-84)/(-42) + (-9)/3. Is v at most w?
True
Let h be (1/(-6)*-6)/(2/18). Let b be (-2)/(42/h) + (-25)/(-140). Is b <= 1?
True
Suppose 5*y + m + 3*m + 102 = 0, 0 = -2*y + 5*m - 21. Let g = 19 + y. Which is bigger: g or 12/7?
12/7
Let z = 1 - -6. Suppose u - z = l, -2*u - 2*l = -u - 13. Let w = u - 13. Which is smaller: -5 or w?
-5
Suppose 2*o - 1 = 15. Suppose -3*n - 5*p - 10 = -22, 0 = -2*n + 3*p + o. Suppose 0 = n*u - 45 - 19. Is 16 not equal to u?
False
Suppose -3*u = 3*c - 30, -7*u + 4*u = -12. Is 17 less than or equal to c?
False
Suppose q = 1 - 3. Let m = 334 - 336. Is m less than or equal to q?
True
Let a = -0.205 + 0.405. Are a and 131 non-equal?
True
Suppose p - 4 + 1 = 0. Suppose 0*b - 24 = p*b. Let g = 8 + b. Is g not equal to 3/4?
True
Suppose 10*h - 41 = 139. Let n = h - 10. Which is bigger: 7 or n?
n
Let c(t) = -t - 4. Let b be c(-5). Suppose 0 = 5*p + 29 + 16. Let f = p + 9. Which is smaller: f or b?
f
Suppose 65*m = 27*m - 4750. Is -125 <= m?
True
Let r(j) = j**3 + 6*j**2 - 9*j - 9. Let u be r(-6). Suppose 0 = f - g - 40, 5*f - 52*g = -53*g + 236. Which is greater: u or f?
f
Let z = 0.0846 - -324.9154. Is -1 less than or equal to z?
True
Let s be (12/7)/(-8 - (-2538)/315). Is 25 >= s?
False
Let c = 24 + -18. Let u be (-8)/(-12) - 4/(-3). Suppose -2*a + 14 = 4*h - 0*a, u*a = -2*h + 4. Which is greater: h or c?
c
Let q = -23 - -15. Let i = 49 - 53. Which is bigger: i or q?
i
Let u = 156 + -91. Let n = -65.2 + u. Which is smaller: 0.6 or n?
n
Suppose -5*b - 5 + 40 = 0. Suppose 4*g - 5 = b. Is 7 at least as big as g?
True
Let c be (210/9)/(8/36). Suppose 4*i = i + c. Let s = i - 16. Is 20 at least s?
True
Suppose 2*u + 4*k + 23 = u, 3*u + 5*k = -55. Let m be (-7)/14 - 7/u. Which is bigger: m or 1?
1
Suppose -5*s + 4*x - 11714 = 0, -5*s + x - 7587 = 4124. Is -2342 at most s?
True
Let f be ((-108)/(-89343))/(1*(-2)/3). Are 1 and f non-equal?
True
Let v(q) be the third derivative of -1/12*q**5 + 5/6*q**3 + 0*q + 3*q**2 - 1/24*q**4 + 1/120*q**6 + 0. Let u be v(5). Which is greater: 2 or u?
2
Let f = 2482 - 19855/8. Is -2/5 != f?
True
Let w = -162.17 + 162. Which is bigger: w or 2?
2
Let o be (-24)/(-15)*25/10. Suppose -o*b - 39 = -3*b. Which is smaller: 0 or b?
b
Let v(f) = -f**2 + 19*f - 38. Let a be v(17). Let n be a/(-14) - 345/(-630). Which is bigger: n or 2?
2
Suppose 5*h - 31 = -4*t - 6, -3*t + 19 = 4*h. Is h greater than 10/7?
False
Let d = -490 - -350. Let j be 3 + 1/(-5) + 352/d. Which is bigger: j or 0?
j
Let z be 42 + -38 + (-11)/(-82)*-28. Which is smaller: -1 or z?
-1
Suppose -56 = 6*u + 160. Is u < 0.1?
True
Let q be 0/((4 - 0) + -3). Suppose -4*m + 12 = q, -2*z + 4*m - m = -23. Let h be (-4)/z*0/(-1). Which is smaller: h or -2/27?
-2/27
Suppose -4*h - 8 = 0, 0*t + 60 = -t - h. Let i = -37 - t. Suppose -5*j + 3*f = -112, -j - 2*f = -0*f - 12. Which is bigger: i or j?
i
Let m(c) = -c**3 - 2*c**2 - 2*c + 1. Let a be m(-2). Suppose 0 = a*u + 2*k - 21, 5*u - 2*k - 6 = u. Suppose u*o = -3*o + 30. Which is bigger: 7 or o?
7
Let d be (-2 + 0 + 2)/((-2)/1). Let n = 52/47 + -3843/3431. Are n and d equal?
False
Let a = 10221 - 10233. Let j = 0 - 0. Is j equal to a?
False
Let o(r) = r**3 + 10*r**2 - 5*r - 6. Let b be o(-10). Let z be (-140)/b - 2/(-11). Let v be (-28)/(-21) + 4/z. Are v and 1/11 unequal?
True
Let s(x) be the third derivative of x**4/24 + 3*x**3/2 + 3*x**2. Let j be s(-7). Suppose 14 - 5 = 3*y. Which is bigger: y or j?
y
Let u = 63 - 65. Let c = -1 - u. Are 1/21 and c non-equal?
True
Suppose 6*w - 104 + 98 = 0. Is 2/273 bigger than w?
False
Suppose -w + 54 = -3*j, -2*w = -4*j - 83 - 33. Is w bigger than 66?
False
Let x = 148 - -103. Which is greater: x or 252?
252
Let y = -2355 - -638204/271. Which is smaller: 0 or y?
y
Let i be 55/(-85) - -3 - 2. Let b = i + 5/34. Let g be 0*(15/(-6) + 3). Which is greater: b or g?
b
Let y be 344/(-910) + 2/7. Let j be 174/696 - (-5)/(-4). Is y greater than or equal to j?
True
Let k be (-4)/(-6)*(9 - 0). Suppose 4*i + k = -2, 4*r + 5*i = 2. Do r and 0 have the same value?
False
Let a(c) = -5*c**2 - 7*c + 28. Let i be a(-6). Which is bigger: -109 or i?
-109
Let l = -166 - -121. Let n = -13 + -33. Is l <= n?
False
Let f be 2635/2790 - (-2)/(-4). Is f not equal to 9?
True
Let s(y) = -y**3 + y**2 + 2*y + 3. Let z be ((-4 - -6)*1)/(-1). Let n be s(z). Let c(h) = h + 1. Let r be c(n). Are r and 11 equal?
False
Let y = -583 - -411. Is y != -170?
True
Let s = 1/165 + 313/2805. Is 1/38 >= s?
False
Let p be 36/5*4/(-12). Let q = p + 41/15. Which is smaller: 1 or q?
q
Let j = 1.1 + -0.1. Let f = 8 + j. Let u = -10 + f. Is u at most -1.4?
False
Let p be (-1)/7 + 543/(-21). Let q = -20 - p. Which is smaller: 2 or q?
2
Let u be (7*(-42)/(-1715))/((-2)/(-5)). Suppose 12 = 5*n - n. Suppose 4*q - 4 = 3*k + 4, n*k - q = -2. Is k bigger than u?
False
Let v = -5621/16 - -1101/16. Is -283 > v?
False
Suppose 2*p + 7 = p. Let r = 8 + p. Let a be r + 2 - 17/5. Which is smaller: -3 or a?
-3
Suppose 2*l - 26 = -n, 0*n - n = l - 15. Suppose 3*g - 6 = 6*g. Let s be 12 + 1/(1 + g). Is l >= s?
True
Let o = 17 + -28. Let m be (4/(-9))/((-22)/(-495)). Which is smaller: m or o?
o
Suppose 4*l = 19 - 7. Suppose 54 = 3*c - 0*c - 3*u, -l*u = 5*c - 58. Let m = c + -13. Which is smaller: m or 3/4?
3/4
Let b = -143 + 159. Suppose -5*k = -5*w - 50, 5*w + 3*k = -0*w - 34. Let j be ((-4)/b)/((-42)/w). Is -1 at least as big as j?
False
Suppose x - 6*x - 30 = 0. Let y = x - -12. Let o = 12 + -6. Does o = y?
True
Suppose -5*a + 45 = -5*d, -3*d - a = -3*a + 27. Let m = 40 + -29. Let n be m/7 + d/(-21). Which is greater: n or 4/5?
n
Let r = -10445/228 - -948/19. Is 4 equal to r?
False
Let l be 0 - (4/24 + (-284)/(-24)). Is l not equal to -33?
True
Let n = -794/19 - -1377628/32965. Is 0 >= n?
False
Let c = 194 + -252. Which is smaller: c or 10?
c
Let r(u) = u**3 + 2*u**2 + 3*u + 10. Let x be r(-2). Let c be (2/(-4))/(1/(-4)). Let g = c - -3. Which is greater: g or x?
g
Let d = -10.57 - -9.67. Which is greater: 90 or d?
90
Let w = 80 - 108. Let p be 3/(-4) + (-329)/w. Suppose -z = -4*z + 30. Which is greater: p or z?
p
Let t(f) = -f - 7. Suppose -k + i = k + 13, 5*k - 2*i = -31. Let g be t(k). Is g less than -8/9?
True
Let j(g) = 9*g + 94. Let o be j(-10