Suppose -12086 = 5*r + f - 4648, -5960 = 4*r - 4*f. Let w be r/4416 - 4/(-46). Which is bigger: p or w?
p
Let y = 31 - 37. Let d be (-11)/33 - 20/y. Suppose -b - 3*b = 4*k, -1 = d*k + 2*b. Is -6/25 at least k?
True
Let p be ((5 + -11)*3)/(20/90) - -2. Which is smaller: -1018/13 or p?
p
Let n = 3/17396 + 15952099/191356. Which is smaller: 82 or n?
82
Suppose -q - 4*o = 11, 0 = -q - 0*o + 4*o + 29. Let i(j) = -j**2 + 18*j - 96. Let w be i(q). Is -21 bigger than w?
False
Let b = 8729944/1067195 + -499/61. Is b less than -1?
False
Let l be (-6)/(-21) - ((-206448)/22946)/(-34). Which is smaller: 1 or l?
l
Let b = -359.2964 - 0.0036. Let t = b - -360. Which is smaller: t or -8?
-8
Let u = 72984 - 371172/5. Which is smaller: -1249 or u?
u
Let d be (2/7)/(46/69). Let q = -5.83 + 6.1. Is q greater than d?
False
Suppose q + 10 = 64. Let c be (4/q)/(140/9282). Let k = -29/5 + c. Are 2 and k equal?
False
Let p(a) = a**2 - 5*a - 14. Let l be p(8). Suppose -l = -4*s - 2. Suppose 0*b = -2*b - s. Is b greater than or equal to -2/69?
False
Suppose 10*q = -25 - 195. Let t = q + 8. Let m(w) = w**2 + 9*w + 7. Let h be m(-5). Which is greater: h or t?
h
Let z be 2*14/(-12)*3. Let v be -7*(z + 4)/3. Let s = -22 + v. Is -16 < s?
True
Let q = -215.0433 - -0.0433. Let t = q - -221. Is t greater than or equal to -0.18?
True
Let h = 144325 - 302938165/2099. Are 0 and h unequal?
True
Let h be (-3)/7 + (-2560)/(-2072)*571. Let i = 705 - h. Which is greater: i or 1?
1
Let s(f) = f - 43. Let z be s(14). Let k be 61/(-6) + z/(-174). Let y be -3*4*(-2 + 3). Which is bigger: k or y?
k
Suppose 1940*g = 1959*g. Are g and -36/61 equal?
False
Let l be -39 + 26 - 14/(-1). Is l >= 1/15229?
True
Let d(z) = -86*z**2 - 2*z - 1. Let t be d(16). Let k = t + 152737/7. Let q = 229 + k. Are q and 1 unequal?
True
Let c = -15695/8 + 7643369/3896. Do c and -1 have the same value?
False
Suppose 0 = 6*j - 3*j + 30. Let w be j/(-4) + 2/4. Suppose 4*m + w*y + 0*y - 2 = 0, -2*m + 5*y - 12 = 0. Which is greater: -2/35 or m?
-2/35
Suppose -2*r + 5*l = 10, 3*r + 4*l = -2*r + 41. Suppose 5*b + 15 = -5*j - 0, -r*b - 23 = j. Is 11 bigger than j?
True
Let z be 2 + (-16)/10 - 1858/(-5). Let r = 67 - z. Let o = r + 16776/55. Does o = 1?
False
Suppose -3*k + 0*k + 2*q = 0, q + 2*q = 0. Is 1/66 greater than or equal to k?
True
Let g be ((-46)/(-1196))/(19/(3 + 49/(-17))). Which is smaller: 1 or g?
g
Let r(k) = -26*k + 18. Let u be r(2). Let w = u + 82. Let c be (-2 - (-273)/138)/((-4)/w). Which is smaller: c or 1?
c
Let m = 287 + -408.25. Let z = 2.75 - m. Let l = -125 + z. Are l and 42 equal?
False
Let g = 99 - 182. Let a = 49 + g. Let f = 34.09 + a. Is f smaller than -1/2?
False
Let l(t) = -t**2 - 13*t - 8. Let q be l(9). Let z be (8 - (16 + -11))/(3/(-206)). Is z at most as big as q?
True
Let v = -10 + -15. Suppose -s = -3*c + 144, -2*c - 13*s + 10*s = -96. Let g = c + v. Which is bigger: 24 or g?
24
Suppose 12 = -5*a + 4*b, -a - 3 = -4*b + 3*b. Let w = -1782242/59 - -30208. Which is greater: a or w?
w
Suppose 5*n = -20, 5*n = 4*t - 4*n + 2164. Which is smaller: t or -547?
t
Let q be (-2)/29 + 13950/(-281300). Which is smaller: 1 or q?
q
Let k = -3399 + 3397. Is k >= -231?
True
Suppose 928 = -8*s + 72. Let d = s + 107. Let w be 2 - (-4)/(d + -4). Is -1/9 equal to w?
False
Suppose -52 = 3*w + w. Let a(q) = -2*q**2 - 37*q + 694. Let z be a(-30). Which is greater: z or w?
z
Suppose -m + 28 = j, 27*m = -3*j + 31*m + 105. Is j != -5?
True
Let m(b) = -b**3 - 8*b**2 + 3*b + 2. Let g be 348/(-42) - 2/(-7). Let j be m(g). Which is bigger: -23 or j?
j
Let q(r) = r**3 + 11*r**2 - 38*r - 11. Let l be q(-12). Let s = l - 295. Which is smaller: s or -27?
-27
Suppose 0 = -5*t - 12*t + 68. Suppose -t*a = -16, 0 = -0*j - 5*j - a + 9. Which is smaller: j or 37?
j
Let q be (31510/460)/(2/(-8) - 0). Is q != -265?
True
Let s(d) = -385*d - 10. Suppose -2*p + 25 = -5*a + 6, -3*p = 5*a + 9. Let i be s(p). Let l be (4/(-30))/((-40)/i). Which is smaller: -3 or l?
-3
Let t = -237 + 247. Let r = -4.9 + 2.3. Let p = 0.4 - r. Do t and p have the same value?
False
Let z = -47/1518 - -1/506. Let w(f) = -2*f**3 + 11*f**2 + 9*f - 13. Let x be w(6). Suppose 4*o + 13 - 38 = x*k, -2*k = o - 3. Which is bigger: z or k?
z
Let i be 47/44*14 + 16/(-10 + 26). Is i at most 15?
False
Suppose -52*i + 85*i - 792 = 0. Is i at most 36?
True
Let d be ((-5)/((-50)/(-18)))/(26/(-9425)). Is d at least 654?
False
Let m = -0.02182 + -397.97818. Is -2 smaller than m?
False
Let h(d) = d**3 - 7*d**2 + 8*d + 2. Let m be h(-6). Let x = m - -2576/5. Is x bigger than -0.8?
True
Suppose 0 = 2*z + 3*z + 3*u - 1, z + 7 = -3*u. Suppose 4*b - 14 + 22 = z*r, -4*r - b = 2. Which is smaller: -3/140 or r?
-3/140
Let h(f) be the third derivative of f**5/30 - f**4/4 - 4*f**3/3 - 45*f**2 + 2. Let k be h(4). Which is greater: -8/25 or k?
k
Suppose 71*v = 27*v - 64768. Which is smaller: v or -4?
v
Let n(g) = 443*g - 2658. Let w be n(6). Which is smaller: -18074 or w?
-18074
Let t be 1 + 3/(-18)*-7. Let y be (-10 - -4) + (-628)/(-168). Let w = y + t. Which is bigger: 0 or w?
0
Let b = 15735 + -15655. Which is smaller: b or 473/6?
473/6
Let i = -17089236772/13827735 + 2/2765547. Let l = i - -3694/3. Are -4 and l equal?
False
Let b = 224617 - 224301. Suppose 6 = 2*w, 0*u + 1590 = 5*u + 5*w. Are u and b unequal?
True
Let h = 13.8 - 10. Let j = -2.8 + h. Suppose -5*w - 21 = -56. Which is smaller: w or j?
j
Let h = 1095.05 - 1095.1. Is h <= 120/13?
True
Let y = -26505.055 - -26412. Let l = y - 15.935. Let o = 109 + l. Do o and -2 have the same value?
False
Let w = 97 + -120. Suppose -3*d = -3*s + 57, 5*d + 0*s + 115 = s. Is d greater than or equal to w?
False
Suppose -z - 22 = 5*k - 2*z, 2*z = k + 8. Suppose 3 = -19*o + 22*o. Is k equal to o?
False
Let o(a) = -a**2 - 33*a - 191. Let r be o(-8). Let d be (-46)/(-6) - 8/(-24). Suppose 24 = 2*w + d. Which is bigger: w or r?
r
Let v = 60333/40214 - 6/20107. Suppose f + 4*h + 7 = -2*f, -31 = -5*f + 4*h. Which is greater: f or v?
f
Let o be 6/(-56)*(20 + 28). Suppose 43*v - 55 = -270. Which is greater: o or v?
v
Suppose -6 = 3*o - 0*o. Let g be (o/3)/((-6)/27). Suppose 43 = t + 5*z, 17*t = 13*t - 3*z + 36. Is g equal to t?
True
Let h = -306875/140413 - -199/91. Is h greater than -1?
True
Let c be 22/(-33) + 5/3. Which is greater: c or 4/1119?
c
Suppose 5*k = -3*q + 301, k - 5*q - 67 = 10. Which is bigger: k or 55?
k
Let r(q) = -69*q**3 + 9*q**2 - 34*q + 66. Let f(x) = -23*x**3 + 3*x**2 - 11*x + 22. Let a(z) = 8*f(z) - 3*r(z). Let o be a(2). Is 180 equal to o?
False
Suppose 99 = 5*f + 2*v - 424, -4*f + 4*v + 424 = 0. Let j = 19361/187 + -13/374. Is f not equal to j?
True
Suppose 14*s - 4501 - 2039 = 20*s. Is -1092 at least as big as s?
False
Let v = 2001/266 - -219/38. Let j = v + -1493/105. Which is smaller: -2 or j?
-2
Let r be 3192/(-105)*(-30)/12. Is 0 at least r?
False
Suppose 2*c + 31 = 5*c + 2*l, -5*c - 5*l + 50 = 0. Let w be 6 + (-4 - c) + 6. Suppose -2*x - 4 = 6. Which is bigger: w or x?
w
Let r = -108 + 113. Suppose -4*c + 32 = 4*x, 3*c + c = r*x - 4. Suppose 3*q - 31 = c*n, 5*n + 7 = -2*q - 3. Is -2 less than n?
False
Let c = 34989784/1237 + -28286. Which is bigger: 0 or c?
c
Let t be 61/6 - (-12)/(-72). Let z be 5/10*(-10 + t). Is 2/89 greater than z?
True
Let y = 93 - 64. Let b(q) = -q**3 - 19*q**2 + 43*q + 22. Let x be b(-21). Let g be x + 0/2 - -27. Is y at least g?
True
Let f = -347.975 - 1.425. Let q = f - -341. Is q less than or equal to 0?
True
Let f be ((-8)/(-12))/(2/9) + 0. Let t be (-3 + f)/(-2) + -134. Let y = t + 1724/13. Which is bigger: y or -1?
-1
Let s(t) = -t**3 - 2*t**2 - t - 5. Let a be s(-3). Suppose -2*i - 19 + a = 3*y, y + 8 = -2*i. Which is bigger: -1 or i?
-1
Let j(r) be the second derivative of 0 + 0*r**3 - 1/20*r**5 + 3*r - 5/6*r**4 + 1/2*r**2. Let c be j(-10). Which is smaller: c or -1/66?
-1/66
Let s be 15/(-120) - (-581)/4776. Is -0.17 less than s?
True
Let q = 149/4 - 38. Let z = -3977 + 3975. Is z not equal to q?
True
Let b(i) = 12*i + 151. Let h be b(10). Let g = 392 - h. Is 121 less than g?
False
Let g be (-2 - 7197/(-165)) + (-104)/130. Which is bigger: 42 or g?
42
Let m(o) = o**2 - 57*o + 1199. Let h be m(23). Which is greater: 1247/3 or h?
h
Suppose -89*y + 2*k + 2 = -88*y, -2*y + 3 = -3*k