et j(w) = 8*w - 3. Let x be j(2). Let a = -12 + x. Which is smaller: a or 1/28?
1/28
Let v = 39 + -38. Which is smaller: v or -12/37?
-12/37
Suppose 62*k = 27*k + 27*k. Which is greater: 2/165 or k?
2/165
Let i = -1760 - -1761. Which is smaller: i or 1/2379?
1/2379
Let v be ((-132)/126 - 2/7)*-3. Is v at most as big as 0?
False
Suppose 3*s + v = 4, -s - 2*v + 4*v - 8 = 0. Is s greater than or equal to 0?
True
Let y(c) = -c**3 + 14*c**2 - 30*c + 16. Let d be y(14). Let v = 2839/7 + d. Let i = -5 - -6. Are v and i non-equal?
True
Let q be -5 - 165/(-35) - 6224/(-28). Is q equal to 222?
True
Let j = 205 + -229. Which is greater: j or -15?
-15
Let n = -55 + 56. Let t be 115/69*n/(2/(-3)). Which is bigger: -3 or t?
t
Let d(y) = 31*y - 497. Let t be d(16). Which is greater: t or -16/119?
-16/119
Suppose 8*h = 6*h. Suppose 5*b + 14 = w, h = -4*b - 4*w - 1 - 15. Which is bigger: -16 or b?
b
Let b = -102 - -101.99. Is b at least 2/7?
False
Let y be (-209)/(-6) - 4/(-24) - 2. Let c = 33 - y. Let s = 149/63 - 20/9. Which is greater: c or s?
s
Let k = 5 - -5. Let y be (-8)/k + (-8)/(-20). Let f = -4.035 + 0.035. Which is smaller: f or y?
f
Let t be ((-465)/161)/3 + (-32)/(-56). Which is greater: 1 or t?
1
Let b be (-3)/(21/16) - -2. Suppose 2*y - 5*h = 4*y - 15, 2*y + 12 = 4*h. Let x be 7/21*(y + 0). Are b and x nonequal?
True
Suppose 0 = -16*x + 1133 + 67. Let n be (-8)/((-288)/x) + (-1)/3. Suppose 2*b + 3 + 0 = t, 4 = -b + t. Which is greater: n or b?
n
Let c(p) = 2*p + 20. Let x be c(-9). Let y be 4/x - 1 - -19. Is 19 != y?
True
Let f be 4 - ((-910)/(-300) - (0 + -1)). Let u be 6/6*(0 - 0). Which is bigger: f or u?
u
Let m = 193 + -192.6. Which is greater: -7 or m?
m
Let s(i) = -i - 1. Let o(x) = -x**2 - 5*x + 20. Let h(t) = -o(t) + 4*s(t). Let c be h(0). Is c >= -25?
True
Suppose 403 = 5*g + 123. Let c = 32 - g. Let m be 3 + -2*(-38)/c. Is 0 at most m?
False
Let s(p) = 5*p**2 - 30*p + 7. Let i(m) = 4*m - 14. Let u be i(5). Let a be s(u). Is 0.1 >= a?
False
Suppose 4*k + 63 = 11*k. Suppose 115 + 821 = -k*b. Is -104 at most as big as b?
True
Let x(i) = -i - 4. Let v be x(-9). Let q be 11/v + 11/(-55). Let m be (-6)/(-4) - (1 + 0). Is m at least as big as q?
False
Let s = -668 + 196. Is -472 >= s?
True
Let g = 1168 + -1126. Is -7 != g?
True
Let h be (-54)/12*3/(27/(-6)). Suppose -h*n = 6*n + n. Is -1/3 bigger than n?
False
Let u = -15.1 - -16.3. Let t = 15 - 9. Let y = t + -5. Which is smaller: u or y?
y
Let c = -0.021 + -0.299. Are 2 and c non-equal?
True
Let s be (-7)/5 + (-4)/10. Let z(y) be the third derivative of -y**5/60 + y**4/2 + 2*y**3 + 8*y**2. Let a be z(13). Do s and a have different values?
True
Let f = 0.97 + 0.03. Let g = -425/78 - -71/13. Which is bigger: f or g?
f
Let p = -23 + 17.9. Which is smaller: -1/5 or p?
p
Let k be -33*10/(-110) - 746/250. Do k and 0 have the same value?
False
Let l = -1561 - -2358. Which is greater: 798 or l?
798
Let a(w) = w**2 + 8*w + 4. Suppose 33 = -7*b + 4*b. Let y(o) = 3*o**2 + 23*o + 12. Let h(u) = b*a(u) + 4*y(u). Let m be h(-3). Is m at most as big as 4/5?
False
Let p = -7 + 11. Suppose 0 = -p*g - 1145 - 439. Let q be (-4)/22 - 138/g. Is q less than or equal to 1?
True
Suppose -2*h - 22 = 5*g, 3*h - h - 10 = 3*g. Let i be (-6)/16*3/2. Is i at least h?
True
Let l(b) = -2*b**3 - 10*b**2 - 7*b - 2. Let m be l(-6). Are 112 and m non-equal?
False
Let o = 13 + -12.8. Let g be (11/220)/((-6)/(-8296)). Let x = 69 - g. Which is smaller: x or o?
x
Let r = -593/5 + 119. Let x = 12 + 6. Let q be 3/2*4/x. Are r and q equal?
False
Suppose 5*n = d + 8, 4*n + 0*n - 4 = 2*d. Let x be (6/d)/(-6 + 7). Is 4 < x?
False
Let n = 9083 + -136243/15. Let k(d) = 2*d - 4. Let s be k(3). Suppose 5*q - s*q - 5*c = 18, q + 3*c + 8 = 0. Is q < n?
False
Let h be (0 + -206)/2 + (144 - 139). Which is smaller: h or -99?
-99
Let p = -150 + 151. Let d = 13339/16 - 834. Which is greater: d or p?
p
Let i = 13.541 + -0.241. Let l = i + -2.3. Does 0 = l?
False
Suppose 0*i + 26 = -2*i. Suppose -27*q = -22*q + 55. Is q < i?
False
Let p = 1.34 - 0.812. Which is smaller: -2 or p?
-2
Suppose 3*h - 3*b - 51 = 0, -12 = 5*b + 8. Suppose -o - h + 9 = 0. Let w = -2 + -3. Are o and w non-equal?
True
Let b = 0.4 - 1.4. Let t = -6/77 - -365/3696. Are t and b nonequal?
True
Let a = 109.6 - 112.6. Is a <= 40?
True
Suppose -4*k = -3*t + 32, -t = t - 3*k - 21. Suppose -4*z - 286 + 334 = 0. Is t at most z?
True
Suppose -x + 0*x + 31 = 5*i, 3*x = 5*i + 53. Is x not equal to 121/6?
True
Let z = 32 + -32.4. Let l = -0.3 + 0.8. Let v = -0.6 + l. Is z != v?
True
Let t be -1 - -2 - 21/15. Let w = -594 + 593.84. Which is bigger: w or t?
w
Let f = -66594/84812641 + 4/27019. Which is greater: f or 1?
1
Let l be (-10)/(-2) + (-11)/11. Suppose -2*q = 3*n - l*n - 14, 2 = -q. Is -92/5 > n?
False
Let y be (154/76 - 2)/((-25)/100). Let n = -0.3 + -1.7. Which is smaller: y or n?
n
Let u(v) be the third derivative of -v**6/120 - 2*v**5/15 + v**4/3 - 11*v**3/6 - 25*v**2. Let r be u(-9). Do r and -13/8 have different values?
True
Let o be (2 - 3) + (-1)/1. Let c(x) = x**2 - 14*x + 15. Let t be c(12). Let y be 2/(-13) - (-175)/2184*t. Is y not equal to o?
True
Let q = 29.8 + -30. Let g = -1.2 - q. Does 10 = g?
False
Suppose -4 = 2*d + 4. Suppose -28 - 14 = -7*u. Let n be u*((-14)/4 - d). Which is greater: -1 or n?
n
Let c = 0.15 + 0.03. Let j = c + -0.08. Let m = 3 + -1. Which is smaller: m or j?
j
Let o = -320751/11 + 29181. Is o equal to 21?
False
Let d be (0/(2 - (5 - 1)))/1. Which is greater: -1/179 or d?
d
Let q = 4.92 + -0.52. Let c = q - 5.3. Which is greater: c or 2?
2
Let w be ((-225)/(-27))/((-2)/(-36)). Suppose -2*x = 4*m + 88, 10*x - 5*x - 4*m = -w. Let c be (-2)/(-1) + x/18. Which is smaller: c or 1?
c
Suppose 608*f - 596*f = 12. Which is bigger: 1/229 or f?
f
Let v be (2068/705)/((-12)/10). Is -2 greater than or equal to v?
True
Let k = -166.8 - -165. Which is smaller: k or 1/6?
k
Let x(r) = r**3 + 2*r**2 - 2*r + 7. Let j be x(-3). Let o be j*5/(-30)*12. Which is greater: -4 or o?
-4
Suppose -31 = -5*k - 1. Suppose 0 = 3*h + 3 - k. Let w = -459/209 + 23/11. Which is smaller: w or h?
w
Suppose -14*x = -18*x. Which is bigger: -4/5 or x?
x
Let p = 0.232 + 118.768. Let x = p - 119.01. Are -2 and x nonequal?
True
Let p = 0.4 + -0.9. Which is greater: 5/6 or p?
5/6
Let j = -17 + 19. Suppose 2*m = 5*y + 3, -m + 6*y - j*y + 6 = 0. Let o be (-4 - -6 - 0) + m. Is -3 != o?
True
Suppose -h - 5 = -10, 2*h = 4*x - 22. Which is bigger: x or 10?
10
Let v(z) be the third derivative of z**5/60 - 5*z**4/12 + 17*z**3/6 - 15*z**2. Let l be v(8). Which is greater: l or -2/25?
l
Let g be (33/18 - 2)/(3/4749). Let w = g + 263. Which is smaller: w or -1?
-1
Let h = 45 - 46. Let t be 1 + 1 + h*2/2. Which is bigger: t or 12/17?
t
Let k be (1252/8)/(14/8). Is 88 bigger than k?
False
Let h = 15.83 - -0.17. Let d = h + -16.2. Let m = 5.9 - 3.9. Which is bigger: d or m?
m
Let r be (-5)/(-2)*(188/(-2) - 6). Let q = r - -4755/19. Is q at most 0?
False
Let r(v) = v**2 + 10*v - 12. Let j be r(-10). Let s be (39/27)/(4/j). Which is smaller: -4 or s?
s
Let a = 276 - 277. Which is smaller: a or 8/9?
a
Let i(g) = 88*g**2 - g + 1. Let h be i(1). Let v be 10/(-55) - (-60)/h. Does -4 = v?
False
Let z = -228 + -117. Let y = -347.29 - z. Let b = y + 0.29. Is b equal to -1?
False
Let c be (10/3225)/((-2)/12). Which is smaller: c or 0?
c
Let w be ((-41)/1230)/((-2)/99). Which is smaller: w or 3?
w
Let w be (8 + -9)*-8 - 456. Which is greater: -451 or w?
w
Let d(u) = -u**2 - 14*u - 7. Let i be d(-14). Let j = 3429462351/376 - 9120918. Let z = j + -3/376. Is i <= z?
False
Suppose 49*i = 47*i + 2. Is i at least as big as 7/6?
False
Let y = -15 - -14.6. Let h = 0.3 + y. Which is smaller: -3/7 or h?
-3/7
Let u be 836/28 + (-3)/(-21). Let d = 22 - u. Let i be d/4 + 20/12. Which is bigger: 0.1 or i?
0.1
Let q = 9854006/379 + -26000. Do 0 and q have different values?
True
Let x = 10.5 + -10. Let i = -15.669 - 0.231. Let r = -16 - i. Is x greater than r?
True
Suppose -7 = -4*i + 5. Let j = i + 1. Suppose -2*u = -j*u + 10. Is u greater than 6?
False
Let z = -73 - -253. Which is smaller: z or 181?
z
Suppose 2*y + 96*z - 252 = 98*z, -257 = -2*y - 3*z. Is 1138/9 greater than or equal to y?
False
Let s(i) = -i**3 + 10*i**