Which is bigger: -7 or k?
k
Let m(a) = a**2 - 2*a + 8. Let y be m(3). Suppose -2*w + 13 - 7 = 0, -5*w + y = 4*k. Is k not equal to 3/181?
True
Let c = 0.391 - 0.4086. Let a = c - 0.0824. Which is smaller: 297 or a?
a
Let m = 71173/108 - 659. Let o = -19175 - -19175. Is m at most o?
False
Suppose -4*u + 24 = 5*j, -28 = -u - 3*u - 4*j. Suppose -3*a = 2*k - k - u, k - 41 = 3*a. Let t = k + -26. Which is bigger: 8/11 or t?
8/11
Let h be 30*-1*1*(-3)/6. Let l be (17/2)/(-2 - h/(-6)). Suppose 4*v + l = -23. Which is bigger: v or -8?
-8
Let y(j) be the first derivative of -j**3/3 + 2*j**2 + j - 1. Let g be y(5). Let s = 6439.03 + -6439. Are s and g equal?
False
Let d be ((-15)/10)/(3/64). Let i(s) = s**2 - 11*s - 30. Let w be i(11). Is w equal to d?
False
Suppose -2*j + 48 = d + 3*d, 81 = 5*j - 3*d. Let c = j - 269/15. Which is bigger: 1 or c?
1
Let k = -27 + 4. Let s be (-2)/4 + 450/4. Suppose 4*b - 3 - 13 = 0, -4*t - s = -3*b. Is t at most as big as k?
True
Let r be 3/18 - (-2 + 98/12). Let z(y) = -y**3 - y**2 + 22*y + 8. Let n be z(r). Suppose -5*p = 15, 5*g - 2*p - 312 = -31. Which is bigger: n or g?
n
Let r = -405 - -411.02. Let t = -42.98 - r. Is -2 at least as big as t?
True
Let p = -2948/7 + 6269/28. Which is bigger: p or -2/7?
-2/7
Suppose -54 = -2*w - 56. Let u be (w - -84) + (-23 - -21). Is 84 greater than or equal to u?
True
Let g(b) = b**2 + b + 14. Let a be g(0). Let m be (-4)/a + (-1222)/140*-17. Let n = 148 - m. Is n less than or equal to 1?
True
Let a(t) = -2*t**3 - 16*t**2 - 35*t + 18. Let z be a(-6). Which is smaller: 12 or z?
12
Let s = -1669083/16 + 104268. Which is bigger: -50 or s?
s
Let q(y) = -y**3 - 9*y**2 + 11*y - 9. Suppose -3*v + 4*v - 2 = 0, -f + 52 = v. Let t = 40 - f. Let c be q(t). Are c and -19 unequal?
False
Suppose -6*a + 3*a = -12. Let b be 3/6 + -2 + 26/a. Suppose -4*o + b*h = 4 + 34, 0 = 2*o + 3*h + 8. Which is greater: o or -4?
-4
Let r = -36 + 41. Suppose -4*b + 3 + 5 = 5*y, -r*y - 5*b + 5 = 0. Let i = 391/87 - -5/29. Which is smaller: i or y?
y
Let w = 1969 + -1968. Is -435 >= w?
False
Let i = -477893 - -1693174913/3543. Which is smaller: 1 or i?
i
Let x = 618 + -519. Suppose -3*n - 4*b + 84 = 0, -6*n + b = -3*n - x. Let y(p) = 15*p. Let o be y(2). Which is bigger: o or n?
n
Suppose 35300 - 667138 = -147*q + 25*q. Which is smaller: 5180 or q?
q
Let j(u) = -6*u**2 + 9*u + 18. Let p be j(3). Is p greater than -94?
True
Let s(p) = p**2 - 3*p - 60. Let o be s(-6). Let z be 1 + o - 9/207*-73. Which is smaller: z or -2?
-2
Suppose 2*q + 25 = 2*g + g, 0 = 3*g + 2*q - 5. Suppose -38 - 57 = -5*b + g*h, 2*b + 5*h = 17. Suppose -32 = b*v - 20*v. Is 8 not equal to v?
False
Let o(q) = -8*q - 38. Let w be o(-5). Let n be (((-21)/w)/(-7))/(213/(-12)). Which is smaller: n or 1?
n
Let c(q) = q**2 - 1. Let w be c(-4). Let l(x) = -32*x - 430. Let z be l(-14). Which is bigger: w or z?
z
Let a(c) = -9*c - 11. Let q be a(-8). Suppose 40 = 2819*k - 2829*k. Which is smaller: q or k?
k
Let r = 1795702886/213129 + 40/30447. Let p = -8404 + r. Is 20 less than p?
True
Let s(f) = 13*f - 46. Let w be s(4). Suppose 5*r - 4*r = 5. Suppose -5*i + 3*h - 5 = 0, r*i - 2*i + 3 = -4*h. Which is bigger: i or w?
w
Suppose -4*l - 37*y = -39*y + 14, -3*y + 19 = -5*l. Is l at least as big as 316/3?
False
Let i be -8 - (-22 + 6 + 9). Which is smaller: i or 154/197?
i
Let a be (-1 + -5 - -1 - 3787) + -8. Is a < -3798?
True
Let u = 2.6 - -0.4. Let x = 103877204/221065 + 4/11635. Let n = -470 + x. Is n at most as big as u?
True
Let s = 0.209 - 474.209. Let t = -474.048 - s. Is -1 bigger than t?
False
Suppose 0 = -k + 4*k - 6. Let d = -1 + k. Let w be (-13)/(-2) + -5 - (-164)/(-104). Is d less than or equal to w?
False
Let n = 40 - -184. Let m = n + -225. Which is smaller: 1/213 or m?
m
Let b = -59 - -82. Suppose -p + b = -4*i, 0*p + 5*i + 13 = -p. Suppose -1 = 2*h - 9. Which is bigger: h or p?
p
Let s(z) = -z**2 + 506*z + 2556. Let p be s(-5). Is -3/28 not equal to p?
True
Let a = -4526 - -4525. Which is bigger: a or -1/414?
-1/414
Let o = 17625 - 17252. Which is smaller: 380 or o?
o
Let n = -5797 + 5798. Is n > -21/58?
True
Let p be (3/(-120))/(4312/420). Which is smaller: p or 1?
p
Let n = -0.06136 - -0.26136. Which is greater: n or -1/64?
n
Suppose 871 = 70*s - 319. Suppose 0 = -5*l + 46 + 49. Which is greater: l or s?
l
Let b = -1467 + 1467.052. Let c = 0.092 + -0.14. Let x = c - b. Is 12 greater than or equal to x?
True
Let v = 174.99 - 1.99. Let c = 173 - v. Let l be -13 + (1 - -1) - 0. Which is greater: l or c?
c
Let d = 695 - 591.2. Let n = d - 102. Let m = n + -1.7. Is -1/7 greater than m?
False
Let a = -198 + 330. Suppose -3*n - 24 = -a. Are 34 and n unequal?
True
Let v be (-15)/(10800/234)*(2 - 8). Is 7 >= v?
True
Suppose 2*g + 274 = 4256. Suppose g = -7*b - 1229. Is -461 less than or equal to b?
True
Suppose 5*j = l - 9, -4*l - 3 = 5*j - 14. Let i(w) = -6*w - 32. Let b be i(13). Let d = b + 113. Is l at most as big as d?
False
Let a = 28716 + -28729. Is 33 equal to a?
False
Let j = 1216703/1500 - 67394/125. Let q = 272 - j. Let u(k) = k**2 + 6*k + 6. Let f be u(-5). Is q smaller than f?
True
Let m = 2726 - 2727. Which is smaller: m or -9/899?
m
Let s be (9 - (-966)/(-98)) + (-11112)/21. Which is smaller: s or -532?
-532
Suppose 2*j + 102 - 66 = -16*j. Do j and 225 have the same value?
False
Let u = -2176 + 2175.6. Which is smaller: 297 or u?
u
Suppose -15*h - 9*h + 282080 = 19*h. Is h not equal to 6561?
True
Suppose -70 = -19*o + 424. Let w = o + -26. Does w = -2/1227?
False
Suppose 0 = 4*d - 5*s - 393, -33 = d - 2*s - 135. Let t = d + 0. Let u = t + -108. Is u greater than or equal to -16?
True
Suppose 0 = 475*k - 587*k - 8624. Which is smaller: k or -87?
-87
Suppose 23*g = 17381 + 236723. Are 11047 and g non-equal?
True
Let x be 130 + (14 - 6) + 0. Suppose -x = 2*s + 64. Which is smaller: s or -102?
-102
Suppose -5*r + 2 = -3*w, 2*w = -3*r - 9 - 24. Let x(m) = 2*m**3 - m**2 + 96*m + 1. Let p be x(0). Is p != w?
True
Let r = -25/1139 - -148867/6626702. Which is smaller: 1 or r?
r
Let g = 1014/4085 - 28/95. Let k = -27 + 60. Let z = 34 - k. Is z greater than or equal to g?
True
Suppose -1 = -5*w - t - 0, -3 = -3*w - 3*t. Let d be (-2)/(38/(-1951))*168/(-24). Let y = d - -719. Which is bigger: y or w?
y
Let x = 608 + -361. Let o = x + -237. Is o not equal to 0.28?
True
Let a(d) = 2*d - 29. Let u = 135 - 125. Let z be a(u). Which is smaller: -13 or z?
-13
Let p = 226051189837/8609475 + -13889471/529. Let x = p + 4/3255. Which is greater: -1 or x?
x
Let h = -459 - -458. Let z be 1 - 4 - h - (-3 - -1). Let q = -95123/58 - -1640. Is z greater than or equal to q?
True
Let y = 54 - 38. Let m(u) = -3*u**2 - 21 + 12*u - y + 2*u + 2*u**2. Let o be m(7). Is 11 smaller than o?
True
Suppose -t + 22*t + 21222 = 3*t. Is -4711/4 < t?
False
Let c = -81 - -74. Let u be 15/3 - 1*c. Let n be (1*u/10)/(24/(-60)). Which is smaller: 8 or n?
n
Let t be (-63 - -64)/((0 - -2)/10). Let k(f) = f**3 - 9*f**2 + 18*f + 10. Let u be k(t). Is 2/63 at most u?
False
Let k = -286356/5 + 57292. Let c = -8 - -29. Is k less than c?
True
Let d(a) = a**3 - 3*a**2 - 5*a + 10. Let s be d(4). Let h be (-2)/3 - (-4)/s. Which is smaller: h or -2/197?
-2/197
Let a = -1/484 + 28559/1452. Is a at most 0.13?
False
Let u be -3 - 89/(-31)*1. Let k = -26.1 - -25.933. Let i = k - -0.067. Is i equal to u?
False
Let u = -1 - -2. Let k = 61 + -48. Let j be (-24)/23 + (k - 12). Does u = j?
False
Suppose -189 = 245*s - 266*s. Is s at most as big as 0.14?
False
Let i = -1774 + 1772. Let g = -269733213/212773576 + 3/1882952. Let z = g - -2/113. Is i greater than z?
False
Suppose -3*f - 312 + 2213 = -2*v, -5*v + 3185 = 5*f. Suppose 0 = 17*j + f + 402. Is j <= -60?
True
Let g be (-7)/(10/(-12) + (-14)/(-42)). Suppose -2*y + 2 = g. Which is smaller: y or -8?
-8
Let r = -0.08988 + 687.08988. Is r at most as big as -3?
False
Let i(f) = -f**3 - 3*f**2 + 3*f + 4. Let s be i(0). Let n be (6*(-4)/272)/((-3)/s). Is 0 equal to n?
False
Let w = -2.61 + -0.39. Are 0.23 and w equal?
False
Let k(h) = h**2 - 6*h - 37. Let y be k(-6). Suppose 40*s = y*s + 825. Do s and 166 have different values?
True
Let j = -6774 - -6798. Which is smaller: j or 26?
j
Let h be 1*(-6 + (-3 - -2)). Let d = 19 + h. Let x be 132/(-16) 