 is bigger: k or d?
d
Let s be (-988)/(-6) - (-2)/6. Let i(l) = l**2 - 263*l - 2285. Let m be i(272). Which is bigger: m or s?
s
Let x = -296573 + 10219609009/34459. Is -1 smaller than x?
True
Let v be 8/(-28) - 3138/(-7). Suppose 4*u + 5*w = 260 + 90, -5*u = w - v. Suppose -2*n - 50 = -5*r, 0*n - 4*n + 5*r - u = 0. Which is greater: n or -21?
n
Let b be 9 + (1 - -3)/1. Let i(j) be the second derivative of j**3/2 - 16*j**2 + 51*j. Let v be i(b). Is v bigger than 6?
True
Let t = 42442 + -1867247/44. Which is smaller: t or 4?
4
Let f = 219 + -135. Suppose -3418 = 60*c + 34*c + 4196. Let l = f + c. Which is smaller: 6 or l?
l
Let b(m) = 3*m**2 + 7*m. Let y be b(5). Let g(f) = -2*f**3 + 25*f**2 + 143*f - 1860. Let z be g(12). Is z equal to y?
False
Suppose -21*x = -24000 - 84549. Is 5170 greater than or equal to x?
True
Let m be -2 + 133412898/(-99) + 2. Let j = m - -1347475. Let w = -130 - j. Is w at most -1?
False
Let t = -1235/27 + 4121249/90099. Let p = 11110939116944/76751 + -144766050. Let w = p - t. Which is smaller: 1 or w?
w
Let m = -317 + 168. Let t = 149.31 + m. Is t smaller than 0?
False
Suppose 8*k = 5*k - 24. Let n be 1*3 + 2585/(-44). Let c = n - -56. Which is greater: c or k?
c
Suppose 5*x + 30 = 130. Let v(t) be the first derivative of t**2 - 45*t + 10. Let m be v(x). Is m greater than or equal to -5?
True
Let g(i) = 24*i - 13. Let k be g(-6). Let h = k + 117. Let d = 30 + h. Is -10 bigger than d?
False
Let p be (-26392)/(-21280) - (-2)/(-8). Let j = -12/133 + p. Is 1 != j?
True
Suppose y + 2 - 19 = 3*o, -30 = -2*y + 5*o. Let b = 61855/14131 + 8/1087. Which is smaller: y or b?
b
Suppose y + 29*c - 105 = 25*c, -5*y + c = -651. Is y less than 140?
True
Let q = 22222 - 22234.869. Let u = 12.8 + q. Which is bigger: -2 or u?
u
Suppose 4*d - 240 = 2*s, -336 = 3*s - 0*d + 2*d. Let w = -34 - s. Suppose -11*k - w = -k. Which is greater: -2 or k?
-2
Suppose -11*l + 1075 = -39*l + 263. Let h = 111 - 45. Let c = 37 - h. Is c != l?
False
Suppose -j - 55 = 4*a + 91, 5*j = -4*a - 138. Let c be (15/10)/(12/(-256)). Is c >= a?
True
Let g = -3 - -8. Let c = g - -11. Let q = 37 - 36.9. Which is smaller: q or c?
q
Let h be (-1 - -2 - 45)*8/(-16). Let y be 52/44 + (-4)/h. Is y greater than 8/33?
True
Suppose 2138*k - 2132*k = -14334. Do k and -2389 have different values?
False
Suppose -2*m = -4*a - 230, -5*m + 81 = -3*a - 102. Which is smaller: a or -68?
-68
Let m = -65.23 + 0.23. Let j = -16247.13 - -16182. Let h = j - m. Which is smaller: 2 or h?
h
Let p = 105449/196 + -538. Suppose -4*h = 0, 2*c + 364*h = 368*h. Which is bigger: p or c?
p
Let h be (-14)/252*-9*-2*48/(-15). Which is bigger: 341 or h?
341
Suppose 1 = -r, -2*k - r = 8 + 5. Let w(m) = 75*m - 12776. Let c be w(170). Is k less than c?
False
Let z = -207 + 120. Let c = z - -87.2. Which is smaller: c or -0.72?
-0.72
Let q(z) = z**3 + 5*z**2 + 2*z + 2. Let d be q(-5). Let f be ((-5)/(-10))/(10/d). Let i = 0.39 - 0.92. Is f < i?
False
Let h = -2 + 0. Let v be h + ((-20136)/(-80) - 2/10). Let l = -4411/18 + v. Which is bigger: 3 or l?
l
Suppose 0 = -5*t - y - 20 - 32, 50 = -4*t + 2*y. Let n be 2 - 7/2 - (-117)/(-18). Which is bigger: t or n?
n
Let q = 1 - 1.5. Let t = -0.754 - -505.754. Let i = t - 505.4. Is q greater than i?
False
Let t = -38 + 46. Let b be (2*(-4)/t)/(3/(-9)). Are 3 and b equal?
True
Suppose -3*c - 708 = -3*b, 185*c + 236 = 184*c - b. Is c greater than or equal to -243?
True
Let t = 10 - 5. Suppose -38 + 3 = -t*x. Let g be (-12)/18*(-3)/x. Is 1 <= g?
False
Let n(s) = -10*s**3 + 22*s**2 + 89*s + 1. Let q be n(-5). Which is smaller: q or 1353?
1353
Let p = 1.69 + -0.04. Let m = -3.35 - p. Which is greater: m or -0.12?
-0.12
Let i = 155063817/2 + -140333020073/1810. Let v = -734/5 - i. Let r = v - 2349/362. Which is bigger: r or -7?
r
Let d(q) = q**3 - 54*q**2 - 45*q - 550. Let x be d(55). Let o be (1/5)/(12/(-5)). Are x and o unequal?
True
Let x(z) = -7*z - 152. Let s be x(-24). Let k be 2370/(-17095) + s/104. Which is bigger: 1 or k?
1
Let f = -478 - -446. Let u be f/456*36/8. Let v = -2 + 2.1. Which is smaller: u or v?
u
Suppose 0 = 4*m - 8, 7*m - 8 = -3*b + 3*m. Suppose b = 6*w + 19 - 13. Let f be (6/(-13))/(6/(-4)). Which is bigger: f or w?
f
Suppose 2*v - 10 - 13 = -a, -5*a + 16 = v. Suppose 2*b - 9 = -v. Which is smaller: b or -6/11?
b
Let a = -0.15377 - -0.05377. Which is greater: a or -39.8?
a
Let x be (-60)/26352*-18*(2074/1040 - 2). Which is smaller: 1 or x?
x
Let o = -4431542089/1329 - -3334494. Let q = -2/443 - o. Suppose -5 = 2*m + 13. Is q equal to m?
False
Let l be 0 - ((-220)/224 + 1). Let r(i) = i**3 + i**2 - 16*i - 15. Let q be r(-4). Is q at least l?
True
Let j = 2861/4 + -720. Let a(t) = -t**3 - 5*t**2 - 4*t. Let q be a(-4). Suppose 3*s = -y - 7, -5*s = -q*y - 2*y + 30. Is j > s?
False
Let f be -36 + -93 - (-5 + -1). Let o be -253*(-1)/(-2) + 5/10. Are o and f equal?
False
Let w(c) = 51*c + 158*c - 18*c**2 - 44*c + 11 + 47*c. Let k be w(12). Is -14 >= k?
True
Let k = 915 + -546. Let i = -369.4 + k. Which is smaller: -76 or i?
-76
Let d(o) be the third derivative of o**6/30 + o**5/60 + 7*o**4/24 + 11*o**3/2 + 36*o**2. Let s be d(-3). Which is bigger: s or -1?
-1
Let z = -11.27 - -11.47. Let c = -0.6 + 2.8. Let k = c - z. Which is bigger: k or -3/4?
k
Let j be (60/(-50)*8/(-12))/(14/35). Which is smaller: j or -466?
-466
Let y = -74 - -73.936. Let r = 0.08 + y. Let q = 0.116 - r. Is 14 greater than or equal to q?
True
Let a = 27 - 21. Let p(t) = 9*t - 55. Let w be p(a). Does -2 = w?
False
Let j = -6630 + 6612. Which is greater: j or -404/21?
j
Let f = -0.09564 + 2331.09564. Which is smaller: f or -1?
-1
Suppose 4*p = -u + 25 - 33, 18*p = 3*u + 24. Is -6/2657 >= p?
False
Let i(l) = -31*l**2 + 5*l - 20. Let g be i(31). Is -29657 smaller than g?
True
Suppose -3*m + 5*m - 172 = 0. Suppose -38*f = 9*f - 1492 - 2550. Is f equal to m?
True
Let y = -65812/19 - -3464. Let u = 4 + -4. Is y at least u?
True
Let d = -620.08 + 663.8. Is d < -0.2?
False
Let g(r) = r**3 + 59*r**2 + 170*r - 5. Let d be g(-4). Which is smaller: d or 198?
d
Let n be (-326)/9 - 30/(-675)*5. Which is smaller: n or -1184/33?
n
Let z be -1 - 10*-1 - (4 + -1). Let w be (-963)/z + -9*(-4)/24. Let n be w/(-21) + 16/(-28). Which is smaller: 5 or n?
5
Suppose -23*p + 96075 = 133*p + 19*p. Are 554 and p unequal?
True
Let f = 124 - -141. Suppose -13*q + 489 = -f. Let m = -65 + q. Which is smaller: m or -4?
m
Let s = 11.798 + -1.388. Let q = 10.8 - s. Is 1 at most as big as q?
False
Let c(w) = 4*w + 3. Let i be c(-2). Let q be 2 + i - (-9 - 5). Let m be 6/6 - 51/(-6). Which is greater: m or q?
q
Let n be 10/(-20) - 33/(-6). Suppose n*c + z = -1246, 3*z - 581 + 86 = 2*c. Which is smaller: -250 or c?
-250
Let t = -566603/79904 + 1/7264. Is -6 >= t?
True
Let t be (-1)/((-1)/12) + -2. Let i(b) be the first derivative of b**4/4 - 11*b**3/3 + 13*b**2/2 - 4*b + 1444. Let v be i(t). Is 25 at least as big as v?
False
Let w = 4928 + -3587. Is 1342 >= w?
True
Let a be (2 - 0) + (-9366)/1176. Which is bigger: -6 or a?
a
Let g(a) be the first derivative of -a**3/3 - 10*a**2 - 25*a + 18. Let q be g(-9). Let l = -369/5 + q. Is -1/4 less than or equal to l?
True
Let y be (646/(-51))/(-51*(-6)/189). Do y and -1 have different values?
True
Let x(i) = -i**2 - 2*i + 3. Let g be x(-4). Let u be (-1)/((1/g)/1). Suppose 112*c + 21 = 12 + 233. Which is bigger: c or u?
u
Suppose 118*y - 32 = 114*y. Let s be (10 + 78/(-12))*2/y. Let d = -11 - -13. Which is greater: d or s?
d
Suppose -m + 46 = -4*z - 349, 3*z + 277 = -2*m. Does -190 = z?
False
Let s = -1440 + 189. Let y be 83 - 87 - (s/250 + 1). Do y and 1 have the same value?
False
Suppose 0 = -0*v - v + 1. Let j = 5922725483/156 - 37965684. Let m = j + -505. Is m equal to v?
False
Let f = -455/99 - 2/495. Suppose -3565 = 236*k + 477*k. Which is smaller: f or k?
k
Let s = 305 - 333.4. Let y = -31 - s. Let w = -2.6 - y. Which is smaller: -1.2 or w?
-1.2
Suppose 1 = -2*p + 5. Let k be (-1)/p - (-6)/4. Let w be (1354/8124)/(1/2). Which is smaller: k or w?
w
Let b = 2344 + -2349. Which is bigger: b or -110?
b
Let g be (-3 - 2)*(6 + -3). Let i = -17 - g. Suppose 31*u + 404 + 371 = 0. Which is greater: u or i?
i
Suppose -24*d + 20*d - 92 = -4*i, 73 = -3*d - i. Let r be 2 + ((-148)