se -40 = 4*u - 12*u. Suppose d - 2*d = u*q + 1, 5*d + 5 = 0. Suppose q = m - 5*c - 2, m + 0*m - 3*c = 2. Is m bigger than 0.03?
True
Suppose -2*y = -4*j + 18, -2*y - 22 = -3*j - 2*j. Suppose 0*v - 2*v + 3*h + 91 = 0, -j*v + 162 = -2*h. Is 38 at most as big as v?
True
Let b = -129/67 - -212607/110215. Let v = b - 17114/1645. Which is greater: v or -10?
-10
Suppose -7 + 32 = 5*f. Suppose 107*o = 112*o + f. Let b be 624/9 + 0 + o/3. Which is smaller: b or 68?
68
Suppose 0 = 17*g - 13*g + 24. Let j be (-1715)/140 + g/8. Is j smaller than -112/9?
True
Suppose 4*u - 148 = 4*z, 13*z - 9*z + 154 = u. Suppose 0 = i + 13 - 14. Which is greater: i or z?
i
Let w = 2924 + -2913. Is 7 >= w?
False
Let p = -634192/73 - -8688. Which is smaller: p or 0?
0
Let s = 0.0293 - 212.0293. Let m = s - -212.7. Do 2/21 and m have different values?
True
Suppose -20 = 4*q + 16*q. Let o be 7/(-7) + q*0/(-2). Which is smaller: -9/5 or o?
-9/5
Let g = -233 + 232.871. Let k = -53.871 + g. Let s = 54.1 + k. Which is smaller: s or 2/53?
2/53
Suppose -332*x + 329*x + 3*v = -30, v = 5*x - 26. Let o(d) = d**3 + 10*d**2 + 8*d - 10. Let w be o(-9). Which is bigger: w or x?
x
Let t be 0 + 25/8 + (-109)/872. Let x be 1*t + 5/(495/(-279)). Which is smaller: -13 or x?
-13
Let a(h) = 31*h + 1487. Let p be a(-48). Which is smaller: p or -874?
-874
Let t(q) = -q**3 + 2*q**2 - 6*q - 6. Let b be t(7). Let w = 455 + b. Which is smaller: w or 160?
160
Let t = -4 - -6. Let p = 124 + -126. Let c(m) = -17*m - 32. Let x be c(p). Is x less than t?
False
Suppose -55 = -15*w + 20. Let d = 79 + -21. Suppose 3 = w*l + d. Is -11 greater than l?
False
Let r be 30460/55 - 1*(-6)/33. Suppose -2564 = 15*b - r. Is -134 at most b?
True
Let k = 4387.5 + -4380. Which is greater: 3/8 or k?
k
Suppose o = -24 + 29. Suppose a = 3, -3*n + 4*a = o*a - 123. Are n and 81/2 non-equal?
True
Suppose 3*v = 199*o - 197*o + 1, -4*v - o = 6. Is v less than 2/19919?
True
Let b be 41/((-2583)/(-1218))*(-3)/(-118). Which is bigger: 0 or b?
b
Let m = 14274 + -1792. Which is bigger: 12481 or m?
m
Let l = 0.0144 - -20.9756. Let y = -21 + l. Let t = -0.39 + y. Which is greater: t or 0.03?
0.03
Suppose -918 = 5*c - 14*c. Let r be (-7)/5 - -1 - c/(-30). Suppose 0 = r*f - 4*n + 41, 3*n = -5*f - 30 - 48. Which is smaller: f or -16?
-16
Let f be (416/(-78))/((-8)/204). Which is bigger: f or 115?
f
Suppose 5*v + 8*m - 3*m - 530 = 0, -3*v = 5*m - 326. Let t = v - 100. Suppose 111*d - t = 112*d. Is d greater than -4?
True
Let t = -1.33 - -76.33. Let a = -504.992 - 0.008. Let r = -506 - a. Is r > t?
False
Suppose 0 = 3*r - c - 9, 25*r - 12 = 21*r + 3*c. Let q = -7 + 26. Suppose 0*l + 3*l + r*n + 6 = 0, -5*l = -4*n + q. Is l less than or equal to -13/6?
True
Let d = -7.24 - -6.552. Let f = d + -1.312. Let w = 17 - 30. Which is smaller: w or f?
w
Let h(y) = -y**3 - 4*y**2 - y - 57. Let o be h(-8). Let a be (-36)/(-456)*(-1 + 201/o). Is a bigger than 1?
False
Suppose 72 = 5*t - 4*z, -3*z + 21 = 2*t - 2*z. Suppose t = -3*k, -4*h - h = 4*k - 4. Suppose 5*n + 4*y + 12 = n, h*n + 13 = -5*y. Is -3/2 at least n?
True
Let c = 14895 - 16471. Which is greater: c or 2?
2
Suppose -24 = 16*n - 22*n. Suppose -n*b - b = 8*b. Is 5/19 at most b?
False
Let r = -0.19578 + 0.17548. Is r at least as big as 14?
False
Suppose -3*i - 3*s - 209 = i, 5*i + 4*s = -262. Let l be 9/(18/(-118)) + 6. Which is smaller: l or i?
l
Let o = -17.874 + -85.126. Which is greater: o or -2.6?
-2.6
Let p(d) = 5*d**3 - 16*d**2 + 16*d - 14. Let c be p(2). Which is smaller: c or -330/47?
-330/47
Let i(w) = -683*w + 2050. Let g be i(3). Is -2/1147 at least g?
False
Let r = 0.146 - 61.146. Let z = 44 + r. Let w = 19 + z. Is 1/7 < w?
True
Let d be ((-6)/(-20))/((-79)/(490985/(-66))). Suppose -s + 25 = i, 3*i - 87 = -0*i + 3*s. Which is bigger: i or d?
d
Let j be (-61 - (-9918)/116)/(((-2)/4)/1). Which is bigger: -98 or j?
j
Let d be (-2)/(0 + 2)*((-115674)/(-14460) - 8). Is d not equal to 1?
True
Let g be 7/2*26/(-91). Let k be (-1)/(-5) - (1309/(-130) + 10). Is k at least as big as g?
True
Suppose 534 = 4*f + 2*a, 3*f + 21*a - 26*a = 381. Let z = f + -132. Does z = -1/95?
False
Let n be (-4)/(-16)*(-72)/(-549). Let q = 632/671 - n. Are q and 8 nonequal?
True
Let s(w) = w**3 + 7*w**2 - w - 2. Let a be s(-7). Suppose 0*o - 560 = a*o. Let k be 4/(-7) - 8/(o/(-6)). Is k > 6/25?
False
Let x = -3656/21 - -174. Let n be -6*(-4)/6 - (-114)/(-33). Is n at least x?
True
Let n = 13427 + -13427. Is 108/97 > n?
True
Let w = 0.573 + 1122.427. Is 2 != w?
True
Suppose 5*o + 58 + 112 = 0. Let j(v) = -1990*v + 1957. Let k be j(1). Which is bigger: k or o?
k
Let o = 11311/3 - 3199. Is o smaller than 572?
True
Suppose 3*s + 2821 = -5*t, 2*t + 52 = 2*s - 1070. Let v = t - -1155/2. Let k = 21 - 7. Are v and k equal?
False
Suppose 4*s = -2*s + 6. Suppose 0 = -k - s - 1. Let v be 1 + 0 - (k - 1). Is v > 5?
False
Suppose 5*p - 4*m = -7*m + 225, -200 = -5*p + 2*m. Let w = p - 28. Suppose -d + w - 3 = 0. Which is smaller: d or 5?
5
Suppose -t + 7 - 48 = 0. Suppose -94 = v + 4*o, 203 = 8*v - 10*v - 5*o. Let j be v/3 + -2 + 14 + -14. Is t at least j?
False
Let y(b) = -b**2 - 501*b - 2481. Let p be y(-5). Is p <= -11/59?
True
Suppose -29*v - 230 = -75*v. Which is bigger: 0.0175 or v?
v
Let r be 219*66/14463 - 1. Is r smaller than -2?
False
Let q be (190/155895)/(6/(-4) + 1). Is 1 smaller than q?
False
Let y = 31 + -30. Let v be (y - 5)/(10/60). Let c = v + -12. Is c < -35?
True
Let p = -22023.05 + 22023. Is -73/5 < p?
True
Suppose 9*f - 54 = 2*k + 13*f, 0 = -3*k + 2*f - 97. Let b(l) = l**2 + 10*l - 20. Suppose 106 = -8*p + 34. Let m be b(p). Is m < k?
False
Let n = 0.45 - 72.45. Let j = 79.5 + n. Let t = j + -6.5. Which is bigger: t or -44?
t
Let u = 73 - 6. Let s = u - 62. Let f(m) = -m**2 + 9*m - 7. Let o be f(7). Do s and o have different values?
True
Let p = 15810/7 - 2270. Let c(s) = 2*s**2 - 23*s + 34. Let k be c(10). Let i be 110/(-5)*2/k. Is i less than p?
False
Suppose -c = 17 - 96. Suppose -2*r + 9 = -3*u - 116, -3*r = 2*u + c. Which is bigger: u or -40?
-40
Let c(b) = -b**2 - 12*b - 14. Let p be c(-10). Let r be ((-42)/(-14))/(3/(p/(-14))). Which is smaller: 3 or r?
r
Let y be 5551/169 - 15 - 1/(-13)*2. Is y < 15?
False
Suppose -x + 2*s = -22, -6*x - 43 = -8*x + 5*s. Let j be x/(-9)*(-7)/(70/(-75)). Which is greater: -18 or j?
-18
Let h be (-10)/(-35) - (278118/(-48825) + 6). Which is smaller: -1 or h?
-1
Let a(d) be the third derivative of -d**6/60 + 73*d**5/60 - 37*d**4/24 - 7*d**3 + 19*d**2. Let v be a(36). Is -157/2 not equal to v?
True
Let v be (-13 - -7)*((-165)/(-80))/3. Let g(d) = -d**2 - 6*d + 7. Let n be g(-7). Suppose 4*i - c + 20 - 5 = 0, -4*i + 4*c - 12 = n. Is i less than v?
False
Let h = 4 + -34. Let s = h + 34. Suppose 0 = -3*v + s*q + 23, 3*v + q - 13 + 0 = 0. Is 5 greater than v?
False
Let q = 42 + -15. Let o = -7285.8 + 7286.8. Is o not equal to q?
True
Let t = -1021 + 1018. Is t != -186/53?
True
Let j = 6729.2 - 6733. Are j and -6 unequal?
True
Let y be 12615/(-9570) + (-2)/11. Let u = -0.006 - -0.02. Which is smaller: y or u?
y
Let r(h) = -23*h**2 + 115*h + 542. Let m(q) = 16*q**2 - 77*q - 361. Let c(b) = -7*m(b) - 5*r(b). Let n be c(-7). Which is smaller: 217 or n?
n
Let r be -10 + (-32)/(-3) - (-10952)/24. Which is bigger: r or 448?
r
Suppose -641 = -587*c + 586*c - 4*w, 5*w + 3430 = 5*c. Which is greater: 675 or c?
c
Let l = -23876 + 23436. Is l equal to -451?
False
Let u be (4 + -3 + -2)*(3 + 2302). Let j = u + 467913/203. Which is smaller: 0 or j?
j
Suppose 356 = 7*r - 7010 - 20690. Do 4009 and r have the same value?
False
Suppose 0 = -s - 40 - 107. Suppose i + 0*i + 146 = 0. Which is smaller: i or s?
s
Let l(q) = 7*q + 18. Let r be l(5). Let a = r + -53. Suppose 9*p - 10*p - 1 = a. Which is bigger: -3/25 or p?
-3/25
Let y(u) = -u**3 + 3*u**2 - u + 4. Let o be y(3). Suppose 124 = 3*b - z, -1073*b - 5*z - 48 = -1075*b. Is o not equal to b?
True
Let w(l) = -3*l**2 + 187*l + 797. Let n be w(-4). Which is greater: n or 2/88445?
n
Suppose -5288 = 21*o + 634. Let i = o - -271. Which is smaller: -32/3 or i?
i
Suppose 58*o - 94 = 56*o. Let u be 3*1*564/36. Is u equal to o?
True
Let f be (-64)/((-28160)/(-286)) - 4/(-10). Let k be ((-6)/(-15))/(213/(-5)). Is k at most as big as f?
False
