
Let h be (10/3)/(5/15). Let w(k) be the second derivative of k**4/6 - 28*k**3/3 + 33*k**2 - 145*k. Let n be w(27). Which is smaller: n or h?
h
Let h(f) = 13*f**2 - 8*f - 17. Let q be h(-5). Let z be (-1)/q*(-28)/21. Is -1 <= z?
True
Let s(k) = 3*k - 39. Let o be s(14). Suppose 0 = -5*q - 3*p - 7, 0 = -2*q + 2*p - 3 - o. Let i be -6*q/(24/94). Is -0.1 greater than or equal to i?
False
Suppose -5*n + 2*w + 8 = -10, -5*n = -3*w - 22. Suppose -n*t - 2*t = 0. Let m be (14 - 21)/(-1 - t). Which is greater: m or 8?
8
Let b = 184 - 183.9. Let y be 36/6*(0 - 1). Let n = 1 - y. Which is smaller: n or b?
b
Let w be (-3555)/(-18)*(15/(-2) + (-1)/2). Is w not equal to -4736/3?
True
Suppose 6 = -10*i + 4*i. Let w be 3/i + -3 - (0 - 1). Is w less than 4?
True
Suppose w = -w + 3*k + 3, -4*w - k = 1. Suppose w = 4*s + 4*c + 412, -2*s + 2*c + 3*c - 227 = 0. Do s and -107 have different values?
True
Let p = 29715/19 - 66769928/42693. Which is greater: 1 or p?
1
Let m(b) = 395*b + 5227. Let a be m(-38). Is a greater than or equal to 1/2?
False
Let c(u) = 189*u - 187. Let w be c(1). Let v = 0.47 - 0.09. Let y = -0.08 + v. Which is smaller: w or y?
y
Let q(b) = -8*b**2 + 223*b + 28. Let y be q(28). Is 16.815 at least as big as y?
True
Let i be 144/99*9/180. Is i equal to 6?
False
Suppose 67*n - 126*n = -66*n - 34307. Which is greater: n or -4902?
n
Suppose -3*x - 4*z + 16 = x, x + 2 = z. Let v be ((-2)/(-4))/(x/(-62)). Let w be (-1)/(2/(-34 - -2)*(-13)/26). Is w >= v?
False
Let g be -6 - ((-1 - (6 + -9)) + -7). Is g at most as big as 287?
True
Let d = -7.533 - -4.533. Which is smaller: 321 or d?
d
Let z = -122 - -196. Let k = z - 105. Let s = k - -26. Is -1/3 at least s?
True
Let s = 7 - 21. Let z = -13/362 + -14441/1086. Which is smaller: z or s?
s
Let b = 107 - 111. Let f be b/(-12)*9*8/84. Let a = 2.2 + -2.2. Is f greater than or equal to a?
True
Suppose 0 = -2*t + 5 - 3, 2*i = t + 19. Let c(s) = s**2 - 4*s + 3. Let o be c(3). Suppose o = -i*k + 13*k. Which is smaller: k or 1/2?
k
Let m(q) = -q**2 - 86*q - 1068. Let g be m(-71). Is g at least as big as -0.6747?
False
Let t(d) = 23 + 9 - 7 + d. Let c be -14 + 0 + -1 + 5. Let f be t(c). Do 15 and f have different values?
False
Let l = -156 - -161. Suppose -v + i - 268 = 0, 4*v + l*i + 556 + 561 = 0. Which is smaller: v or -274?
-274
Suppose 0 = 2*h + 4*j - 3066, -2*j = -7*h + 11*h - 6174. Does h = 1547?
True
Let z(d) = d**2 + 149*d + 4291. Let a be z(-110). Let y be (356/82)/(-2) + 2. Let m = -162/1189 - y. Is m != a?
True
Suppose -5*v + 4*f = -20, v + 12 = 4*v + 3*f. Let j be 36*(0 + v/(-6) + 1). Which is smaller: 14 or j?
j
Let p = -0.17 + -0.03. Let y = -361 - -340. Which is bigger: y or p?
p
Suppose -2*j + 1 = -4*f - 3, 0 = f + 2*j + 6. Let h = -506 + 518. Let b be (-19)/18 + 6/h + -1. Is b <= f?
False
Suppose 0 = a - 0 - 2. Let h be ((-2)/a)/2*-30. Let n be h/3*4/30*-33. Which is smaller: -21 or n?
n
Let l(p) = -8*p**2 - 4 + 8*p + 8*p**2 - p**2. Let q be l(4). Suppose -15*c = -q*c + 3. Which is smaller: 1/62 or c?
c
Let u = -2 - -5. Suppose u*v + 9 = 201. Suppose -d - 25 = -3*z + v, 2*z - 5*d - 81 = 0. Which is bigger: z or 29?
29
Let k(b) = -3*b**2 + 129*b - 1381. Let w be k(20). Are w and -2/5493 equal?
False
Suppose -40 = 9*n + 5. Let u(p) = p + 5. Let j(q) = q + 5. Let w(a) = -3*j(a) + 2*u(a). Let o be w(n). Which is bigger: o or 4/11?
4/11
Suppose -196*q = -79*q + 74178. Which is smaller: q or -632?
q
Let u(a) = -327*a + 3108. Let x be u(9). Which is smaller: 30 or x?
30
Let i(z) = -197*z**3 - z**2 + 6*z - 8. Let t be i(2). Let c = t - -121346/77. Which is smaller: c or -1?
-1
Suppose 6 = -7*c + 15*c - 2. Let g be (-1)/(-2)*(5 + -1). Let w be (c + 15)*-1 + g + 1. Is w bigger than -14?
True
Let i = -5 + 5.3. Let f = 310/171 - 6371/3420. Which is greater: i or f?
i
Suppose -d - 20 = 2*v - 0, -v + 71 = -4*d. Let k = -53 - d. Let g = k + 22. Which is greater: -3 or g?
-3
Suppose 0 = -23*p + 21*p - 2*z + 80, 0 = 5*z - 10. Let m(h) = -7*h + 202. Let l be m(p). Are -64 and l equal?
True
Let a = 102 - 100. Let u be (-386)/8*-2 - a/4. Let k be (-306)/560 + (u/(-40))/(-4). Is 1 at most k?
False
Let l be 1 + -4 - (-13 + 6). Let w(z) = -6*z**2 + 18*z + 36 - l*z**3 - 29 + 3*z**3. Let p be w(-8). Which is bigger: p or -10?
p
Let p be ((-6)/666)/(7/33945). Let v = 306/7 + p. Let s = -115/148 + v. Which is bigger: 2/5 or s?
2/5
Let y = 2.178 + -0.608. Let w = y - 5.57. Is -6 at least as big as w?
False
Let b = -4379/35 - -626/5. Let s = 662 - 663. Is s at least b?
False
Let i(k) = k**3 + k**2 + k + 11. Let f be i(0). Let m be (f/2)/((-45)/144). Let h = -18 - m. Which is smaller: -2/19 or h?
h
Let y = -30/7 - -32/7. Let c(q) = -40*q**3 - 7*q**2 + 6*q - 1. Let x be c(1). Which is greater: y or x?
y
Let d(w) = -24*w + 227. Let u(i) = -i. Let x(o) = d(o) - 5*u(o). Let k be x(12). Which is smaller: 11/49 or k?
k
Let r be 1653/(-9)*(-3)/604. Let u = r + 2/453. Which is smaller: u or 1?
u
Let x be (40/375)/(-4)*3. Suppose 4*j + 1 = 5*y, 0*y - 3*j = -3*y. Suppose 6*m - y - 5 = 0. Which is bigger: x or m?
m
Suppose 3*y + 0 + 9 = 0. Let j be (2 + 10/y)/(4/12). Let u be 0/(-3 - 4/j). Which is smaller: u or -1/6?
-1/6
Let w = 142.39 + -22.49. Let b = -120 + w. Which is bigger: -0.311 or b?
b
Let n(d) = -462*d + 7. Let i be n(-8). Let t = i - 25978/7. Which is smaller: -8 or t?
t
Let r be (-4 - 38)/(-6) + -15. Let d be -3*3/(-18) - (-12)/r. Which is bigger: 4/201 or d?
4/201
Let p = 22.623 - 0.523. Let n = -21.9351 - 0.0649. Let g = n + p. Is 45 less than or equal to g?
False
Let v = -1/182 - -1009/1456. Suppose -3166 + 2756 = -205*o. Are o and v nonequal?
True
Let k = -14.8 + 17.8. Let u = -11 + 14.4. Let m = 16.4 - u. Does m = k?
False
Let c = -10.7 - 92.3. Let r = c - -110. Suppose -1 - 14 = 3*o. Is o greater than r?
False
Let h = -758 - -439.7. Let p = 318 + h. Which is greater: p or 90?
90
Suppose -11*d + 10*d + 2 = 0. Let l be d/(-8)*1164/(-3). Do l and 96 have the same value?
False
Let f = 2.051 + -1.987. Which is smaller: f or 3.5?
f
Let v = 3836 - 3916. Let h = 159 - 80. Let k = v + h. Is k at most as big as -0.1?
True
Let w be (-108)/21*(-2176)/(-1792). Which is greater: w or -6?
-6
Let n be (-4)/(-6)*(-45)/198 + (-5)/(-15). Which is greater: n or 900?
900
Let u = -77 - -89. Let j be (0 - -1)/(u/552). Which is smaller: j or 44?
44
Let r = -428.2 + -73.8. Let y = -502 - r. Let q be 2/(-3)*(-1 + -1). Is y equal to q?
False
Let a = 188 - 191. Suppose 3*o - 27 = -2*t, t - 3 = 4*o + 16. Let y be 1 - (a + 55/t). Is y bigger than -5?
True
Let y = -1329314 + 1012937525/762. Let x = 1/254 - y. Let m = 2.5 - 19.5. Which is smaller: m or x?
m
Let n = -3 - -2. Suppose -4*v = -2*v + 2. Let o be v/(-7)*1 - (3 + -2). Is o != n?
True
Let v be ((-4)/4)/(((-112)/80304)/(32/(-6))). Is v less than -15299/4?
False
Let h be (-1 - (-8165)/2210) + (-4)/8. Let m = -27/13 + h. Do m and -2.7 have different values?
True
Suppose -476*f = -459*f. Is f at least -1/5664?
True
Let b be 7 - ((-4 + -5 - -2) + 14). Let w = 616 + -30799/50. Which is greater: w or b?
w
Let i(f) = 31 - 14*f + 18*f + 15 - 23. Let t be i(-6). Is t greater than or equal to 66?
False
Let q = -8493 + 12770. Let y be (-1040)/q - 4/(-14). Let i = -100/141 + y. Do i and 11 have different values?
True
Let a = -669.7 - -739. Let y = -70 + a. Which is smaller: -1 or y?
-1
Let i be 11 - 10 - 3/7. Let r(g) = g**3 + 5*g**2 + g - 2. Let u be r(-3). Suppose 7*k + 12 = u*k. Is i > k?
False
Let w(b) = -2*b**2 - b + 60. Let i be w(5). Let r be (18/(-81) - 254/(-9))*i. Which is smaller: 142 or r?
r
Let p = -12079/72092 - -19/268. Is 0 at least as big as p?
True
Let b = 1474603/17 - 86799. Is -57 at most as big as b?
False
Let s = -4912 - -4911. Is s at most -74?
False
Let n be ((-41)/(-7))/((-6)/207*(-33)/(-66)). Which is greater: n or -405?
n
Let t = 1486/3 - 491. Let s(o) = 1158*o + 47483. Let j be s(-41). Is t at most j?
True
Let q(g) = -g**3 - 4*g**2 + 2*g + 5. Let d be q(-3). Let i be (8/7)/(d/(-35)). Suppose -2*j + j = 4*n + 13, 4 = -i*j. Which is greater: -20/7 or n?
-20/7
Let z = 12/2065 + 20472/741335. Let m = 62131/718 - z. Which is greater: 86 or m?
m
Let i be 2/(-12) + (910/60)/13. Which is bigger: i or -3/473?
i
Suppose -3*j - 2*o = 59, 4*j + 76 = -6*o + 2*o. Let x be 160/(-10) 