 = 0, -w + 4 + d = -q. Which is bigger: 3/37 or w?
w
Let h be 5/(15/(-18)) + -871448*13/(-1888120). Which is greater: h or 1?
1
Let l be (-90212)/(-399) + -1 + 19/21. Suppose 128 = -5*f - c - l, -5*f + 5*c = 330. Is -71 < f?
True
Suppose -258*w = -4*w - 525414 - 921624. Are 5696 and w unequal?
True
Let u = 10.31 - 9.31. Is 526 greater than or equal to u?
True
Let j = -68407/21 - -3257. Is j < 0?
True
Let l = -66.87 - -65.87. Which is greater: -44.46 or l?
l
Suppose -108 = -25*y - 8. Suppose 4*i + 3*d = -8 - y, 0 = -5*d - 20. Let a = 52737/25 - 2109. Which is smaller: i or a?
i
Let j = 14 - 8. Suppose 3*d = -j, 4*p - 3*d + 1 - 3 = 0. Let c(g) = -130*g**2 - 8451*g - 66. Let n be c(-65). Are p and n equal?
True
Let r(o) = 9*o**2 - 39*o + 61. Let d be r(7). Are 230 and d non-equal?
True
Let z(l) = 10*l + 109. Let i be z(-11). Let c be (-6)/12*10*(i - 0). Is c less than or equal to 8?
True
Suppose 10*m = 2*m - 104. Let p(g) = -g**3 - 15*g**2 - 27*g - 10. Let j be p(m). Suppose -55 = j*r - 4*r. Is 53 at least r?
False
Let x = 71299 - 216086/3. Let a = x + 730. Is a at least 58/9?
False
Let b = -18 + 36. Suppose 0 = 4*s + 2 - b. Suppose 4*p + a + 1 = -19, -20 = s*p - 4*a. Which is smaller: p or -34/7?
p
Let t = -5.44 + 0.14. Let i = -864.3 - -862. Let o = i - t. Is -0.02 at least as big as o?
False
Let i = -38624 + 38623.64. Let q = 2 + -1.9. Which is greater: i or q?
q
Let t be (1/(-4))/(8/(-416)). Let a = 35 + 3. Suppose -a = -2*l - 4*u, -2*u + 22 = l + u. Is l smaller than t?
False
Let i = 38 - 21. Suppose i*k - 12*k = 655. Which is bigger: k or 132?
132
Let z be -2 - (5 - 17)/2. Suppose 2*m - z*d - 14 = 0, 5*d - 8*d - 18 = -3*m. Let a be ((-8)/(-14) - 2)*m. Which is smaller: a or -7?
a
Let t(w) = -w**2 + 4*w + 33. Let j(c) = c**2 - 2*c - 32. Let a(q) = 4*j(q) + 3*t(q). Let r be a(3). Let f = -18 - -13. Is f less than r?
False
Let d = 6532 + -6541. Is 165 <= d?
False
Let f(g) = -135*g**2 + 23*g + 50. Let v be f(5). Which is smaller: v or -2?
v
Let x = -28.6 - -159.6. Let i = 132.2 - x. Which is greater: i or 0.06?
i
Let m be 3 - 14/(-112)*1242/(-51). Which is smaller: m or -2/9?
-2/9
Let t = 12580 - 12382. Is t smaller than -0.03?
False
Let f = -8/161 - 16237/483. Let c = -243 + 210. Which is bigger: f or c?
c
Let d(o) = -10*o - 8. Suppose -3 - 11 = 7*f. Let h be d(f). Suppose 2 = 2*s, 2*n + 2*n = -4*s + h. Which is bigger: 14/5 or n?
14/5
Let h be (-63*(-21)/6)/(30/20 + -2). Which is smaller: -440 or h?
h
Let f(v) = -3*v**2 + 23*v + 63. Let t be f(24). Which is smaller: t or -1112?
t
Let a(z) = -z**2 - 5*z - 20. Let p be a(-10). Let d = 103 + p. Is d at most as big as 29?
False
Let p = -417 + -231. Which is smaller: -649 or p?
-649
Let k = -4292 - -3651. Do k and -641 have different values?
False
Let f(i) = -6*i - 94. Let r be f(-17). Suppose 4 = 6*t - r. Which is smaller: t or 15/8?
15/8
Suppose -16972 = -347*y - 3092. Suppose -5*u = w - 190, -w + 0*w = 0. Which is greater: y or u?
y
Suppose 3*m = -k + 147 - 157, k = -2*m - 6. Let h be 4/22 + 12/(-66). Suppose -3*c + h*q = -2*q + 22, 8 = -2*c + 3*q. Which is bigger: c or k?
k
Let c = -296 - -302. Suppose 0 = 3*t - 7*t + x + 129, 2*x - c = 0. Which is bigger: t or 34?
34
Let r = 192 - 188. Suppose 2*i + 60 = -r*i. Are -9 and i non-equal?
True
Suppose 3*u + 24 = 36. Let h(o) = -o**3 - o**2 + 4*o - 4. Let v be h(u). Let m = v - -40. Are m and -27 nonequal?
True
Suppose -5*u = -p - 53, 87*u - 85*u = 4*p + 32. Suppose 0*o + 2*o - 16 = 0. Suppose -2*k - 4*y = -4, -4*k + 5*y - o - 10 = 0. Which is greater: u or k?
u
Let w = 4 - 2. Let i be ((-4 - w) + 0)/2. Let g be (-3*(4/i + 1))/(-1). Are -12 and g nonequal?
True
Suppose -859 - 464 = 3*k. Let o be k/(-15)*7/(-21). Suppose -2*j + 5 = 2*y + 17, -4*y + 2*j = 48. Is y equal to o?
False
Let y = -3/296 + 1439/112776. Let f = -1882/8763 - y. Suppose 0 = -5*s + 10*s. Are f and s equal?
False
Let s = 223 - 220. Let v = s + -2.949. Which is smaller: 1 or v?
v
Let d be 3/(54/(-8)) + 172*19/(-342). Which is greater: d or -145/14?
d
Let i be 8/1 + -8 + -381. Let x = -966 + 585. Are x and i non-equal?
False
Let p(o) = o**3 - 27*o**2 + 50*o + 4. Let a be p(25). Suppose -a*g - 89 = -269. Do g and 46 have the same value?
False
Let j be (-21999)/(-33) - (-8)/(-44). Let n = j - 667. Is -1 less than n?
True
Let d(v) = -266*v - 777. Let t be d(-3). Is -10 != t?
True
Let b = -4563 - -4458. Which is smaller: b or -317/3?
-317/3
Let f = -147 - -147. Suppose f = -3*l + t - 338, 566 = 5*l - 10*l - t. Let d = l + 111. Is d less than or equal to -11/4?
False
Let s = 126 - 118. Suppose -j + 8*g = 9*g - 1, 4*g - s = 0. Let b be 2 + -1 + 37/(-35). Is b bigger than j?
True
Let g = -17.8 - 2.2. Let x be (-1)/(7/49) - 518/(-70). Is g smaller than x?
True
Let t be (4 - (3 + 3))*(-30)/4. Let n(b) = -3*b + 44. Let q be n(t). Is q greater than 1/30?
False
Let q = -26399 + 28953. Which is smaller: q or 2551?
2551
Let c be 99/108 + 2/(-3). Let o = 2928.03 - 2928. Is o equal to c?
False
Let d(v) = v**3 + 4*v**2 - 7*v + 2. Let y be d(3). Suppose -y*k = -41*k - 9. Suppose -5*u - 5*a = 5, -9*u + 8*u = k*a - 7. Which is greater: u or -4?
-4
Suppose 3*f - 5*y - 18 = 0, 17 = 16*f - 14*f - 5*y. Which is smaller: -2/333 or f?
-2/333
Let o be (-22320)/(-136) - 6/51. Suppose 0 = 47*i - 51*i - o. Is -41 less than or equal to i?
True
Let r = 436 + -613. Let i = r + 176. Is 0.9 < i?
False
Let y(p) = 13 - 11 - 10 + 5*p. Let z be y(6). Let r = -19 + z. Is 4 greater than or equal to r?
True
Let z = 13878 - 13879. Which is bigger: -578 or z?
z
Let g be (-30)/(-9)*(9/6)/1. Let n be (1 - (-10)/(-25)) + 137/g. Is 31 at least n?
True
Let x = 108 - 96. Let u = 43 - 40. Suppose -u*m - 5*l = -24, -3*l - 14 = -2*m + 21. Which is smaller: m or x?
x
Let g be 63/(-12) - ((-21)/28)/3. Which is smaller: -771 or g?
-771
Suppose -5*r = 3*p - 1138 - 6, 3*p - 248 = -r. Is 221 >= r?
False
Suppose 3*y = 4*o + 5*y + 4, 4*o - 16 = 3*y. Suppose -b = 4*g + o, -2*g - 5 = -0*g - b. Let l = -1720 + 18906/11. Are l and g equal?
False
Let o = 0.0424 + -0.0424. Suppose -8*c = 3*c + 539. Let w = c - -45. Which is greater: o or w?
o
Suppose 0 = -17*n + 21*n - 12. Let v be 1*(n + -4)*38. Let l = -37 - v. Is 2 less than or equal to l?
False
Let k(x) = -x**2 + 7*x - 3. Let b be k(6). Suppose -8*i - 135 = -b*i. Let w(q) = 6*q**2 - 18*q + 13. Let v be w(2). Are v and i equal?
False
Let c = 3196 - 3154. Is c at most 36?
False
Let q = -37556932/519 + 72364. Let f = 119809/2595 - q. Do 45 and f have different values?
True
Let q(v) = -2*v + 77. Let t(c) = -c + 1. Let j(x) = q(x) + 5*t(x). Let w be j(13). Suppose -u - 20 = 2*r + 4*u, -u = 3*r + 30. Is w smaller than r?
False
Let t = 78 - 77. Let k be (-5568)/20295 - (-6)/22. Do t and k have different values?
True
Let g be (10/700)/(102/45). Which is smaller: 1 or g?
g
Suppose p = 7*p - 6. Suppose -3 = 2*n + p. Let v be (-18)/(-9)*(-3)/n. Which is bigger: v or 5?
5
Suppose -3*y + 3*l + 888 = -252, -3*l = 15. Are 377 and y unequal?
True
Let w be (12/27)/2 - (8890/(-9) + 3). Which is smaller: w or 987?
w
Let w be 2/(-194)*((-118)/(-181307))/((-2)/14). Which is bigger: 1 or w?
1
Suppose 0 = 7*u - 5*u - 8. Suppose u*g = 154 + 66. Let z = -881/16 + g. Is 1 != z?
True
Let m be 28/(-70) + (-6)/10. Let h be 3*1/m - 10/(-2). Suppose -5*k = -4*z - 3, z - 6*k + h*k = 2. Is z < 2/3?
True
Let a = -2576 - -2576.2102. Is a at most 2?
True
Let c(d) = 2*d**2 - 3*d + 1. Let u be c(-4). Suppose -u*q = -43*q + 12. Which is smaller: 1 or q?
q
Let g(s) = -2*s**3 + 34*s**2 + 20*s + 28. Let j be g(18). Let a be (8/20)/(28/j) + 4. Does 3 = a?
False
Let t be 7/(-2) - (-79)/(-790). Are 0.151 and t unequal?
True
Let b be (-24930)/(-60)*(-8)/6. Let i = b + 769. Which is greater: i or 214?
i
Suppose -3*b + 3*s + 288 = 0, 5*b + 5*s = 4*b + 72. Let u = b - 55. Suppose 0 = -8*r + 5 + 291. Is r at least u?
True
Let g = -0.342 + 1.59. Let s = -0.052 - g. Let w = -1 - s. Is w != 7?
True
Let z = -209.154 - -2.054. Let p = 207 + z. Is 7.2 greater than p?
True
Let m be (-2)/((-713)/217*(-3)/(-15)). Which is greater: 4 or m?
4
Let m = 19.6 + -17. Suppose 0 = -3*d + 8*d + 275. Let f = 109/2 + d. Is f at least m?
False
Let f = -222 - -108. Let b = 134 + f. Is b at least 1/7?
True
Let u = 33.84 + -37.9. Let f = u + 2.46. Is f <= -0.3?
