 5*s - 25 = 0. Let n = p - w. Which is smaller: n or -6?
-6
Let v = 6 + -22. Let q = 10 + v. Let c be -16*1 + q/(-2). Which is bigger: -12 or c?
-12
Suppose 5*b + 15 = -3*n, 4*b + 4*n + 1 = -19. Is 13/29 < b?
False
Let c = 11/16 - 29/112. Are 47 and c nonequal?
True
Let h(g) = -12*g**3 - 8 - 12*g**2 - 8*g + 23*g**3 - 12*g**3. Let a be h(-11). Let r = 59 + a. Which is bigger: r or 17?
r
Let n = -121 + 2056/17. Let j = 92 - 91. Is j at most n?
False
Let z = -1.07 + -27.83. Let x = 29 + z. Which is smaller: x or -0.9?
-0.9
Let a = -0.4 - 0.1. Let x = a + 0.4. Let c be 28/(-112) - (-34)/8. Which is bigger: c or x?
c
Let w = -98561/88 + 1120. Suppose 0 = 2*b + 3 - 1. Is w <= b?
False
Let u = 339 - 375. Is u > -6?
False
Let v be ((-17)/(-34))/(2/(-8)). Let u(h) = -5*h**2. Let t be u(-2). Let y be ((-26)/t)/((-2)/5). Is y equal to v?
False
Let b be (3/1*(-124)/6)/1. Let v = 8/21 + -5/7. Is v != b?
True
Let y(d) = d**2 - d - 17. Let k be y(-4). Suppose -4*m + 18 = s, 6*m = 2*m - 2*s + 20. Suppose 3*u - 59 = -k*c - 5, -m*c = -4*u + 32. Which is greater: u or 12?
u
Suppose -3*h + 317 = 137. Is 61 at most as big as h?
False
Let v(n) = -n**2 - 4*n + 139. Let r be v(10). Which is greater: -26/11 or r?
r
Let h = -0.05 + -0.04. Let t = 458 + -458.11. Let j = t + h. Which is smaller: -4 or j?
-4
Let l = -5 - -15. Let y be -2*(-12)/(-20)*5. Let c be l/30*y/(-2). Is c < 2?
True
Let k be -2 - (169750/(-92580) + (-2)/12). Let u = -18649/615657 + k. Which is greater: -1 or u?
u
Let m = -644 - -671. Which is smaller: -2/13 or m?
-2/13
Let t be (4/6)/(8/(-12)). Let f = -18 - -5. Let d = f + 9. Is t < d?
False
Let k = 1.06 + -1.206. Let f = 0.14 + k. Which is smaller: 0 or f?
f
Suppose -5*a - 23 = -z - 6, 5*z = 5*a + 185. Let k be (6/z)/((-1)/(-3)). Is k at least 4/5?
False
Let x = -108.0787 + -0.9213. Let v = -0.1 + 0.1. Which is bigger: v or x?
v
Let a = -142.2 - -151. Let w = -13 + 22. Let v = a - w. Is 1/4 at most as big as v?
False
Let l = -265.15073 - -0.10073. Let p = l + 280. Let c = p + -15. Does c = -0.1?
False
Let x = -0.3336 + 0.1336. Let o = 2.6 + 11.4. Is o at least x?
True
Let a = 0.0414 + 0.0586. Is -0.923 > a?
False
Let x = 0.2 + -0.1. Let f = 0.2 - x. Suppose -48 + 21 = 3*b. Which is bigger: b or f?
f
Let a = -2.2 + 2.09. Let x = -0.0497 - -0.3497. Which is smaller: x or a?
a
Let f = -3992 + 43862/11. Let b = 76593 - 2527829/33. Let c = b - f. Is -4 >= c?
False
Let s = -5 + 4. Let d be -2 + ((2/s)/16 - -3). Which is smaller: d or 0?
0
Let x = 0.11 + 0.45. Let z = -0.36 + x. Which is bigger: z or -5?
z
Let u be 30/55 + (-12)/22. Is u at most 2/3?
True
Let q(t) = -6*t**3 - t**2. Let u be q(1). Let i = -2554 + 2553. Is i < u?
False
Let v = 13 + -10. Let b be (18/v)/(-2)*(2 - 6). Is b bigger than 13?
False
Let c be 1/(-8 - (-8)/(-16)). Let s = 2 - 1.8. Is s not equal to c?
True
Let n = -3.9429 + -0.0571. Does n = -70?
False
Let p(u) = u**3 - 6*u**2 + 5*u - 2. Let m be p(4). Is -18 greater than m?
False
Suppose -4*s + 0*s = -20. Suppose 33 = 4*r + s*u + 8, -20 = 5*r - 4*u. Suppose r = 2*l + 3*l - 5. Is -5 >= l?
False
Let b be 1/(-1*(-4)/20). Let n be 2/(8/(-6)) - (3 - b). Is n greater than or equal to 18?
False
Let n be (-1)/5*(-750)/18. Is n > 0.1?
True
Suppose -36 = -3*t + 4*t. Let b be -4 + 9/(t/(-16)). Let y be (15 + -15)/(1 - b). Which is smaller: y or 3/14?
y
Let s(d) = 13*d - 2. Suppose -6 = -3*o + 36. Let j = -15 + o. Let x be s(j). Which is bigger: x or 1?
1
Let q be (48 - 49) + (-7128)/(-7131). Are -1 and q nonequal?
True
Let d(c) = -14*c + 13*c - 2*c**2 + 4*c**2 - 10*c**3. Let u be d(1). Let l = u + 11. Is l < 1?
False
Let b be (28/7)/(-4) - 0. Let j = -85/63 - -13/9. Is b at least as big as j?
False
Let k be -1*1/(-4) - (-9)/12. Let u = -1.4 + 1.42. Which is smaller: u or k?
u
Suppose -10 = 4*l - 66. Let a be 2/(-7) + (-38)/l. Let x = -36 + 30. Are x and a non-equal?
True
Let c(v) = 3*v**2 + 48*v - 1. Let f be c(-16). Which is smaller: f or 3?
f
Let i = -9 + 8. Let h = i - -57. Is 56 greater than or equal to h?
True
Let b = 2177 - 2176. Which is smaller: -1/560 or b?
-1/560
Let a(q) = -q**2 - 3*q - 96. Let w be a(0). Is -97 < w?
True
Let i(o) = -3*o - 5. Let v be (0 - 1)/(2 + 12/(-8)). Let a be i(v). Which is bigger: -1/9 or a?
a
Let s be ((-228)/14)/((150/70)/(-3)). Is 22 bigger than s?
False
Let n be (-228)/(-14)*(-3)/12. Let t = -95/56 - n. Let v = -3 + t. Is v greater than or equal to -2?
True
Let q = -8.77 - -6.77. Is 5/3 at most q?
False
Suppose -15*c - 11*c - 26 = 0. Let k = 40 + 8. Which is smaller: c or k?
c
Let h be (2 + 0)*4/4. Suppose b + 2*m - 19 = 0, 23 = b + b - m. Let o be 2/b - (-1 - (-768)/(-78)). Which is greater: h or o?
o
Suppose 6*u - 8*u + 316 = -5*h, -u + 189 = -3*h. Do -64 and h have different values?
True
Suppose 41*i - 13*i - 168 = 0. Which is bigger: 34/7 or i?
i
Let k = 7493/7 - 1083. Let n = k - -1158/91. Let f = -19/39 + n. Is f > 1?
False
Let f(u) = u**3 + 6*u**2 - 7*u - 5. Let v be f(-7). Let q = v - -7. Suppose 2*o = 2*i - 4*i + q, 0 = -2*i - 6. Which is smaller: 3 or o?
3
Let r(v) be the first derivative of -v**4/4 + 22*v**3/3 + v - 27. Let w be r(22). Suppose -2*b = 2*b - 64. Is w bigger than b?
False
Let u be 46/(-46)*(-2)/22. Let w = 3 + -3.2. Which is smaller: u or w?
w
Suppose 0 = -4*d - 3*j - 1, -4*d = j - 57 + 68. Let q(f) = -5 + 0*f - 2*f + f. Let h be q(d). Does h = -1/9?
False
Let p(i) = -i**2 - i + 5. Let u be p(2). Which is smaller: u or 9/116?
u
Suppose 140*a - 141*a - 1 = 0. Are -1/245 and a nonequal?
True
Let n be 14/12 - 8/48. Let o = 3/5 - n. Is 37 less than o?
False
Let s be 2/4 + (-10)/28. Let o = 18 - 16.6. Let c = o + -1.5. Is c smaller than s?
True
Suppose -j - 5 = -5*q + 3*j, -3*j + 40 = 5*q. Let g be (-8)/30*q/2. Let y(r) = 10*r + 1. Let s be y(1). Which is smaller: g or s?
g
Let u be (2/(-6))/((-7)/(-5 + -79)). Let f be 3/(-2)*4/3. Is f equal to u?
False
Suppose 0 + 26 = -q. Suppose -4*p + 6*z = -2*p + 22, -27 = 2*p - 5*z. Is p smaller than q?
False
Suppose -i = -3, h - 5*h = -5*i + 19. Let x be (8/h)/(-4) - 3. Is -1/43 greater than x?
True
Let p be (-10)/(-4)*(4 + 180/(-50)). Which is greater: -1/123 or p?
p
Let b be 2/(-3) - (-64)/78. Suppose 2*m + 26 = 20. Let w be (6 + -7)/(12/m + 3). Is b greater than w?
False
Let u(n) = -3*n**3 + 2*n + 29. Let d be u(-4). Which is smaller: 2/5 or d?
2/5
Let u = 92 - 92. Is -1/163 > u?
False
Let p = 662/13 - 660/13. Which is greater: p or -1?
p
Let i = -10 - -15. Let x(b) = -b - 2*b - i + 2*b. Let u be x(-13). Are 10 and u unequal?
True
Suppose 4*g - 28 = -4. Suppose -3*r = -r + g. Let t be (-11)/7 + r/(-3). Is t < -0.1?
True
Let i(q) = q**2 - 20*q - 1. Let z be i(20). Which is smaller: z or -1/9?
z
Let d = 141.5 - 133.31. Let x = 0.19 - d. Is x < -1?
True
Let m be (1 + (-3 - -4))/(2/(-4)). Let l be 2*-2*(165/(-42) - m). Is l at most as big as -24?
False
Let r = 2.7 - 28.1. Let s = r - -24. Let l = s + 1.4. Which is smaller: l or -1?
-1
Let a(p) = -p**3 + 5*p**2 + 4*p + 13. Let r be a(6). Which is bigger: r or 260?
260
Let f be -3*10/6 - (191 - -1). Is f smaller than -196?
True
Let i be 2 - (-10 + 3/3). Suppose 8 = i*v - 3. Is v not equal to -1/9?
True
Let r be -6*((-1694)/105)/(-11). Which is smaller: r or -10?
-10
Let z = 43 - 41. Suppose 5*j = -z*i + i + 4, -3*i + 12 = -j. Which is greater: j or 2?
2
Let r = -2 - -6. Let m = -179 - -184. Suppose -r*v = v + m. Do v and 0 have different values?
True
Let h = 3372 - 2537. Which is bigger: 1/5 or h?
h
Let x(j) = j + 11. Let y be x(-13). Let o be (-7)/y*(-48)/(-84). Which is smaller: o or 13/7?
13/7
Suppose 5*z + 3 = 2*z - o, -3*z - 3 = -3*o. Let k = 5 + -7. Let t be k - ((-4)/2 + 2). Which is smaller: z or t?
t
Let x(z) = z**2 - z + 20. Let v be x(0). Let l = 28 + -9. Let d = l - v. Which is greater: d or 5?
5
Suppose 4*f + 6116 = 2224. Which is smaller: -975 or f?
-975
Suppose c - 3 = -4*z, -4*c = c - z + 6. Which is smaller: c or 6/113?
c
Let y(n) = -n**3 - 12*n**2 - 34*n + 10. Let z be y(-7). Which is smaller: 50/17 or z?
50/17
Suppose -3 + 0 = -i. Suppose -i*b = 3*y - 57, -b + 7 = -y - 18. Which is bigger: b or 21?
b
Let j = -34 + 36.4. Let f = 2.48 - j. Does -1/2 = f?
False
Let f = 223 + -244.6. Let x = 3.4 - f. Let b = 25.2 - x. Is b greater than 2?
False
Let j = 11.9 + -12. Let d = 9.5