 as big as 3266?
True
Let b be (-10)/(-135) + 1033/(-216). Is -6 smaller than b?
True
Suppose 5*u - 525 - 195 = 0. Let s = -84 + u. Suppose s = q - 4*q. Is -19 bigger than q?
True
Let l = -14 + 8. Let i be -1 + l/(-9)*9. Suppose -3*b = i*n + 2*b - 5, n - 4*b = 1. Which is greater: -4/11 or n?
n
Let f = 1867 + -1871. Which is smaller: -13/3 or f?
-13/3
Suppose 316 - 69 = 13*b. Let p(s) = 11*s - 27. Let d be p(9). Suppose 6*l - d = 2*l. Is l bigger than b?
False
Let p = -38679 - -231563/6. Which is greater: -85 or p?
-85
Suppose -3*i + 0*i + 44 = -2*f, i - 2*f - 20 = 0. Suppose i*t - 3*t = -9*t. Which is smaller: t or 3/74?
t
Suppose -w + 5*l = -152, 0 = -0*w + 3*w + l - 520. Let g = -2 - -174. Are w and g unequal?
False
Let a(b) = -b**3 - 11*b**2 + 21*b - 11. Let q be a(-13). Suppose 0 = -2*p + 3*x - q, 4*p = -p + x - 135. Is -28 equal to p?
False
Let q(z) = 23 + 6 + 42*z - 45*z. Let s(r) = -r**3 + 2. Let x be s(-2). Let t be q(x). Is t less than or equal to -1/28?
True
Suppose d + 91*d - 14*d = 0. Let o = -20/791 - -19109/787045. Are d and o nonequal?
True
Let s be (0 - -1)*3 + (10 - 10). Let d be s - (-3 + 0)/(62/(-54)). Is d at least 1?
False
Let o = -0.006 + -34.994. Let u = 37 + o. Let m = -1.02 - 0.08. Is u != m?
True
Suppose 14*r - 15*r = -4. Let l be (-8)/20*10/r. Is l greater than or equal to -39?
True
Suppose 22 = -3*b - 5*r - 16, 2*b + 5*r + 32 = 0. Let p = 10595 + -10619. Is p greater than or equal to b?
False
Let i = 18587 + -18517. Let y = 2 - 1. Which is smaller: y or i?
y
Let j = -44.31 - -44.3987. Is -0.3 less than j?
True
Let k = -49 - -30. Let u be (-13)/((-312)/20) - (-202)/(-12). Which is smaller: k or u?
k
Let g be 3/(0 - (-4)/(-28)). Let f be 11/g - (-24)/36. Let m = 25.8 + -26. Which is bigger: m or f?
f
Suppose 2*t + 3*u = -2, t - 18 = -4*t + 4*u. Suppose 0 = -3*p - 12, -t*p = -12*l + 11*l + 18. Which is bigger: l or 9?
l
Let s = -30 - -32.48. Let v = 27 + -29.6. Let j = v + s. Is j at most 1/4?
True
Let j(b) = -2*b + 40. Suppose 4*u + 8 = -0*u, -62 = -5*g - 4*u. Let t be j(g). Let h = 71 - 60. Is t smaller than h?
False
Suppose -h = -1992 + 1786. Let g = h - -358. Which is smaller: 563 or g?
563
Let j(k) = -11*k**2 + 5*k + 22. Let i(v) = -5*v**2 + 3*v + 11. Let q(y) = 7*i(y) - 3*j(y). Let t be q(6). Which is smaller: t or 2?
t
Suppose 2*t + 18 = -4*k, 25*k - 24*k + 1 = -4*t. Let a be (-632)/(-32) - t*(-3)/12. Is a <= 18?
False
Let a be -2 - (6/44)/(-2 - 212/(-112)). Let d = 0 - 2. Is d less than a?
True
Let j be (-8390)/(-61200) + (-12)/102. Which is greater: j or -1?
j
Let m(h) = -2*h**2. Let v be m(1). Let o be 5 + (4/22)/(v/70). Is o < -1?
True
Let b = 0.9313 + 0.0687. Which is smaller: -1896 or b?
-1896
Let r = 429 + -459. Let v be (-13)/39*-9*(-118)/r. Are 13 and v nonequal?
True
Let k be 6*48/(-20) + (-6 - (-162)/30). Let n = 33245/6 - 5555. Is k equal to n?
False
Let y = 3212 - 3238. Is -9 greater than or equal to y?
True
Let t = 4017 - 3999. Let f = 6 + -5.98. Let g = f - -0.18. Which is smaller: g or t?
g
Let u = 8.55 + -8.04. Let q = 618.51 + -623. Let x = u - q. Is 4/11 at most x?
True
Let k = -13268.9 - -13269. Which is bigger: k or 2/1497?
k
Let c(i) = i + 12. Let l be c(-7). Suppose 2*a - 906*n = -908*n + 12, -4*a + 29 = 3*n. Does l = a?
False
Let q(s) = -92*s**2 - 947*s + 6. Let h be q(-13). Is h greater than -6459/2?
False
Suppose -55 = -4*v + 41*k - 46*k, 7*k = 3*v + 34. Let i = -19/8 + 9/4. Is i >= v?
False
Let t be ((-76)/57)/((-2476)/21 + -8). Which is smaller: -1 or t?
-1
Let i = -397 + 363. Do -34 and i have the same value?
True
Let z = 1770 + -987. Let m = 2351/3 - z. Is 0.027 <= m?
True
Let x(p) = -p**2 - 33*p - 275. Let s be x(-18). Let q = 80 + -50. Let y be (63/q)/(2/(-4)). Which is smaller: s or y?
s
Let i(g) = -g**3 - g**2 + g + 1. Let w be i(0). Let y be (-598)/(-4) + 111/(-74). Let k = y - 142. Is w bigger than k?
False
Let w = -346 + -1019. Let p be ((-2204)/w)/2 - (2 - 1). Let j = p + -2/273. Which is smaller: 1/4 or j?
j
Let w = -2 - -4. Suppose -2*t - w*t - 2*q + 26 = 0, -10 = 2*q. Which is smaller: t or 43/5?
43/5
Let o = -303991/27 - -11259. Which is smaller: -1/24 or o?
-1/24
Let h(i) = 35*i - 18. Let f(r) = -r + 38. Let g be f(37). Let v be h(g). Suppose 4*t = 1 + 59. Which is bigger: v or t?
v
Let f(z) = z**2 - 6*z. Let c be f(6). Let b(u) = -u**3 - 19*u**2 + 3*u + 45. Let t be b(-19). Let g be (-10)/15*t/38. Are c and g equal?
False
Let h = 20234 + -31984. Is h at most -23499/2?
True
Let v = -9396 + 9396. Is 2.76 smaller than v?
False
Suppose 0 = y + 3*r, -3*y + y = -r. Suppose a - 27 = -3*d, -2*d + 5*a + 2 = 1. Let p be ((-885)/132)/(-5) - 2/d. Does y = p?
False
Suppose -4*z + 8*c + 5216 = 12*c, 2584 = 2*z - c. Which is smaller: 1297 or z?
z
Let p = -68/3 + 23. Let a = 82602 + -6608159/80. Is a at least as big as p?
False
Let g = 582 + -609.3. Let q = -27.2 - g. Are q and 2/529 unequal?
True
Let b = -1327112/87 + 15254. Let j = b + 19/58. Which is smaller: j or -11.2?
-11.2
Suppose 73853 = 274*k + 25*k. Do 230 and k have the same value?
False
Let b be 187/68 - (-20)/(-16). Which is smaller: 100 or b?
b
Let q be (352 + -348)/((-1)/((-6)/(-8))). Let m = -5 + 3. Let k be (-4)/q*3/m. Which is bigger: -8 or k?
k
Let l = -1783/42 - -7262131/171066. Is -0.1 greater than l?
False
Let o be 2/(-4)*(9 + -1197). Let t = -668 + o. Which is smaller: t or 3?
t
Let i be 1736/(-126) - -3 - -13. Is -19 at most as big as i?
True
Let y(j) = -j**2 - 7*j - 4. Let f be y(-3). Suppose 0 = -17*n + 2*n + 45. Suppose -52 = 3*o - 7*o - 5*m, n*o - 3*m = 12. Is o smaller than f?
False
Let s(k) = -k**3 - 23*k + 3*k + 8 + 12*k**2 - 6. Let m be s(10). Let b be m*(-1)/5 + (-20)/(-25). Which is smaller: b or -8/17?
-8/17
Suppose -2*t + 10*t = -8. Let d(p) = -7*p - 9. Let q be d(t). Which is smaller: 32 or q?
q
Let y(m) = -6*m**2 - 48*m - 185. Let t be y(-5). Is -854/9 at least t?
True
Let a be (-3564)/110 + 31 - (-1 + (-212)/5). Is a bigger than -0.13?
True
Let v = 3420 - 3445. Which is bigger: v or -4.4?
-4.4
Let b be (1444/6)/((-36)/(-54)) - 2. Let t be ((-5388)/b)/3 + (2 - -3). Is -1 equal to t?
False
Let t(w) = -4*w + 13. Let i be t(7). Let c = -304 + 439. Suppose 0 = -5*o - 4*o - c. Are i and o unequal?
False
Let s = -7151/155 - -231/5. Let v = 1065592/31 - 171807/5. Let n = v + s. Is n equal to -1?
False
Suppose 0 = -0*c + 2*c + f - 23, 2*f = 4*c - 42. Suppose -19*y + c = -27. Suppose -y*t + 0 = -4. Is 8/7 less than t?
True
Let f be (-235828)/(-52) + ((-2884)/(-182) - 16). Is f not equal to 4535?
False
Let k = 8528 + -8039. Is 2929/6 > k?
False
Let y = 4/62697 - 34587853/125394. Is y less than or equal to -275?
True
Let q be -2 - (-84)/(-8)*(3 - 5). Let i(a) = a**3 - 18*a**2 - 18*a + 52. Let o be i(q). Is o <= 209/3?
False
Suppose -12042 = -83*j + 7753 + 3860. Which is bigger: j or 276?
j
Suppose 3*g + 738 = -4*m, -249*g = 4*m - 245*g + 736. Which is smaller: m or 0.019?
m
Let k = 386.4 - 441. Let g = k + 42.3. Which is bigger: g or 2?
2
Let w = 684 - 719.9. Let l = 35.8 + w. Is l greater than 68?
False
Suppose 6*m + 49 = -23. Let i be 78*((-6)/m)/((-4)/22). Which is greater: -214 or i?
-214
Suppose 0 = -t - 4 + 17. Suppose -5*s + 4*s - 2*j - 8 = 0, 5*s - 8 = -2*j. Suppose 4 = s*z + 3*a + 9, -4*z + 3*a = -t. Which is smaller: -2/21 or z?
-2/21
Let q(w) = w**3 + 23*w**2 - 16*w + 52. Let r be q(-23). Is r at most as big as 417?
False
Let y = 30636/55 + -2246/5. Let z = 1240/11 - y. Which is smaller: z or 4?
4
Suppose 11228 + 3874 = -3*a + 333. Which is greater: -14765/3 or a?
-14765/3
Let w(r) = -73*r - 803. Let h be w(-11). Let s = -1/1862 - 18573/87514. Which is smaller: h or s?
s
Let n = -2.76 + 4.71. Let j = n - 2.25. Which is smaller: 29 or j?
j
Let z be (0 - 0)/(-6*(-2)/6). Let g = 110763/23 + -4815. Is z less than or equal to g?
True
Let t = -556408 + 245375758/441. Let j = 8/49 + t. Which is smaller: -3 or j?
-3
Let v = -173.6 - -205. Let a = 75.4 - v. Which is bigger: 3 or a?
a
Suppose -15*f - 94934 + 352274 = 0. Which is greater: 17157 or f?
17157
Let g = 31 - 37. Let n be 630/(-20)*(-8)/g. Let i = n + 337/8. Which is smaller: i or 1?
i
Let z = 4203 - 4204. Is -10/633 <= z?
False
Let s be (-8)/(-12)*(-11 + (-6254)/(-568)). Is 0 less than or equal to s?
True
Let z = 30 + 2409. Which is smaller: