) = -m + 1. Let k(n) = n**2 + n. Let p(u) = k(u) - q(u). Let v be p(-2). Let f be (9/(-126))/(v/(-4)). Which is smaller: f or -0.1?
f
Let u = -12076 + 12062. Which is greater: -4/69 or u?
-4/69
Suppose -2511 - 1353 = 21*g. Which is bigger: -178 or g?
-178
Let v = 3068.956 + -3069. Does v = -0.11?
False
Let n be 3/(3/5) - 85/85. Let z be (n/6)/(-2)*-141. Is 49 at most as big as z?
False
Suppose -182*d + 186*d + 3*p = -19, -2*d = -3*p - 13. Let o be -3 - (1202450/(-199906) + 3). Let g = 3/917 + o. Which is smaller: d or g?
d
Let d = 269 + -265.38. Let j = -3.32 + d. Is j bigger than -2/5?
True
Let n be 71939/(-430) + (-6)/(-20). Which is bigger: n or -156?
-156
Suppose -119*z + 16 = -127*z. Do 0.0993 and z have the same value?
False
Let f(b) = -2 + 16 - 6*b + 20 - 3. Let g be f(4). Let n(l) = 3*l**2 - 15*l - 17. Let u be n(g). Are 1 and u nonequal?
True
Let l = 107 + -110. Let y be 44/l - (-2)/(-6). Is y bigger than -14?
False
Suppose 0 = -10*a + 9*a - 4*q - 32, -7*a + 4*q = 352. Which is smaller: 1.21 or a?
a
Let d = -2.5 + 2.6. Let p = -12.81 + -0.19. Let m = 21 + p. Which is smaller: d or m?
d
Let a be (-1)/((-2)/4*-13) + 1121462955/287820. Which is greater: a or 3895?
a
Let d = 3/1034 - 2259/1034. Suppose 30 + 5 = 5*o - 5*n, -23 = o + 5*n. Which is smaller: d or o?
d
Let z(c) = -17*c + 1016. Let y be z(47). Which is greater: 216 or y?
y
Let j = -8684 - -6242. Which is smaller: j or -0.2?
j
Suppose 24*l = 29*l + 1350. Let a = l + 145. Which is smaller: -124 or a?
a
Let d be ((-18)/27)/(2/(-117)). Let p = d - 27. Suppose -j - p = -2*o, -5*j + o + 4*o - 45 = 0. Which is smaller: j or -5?
j
Let v = -660.06 + 9.06. Let z = v + 628. Which is bigger: 0.05 or z?
0.05
Let w be (-2)/(-16) - ((-278205)/600 + 2/(-10)). Are 464 and w non-equal?
False
Let f = -272 + 272. Let h = 0 + 8. Let r be (-13)/(-5) + (h - 11). Which is smaller: f or r?
r
Suppose -14*b = 2 + 26. Let m be b*(-2 - -3)/(10 + -5). Which is bigger: 12/7 or m?
12/7
Let w(r) = r**3 - 105*r**2 - 232*r - 11. Let z be w(107). Which is smaller: z or -1935?
z
Let o = 1677 - 1664. Which is greater: o or 25/2?
o
Suppose -2*q = -5*p - 29, 4*q - 8*q = -5*p - 53. Suppose -q*c + 303 = 39. Is c at least 1?
True
Let w be (0 - 40/(-25))/((-31)/((-21080)/304)). Is w at most as big as 4?
True
Suppose 23*f + 4*p - 56 = 19*f, 3*f + 5*p = 46. Let z be 9/f - 798/552. Which is greater: z or -1?
z
Let n = 78 + -51. Suppose 1 + n = -m. Let h = 5648 - 5676. Is m equal to h?
True
Suppose 30 = 10*y - 4*y. Suppose j - 3 = -2*z, y*j + 5*z = 25 - 5. Suppose 2*r + 2*q = 3*r + 4, -2*r = -j*q + 10. Is -0.4 at least r?
False
Suppose 2*u + 7 = 2*s + 1, -5*s = 5*u - 5. Let r be (1/(-5) + (-15 - 4992/(-360)))*(-106)/4. Is u at most r?
True
Let o = 25721/700 - 257/7. Let p = -4552 + 4553. Which is bigger: p or o?
p
Let g(l) = -l**3 + 43*l**2 + 52*l + 494. Let t be g(45). Which is greater: t or -2?
-2
Let f be ((-57725)/20 - 1)/(32/128). Is f <= -11549?
True
Let i(f) = 2*f + 8. Let z = -13 - -3. Let c be i(z). Let v = 32 + -43. Which is smaller: v or c?
c
Let v = -856.4 - -855.4. Which is greater: v or -0.9916?
-0.9916
Let y(o) = o**3 + 26*o**2 + 89*o - 90. Let t be y(-17). Do 998 and t have different values?
False
Let u = -16 + 11. Let p(h) = -6*h**3 - 199*h**2 - 30*h + 125. Let k be p(-33). Which is greater: u or k?
k
Let w = 2/3405 - 6832/37455. Let y = -283 - -204. Which is smaller: y or w?
y
Let a be 40/(-1100)*1/(-22). Suppose 19 = -747*i + 766*i. Which is greater: i or a?
i
Let h be 4/6 + (-76)/(-3). Let w(j) be the first derivative of -4*j**3/3 + 33*j**2/2 - 9*j + 64. Let t be w(7). Are h and t unequal?
False
Let t be ((-3664)/(-18))/(11128/(-1284)). Is -24 smaller than t?
True
Suppose -8*a = 5*i - 12*a - 468, -5*i + 465 = -5*a. Let s be (i/10)/((-150)/(-1000)). Is 65 <= s?
False
Let m be (282/12 - 24)*2. Suppose -b - 2 - 3 = 0. Let h be (-6)/(-1 - (2 + b)). Is m > h?
True
Let o be (-3*1/(-3))/1. Let s(r) = r**2 + 45*r + 37. Let f be s(-44). Let m = o + f. Is m bigger than -5?
False
Let n = -35 + 57. Suppose w = 5*l - 13, -5*w + n = l + 3*l. Suppose 4*y - 5*t = -13, 4*y = 4*t - 15 + l. Which is smaller: y or 0?
y
Let k be 44/18*(-6)/(-12). Let l = 569/99 + -40/11. Let d = k + l. Which is greater: d or 3?
d
Suppose -4*m + 236 = -k + 3*k, 3*k - 374 = -2*m. Suppose 0*j - j = -q + k, -3*j = -5*q + 650. Let f be (-38)/q - (-19)/(-7). Is f at least as big as -23/7?
True
Suppose p + 237 = -3*k, 5*p - 38*k + 39*k + 1129 = 0. Is -5/8 greater than p?
True
Let m(n) = -n**3 + 3*n**2 + 40*n. Let r be m(8). Suppose r*v = 8*v - 216. Which is smaller: v or 30?
v
Suppose -57*v + 52*v + 130 = 0. Suppose -15*f + v + 544 = 0. Which is bigger: f or 40?
40
Let m be -7*(-4)/112*2*24. Is 221/21 bigger than m?
False
Let g = 40766 - 40764. Suppose -v = 22 - 4. Let n = 4 + v. Is g greater than n?
True
Let g = 16 + -16. Let d be (-8)/176 + (-243)/12078. Is d > g?
False
Let c = -21044 - -21045. Which is greater: -31/304 or c?
c
Let w = 4231 - 6543. Is -2311 bigger than w?
True
Let b(h) = -80*h + 131. Let c be b(5). Is -268 not equal to c?
True
Suppose -4*g + 2*c - 160 = -6*g, -5*c + 25 = 0. Suppose -63 = 4*y - g. Let x = 17 - 12. Which is smaller: x or y?
y
Let s be 36 - 3 - (0 + (1 - 0)). Let u be s/(-17) + (-46)/391. Let n = 8 - 1. Is n at least u?
True
Suppose -30 = -5*n - 4*j, 0 = -3*n + 4*j - 6*j + 20. Suppose -2*u + 4*r + 36 = -12, 0 = 4*r - 4. Let d be u/(-13) - -5*(2 - 1). Which is bigger: d or n?
n
Suppose -2*i + 184 = 2*i. Let x = i - 64. Let l(h) = h**2 + 17*h - 40. Let v be l(x). Is -23 < v?
True
Let v = 1658/301 + -28/43. Let a be ((-4648)/(-462))/(14/(-6)). Let c = a + v. Which is smaller: 2 or c?
c
Let v = -84/47 + 1589/705. Let o be -1*3 + (-4)/(-1). Which is greater: v or o?
o
Let i(p) = -4*p + 32. Let g be i(8). Let w be (g/(-13))/((-3)/1). Is w not equal to 22/5?
True
Suppose -3*k - 3 = 0, 0*v + 123 = -2*v + 3*k. Let a = v + 946/15. Suppose 8*j + 4 = -4. Which is bigger: a or j?
a
Let i = -22.8 - 0.2. Let q = i + 24. Which is greater: q or -0.39?
q
Let i(o) = 25*o**2 + 1 - 6 - o**3 + 26*o + 14 - 5. Let h be i(26). Suppose -15*d + 19*d = h. Is 1/17 at most as big as d?
True
Let c = 35 + -30. Suppose c*y - 77*v = -80*v + 12, -2*y + 3*v + 9 = 0. Which is smaller: y or -11?
-11
Let i(w) = w**2 - 26*w + 52. Let h be i(24). Suppose 0 = r - 2*b + 50, -b = 2*r + 94 - h. Let s = r - -87. Do s and 41 have the same value?
True
Let x = 1109.3 - 771. Let i = -58.3 + x. Is i less than or equal to 1/5?
False
Let r be (-117)/(-372) + 2/(-8). Suppose -71 - 47 = -f - 5*v, 4*f = -2*v + 436. Let q be 84/f - 2/(-9). Is q greater than r?
True
Let l(v) = -21*v - 176. Let k be l(16). Let r = k - -502. Is r at least as big as -89/8?
True
Let d(s) = 5*s - 87. Let b be d(16). Let k(a) = 5*a**2 + 1. Let m(h) = -14*h**2 + h - 4. Let q(j) = -17*k(j) - 6*m(j). Let z be q(b). Is z bigger than -6/5?
True
Let p(r) = 11*r + 96. Let d be p(-33). Let k = d + 272. Which is smaller: 39/10 or k?
39/10
Let r be 33528/(-28) + ((-204)/(-1666))/(8/28). Which is smaller: r or -1196?
r
Let b(x) = 7*x + 28. Let i = -173 - -162. Let j be b(i). Which is greater: -48 or j?
-48
Let v = -928/55 - -83/5. Let p(g) = g**2 + 7*g - 44. Let h(f) = -f**2 - 7*f + 42. Let m(x) = 7*h(x) + 6*p(x). Let z be m(-10). Is z > v?
True
Let p = 8 - 319. Let s = 296 + p. Let x = 1.1 + -0.1. Which is bigger: s or x?
x
Let p = 762 - 2167. Which is bigger: -1406 or p?
p
Let f = 3410764/57 + -59832. Which is smaller: f or 6?
f
Suppose 0 = 3*s + 12, 0 = z - s + 42 + 262. Let g be (-2 - -3) + 1536/(-5). Let r = g - z. Which is greater: r or 3?
3
Suppose -8*u - 72 + 240 = 0. Let n be 214/(-14) + 6/u*1. Let y be -14 + 17 + 47/n. Is -1/2 less than or equal to y?
True
Let j be 2*236*(-3 - 21/(-8)). Let o be (71 + -9)*(1 + -1 - 2). Let k = j - o. Which is smaller: k or -54?
-54
Let z = -16 + 22. Let x(k) = z*k**2 - 3 + k**3 + 8*k - 5*k**2 + 4 - 6*k. Let g be x(0). Is 1/19 less than g?
True
Suppose -560 = -5*m - 355*w + 350*w, -17*m - 5*w = -1868. Let f be 0 + (-214)/(-2)*1. Do f and m have the same value?
False
Let c be -1 + 2 - -3 - (-22)/(-8). Let f = -0.08 + 34.08. Let s = -31 + f. Is s bigger than c?
True
Let x(b) = b**2 + 15*b + 62. Let j be x(-7). Let r = -5 - -21. Suppose -r*c = -j*c + 110. Is c <=