29 or s?
s
Let p be -1*1476/42*(-2 - 5). Which is greater: 254 or p?
254
Let z be (-2)/((-3 - 2) + 7)*-254. Is 249 bigger than z?
False
Let o = 37231 + -38483. Are o and -1251 nonequal?
True
Let c be (1/(-5))/(6/(-20)*12/18). Let w be 190/936 + (-6)/27. Which is smaller: c or w?
w
Let b = 8/161 + 38/161. Which is smaller: b or 698?
b
Let p = 198464/3 + -65383. Are p and 771 non-equal?
True
Suppose b = -2*a - 4*b + 3800, 0 = 5*a + 5*b - 9515. Which is greater: 1907 or a?
1907
Let k = -379 + 365. Let q be k/(-126)*(-2)/(-15). Is -1 greater than q?
False
Suppose 76*z + 91 = 547. Let s = 64 - 39. Let x be z/10 + 10/s. Which is greater: x or 30?
30
Suppose 2*b - 10*b + 72 = 0. Let r(n) = n**3 + 4*n**2 + 4*n + 10. Suppose -o - 2*o = 9. Let z be r(o). Is z bigger than b?
False
Let a = 55 - -124. Suppose 0 = -i + a + 95. Are 274 and i equal?
True
Let c be (-997084)/(-43307) + -23*1. Let m = -6 - -6. Which is bigger: m or c?
c
Let a(p) = -85*p + 46*p + 37*p + p**2. Let u be a(0). Suppose u = 22*f - 28*f - 24. Which is smaller: f or 2.1?
f
Let f be (5 + 14)*(0 - -5). Suppose 365 = -5*i + f. Let s = -55 - i. Which is smaller: s or 2/207?
s
Suppose r - 1932 = -20*r + 7*r. Does 141 = r?
False
Let i = -26.947 + 25.1567. Let j = i + -0.0097. Which is smaller: j or -1?
j
Let t = -82 - -96. Suppose -t*y = -15*y + 30. Suppose -5*h + 98 + 52 = 0. Does h = y?
True
Suppose -14 = a - 3*a. Let c be (20/2)/2*156/65. Let o be (c/10)/((-5)/(150/(-9))). Is a at least o?
True
Let s = -360 + 360. Suppose -4*c - 6 = -3*y - 7*c, 5*y + 3*c - 10 = s. Suppose 7*m - 3*m - 8 = 0. Is m greater than y?
False
Let a = -347/2 - 180. Is -353 smaller than a?
False
Let i = 50 + -49. Let p = -1/1717 + 1773/96152. Which is greater: i or p?
i
Let j = -117 - -82. Let c = -34329/4 + 8582. Is j less than c?
True
Let d = 50750 - 50811.417. Let z = -61.7 - d. Which is smaller: z or 0?
z
Let w = 445527/4 - 110630. Which is smaller: w or 751?
751
Suppose 21*h = 13*h + 32. Suppose 4*q = -3*u - 528, -3*u - 5*q + 195 = -h*u. Let k be (-513)/u*4/3. Which is greater: k or 5?
5
Let w(c) be the third derivative of c**6/120 + 11*c**5/60 + 7*c**4/24 + 11*c**3/3 - 147*c**2. Let p be w(-10). Is 0 equal to p?
False
Let d(k) = 15*k**2 + k - 4. Let b be d(-3). Let y = b + -638/5. Let j = -984.1 + 983. Is y > j?
True
Let f be 1410/11 + (-200)/1100. Which is smaller: 135 or f?
f
Let y be (-2941)/(-2758) - 3 - -2. Let n = 1/197 + y. Do 0 and n have the same value?
False
Suppose a - 11 = 2*g + 4, 18 = 2*a + 2*g. Suppose 21 = -5*v - 5*u + 1, 5*u = 4*v - a. Let y be 1/7 - (6/8 + (-71)/140). Is y greater than v?
True
Let u = -19261 - -19259. Let c(o) = 2*o**2 - o - 1. Let j be c(-1). Let h = j + -2. Is h greater than u?
True
Let u = -211/118 + -105499/590. Let h = -181 - u. Let t = 144 + -5038/35. Is t bigger than h?
True
Suppose -2*c + 4*l - 20 = 0, c + 16 = -0*l + 5*l. Let o be (c + 2)*7/(-4). Which is smaller: o or 42/5?
o
Let v = -4965 + 5197. Which is greater: 7 or v?
v
Suppose 5*m - 304 - 98 = -4*k, 5*m = -10. Let j = 103 - k. Which is greater: 6/65 or j?
6/65
Let d be (187 + 1)/((-148)/156 - (-80)/(-1560)). Is 2/7 equal to d?
False
Let u = -34 - -45. Let k be 3/(1 - -8)*12. Suppose 9*l = u*l - k. Is 3 >= l?
True
Let w be 9 + -1*2 + 0. Suppose 13 = -6*u + 43. Let b = u - w. Is b less than -2/5?
True
Let s(n) = -n**2 + 29 + 0*n**2 + 18*n - 7*n - 15*n. Let r be s(-6). Do 18 and r have different values?
True
Let m = 1/9134 + -36621/776390. Let d = 0 - 1. Is m at least d?
True
Let q = 0 - -56. Let v = q - 56.4. Let s = v + -1.6. Is -2/5 >= s?
True
Suppose 30 = -3*w + 4*h, -w - 8 + 0 = -2*h. Suppose 0 = 3*b + 2*d - 6, 5*b = 4*b - 2*d - 2. Which is bigger: w or b?
b
Suppose 10 = 5*c - 0*c. Let v be (-18)/27 - c/(-4). Let s = 326 - 325. Which is greater: v or s?
s
Let u(q) = q**3 - 9*q**2 - 10*q + 1. Let w(k) = -6*k - 200. Let j be w(-35). Let t be u(j). Which is greater: -4 or t?
t
Let y be (2*-1 + -2)/((-272)/(-108256)). Which is smaller: y or -0.1?
y
Let t = -140 - -154. Suppose -16 = t*q - 22*q. Which is smaller: -16 or q?
-16
Let c = 157 + -56. Suppose -3*p + 0 - 416 = -4*l, 0 = 3*l + 5*p - 283. Is c < l?
False
Let x be (-1 - -4)*(20 - 19). Let t be x/310*28/63. Which is smaller: t or 1?
t
Let p(r) = r**2 - 16*r + 143. Let d be p(24). Let n = d + -327. Which is greater: n or 0.11?
n
Let t = 405 + -404. Suppose 0 = -3*r - 2*r + 25. Suppose t + r = 6*i. Is -8/17 at most i?
True
Let i = -790183/42945 + -1/8589. Let n be 1/(-18) + 1/2 + 110685/(-6345). Which is greater: n or i?
n
Let y = -190 + -5469. Is 0.2 less than y?
False
Suppose 5*c - 3*w = 628, 0 = -3*c + 9*w + 2*w + 386. Is c bigger than 121?
True
Let o be (5/15 + (-2)/(-12))*6. Suppose 2*w = s + 94, -53 = 4*s + o*w + 279. Which is bigger: 0 or s?
0
Let f = -9.3 + 13.4. Let w = -5.1 + f. Which is bigger: w or 1.07?
1.07
Let n(w) = -w**3 + 15*w**2 - 14*w + 10. Let m be n(14). Let f be (1/(-2))/(m/2160*102). Which is greater: 2/7 or f?
2/7
Let u = -8885 - -8897. Let b = 415/11 - 37. Let o = b + -2/33. Is o not equal to u?
True
Let b(c) = 9*c - 5. Let l = -3 + -1. Let j be b(l). Let g be (-46)/(-36593)*43 - (-1519)/(-37). Are j and g equal?
True
Let y(h) = -174*h + 358. Let b be y(-4). Is 1052 >= b?
False
Let y = -752/1545 + -35/309. Let s be (-114)/244 - (-2)/4. Is y < s?
True
Let l be 55612/264 - 42/(-231). Are l and 210 non-equal?
True
Let h be (-3)/6*-10 + 1. Suppose -h*q - 26*q + 640 = 0. Which is smaller: 22 or q?
q
Let o(y) = 1329*y - 5326. Let t be o(4). Are -45/8 and t non-equal?
True
Let y be ((-2)/6)/((8/312)/1). Let h(t) = 3*t**2 + 11*t - 4. Let u be h(y). Suppose -11*a + 5*a = u. Is a equal to -1?
False
Suppose 19*z + 7*z = 52. Let i be z + -8 - 42476/(-7084). Is 0 != i?
True
Let f(n) = 39*n - 914. Let t be f(21). Which is bigger: t or 7?
7
Let f = 2.3628 - 0.3628. Which is smaller: f or -710?
-710
Let i = -394/3 + 135. Let l = 17/6 + i. Let d(v) = 7*v. Let p be d(1). Do p and l have the same value?
False
Let t be -8 - (-42)/5 - 3/(-30)*-4. Which is smaller: t or -15/206?
-15/206
Let q = 11 - 7. Suppose -5*p = 5*m - 60, q*m = 7*p - 2*p + 93. Suppose -15*c = -m*c - 2. Which is smaller: 0 or c?
c
Suppose 18817 - 1366 = 10332*w - 10335*w. Is -5814 > w?
True
Let s be (1 + 4 + -3)*(-19881)/18. Is s at least as big as -2210?
True
Suppose -2*v - 3*d = -15 - 3, -5*v - 3*d = -27. Suppose 4*f = 5*g + 21, 162*f - g + 39 = 166*f. Suppose v*a - f*a = -24. Which is smaller: -6 or a?
-6
Let k be 16/(-12)*(-2 + -1). Let n be (-16)/28 - 2*1916/56. Let b be k/(4/12 - (-17)/n). Which is greater: b or 45?
b
Let r(h) = -35*h**2 - 136. Let a be r(0). Let j be -1*1*(7 + 128). Which is bigger: j or a?
j
Let q = -18.908 + 12867.908. Is 0 <= q?
True
Let c = 550 + -515. Let t(b) = 2*b + 34. Let s be t(-16). Let x be ((-442)/4)/13*s*-2. Is x bigger than c?
False
Suppose -5*z = -3*z - 30. Let l = z - 17. Let q = 64 - 47. Does l = q?
False
Let p be (12/72 - 12/(-9))/(6/(-88)). Suppose 5*h - 2 = 8. Suppose -h*t - 31 - 13 = 0. Is p smaller than t?
False
Let k = -6681.32 - -6823. Let j = 2.32 + k. Which is smaller: j or -0.2?
-0.2
Suppose 91*f = -27364 + 20721. Let n = -235 - -163. Which is bigger: n or f?
n
Suppose 0 = 5*s + 15, -2*k - 33 = -5*k + s. Let n(p) = -p**3 + 5*p**2 + 37*p - 175. Let a be n(6). Suppose -a*m = -m + k. Is 1/144 smaller than m?
False
Let g = 22236 - 30706. Is g > -1?
False
Let z(a) = -a**3 + 46*a**2 + 697*a - 59. Let r be z(58). Which is greater: -2037 or r?
r
Let n = -0.22 + 0.02. Let r = 1.7 - 25.7. Let v = 26 + r. Is v < n?
False
Let l be 64/(-28) - (-4)/14. Let a(m) = 262*m - 1572. Let v be a(6). Let w be (v/(-1)*2/4)/l. Which is bigger: -3/16 or w?
w
Let p(h) = 95*h + 2279. Let v be p(-24). Let z be 66/(-152) - 1/(-4). Which is bigger: v or z?
z
Let r be (-663)/(-442) + 2/((-4)/67). Is -36 equal to r?
False
Let h be (-110)/(-28) - (-1)/(-2). Let q = -5343 + 5345. Is q less than or equal to h?
True
Suppose -3*v + 500 = 5*n, -9*n - v + 100 = -8*n. Which is bigger: 1114/11 or n?
1114/11
Let v = 0.722 - 0.022. Let z = 275 + -275.1. Which is greater: v or z?
v
Suppose 253 = -11*p + 7909. Suppose 7 = -5*g + 32, 4*l + p = 4*g. Do l and -168 have different values?
True
Let h(m) = -2*m**2 + 53*m + 27. Let t be h(27). Let n be 1 - ((-14)/(-63))/((-4)/(-30))