0 at most as big as u?
True
Let b(x) = x**2 + 19*x - 12. Let g be b(-20). Let h be (328/130 - g/(-20)) + -3. Which is smaller: h or 1?
h
Let c = -2189/2 - -995. Is c greater than or equal to -100?
True
Let a = 626.3 - 591. Let l = -35 + a. Which is smaller: l or -8?
-8
Let a = 656 + -617. Do a and -1 have different values?
True
Let w be ((-120)/160)/(33/40). Let z = 5 - 5. Let o be 2*(-1)/2*z. Which is greater: w or o?
o
Let s(u) = u - 2. Let z be s(2). Let k be (-4 + 4135/(-20))/45. Let h = k + 19/4. Is z greater than h?
False
Let f = 330 - 329. Which is bigger: -1/2975 or f?
f
Suppose 3*q + 2*q = 0. Suppose 3*p - 5*x + 19 = 0, 5*p + 5*x + q + 45 = 0. Let y = 5 + p. Which is smaller: -5 or y?
-5
Let u be (6 + -1)*(27 - 12). Which is bigger: 151/2 or u?
151/2
Let o(s) = -1813*s - 1. Let a be o(-7). Let d = -279109/22 + a. Let f = -30/11 + d. Is -0.02 greater than or equal to f?
False
Let u(p) be the first derivative of -p**2 - 2*p + 13. Let h be u(5). Is h less than -13?
False
Let n be 3 - (4 + 2 + -3). Suppose n = -4*m - m - 975. Let b be m/221 + (-2)/17. Is 0 smaller than b?
False
Let c be (-3 + 2 + 0)*200/(-20). Let t be 42/(-1)*c/40. Which is greater: t or -11?
t
Let w = -32 - -36. Let b = 4 + -1. Suppose 5*c - b*c + 4 = 0. Which is greater: c or w?
w
Let o(b) = b**3 + 7*b**2 - 6*b + 2. Let a be o(-7). Let l be (-10)/(-55) + 14/a. Do -3 and l have different values?
True
Let w be 16/24 - 1/(-3). Is -3/41 less than or equal to w?
True
Let w(t) = t**2 - 3*t. Let b be w(4). Suppose -4*u = -q + 3*q - 64, -b*q = 0. Suppose u = -5*z + 31. Is 4 greater than or equal to z?
True
Let p = 2298 + -2299.6. Is p <= -0.1?
True
Let w(o) = 5*o**2 + 17*o - 2. Let q(d) = 11*d**2 + 35*d - 3. Let k(j) = -3*q(j) + 7*w(j). Let s be k(-8). Is 11 not equal to s?
False
Let x = -38.4 - -30.5. Which is smaller: 0 or x?
x
Let v = 284 - 854/3. Is -0.256 less than v?
False
Let r = 154 - 285. Let b = r - -1181/9. Which is greater: b or -2/9?
b
Suppose -5*y + 4*v + 157 = 0, -v - 14 - 50 = -2*y. Which is greater: y or 25?
y
Let x(o) = -5*o**3 - o**2 + o + 1. Let w be x(-1). Let f(k) = 2*k - 9. Let n be f(w). Is 0 >= n?
True
Suppose 2448 + 912 = 16*k. Is k bigger than 211?
False
Let w(x) = -x**3 + 9*x**2 - 15*x + 6. Let v be w(7). Which is smaller: -0.74 or v?
v
Let m be (-1 - 0)*(-19 + 19). Let x be (22/(-6) - m)*3. Let a be (-1 - 1) + 18/8. Which is smaller: a or x?
x
Let f = 211 - 210.7. Is f != -0.03?
True
Let j = 28.4 + -28.2. Which is bigger: j or 105?
105
Let h = -19970/559 + 488/13. Is h at most 2?
True
Let v be (-4 + (-92)/12)*-3. Which is smaller: 242/7 or v?
242/7
Let l(s) = -s**3 - 5*s**2 - 1. Let p be l(-5). Let o = -4/67 - -6/2345. Which is smaller: o or p?
p
Suppose 4*o + 1 = 69. Let n = -51 + 35. Let c = n + o. Which is smaller: c or 1/18?
1/18
Let x(u) = u**3 - 16*u**2 + 6*u - 92. Let a be x(16). Let n be (-2)/(-9) - 25/(-90). Which is smaller: a or n?
n
Let o = 0.61 - -4.69. Let t = o - 0.5. Let n = t - 5. Are n and 2 non-equal?
True
Let d = -5 + 4.6. Let n = 724 - 724.07. Is n < d?
False
Suppose 18*z - 30*z = 12. Is z smaller than 2/135?
True
Let g(n) = -46*n**3 - 16*n**2 - 15*n + 1. Let q be g(-1). Is 41 not equal to q?
True
Let x(r) = 2*r - 7. Suppose 0 = s + g - 8, 5*s - 4*g + 2*g - 26 = 0. Let c be x(s). Suppose 13 = 4*n + 5*k, c*k = -2*n + 5 + 4. Is n <= 2?
True
Suppose 7*n + 118 = 2*j, 106 = 2*j + 2*n - 12. Let l(o) = o**2 - 8*o - 6. Let u be l(-5). Is u >= j?
True
Let p = -0.0539 + -0.0461. Which is greater: -50.2 or p?
p
Let s be (1/(-2))/(4/32). Let y be 15/(-12) - (-3)/s. Let l(t) = 5*t + 3. Let j be l(y). Is -7 != j?
False
Let l be (-4 + 7)/((-6)/(-4)). Let u(w) = 2*w**2 - w - 1. Let o be u(l). Let a = -43/66 - 1/66. Which is bigger: o or a?
o
Let s = 175 - 25. Suppose 7*m = 2*m - 5*v - 160, -5*m - s = -5*v. Which is greater: m or -30?
-30
Let q(c) = -c**2 - 16*c + 3. Let d be q(-10). Let v be (-2)/((-6)/3) - d/(-70). Is 3 less than v?
False
Suppose 0 = 2*n + 3*d - 47, 0 = 5*n + 68*d - 66*d - 145. Does n = 266/9?
False
Let q(s) = -s - 21. Let n be q(-26). Suppose -3 = 2*p + n. Let h be (1/(-2))/((-2)/(-16)). Is h bigger than p?
False
Suppose 5*x - 2*f - 189 = 0, 0 = 3*x + 3*f + 58 - 184. Let d = -1546 + 1585. Is x != d?
False
Let z(c) = -15*c - 16. Let i be z(-1). Is i smaller than -1/412?
True
Suppose 8*f = -28 - 4. Let n be (-6 + 2)*(f + 5). Suppose i + 0*i - 11 = 4*w, -4*w + 4 = -4*i. Is n smaller than i?
False
Let s = -0.315 + 0.215. Does 185 = s?
False
Let l = -2.7 - -2.57. Let v = -1.87 + l. Which is greater: -2/35 or v?
-2/35
Suppose 5*f + 15 - 35 = 0. Let s = f + -2. Is s at least as big as 0?
True
Let z be (-540)/(-297) - 4/(-22). Is z greater than 3?
False
Let c(u) be the second derivative of u**4/12 - 2*u**3/3 - 7*u**2 - 7*u. Let x be c(6). Let p = 3 + -4. Which is smaller: p or x?
x
Suppose -9 = -46*d + 43*d. Suppose -i - 4 = 3*r, -2*i = -d*r + 5*r. Is r at most -28/9?
False
Suppose 17*g + 1894 = 245. Are g and -94 nonequal?
True
Let m be ((-3)/2)/(288/264). Which is greater: m or -2?
m
Let r = -14 - -19. Suppose r*z = -3*a - 0*z - 155, 0 = 4*a + 5*z + 200. Let m = a + 63. Which is smaller: 17 or m?
17
Suppose r + 2 = 0, -5*d + 55*r - 52*r = -26. Is 33/7 at least as big as d?
True
Let u be (5 - (-112)/(-20))/((-10)/(-50)). Suppose 10 = -5*z + q, 4*z - 7 = -3*q + 4. Are u and z equal?
False
Suppose -5*r = -2*j - 4, 2*r - 3*j - 12 + 6 = 0. Let y be 2/3*(-9)/(-6). Which is greater: y or r?
y
Let d = -2.9 - -3. Let j = -414.2 + 381. Let b = -33 - j. Is d at least as big as b?
False
Let h = 797 + -818. Which is smaller: -22 or h?
-22
Let q = -127113/5 - -25561. Which is smaller: q or 139?
q
Suppose 273*x - 277*x = 0. Is 4/253 >= x?
True
Let j = -1/309 + -1847/2163. Suppose 14 = -4*q + 5*n, -16*n = -20*n + 8. Which is greater: q or j?
j
Let x(y) = y**2 + 12*y + 8. Let n be x(-11). Let a = -8 - -11. Let i = n + a. Is -1/3 equal to i?
False
Suppose 0*s - 4*s - 12 = 0, -5*h - 570 = 5*s. Is -110 at most h?
False
Let l(z) = z**2 + 14*z - 19. Let f be l(-16). Which is bigger: f or 12?
f
Let r = -59 - -59. Let v be ((-21)/12 + 2)*16/(-76). Is r greater than v?
True
Let g(x) = -15*x + 5. Let q be g(5). Let l = 391/6 + q. Is l less than or equal to -4?
True
Let h(p) = -p**3 - 6*p**2 + 7*p - 5. Let g(r) = 3*r + 8. Let k be g(-5). Let b be h(k). Is -4 less than b?
False
Suppose -60 = -x - 5*x. Let v(y) = -9*y**2 - 2*y - 1. Let a be v(-1). Let n be x/a + 3/6. Which is bigger: 0 or n?
0
Suppose o + 10 = j - 12, -3*o - 65 = -4*j. Let p(s) = -s**3 + 26*s**2 - 26*s + 4. Let m be p(25). Which is greater: o or m?
m
Let p = 164 - 114. Let z be (775/p)/((-1)/(-2)). Suppose 5*f + z = 5*t - 94, -16 = f + 2*t. Is -22 >= f?
True
Let r(o) = -22*o**2 + o + 3. Let t be r(-1). Which is smaller: -41/2 or t?
-41/2
Let f = 9 + -4. Suppose c + f*n = -24, -4*c + 0*c + 2*n + 14 = 0. Is c less than or equal to -31?
False
Let h = 46 + -45. Are h and 4/245 nonequal?
True
Suppose -4*m + m = -v + 11, m = 5*v - 13. Suppose v*u - 8 = u. Let f be (-50)/(-18) + u/36. Which is bigger: f or 2?
f
Let m = -62 + 36. Let f = -732 - -706.05. Let z = m - f. Is z less than or equal to -2?
False
Suppose 2*g - g = -5*h + 22, 2*h + 3*g = 1. Let w(a) = 2*a**2 - 9*a + 8. Let p be w(h). Which is smaller: 12 or p?
12
Suppose 4*c - 16 = -0*c. Let x(m) = 16*m - 63. Let l be x(4). Which is greater: c or l?
c
Let v = -20 + 49. Is v < 25?
False
Let a(i) = 3*i - 10. Let q be a(9). Suppose -q = -5*b - 2. Is b <= 4?
True
Let s = 48 - 70.2. Let l = -1.21 + -21.79. Let x = s - l. Is -1 < x?
True
Let l be (114/133)/((-2)/434). Let x be 787/l + 4 - (-3)/18. Which is smaller: x or 1?
x
Let q = -226 - -47. Do -179 and q have the same value?
True
Let y = -25 + 41. Let r = -0.12695 + 0.02695. Is y < r?
False
Let b(v) = -v**3 - 2*v**2 + 37*v - 11. Let w be b(5). Suppose 0 = 3*x - 4*x. Which is bigger: w or x?
x
Let c = 7.86 - 1.46. Which is smaller: c or -1?
-1
Let a(j) = -j**3 + 25*j**2 + 22*j + 103. Let s be a(26). Are s and 0.0813 non-equal?
True
Let j be 4/(-18) - 8/(-18)*-67. Let s = -7 - j. Which is smaller: 24 or s?
s
Let r(a) = -14*a - 2. Let f be r(-1). Suppose p - f = 4*p. Let k = -9/2 - p. Which is greater: k or -1/3?
-1/3
Let q = -4.6 + 5. Let b be (6/15)/(3/90). Let d be (6/(-36))/(3/b). Is q at 