))/(-6). Let c = -378533.035 - -378533. Which is bigger: l or c?
l
Suppose 5*a + 5916 = -2*p, 191*a = 5*p + 189*a + 14790. Is p at most as big as -2958?
True
Let w be (-2641)/(-556) - (-3*11)/3. Is w != -0.3?
True
Let z be (-32)/53*(144/(-64) - -2). Let u(a) = -4*a**3 - 17*a**2 - 4*a + 1. Let n be u(-4). Does z = n?
False
Let k = -836 - -835. Which is smaller: k or 21/191?
k
Let g = -517951/45 - -11510. Is 0 > g?
True
Let d = 1895.3723 + -0.3723. Which is smaller: d or 0?
0
Let r = -10432 - -10590. Which is smaller: -2.4 or r?
-2.4
Let m(s) = s**2 + 136*s + 2453. Let i be m(-84). Is i at least -1910?
False
Suppose 4*m = -4*b + 36, 2*b = -2*b - 20. Suppose m*k = 15*k + 3. Let x be (5 - 3)/(k/(-48)*-1). Is x less than -31?
True
Suppose -5*m = -2*k - 10029, -m + 552 = 5*k - 1416. Is m < 2003?
False
Let n = -5736 + 6352. Is n greater than 616?
False
Let k(z) = -31*z**2 - 1084*z + 45. Let r be k(-35). Which is greater: 5 or r?
r
Let r = 4128 + -4127.47. Does 4/5 = r?
False
Let s = 5825 + -5825. Which is smaller: -39/203 or s?
-39/203
Suppose 53*y - 2*y - 102 = 0. Suppose y*o - 5*p = -248, -18*p + 21*p = 12. Is -115 at most o?
True
Let u be 80/(-8) - 1/(2/(-6)). Let y be (u/2 + -4)/((-3)/(-8)). Let n = y + 42. Is 20 at least as big as n?
False
Suppose 42*j + 23 - 65 = 0. Which is greater: 12/725 or j?
j
Let m = -1618 - -5482. Is m at least as big as 3864?
True
Suppose -2*f - 4 = 0, -2*y = f - 25 + 755. Which is bigger: -28 or y?
-28
Let j be (-7)/((-28)/3) - (-51)/12. Suppose -3*i + q - 4*q = -345, -10 = j*q. Let m = i + -461/4. Which is smaller: m or 3?
m
Suppose 0 = -2*t + v - 291, v + v = -5*t - 750. Let x = t + 143. Is x greater than 2?
False
Let n be ((-4)/(-2))/(4/(-2)). Let i(a) = -a**2 + 16*a + 15. Let g be i(17). Let j be 1428/1377 + g/3. Which is greater: j or n?
j
Suppose -i = 2*h + 3*i + 124, 5*i = 5*h + 265. Which is greater: -86 or h?
h
Let p = 48 - 696. Let o = p - -649. Is o greater than 11/3?
False
Let v be 12*((-414)/(-246) - 15/9). Which is smaller: -1/2 or v?
-1/2
Let j(h) = 12*h - 32. Suppose -3*t + 3 = 0, -11*g + 3*t - 23 = -16*g. Let o be j(g). Which is smaller: 21 or o?
o
Let j = -1.7 + 1.6. Let k = -23.23 - -23.308. Is j <= k?
True
Let u be (210/62076)/((-20)/(-128)). Which is greater: u or 1?
1
Let w be ((-117)/156)/(-2 + 52/32). Which is smaller: 35/58 or w?
35/58
Let h = -21607 + 22361. Which is smaller: 750 or h?
750
Let a = -291296/1140173 - -4/24259. Suppose 2*s + h + 1 = 0, 5*h = 5*s + 5 + 5. Which is greater: s or a?
a
Let f = -32.8 - -28. Let r = -4.2 + f. Let g = 9/5 - 13/10. Which is greater: r or g?
g
Let g = 64 - 23. Let w = g - 40.9. Let b = 0.8 + -1. Which is smaller: w or b?
b
Let u = 157 - 70. Let l = u + -88. Let g be ((-38)/(-9) - 4)*-1. Which is greater: g or l?
g
Let l = 15 - 3. Let o = -160 - -46. Let r = -101 - o. Which is greater: r or l?
r
Let w(c) = -2*c**3 - 26*c**2 - c + 14. Suppose 0 = 18*m - 2*m + 208. Let p be w(m). Which is bigger: p or 26?
p
Suppose -c - 40 = -198*t + 196*t, 5*c + 200 = -3*t. Which is bigger: -510/13 or c?
-510/13
Suppose -42*p + 2603 + 87372 = 17*p. Which is bigger: p or 1526?
1526
Let m = -6267.1 - -6267. Which is smaller: m or -2/3923?
m
Let o = 14 + -9. Let f = 75 - 66. Let l = o - f. Are l and 2 equal?
False
Let q be (-24)/(-14)*154/(-44). Let i = q - 37. Which is bigger: i or 2?
2
Let t be (-2)/(-3*7/(420/(-16))). Suppose -9*s = -3*s + 12. Let q = t - s. Which is smaller: q or 15?
q
Let h = -4.16201 + 0.16201. Which is smaller: h or 42/79?
h
Let v = 5950 - 5950.296. Do -0.33 and v have the same value?
False
Let u(p) = 24*p - 1. Let i be u(1). Suppose -3*f + 8*f + i = 2*l, -15 = 5*f. Suppose 3*o = j - 17, 2*j = l*j - o - 9. Which is greater: j or 0?
j
Let y(o) = o**2 + 24*o + 27. Let a be y(-23). Let p be ((-2)/(-5 + a))/6. Let l = 3.96 + 1.04. Is p greater than l?
False
Let i(j) = -76*j**2 + 2*j. Let z be i(1). Let k be (-6)/9 + z/(-120). Which is greater: 0 or k?
0
Let d be (4 + -8)/(4*1/150). Let x = d - -142. Does -12 = x?
False
Let y = 3014125/56 + -415779/8. Let n = -1844 + y. Is -2/9 smaller than n?
True
Let c = 6819366/5 + -2448153117/1795. Let t = 1/359 + c. Is -274 != t?
True
Let w = -49 + 43.8. Suppose 3*z - 4*q = 502 - 518, 2*q - 8 = 4*z. Is w less than or equal to z?
True
Suppose 0 = 2*r + 2*r + 16. Let v be (r/10)/(39/16965). Is v != -174?
False
Let o be (-288)/(-130)*(15 + (-510)/18). Does -30 = o?
False
Let a = -23 + 23.062. Let g be ((-428)/(-642))/((-2)/6). Which is smaller: a or g?
g
Let t = 633.5 - 487.5. Which is smaller: 14 or t?
14
Suppose 0 = 2*s - 0 - 2. Suppose 2*j - 1 = -0*j + 3*z, j = 4*z - 7. Suppose -4*l + 5 = -3*v - 15, -j*v - 10 = 5*l. Which is smaller: s or v?
v
Let r = 3 - -10. Suppose r = o + 16. Let k be o - ((-30)/5 - 1*-2). Does 1 = k?
True
Let k = 18.472 + -20.472. Is -291.5 less than or equal to k?
True
Suppose 0 = -c - 4*u + 12206, -3*c + 26532 + 9950 = -5*u. Which is smaller: c or 12175?
c
Let x = 7573337/18715 + -1/56145. Is x equal to 405?
False
Let q be -66*(-13)/(-468)*-69. Which is greater: 0 or q?
q
Let p = -709 - -459. Let w = -250 - p. Which is bigger: -92 or w?
w
Let h be -1*(-15)/18*(-6)/(-20). Let m = 49 - 55. Which is smaller: m or h?
m
Let b = -0.56 - -2.89. Let n = b - 2.38. Which is smaller: 11 or n?
n
Let v = 38764 + -38809. Let y = 0.3 + -1.3. Which is greater: y or v?
y
Let v = 1912/7 - 275. Suppose 0 = 2*o + 4*q + 14, -2*q + 12 = 3*o - 7*q. Let g = o - 0. Which is smaller: v or g?
v
Let k be (-320)/(-28) + (-1 - 8/(-14)). Let y(w) = -2*w + 25. Let n be y(k). Let l be 33/14 - (-2)/4. Which is bigger: n or l?
n
Let u = 13 - 9. Suppose 2*v - 3*i - 1 = -6, u*v = 3*i - 7. Let n = 198/767 + 12/59. Is v != n?
True
Let c = 52 - 12. Let s = -20 + c. Let x = 3.826 + -2.826. Is s smaller than x?
False
Let r = -4168 - -29178/7. Let m = -3.3 - -7.1. Let k = 1.2 + m. Is k not equal to r?
True
Let a(v) = -11*v + 3. Let j be a(4). Suppose s - 26 = -4*q, -5*q = s + 3 - 27. Let u = s + j. Does u = -9?
False
Let l be (2/5)/(15/(-25))*(-1473)/(-982). Let c = -4152 + 1548694/373. Is c at least as big as l?
True
Let r be 3/4 - 99/132. Let w = 11 - 9. Let k be ((-3)/78)/((-1)/w). Which is bigger: k or r?
k
Let t(i) be the first derivative of -3*i**2 + 35*i + 189. Let l be t(6). Which is bigger: 20 or l?
20
Let o = 161138 + -1566100224/9719. Is -1 > o?
False
Let w = -563 - 278. Let y = w - -669. Is y smaller than -172?
False
Let u = -8817 - -1595879/181. Is -1 != u?
True
Let n = 128 + -121. Let u be 60/n + 57/133. Suppose 3*a + 0*a - 30 = 0. Which is smaller: a or u?
u
Let z = -4862 - -4813. Which is bigger: z or -1/7?
-1/7
Suppose 0 = 16*d - 68 + 52. Which is bigger: d or -17/275?
d
Suppose 8*o + 28*o - 24516 = 0. Suppose o*n = 683*n + 856. Is n greater than -428?
False
Let w be (6 + 0)/(5419 + 37 + -23). Is 0 greater than or equal to w?
False
Suppose 0*q = 10*q + 22*q - 1664. Is q at least as big as 81?
False
Let p = -3.482 + 941.482. Is 4 equal to p?
False
Let x = -125 + 255. Suppose -2*s + 123 = 143, 0 = -5*b - 2*s + 640. Is b > x?
True
Suppose 4*w = 5*q + 17 + 28, 3*w - 3*q = 30. Let l(y) = -y**3 + 6*y**2 - 5*y - 2. Let s be l(w). Let c be 105/20 - 4 - 3. Is c greater than or equal to s?
True
Let b be 4*((-3)/(-6)*-39 + -2). Let v = b + 197. Let d be 33/(-132) - v/4. Which is smaller: d or -27?
d
Suppose -o = -2*s - 2*s + 13, 2 = o + s. Let p = 5769 + -1678781/291. Is o greater than p?
False
Let t = 0.27857 + -0.15857. Suppose 2*z + 0 = 4*q + 14, 4*z - 2*q - 16 = 0. Which is smaller: z or t?
t
Suppose 8*x = -329 + 329. Suppose x*q + 4 = -2*q. Let w be (2/(-5))/(1/5). Is w at least as big as q?
True
Suppose -7480 - 5470 = -7*h. Suppose -12*g = 722 - h. Is g at most as big as 94?
True
Suppose -3*i = 14*n - 16*n - 7, n - 7 = 5*i. Which is smaller: i or -34/21?
i
Let v = -1.09 - 541.91. Let a = v + 543. Suppose l = 3 - 15. Which is bigger: a or l?
a
Let k = -10 - -21. Let b = k + -11. Let u be (-8*2/20)/(34/(-85)). Is b at most as big as u?
True
Suppose 5*v + 16*y = 18*y, -4*v + 4*y = 0. Suppose v = -w + 2*s - 9, -16*w + 20*w - 3*s = -21. Which is smaller: w or -0.57?
w
Let n = -19 - -10. Let k be 327/(-2)*6/n. Suppose 5*u = k + 31. Are u and 29 equal?
False
Suppose -97*d + 24 = -q - 95*d, -3*q + 5*d - 72 = 0. Let s = 38 - 63. A