Suppose 248*t = 273*t. Which is smaller: t or -25/963?
-25/963
Let q(b) = 4*b**3 + b**2 - 8*b + 7. Let c be q(3). Suppose -8*s - c = 2*s. Let z = 9 + -20. Which is smaller: z or s?
z
Let g be (-99)/(-44) + -2 - (-562957)/(-284). Let a = 1982 + g. Is 0 > a?
False
Let a(d) = -d - 7. Let u be a(-15). Let t(i) be the second derivative of -i**3/6 + 11*i**2 + 10*i. Let g be t(11). Is g > u?
True
Let i be -182*((-55)/(-10) + -6). Is 91 greater than or equal to i?
True
Suppose -446 = -21*v - 89. Suppose 30*k - v*k + 26 = 0. Which is bigger: k or 84?
84
Suppose -5*g - 2*w = 90650, -2*g + 6*w - 10*w - 36260 = 0. Let h be g/38 + (-14 - 3216/(-228)). Is -477 < h?
False
Let h = -260 - -248. Let b be 802/18 - h/27. Is 45 less than b?
False
Let d be (5/(-4))/((-146)/8176). Is 70 greater than d?
False
Suppose 5*y + 872 = -h, 4*y + 27*h = 25*h - 688. Which is bigger: -15 or y?
-15
Let y be (-4)/6*6 + (-13 - -19). Suppose -3*j + 35 = 2*g, y*j + j - 2*g = 43. Which is greater: j or 15?
15
Let a be (1 - -2) + (-2951)/403 + 4. Suppose -3*j + 18*j = -15. Is j smaller than a?
True
Let c = -53 - 2. Let b = 43 + c. Let y be (-14)/(-6) + (-4)/(-6). Does y = b?
False
Let f = 3660/19 + -26615501/138168. Let a = f - 218179/138168. Which is greater: a or -3?
a
Suppose 4*p + 89226 + 7450 = -9*d, d = -5*p - 10719. Is -10745 at least d?
False
Let t be (152/(-5))/(6/(-15)). Suppose -150 = -2*g + 2*o, 9*o - 375 = -5*g + 13*o. Are t and g equal?
False
Let q be 2/(-14) + (-11)/(539/(-546)). Let n be (42/33)/7 + 20/q. Is 64/19 not equal to n?
True
Let b = 601.9687 + -602. Let z = -0.0253 - b. Which is smaller: -2 or z?
-2
Let s = 1749.342 + -6.342. Which is greater: 1 or s?
s
Let k be 9/((-27)/6) + 1. Let z be k/(6/(-12) + 1) + 2. Which is greater: z or -4/91?
z
Suppose -61*z + 44*z - 243 = -44*z. Which is bigger: 369/46 or z?
z
Let r = 18 + -9. Suppose -122*d + 14 = -115*d. Suppose -19 = -4*h + d*m + 13, 5*m = -4*h + 46. Is h < r?
False
Suppose -139553 = -49*d + 4*d - 32183. Is 2388 smaller than d?
False
Let k be (-6)/(-21) - (-3879)/21. Let n(r) = 61*r + 292. Let f be n(-6). Let z be k/f - -1*1. Which is smaller: -2 or z?
-2
Let f = 67/28 - 8/7. Let y be (0 + 1/226)*-6. Let t = y - 205/791. Is t at most f?
True
Let x = 2 - 1. Let k = 1 - x. Let z = 3355 - 104007/31. Is k < z?
False
Let y = -101.517 + -0.483. Let f = -101.99 - y. Let h = 5 - 5.4. Which is smaller: h or f?
h
Let t be (39/2)/((-4125)/1500). Which is greater: -2/3 or t?
-2/3
Suppose -148*z = -145*z - 1053. Let k = z - 384. Which is smaller: -31 or k?
k
Let i(z) = 8*z + 18. Let r be i(-2). Suppose -8*x = -r*x - 30. Suppose x*o + 10 = -0*q - q, -o = 4*q + 21. Does 2/187 = o?
False
Suppose 2*a = -3*n - 15, -72*n + 69*n - 24 = 3*a. Let f = -5 - 0. Is f at most n?
True
Let b(i) = 14*i**3 - 2*i**2 - 3*i - 2. Let a be b(-1). Let n be a/(9*(-1)/(-12)). Let c be 10/n - (-6)/28. Is c < -4?
False
Let b(t) = -63 - 68 + 41 - 9*t. Let a be b(-10). Is -2/507 greater than a?
False
Let l = -37204 + 11985. Is -25218 < l?
False
Suppose -551*b - 1695 = -546*b. Let h = 1019/3 + b. Which is bigger: h or -1?
h
Let m = -0.06421 + 111.94421. Let g = m + -112. Which is smaller: g or 7?
g
Let k be 6 - (-2 + 8)/3. Suppose -k*z - 12 = -7*z. Suppose -z*l = -34 - 38. Which is bigger: l or 17?
l
Let h = 370705 - 370906. Let q be (-2)/(-15)*6/4. Is q < h?
False
Let l = 34585162/1325 - 26102. Which is bigger: l or 1?
1
Suppose 64 = 4*b + 4*b. Let g be 3/((-90)/(-4))*b/92. Which is smaller: g or -1?
-1
Suppose 4*h = 2*p - 118, p = -h + 2*p - 30. Let j be -3*(-4)/(-6)*-2. Suppose -j*n + n - 84 = 0. Which is smaller: n or h?
h
Let k be (-11500)/(-350)*(9 + (-3 - -1)). Are 227 and k equal?
False
Suppose -18597 = -110*d + 59943. Which is bigger: d or 6422/9?
d
Let s = 18665 + -18672. Is s < 461?
True
Let o = -949 + 948.6. Let v = -0.065 + 0.04. Which is smaller: v or o?
o
Suppose 24*q - 338 = -6 - 2108. Which is bigger: 0.041 or q?
0.041
Let x(l) = -1984*l - 2563. Let k be x(-6). Which is smaller: k or 9342?
k
Suppose -4*x - 4*j + 5 = 45, -5*x - 77 = -4*j. Let w be (-75)/7 - 6/21. Let k be w - (6 + (-54)/12). Is k >= x?
True
Let c = 98 + -97. Let g = 4554 + -1243240/273. Is c less than g?
False
Suppose 5*x = 5*i - 90, 0 = -4*i + 2*i - 3*x + 11. Suppose -i*p = -9*p + 132. Is p not equal to -33?
False
Let z(u) = -u**3 + 13*u**2 - 14*u + 23. Let l be z(12). Let g be (14/(-6) + l)*-6. Let s be (-5)/g + 10/8. Which is smaller: 40 or s?
s
Let m = 0.09879 + -0.01879. Is m >= -28/25?
True
Suppose 195*x - 98 = 181*x. Is -0.23 <= x?
True
Let h = 12819 - 12818. Are -11/3140 and h equal?
False
Let x be 0/3 + (3 - 2). Let z = -18706 - -729530/39. Is x at least as big as z?
True
Let p be 2/2 + 0 + 4. Suppose 0*y = -y - 4*j - 4, -p*y - 3*j - 3 = 0. Is -2/111 greater than or equal to y?
False
Suppose -41*f = 419*f + 460. Are f and 13/115 unequal?
True
Let z be (35 + 1752/(-48))/(2/8*-15). Which is smaller: -5/146 or z?
-5/146
Suppose -2*o - 27268 = 4*v, -4*v + 4*o + 8057 = 35313. Is -6815 equal to v?
False
Suppose 5*b - 16 + 26 = -2*p, -2*b - 4 = 5*p. Which is smaller: p or 10/539?
p
Let k = -47615/12 - -4032. Is 63 != k?
True
Let o(v) = -v**3 - 6*v**2 - 2*v - 2. Suppose 5*h + 3 = 4*c - 6, 2*c - 4*h = 12. Let s be o(c). Let p be ((-56)/3)/(42/63). Which is bigger: p or s?
s
Suppose 1885 = 13*o - 1157. Suppose o = 4*a - 30*a. Which is greater: 29 or a?
29
Let k be (-6)/(-16) - (-705)/40. Let o be (-18)/((-2)/4 + (-9)/k). Suppose -3*x + o = -15. Which is smaller: 62/5 or x?
x
Let z = 91 + -9. Let r = z - 64. Let b(y) = 18*y**3 + 2*y**2 - 3*y + 1. Let m be b(1). Is m smaller than r?
False
Suppose 0 = 7*r - 525 - 91. Suppose -2*t = 4*i + r, -i - 5*t = -2*i. Are i and -210/11 nonequal?
True
Let g = 20.046 + -20. Let v = -0.246 + g. Suppose -2*j - 2*o = -j - 13, 4*j + o - 24 = 0. Is v > j?
False
Let i(r) = r**2 - 14*r - 311. Let b be i(26). Which is bigger: b or -1487/6?
b
Let w(t) = -7*t**3 + t**2 + 12*t - 21. Let q be w(4). Which is bigger: -403 or q?
-403
Let s = -128 - 12. Let b = s - -523/4. Suppose -7*n = 52 + 18. Is n smaller than b?
True
Let o = 588 + -587.54. Let l = -0.395 + o. Is l less than or equal to 5/4?
True
Let u = -422.1 + 422. Let n be (-189)/207 + (1 - 0). Which is greater: n or u?
n
Suppose 207*i + 56 = 203*i - 4*w, -i + 2*w - 8 = 0. Let k = 4 + -2. Let u be k/(-4)*(20 + 0). Is i > u?
False
Suppose -4*v + 0 = -3*w - 1, -w + 13 = 2*v. Suppose -46 = v*s - 2*b, 3*s - 51 = 7*s - 3*b. Is -14 not equal to s?
True
Let g be (122/(-165) + 2/3)*(-1755 + 1745). Let q = 0 - 1. Let y be (-2)/q + 0/(-1). Are g and y nonequal?
True
Suppose 5*z + 11 = 3*t, 3*t + z + 0 = 5. Suppose t*k = -25 + 137. Suppose -3*b + k = -10. Is 43/2 > b?
False
Let g be 8 + (-1 + -3 - 1). Suppose -2*v + 3*j = 158, g*v - 64 = -j - 279. Is v less than -75?
False
Let c(j) = j + 5. Let h be c(-5). Let w be (14/(-124))/(((-918)/1044)/(-51)) - -7. Is h != w?
True
Let y be (-5 + -3)/(-2)*(-3)/(-6). Suppose o + 4*x + 35 = 121, -y*o + 177 = 3*x. Let n = -90 + o. Is -1/4 at most as big as n?
True
Let i = 3459644207/537799080 - 1/1181976. Let s = i - 3/91. Let p be (2 - 0)/(-4 + 30/7). Which is smaller: s or p?
s
Suppose 2*f = 7 - 3. Let k = 57 - 32. Suppose 0 = -k*d + 8*d + 102. Which is smaller: d or f?
f
Let r be (36/(-10))/((-3)/(-40)). Let x be (4/6)/(703/(-141) + 5). Let h = x + r. Which is bigger: 2/87 or h?
2/87
Let m(g) = g**2 - 8*g - 2195. Let b be m(-43). Does -72/31 = b?
False
Let o = -40.08 - -38.08. Which is greater: -2/471 or o?
-2/471
Let d(t) = -26*t - 26. Let c = -2 - 2. Let s be d(c). Which is smaller: 79 or s?
s
Let g(a) = -a**3 + 57*a**2 - 45*a + 476. Let t be g(56). Is 1093 smaller than t?
False
Let k(n) = -n + 7. Let v be k(9). Let q(w) = -w**2 + w + 3. Let c be q(v). Let x be 12/(-3) - -2 - c. Which is smaller: x or 2?
x
Let w = -337/105 - -59/21. Which is smaller: w or -22?
-22
Suppose s - 37 - 13 = 0. Let f be (24/10)/(15/s). Suppose 2*c - u + 1 = 17, -3*u - 16 = -2*c. Is f equal to c?
True
Let x(h) = h + 4. Let d be x(4). Let t be ((-15)/(-9) - 2)/((-239)/(-10755)). Is t < d?
True
Let d be 3/(-9) - 90/(-27). Suppose 2*q = 4*t + 128, -3*t + 8*t + d*q + 138 = 0. Let j = t - -25. Is j greater than or equal to -1?
False
Let d = 9076/9 - 1009. Suppose 0 = -3*m - 3*y + 9, 5*m +