 = 0.2 + -0.22. Let v = b + g. Which is smaller: -16 or v?
-16
Suppose 4*p = 2*p - 2*y - 374, -554 = 3*p - 4*y. Let i = p - -187. Is i at most 2/29?
False
Let d = 6.59 + -6.1. Let p = -0.39 + d. Let k be 2*(-22)/(-4)*1/1. Which is greater: p or k?
k
Let u be (-28)/(-20) - (-1731)/(-1290). Let v = -19037/946 - u. Which is bigger: -19 or v?
-19
Let f(u) = 2*u**2 - 99*u - 100. Let q be f(-1). Is -3/173 < q?
True
Let q = -17502/5 - -34911/10. Do q and -0.1 have different values?
True
Let w = 12 + -11. Suppose -45*r + s + 517 = -47*r, -3*r + 4*s - 770 = 0. Which is smaller: w or r?
r
Let p = 35.925 + 0.075. Let w = 19 - p. Let b = -35 - w. Do b and -1/2 have the same value?
False
Suppose -4*b + 5*p + 20 = p, -5 = b + p. Let n be ((-1)/(b + -1))/(12/284). Which is greater: 0 or n?
n
Let n = 0.361 - 213.361. Let a = -214.058 - n. Let l = a + 0.058. Is l smaller than 5?
True
Suppose k + 120 = -39*k. Let o be 1*(15264/(-3366) + 4/22). Which is greater: o or k?
k
Let m(o) = -5*o**2 - 2*o + 6. Let k be m(-3). Let l = k + 23. Let u be ((-24)/(-30))/(4/l). Is u greater than -3?
True
Let y = -1702 - -910. Let w = -791 - y. Does 8 = w?
False
Let x = 109 + -155. Suppose 13*s - 180 = 11*s. Suppose -h - s = h. Which is smaller: x or h?
x
Let z = -1163 + 1193. Which is smaller: -0.06 or z?
-0.06
Let v(m) = 4016*m**2 - 33*m + 69. Let z be v(2). Is 16068 smaller than z?
False
Let i = -816.7 - 114.3. Which is bigger: 1 or i?
1
Suppose 174*y + 268 + 1679 = -1011. Is -753 >= y?
False
Let u = 1/966 - -335/966. Let o = -558/115 - u. Which is smaller: -5 or o?
o
Let t = -795020403/8173 - -97274. Which is smaller: -1 or t?
-1
Suppose 5*b - 4*q = 3520, 3*b - 1408 = b - 3*q. Let t = 1091 - b. Let d be (t/(-4472))/(0 - 3/2). Which is greater: -1 or d?
d
Suppose 261 - 65 = 2*s - 5*t, 3*t = 5*s - 528. Let v = 122 - s. Suppose -v = -10*k + 9*k. Is k greater than or equal to -3?
True
Let s = -4418 + 4417. Which is greater: s or -3/1706?
-3/1706
Let t(r) = -r**3 - 2*r**2 + 4*r + 3. Let l be t(-3). Let b = -4513791/457 - -9877. Is l greater than b?
True
Suppose -3*d + 567 = 10*p - 6*p, p = 3. Let u be (-3 - -2)*(8 - 1460/d). Which is greater: u or 2?
2
Let x = 12784335631/1056810 + 62/105681. Let v = 12107 - x. Is v smaller than 10?
True
Let g(r) = r**2 - 66*r + 921. Let b be g(46). Let q be ((-2)/9)/((-424)/(-1308)). Let d = -1/53 - q. Which is greater: d or b?
b
Let x be (103 + 4)/(1/3). Suppose -4*f = -16, -4*f - 342 = -3*o + 605. Is x greater than o?
False
Suppose -21 = -5*w + 3*w + 5*x, w = -2*x + 6. Let y be (33/6 + 0)/((-2)/w). Let a = y - -28. Is 7 at least as big as a?
True
Suppose 199*s - 8 = 9 - 17. Let n = 355317/83 + -4281. Are n and s nonequal?
True
Suppose -15074*w + 15077*w + 3 = 0. Is w >= -5/1188?
False
Let z(x) = 2*x**3 + 20*x**2 - 25*x - 17. Let c be z(-11). Suppose -4*o = -2*v + c, 0 = 2*v - 7*v + 4*o + 34. Let j = 5 - 3. Which is smaller: j or v?
j
Suppose 2*s - 4*z + 5 = 7, -2*s - 5*z = 43. Let p be 170 - 1 - (s - (9 + -20)). Which is smaller: p or -2/5?
-2/5
Suppose 0 = 2*x - 5*v - 26, 5*x - 3 + 0 = -3*v. Let f be (-1 - 2)/(x/9). Suppose p + 6 = -4. Which is greater: p or f?
f
Suppose 0 = -2*p - 3*v + 19, 5 = 3*p - 5*p + 5*v. Suppose 3*j = -p*l + l - 65, -3*l - 15 = j. Let m be (261/(-58))/((15/18)/5). Is m >= j?
True
Let w be 64/112*(-1)/2. Let z = -662 + 609. Is z smaller than w?
True
Let u = -124 + 182. Suppose 3546 = 106*j - 2814. Which is smaller: j or u?
u
Suppose 5*u = 3*q - 655, 15*q - 20*q + 2*u + 1060 = 0. Let c = 212 - q. Is c smaller than -2?
False
Let h = 20241 - 20206. Are 0.001 and h unequal?
True
Let m(z) = -z**2 + 31*z - 145. Let n = -268 + 298. Let c be m(n). Which is bigger: -113 or c?
-113
Let o = 962/5 + -4744/25. Is 2 != o?
True
Suppose 2*t = t - 50. Let y = t - -49. Let g = -67 + 57. Which is greater: y or g?
y
Let i = 1018595/1116 + -8216/9. Is i smaller than 2/15?
True
Let q be (-80)/(-56) - (-8)/14. Suppose q*b + 15 = 5*k, 0 = -2*k + 5*k - 4*b + 5. Let c be 12/10*(0 + 5). Which is smaller: c or k?
k
Let w(d) = -9*d + 2. Let j be w(-2). Let o be 32/7 + (-35)/7 - (-920)/56. Which is greater: j or o?
j
Suppose f - 14 - 11 = -5*j, j = f + 5. Suppose -113*y + 110*y - 15 = f. Which is smaller: -9/2 or y?
y
Suppose -4*a + 233 = -3*t, -4*t = -a - 3*t + 58. Let x = 61 - a. Suppose 5*g = -4*w - 8, x*g + 2*w + 4 = -0. Which is greater: g or 2/125?
2/125
Let w(g) be the first derivative of g**3/3 + 3*g**2/2 + 4*g + 31. Let y be w(-3). Suppose -4*n + 256 = -4*h, -y*h + 0*h + 240 = 4*n. Is n equal to 62?
True
Suppose 4*o - 782813 = -370*o + 61*o. Which is smaller: o or 2502?
o
Let f = -43 - -44. Let h be 5/((f + 1)/(-6)). Suppose -4*k + 23 = -4*q - 33, -4*q = -5*k + 55. Is h greater than or equal to q?
True
Let d = -7104 - -7103. Is d at most as big as -1695?
False
Let c = -402 - 277. Let t = 678 + c. Which is smaller: -8/197 or t?
t
Suppose -5*j - 155 = -j - 3*k, -5*k - 179 = 4*j. Let d = j - -81. Let b be (-2)/(-6) - (15470/39)/(-10). Are d and b unequal?
False
Let j(y) = -161*y**2 - 8*y + 7. Let n be j(1). Let o = -115 - n. Is o < 47?
False
Let k(m) = -6*m**3 + 2*m + 1. Let b be k(-1). Suppose -2*v - 2*v - 2 = -d, -b*d + 5*v - 5 = 0. Let f = 0.689827 + 12.310173. Which is smaller: d or f?
d
Let l = 1.92 + 0.08. Let i = -2499.4 - -2241.4. Is l at least i?
True
Suppose 41*a + 95 = -153*a - 293. Are a and -2/2751 non-equal?
True
Let p be (1 + 0)/(-1)*-2. Suppose 0 = -10*o - 15 + 55. Let r be ((-1)/((-165)/(-20)))/(o/(-48)). Are r and p unequal?
True
Suppose -2*l = -2*p + 10, -5 = l - 7*p + 5*p. Let h be 7 - (-10)/l - 150. Is h >= -145?
True
Let h(x) = 4*x - 484. Let t be h(16). Which is bigger: -2/25 or t?
-2/25
Suppose -2033892 = 4*q + 191*q + 99*q. Which is smaller: -6919 or q?
-6919
Suppose -2*r - 70 = -2*i + 24, -i = 4*r - 37. Let c(f) = 1262*f - 20146. Let q be c(16). Which is smaller: i or q?
i
Let c be (162/8 - 17)/(2/(-16)). Is c >= -0.54?
False
Suppose 55 = 8*s + 15. Let w be (4 + (-87)/21)*(-116)/4. Is s bigger than w?
True
Suppose 7*b + 40 = 8*b. Suppose 170*z + b = 174*z. Which is greater: 51/5 or z?
51/5
Let g be (-1)/5 + 1144/195 + -6. Is -17/20 > g?
False
Suppose 5*z - z = 476. Suppose -9858 - 45340 - 15602 = -600*u. Is z equal to u?
False
Let u(b) = b**3 + 10*b**2 + 26*b + 15. Let a be u(-3). Which is greater: a or 31/30?
31/30
Let o = 0.07234 + -0.09234. Is 0.07 equal to o?
False
Let k(v) = 525*v + 4. Let b be k(1). Let c = 551 - b. Is 3 less than or equal to c?
True
Let q(l) = -63*l**3 - 2*l**2 - 5*l - 12. Let g be q(-2). Is 497 > g?
True
Let i be 3/48*8 - 7. Let c = 33/4 + i. Which is smaller: c or -1/36?
-1/36
Suppose -2*i = 4*v - 1632, -2040 = -11*v + 6*v - 4*i. Let r be ((-12)/v)/((-2)/8). Is 2.2 at least as big as r?
True
Suppose a = -0*a + 29. Let x(y) = -33*y + 1634. Let r be x(49). Is r < a?
True
Let r = -14130 + 7586. Let s = 6466.01 + r. Let h = s - -78. Which is smaller: -1 or h?
-1
Let b(w) = 10*w**2 - 379*w + 43. Let k be b(38). Suppose -k*l = -85*l - 92. Let c be (-1)/(-1*(-2)/50). Is l at least c?
True
Let p(w) be the first derivative of -5*w**2/2 - 3*w + 3. Let k be p(3). Let m = 196 - 214. Is k < m?
False
Let x be 1/7*-2 + -1. Let c be ((-540)/(-25))/6 + 3/(-5). Suppose -c*l + 4*l = -3*j + 1, 3*l = -6. Which is smaller: j or x?
x
Let o(d) = -106*d**2 - 3*d + 1. Let n be o(-2). Let h = n + 2033/5. Is h smaller than -10?
True
Suppose -2*d = 2*d + 20. Let b(f) = 2*f + 2. Let n(j) = -22*j - 22. Let z(k) = -68*b(k) - 6*n(k). Let v be z(d). Are v and 18 unequal?
True
Let t = 1778 - 1783. Let h = 15 + -15.7. Which is bigger: h or t?
h
Suppose o - 348 = -5*c, c - 4*o - 57 = -0*c. Let y = 68 - c. Let n be ((-2 - -3)/(5/(-25)))/y. Which is greater: n or 11?
11
Let w = 138 + 97. Let t = -235.5 + w. Is t bigger than -1/2?
False
Let t(h) = -h**3 + 18*h**2 - 20*h + 8. Let p be t(17). Let d = p + 46. Let o = -26 + 33. Is d > o?
False
Suppose 4*w - 4*p + 946 = 11654, 2*p + 10702 = 4*w. Which is smaller: 2673 or w?
2673
Let q be (3*3)/(6 + -8). Let n = 107 + -110.47. Let j = n + 2.47. Which is smaller: j or q?
q
Let i be (2/108 + 4/(-24))/((-26)/(-39)). Which is greater: -3.785 or i?
i
Let r be (1162/46812)/(6/(-8) - -1). Which is bigger: r or 0?
r
Let s = 0.1563 - 6.6143. Let u = -0.458 - s. Is -2/7 < u?
True
Suppose 37 