 0/1). Let x be 5/(-15)*f + 448/(-222). Is x bigger than -1?
True
Let p(f) = -3*f**2 - 8*f + 5. Let i(h) = h**2 + 2. Let x(w) = -2*i(w) - p(w). Let t be x(-4). Is t not equal to 2?
True
Let u = -4468 - -4101. Which is greater: u or -395?
u
Suppose 5 = -p, 4*s - 5*s + 2*p = 14. Let j be s/18 + 1 - 102/(-198). Are j and 3.6 equal?
False
Let p(m) = -m**2 - 4*m + 4. Let f be p(-5). Let i = 248953/10 + -24960. Let w = -65 - i. Which is smaller: f or w?
f
Let w be (-81)/1152*(-5)/(1050/8). Let l = 3863/605920 - w. Is 1 at most l?
False
Suppose -5 - 1 = -y - 2*x, 5*x - 15 = -4*y. Suppose b - 26 = -i, -i - 4*b + 41 = -y*b. Suppose 2473*d = 1236*d + 1244*d - 140. Is i <= d?
False
Let v = 634.94 - 624. Let z = v + -11. Which is smaller: 2/45 or z?
z
Let d be -4 - (99942/(-9420) + 5). Let z = d + -3/314. Which is bigger: z or 3?
3
Let o = -83.5 + 4.5. Let m = o - -79.1. Is 0.022 equal to m?
False
Let s be (2/(-69))/(15/(-2430)). Which is bigger: s or 5?
5
Let b be 261/116 - 5/4. Is b >= 4/399?
True
Let r = 0.6 - 0.9. Let u = 26.7 - 26.539. Let x = 13.839 + u. Which is bigger: x or r?
x
Let a be ((-150)/2)/(213/781). Is -1372/5 < a?
False
Let g be (245/(-140))/(1 - (-7858)/(-7856)). Which is bigger: g or 6875?
6875
Let j(u) = 13*u + 485. Let p be j(-42). Which is bigger: p or -62?
p
Let a(o) = -o**3 - 3*o**2 + o + 6. Let m be a(-3). Suppose 3*h + 3*n - 6 = -m, 3*h - n = -5. Which is smaller: 8/35 or h?
h
Let z = 243.17 - 245.27. Which is smaller: 2/1841 or z?
z
Suppose -5*p - 28*b + 26*b = 0, 5*b = 5*p. Suppose 69*v - 73*v - 456 = p. Which is smaller: v or -115?
-115
Let p(f) = 40*f + 220. Let a be p(-5). Let u(n) = -12*n + 246. Let i be u(a). Is 17 less than i?
False
Let l be 747/(-709899)*(0 - 1). Which is smaller: l or 1?
l
Suppose -3*s - 35 = 2*s - 2*y, y = -5*s - 35. Let z = -599 + 2373/4. Which is smaller: s or z?
s
Let c = -143 + 105. Which is smaller: -39 or c?
-39
Let y(k) = k**3 - k**2 - 17*k - 10. Let d be y(5). Let s be (6 - d)/(-1 + 2). Which is greater: s or 2/27?
s
Let r be (4 - (40/6 - 3))*-15. Let z be r + 8/((-352)/(-156)). Which is smaller: z or -1?
z
Let t = 176.08 - -0.92. Let q = t - 176.8. Is 8/13 less than q?
False
Suppose -5*r = 2*d - 211, -311 = -3*d - 6*r + 4*r. Suppose m = 5*a - 105 - d, 2*m = 4*a - 170. Suppose -4*y + y = -123. Do a and y have the same value?
True
Let w = 244 - 241.38. Let u = w - -6.38. Which is bigger: u or 4?
u
Suppose 8*w - 4913 = -16*w + 41*w. Is -279 less than or equal to w?
False
Let v = -19103.98302 - 0.01698. Which is smaller: -1 or v?
v
Let n = -1265/254 + 2698255/541274. Which is bigger: n or 1?
1
Let u(r) = -r - 6. Let p be u(-11). Suppose -t - 5*b = p, b = -7*t + 4*t - 71. Is -24 greater than or equal to t?
True
Let t be ((-1)/2)/(131400/(-6576) - -20). Is t not equal to -27?
True
Suppose 15 + 12 = 3*v. Suppose -v*s = -8*s + 3*w + 25, -4*s + 5*w = 185. Suppose -26 = a + 3*d, 3*d + 71 = -2*a + 4. Are s and a equal?
False
Suppose -2*k + 55 = -7*k. Let p(x) = 3*x**2 - x - 2. Let a(h) = -h**3 - 14*h**2 - h - 23. Let b(w) = -a(w) - p(w). Let g be b(k). Which is smaller: g or 2?
2
Suppose -3*z - 11*f + 8 = -10*f, 4*z + 5*f = 40. Which is greater: z or 1/22548?
1/22548
Suppose -5*b + 4*c - 28917 = 0, 29*c + 8 = 25*c. Is b greater than -5785?
False
Let m = -19 + 18. Let c be (((-10)/10)/((-450)/(-4)))/(27/(-270)). Which is bigger: c or m?
c
Let v = -18 + -1. Let i(o) = -2*o**2 + 3*o + 56. Let t be i(8). Let y be 8/(t/(-30)) + -26. Which is greater: y or v?
v
Let h = -15 + 16. Let z = h - 2. Let i = 36.0071 - 0.0071. Do z and i have the same value?
False
Let h = 13007 - 13003. Which is bigger: -63 or h?
h
Let p = 821/9 - 91. Let w = 2.75 + -2.2. Let m = w + -0.65. Is p greater than or equal to m?
True
Let g be (14/(-12))/(3/18) - 1947/(-275). Which is bigger: g or -0.107?
g
Let s be 15*8*8/192. Suppose -t + 5*u - 50 = 0, s*t + 23*u - 22*u + 120 = 0. Which is smaller: -21 or t?
t
Suppose 10*k + 9673 = 2723. Let m = -694 - k. Let i be 0/1 + 10/105. Is i at least as big as m?
False
Suppose -2*u = 2, 4*f - 727 = 5*u + 330. Which is smaller: f or -6?
-6
Let l(c) = 12*c - 293. Let r = -69 - -96. Let d be l(r). Which is bigger: d or 9?
d
Let d(l) = l**3 - 115*l**2 + 255*l - 2247. Let j be d(113). Which is smaller: j or 3/13?
3/13
Suppose -5*t = 2*z - 117, -30 = -2*t - 2*z - 3*z. Let c = 20 + t. Let v be -4 + c/12 - 4/(-16). Is v <= 0?
True
Suppose 12*g + 41 = 9*g - 13. Let o be (6/10)/(3/(-15)). Let b(u) = 2*u**3 + 3*u**2 - 4*u - 1. Let x be b(o). Which is smaller: x or g?
g
Let q = -0.1 + 9.1. Let h = q + -8.8. Let g = 6.59 + 23.41. Is h at most g?
True
Let c(m) = 2*m**2 + 88*m - 1824. Let i be c(-79). Is i < 3706?
False
Let k = 27095/4 - 6825. Suppose 6*r - 266 = -566. Which is smaller: k or r?
k
Let g(n) = 161*n**3 + n**2 + n + 1. Let o be g(-1). Let r = o + 1762/11. Let q = 0.2339 + -0.1839. Is r < q?
False
Let q be 2*(2 - -23)*708/(-354). Are -298/3 and q equal?
False
Let r be 2/(-14) + (-148005)/1001. Which is smaller: -0.3 or r?
r
Let o = -0.0007 + -2.9993. Let x = -2.86 - 0.23. Let b = o - x. Is b <= 1?
True
Let k = -185 + 203. Suppose -3*s - i = -112, 2*s = 17*i - k*i + 75. Is -2/7 greater than s?
False
Let m be -28 + 42 + 325/(-8). Which is greater: m or -26?
-26
Suppose -x - 2 = -1. Let c(a) = 41*a + 18. Let y be c(-2). Let h = y + 1474/23. Are x and h equal?
False
Let f = -1051 + 1050.6. Let n = 162 - 4696/29. Which is bigger: n or f?
n
Let u = 22.134 + -0.434. Let v = u - 21. Let l = v - 0.6. Is 0.1 >= l?
True
Let q = -9 + 4. Let t = -88 + 101. Suppose -23*f - 60 = -t*f. Which is smaller: f or q?
f
Suppose -2*o - 16 = -2*n + 2*o, 16 = 3*n - 2*o. Let u be (1*(-2)/n)/(76/760). Does -10 = u?
False
Let d = -361 - -281.5. Let u = d + 56. Let z = 23 + u. Which is bigger: -1/14 or z?
-1/14
Suppose -2*s = -2*t - 62 + 200, 0 = 3*t + 2*s - 212. Let r be ((-6)/4)/(-3) - (-2405)/t. Which is smaller: r or 34?
34
Let b = -779.42 + 779.33. Let p be 65/25 - (-3)/(-5). Does b = p?
False
Let x be 2*33/(-55) - (-636)/5. Which is greater: x or -5?
x
Let k be 6090/1575 - ((-34)/30 - -1). Suppose 46*m - 50*m = -k. Is -17 at least as big as m?
False
Let u(i) = 19*i**3 - i**2. Let q be u(1). Suppose -3 + q = -t. Suppose 0*j - 16*j + 26*j + 130 = 0. Is t bigger than j?
False
Let s be (3/(-4))/((-81)/(-324)). Is -32/11 bigger than s?
True
Let u be (-1 - -3)/(144/600)*-39. Let a = 395 + u. Is 67 >= a?
False
Suppose 619 = 3*j + r - 2*r, 3*j - 4*r = 613. Let h = 292 - j. Which is bigger: h or 86?
86
Let d = -2 + 2.07. Let r(m) = -2*m**2 - 5*m + 56. Let n be r(-13). Let p = n + 869/4. Which is smaller: d or p?
d
Let i be ((-76965)/(-70))/(0 + 1/(-2)). Let n be i/(-21) + 0 + 6/21. Does 106 = n?
False
Let m = -3.349 - 5701.651. Is 1/3 at most as big as m?
False
Let s = -903446 - -22614229/25. Let z = 1124 - s. Does 0 = z?
False
Let r = 3184/9 + -92228/261. Is r greater than 0?
True
Let s = -0.23 - -0.03. Let u = -4 + 4.05. Let q = u - 0.55. Which is bigger: q or s?
s
Suppose -304 = -2*y + 6*y. Let r(a) = -2*a - 162. Let g be r(-44). Which is smaller: y or g?
y
Suppose -17*y = 6*y + 1380. Is y at least as big as -27?
False
Let k(h) = h + 10. Suppose 17*o - 24 = 25*o. Let p be k(o). Which is bigger: 18 or p?
18
Let l = -3924 + 3924. Which is smaller: -28/107 or l?
-28/107
Let c = -243 - -249. Suppose -10 = -2*u - 3*l + c*l, l + 10 = 4*u. Let x = 317 - 1257/4. Which is smaller: u or x?
u
Let s(p) = -p**2 - 2*p + 42. Let g be s(-8). Is g not equal to -24/5?
True
Let y be 2/(-8) - (-3)/(2232/463074). Let i = y + -622. Which is bigger: 0 or i?
i
Let d = 58.37 + 1.63. Let i = -54.9 - 7.1. Let k = d + i. Is -0.3 greater than k?
True
Suppose 12441 = -15363*l + 15392*l. Which is greater: l or 440?
440
Let x be 19/2*-14 - 1. Let r = -8359 - -8461. Let o = x + r. Is -31 bigger than o?
True
Let f(y) be the second derivative of -y**5/20 + 11*y**4/12 + 13*y**3/6 - 11*y**2/2 + 5*y. Let j be f(12). Suppose j = 9*g - 8*g. Which is smaller: g or 2?
g
Let d = -3 - -3. Let i = 4.662 + -4.325. Is d > i?
False
Suppose -d - 4*n = -3*d + 38, 0 = 5*d - 3*n - 109. Let l = d + -24. Let j = 213 + -219. Is j less than l?
True
Let p be 2 - (-1 - (-1 - -1)). Let j(l) = 5*l**3 - 3*l**2 + 3*l - 2. Let y be j(1). Suppose -5*a - 35 = -y*d, p*a - a + 32 = 3*d. Do