 138*k - 10967 - 10837. Which is greater: k or 157?
k
Let a = -0.54936 + 144.82536. Let m = a - 0.276. Let y = 143.98 - m. Is -2/9 less than y?
True
Let x = -46 - -37. Let c be 30*(x + 4)/(-10). Let q = 16 - c. Is 1/27 not equal to q?
True
Let o = -10604.8 - -10608. Are -59 and o equal?
False
Let d = 15813/2 + -1628751/206. Let z(p) = 2*p - 3. Let b be z(2). Is b at most as big as d?
False
Let w = 2/2019 + -38369/8076. Let v(g) = -10 + 57*g**2 + 53 - 58*g**2 - 15*g + 6. Let i be v(-18). Which is smaller: i or w?
i
Let k = -4273/570 + -1/285. Which is smaller: k or -1/197?
k
Let y = -3113903/159960 - -1/10664. Which is smaller: y or -19?
y
Suppose 0 = 82*i - 87*i - 50. Let h(j) = -j**2 + 4. Let m be h(4). Let v = m - 1. Is i smaller than v?
False
Let b = 3366 + -3367. Is b bigger than -3/445?
False
Let l(b) = -b**3 - 61 + b + 46 + 14. Let m = 0 + 0. Let a be l(m). Is a at most as big as 2/11?
True
Suppose 4*i + 252 - 284 = -2*q, -2*q + 29 = i. Which is smaller: q or 95?
q
Let o = 422480 + -35066282/83. Which is greater: -6 or o?
o
Let q be -50*2/32 - -1. Let a = q - -519/248. Is a >= 0.4?
False
Let l(w) = -2*w**3 - 15*w**2 + 58*w + 537. Let k be l(-7). Which is smaller: k or 3.8?
3.8
Let f be (210/(-9))/(-7)*-159. Let v = -529 - f. Are v and 9/59 equal?
False
Let i = -23476 - -16862. Which is bigger: i or 0?
0
Let m = -6509 + 5986. Is -1045/2 != m?
True
Suppose 4*n + 4*y - 6*y = 292, 241 = 3*n + 4*y. Let l be 3/((-15)/(-2)) - 9180/n. Is -121 at most as big as l?
False
Suppose -5*k + 12520 = -d, 0 = 5*d - 9*d - 2*k - 50058. Let j = -18810047/1503 - d. Is 0 less than or equal to j?
False
Let p be 130/4*(9 + 1206/30). Is p smaller than 1598?
False
Suppose d + 8 = -3*d. Let g = d - -2. Let f = -4525 + 4523. Are f and g nonequal?
True
Let r = 5436 + -16172/3. Let n be 26/(-91) - (-2219)/49. Which is smaller: n or r?
n
Suppose -12*d + 5*d + 840 = 0. Suppose -4*x = -5*s + 400, 0 = -x - 3*s + 20 - d. Which is smaller: -98 or x?
x
Let z be 5/(-10)*-6 + -5. Let f be -3 - (-5 - 0/z). Suppose -5*q = 5*h, -f*h + 3*h + 3*q = 0. Which is smaller: h or 7/13?
h
Let b(z) = -6*z + 34. Let g be b(5). Let l be (26/(-2847))/(g/(-18)). Is 0 less than or equal to l?
True
Suppose 375 = 5*k + 100. Let y = k - 78. Let u = y - -21. Which is smaller: -5/8 or u?
u
Let d be -1 + (-5)/(15/9). Suppose -49 = -3*l + 11. Suppose -30 = 10*c + l. Which is bigger: d or c?
d
Let r = -25307 + 25308. Let z be (14/609)/(-1 + -1). Which is smaller: z or r?
z
Let q(u) = -u**2 - 165*u - 4383. Let j be q(-127). Is 444 >= j?
True
Let i = -49 - -50. Suppose 0 = -u + i - 3. Let t be -5 - -5 - (44/u)/2. Is t at most 15?
True
Suppose 7*t - 5*t = 150. Let r = t - -28. Is r less than or equal to 102?
False
Suppose -54*p - z + 628 = -51*p, -2*p + 5*z = -396. Is 252 greater than p?
True
Let i be 1/(3 + 280/(-95)). Suppose 3*v = 2*z + 172, -17*v = z - i*v + 87. Is z at least -2?
False
Let k = -24/85 + 1319/1360. Is 0.9 > k?
True
Let o be 20109/(-28) + (-3)/12. Let t = o - -721. Let i = 0 - -4. Does i = t?
False
Let g = -1770 - -5610. Which is smaller: g or 3841?
g
Let p be (3/252)/((21/237)/7). Let a = 14/15 - p. Is 0 != a?
True
Let t be (-116)/(-1682) + (-190)/232. Is t <= 234?
True
Let x be (-1 - -6)*(-4)/10. Let v = 267 + -299. Let k be v/(-8) - 7 - 5. Which is smaller: k or x?
k
Let p = 13853 + -13750. Let v = 48 + 55. Is p at least v?
True
Let w be (70/56 + -2)/(3/(-56)). Suppose 3*p + 1 = 10. Suppose 3*n - w = d, p*d + n + 6 = 14. Which is smaller: d or 3/16?
3/16
Suppose 235*b + 113 + 159 = 227*b. Is -57 bigger than b?
False
Let v = 37.9 - 2402.9. Is v less than -1?
True
Let x = 488 + -816. Let a = 327 + x. Is -3 not equal to a?
True
Let u(c) = -4*c**3 - 3*c**2 + 2*c + 1. Let q(i) = i**3 + 1. Let p(f) = 3*q(f) + u(f). Let m be p(3). Let w = m + 45. Is 0 bigger than w?
False
Let v = 2647 + -2620. Which is smaller: v or -3/17?
-3/17
Let z(d) = 45*d - 2150. Let w be z(31). Is -755 less than or equal to w?
True
Let g be 12/(-3) - -1*3. Let t = 3/1358 + 5147/129010. Let o = 238/10165 - t. Which is smaller: g or o?
g
Suppose 2*r = -r + 309. Let d = r - 104. Let t be (-47)/(-140) - (-3)/(-12). Is d at most as big as t?
True
Let y be (96/(-56))/(1 - (-9)/(-7)). Let n be -2*1 + -6 + y. Let t be 1/(n/24)*(-2)/8. Which is smaller: 4 or t?
t
Suppose 2*n = 4*n + 30. Let h = n - -25. Let k be (h/(-8) - -1)/((-6)/(-24)). Is k at least -1/122?
False
Suppose -156 = 4*k - 2*h, 168 = 2*k - 3*h + 238. Are k and -54 equal?
False
Let m = -10/83 - -4157/747. Suppose 133 = 5*f + 103, 5*f - 36 = -r. Is r > m?
True
Let i be (-63)/(-12)*48760/(-318). Is -3219/4 at least as big as i?
True
Let g = -0.01 + -0.09. Let i = -51 + 51.162. Let o = -0.002 + i. Which is smaller: g or o?
g
Let c be 11 + 1 - (-10608)/(-16). Is -651 greater than c?
False
Suppose 0 = 5*o - 5*q + 66 + 129, -4*q - 60 = 2*o. Let y be 2/(-2) - -1 - (38 + -3). Is o greater than y?
False
Let w be 20/(-25)*3/((-6)/10). Suppose w*o + 3*f = 139, -o - 5*f + f = -38. Suppose 2*g + 0*g = -2*r + 22, -4*g + r + o = 0. Which is smaller: 12 or g?
g
Let n be (-316)/39 + 2/(-6)*-6. Let q = n - -10/13. Is q at least as big as -0.06?
False
Let s be ((-20)/(-5))/8*14115 + 34 + -43. Is 7048 < s?
True
Suppose 2*l - 4*r = -l + 15, -4*r = -4*l + 16. Let p = -21.7 + 30.8. Let x = -9 + p. Is x >= l?
False
Suppose -5*i + 2*w + 183 = 5*w, -4*i = 2*w - 148. Let g be 172/642 + i/(-117). Which is smaller: 1 or g?
g
Let x = -4407 - -273223/62. Is x bigger than -1/4?
True
Let p = -10.94749 - 0.05251. Which is smaller: p or -83?
-83
Suppose 2*u - 5*u - 63 = 0. Let n(f) = -f**2 + 10*f + 317. Let x be n(24). Do x and u have different values?
True
Suppose 6*v - 4*v - 3*d = 37, v - 4*d - 21 = 0. Suppose -17 = -2*h - v. Is -57 greater than h?
False
Let c(h) = 98*h - 1360. Let r be c(17). Are 318 and r unequal?
True
Let o(u) = -78*u - 544. Let m be o(-11). Which is smaller: 312 or m?
312
Let j = 29195 + -23926. Which is greater: 5267 or j?
j
Let p be ((-4)/16)/(51/4). Suppose -5*l + 11*l = -12. Let d be (l + 3)*(-5 + 4). Is p not equal to d?
True
Suppose 2*z = -y + 2*y + 25, -5*z - 50 = 5*y. Let k(c) be the second derivative of c**5/20 + c**3/6 + 15*c**2/2 + 14*c. Let i be k(-3). Is i <= y?
True
Suppose 0 = -4*z - 3*u - 61, 4*z = -2*u - 79 + 25. Is z greater than or equal to 5/33?
False
Let l = 72 - 70. Let w = -815 + 7352/9. Let x = w + 41/45. Which is greater: x or l?
x
Let u(d) = -4244*d - 21357. Let v be u(-5). Suppose 42 = -4*j - 510. Is v less than or equal to j?
False
Let k(n) = 37*n + 77. Let i be k(-2). Let r be (15 - 120)*(-3)/i. Is 109 >= r?
True
Let r = 1/55 - 113/165. Let d = -417 - -440. Which is greater: r or d?
d
Let g(x) = 2*x**3 + 30*x**2 - 80*x - 204. Let d be g(-17). Which is smaller: d or 11/324?
d
Suppose -5*s + 24 + 253 = 2*c, -3*c = 3*s - 168. Let v be (-215)/s - (-5)/(-55). Which is smaller: v or -5?
-5
Let b = 176 - 171. Suppose -17 = -6*i - b. Which is bigger: 13/10 or i?
i
Let o(v) = -v**2 + 20*v - 98. Let q be o(10). Suppose 30*r = 26*r - q*a - 864, 10 = 5*a. Is -217 equal to r?
True
Let a = -5.6 + -37.4. Let h = 222 - 222.2. Which is smaller: h or a?
a
Let m = 20762/3 - 6919. Is m equal to 0.185?
False
Suppose 0 = -12*b + 30*b - 666. Let r be 96/(-8) - (-3 + 0). Let l be 3*-1 - 369/r. Which is smaller: b or l?
b
Suppose 2 + 25 = 9*o. Suppose 4*w = 3*r + 14, -3*w - r = o*r - 23. Suppose -h = 2*z - 3, 2*z - w*z = 3*h - 3. Which is smaller: 7/4 or z?
7/4
Let n be 2/((-16)/14)*-4. Let v(o) = -o**2 + 9*o - 12. Let l be v(n). Let s = 11 + l. Is 10 greater than or equal to s?
False
Suppose 0 = v + 15*v - 4416. Suppose 84 + v = 18*y. Which is smaller: 19 or y?
19
Let j(h) = 2*h**3 + 11*h**2 - 8*h + 4. Let q be j(-6). Suppose 48 = -10*b + q*b. Suppose -3*s = 2*i - b*s - 30, 3*i + 4*s = -1. Is i smaller than 1?
False
Let o(p) = -5*p - 23. Let f be o(-5). Let z(k) = 7*k**2 - 8*k + 6. Let i be z(f). Is 18 equal to i?
True
Let p be (-3)/185*(14/(-63) + 269/198). Which is bigger: p or 0?
0
Suppose -2*x + k = -337, -104*x = -100*x + 2*k - 718. Let l = -175 + 349. Do x and l have the same value?
True
Let u(q) = -167*q - 22546. Let l be u(-135). Is 1/51479 at most l?
False
Let s = 608 + -577. Suppose -4*v = y - 5*y + 256, 4*y = 2*v + 266. Suppose 2*f - m = 57, -3*m + y = -