 g?
0
Suppose -3*o = -w - 30, -5*o + 4*o = -5*w - 24. Let q = 43/5 - o. Let p = -40.4 - -41. Which is smaller: q or p?
q
Let z = 2118 - 1532. Which is smaller: z or 2931/5?
z
Let w(k) = -79*k + 961. Let u be w(12). Is u >= 12?
True
Let u = 5908 - 2818117/477. Are -1 and u equal?
False
Let t(q) = -2*q**3 - 9*q**2 - 8*q - 9. Let o be t(-4). Suppose 74 = -o*s - 31. Let b be ((-19)/57)/(7/s). Is 0 bigger than b?
False
Let m be (-14)/105*(-6122)/4. Let a = 1737/5 - m. Which is smaller: a or 143?
143
Suppose -10*c = -429 - 71. Suppose -24*y = c - 290. Is 11 less than y?
False
Suppose 0 = -8*m + 46 + 90. Let j be (1/4)/((-4)/(-48)). Suppose -j*r + 58 = 1. Which is bigger: r or m?
r
Let y(c) = 16*c**2 + 103*c + 982. Let f be y(-9). Do 1351 and f have the same value?
True
Let n = 943 + -933. Let b be 3/9*3 + 1. Suppose -4*c = -n + b. Is 14/9 < c?
True
Let l = 43/56 - 1963/2296. Does l = 0?
False
Suppose 17*l - 155 = 12*l. Let z be (l/(-4) - 2)/((-1)/(-4)). Which is bigger: -75/2 or z?
-75/2
Suppose 0 = 2*v + 3*v. Let i(t) = 2*t**2 - 31*t + 47. Let h be i(14). Suppose 0 = h*a - 15, -3*x + 46*a - 45*a = -48. Is x bigger than v?
True
Suppose -36*b + 131 = -13. Suppose 2*c + b*t - 30 = 0, 2*t = 4*c - 2*t - 120. Which is smaller: c or 7?
7
Let d(k) = -63*k - 127. Let q be d(27). Which is smaller: q or -1829?
-1829
Let z = -115568 - -14099389/122. Let c = z + -61531/80398. Which is smaller: c or -1?
-1
Suppose 59*t = 64*t + 220. Let b be (-124)/t - 3 - (-53)/(-11). Let w be 1 + b + -3 + 1. Are w and -1 equal?
False
Let y = -33509/5 + 6718. Is 1/34 at most as big as y?
True
Suppose -42*x + 19*x = 8418. Which is smaller: x or -368?
-368
Let z(y) = -y**3 - 13*y**2 + 20*y + 473. Let m be z(-10). Which is bigger: m or -6?
-6
Let r(h) = -11*h + 5. Let c be r(0). Suppose -24 = 3*p + 5*l - 3, 4 = -c*p + 2*l. Which is smaller: p or -12/17?
p
Let s = 282.80154 + -0.04154. Let y = -282 + s. Are y and -0.1 unequal?
True
Let c(w) = -4 + w - 44 + 5. Let d be c(11). Let y be -33 + (4/(-10))/(12/(-30)). Is y less than d?
False
Let j = 2518 - 1539. Is j greater than 2/7?
True
Suppose 0 = -70*i - 12440 + 106800. Are 1350 and i nonequal?
True
Let g = 67/1285 - -20618/62965. Let s = g + 1/49. Let v = 92 - 88.3. Which is greater: s or v?
v
Let f be (-192)/210 + 1/(10/2). Let i(w) = -w**3 + 6*w**2 - 9*w + 4. Let h be i(4). Is h < f?
False
Let w = 2 + -5. Let m(a) = 25*a**2 + 3*a + 7. Let k(i) = -71*i**2 - 9*i - 20. Let b(u) = -6*k(u) - 17*m(u). Let t be b(w). Which is smaller: -1/90 or t?
-1/90
Let u = 2448 - 2764. Is u at least -311?
False
Suppose -33 = -5*t + 2*w, -5*w - 11 = -2*t + 19. Suppose 3*g = 4*p + 4*g + 2877, 5*p + t*g + 3585 = 0. Let j be p/1550 + 6/15. Which is smaller: j or -1?
-1
Let o be ((-1 + -1)/(-2))/(-1). Suppose 6*h - 4*d = 11*h - 205, -h + 4*d = -17. Let v = h - 4627/125. Which is smaller: o or v?
o
Let m = 0.07 + -0.01. Let f = m + -0.41. Let s = -0.35 - f. Which is bigger: s or 3/4?
3/4
Let d = 13713 - 13710. Which is greater: d or 109/53?
d
Let q(r) = 40*r - 4. Let v be q(-3). Are v and -129 equal?
False
Suppose 46*d + 120 = 409 + 263. Which is smaller: d or 215/19?
215/19
Suppose i + 0 = -5*h + 8, -h + 5*i - 14 = 0. Are 17/42 and h nonequal?
True
Let d(q) = 2*q**3 - 54*q**2 + 12*q + 49. Let r be d(26). Let p = -80269/81 - r. Is 0 bigger than p?
False
Let b be (-24)/60*-40 + 108. Which is bigger: b or 619/5?
b
Suppose y = 4*t - 32, 3*t - 7*t - y + 32 = 0. Suppose 3*n - 3 = -4*o - 1, 4*o - t = 0. Suppose -2*s - 6 = 4. Is s smaller than n?
True
Let m = -20.121 + 20.221. Which is bigger: m or -40/101?
m
Let o be (-8790)/(-300) - (-9)/(-30). Which is smaller: o or -50?
-50
Let b be 52/(-91) + (-32)/(-7). Suppose -3*s - b = -2*s - 4*c, -2*c - 28 = 2*s. Let j be (-3)/21*s + (-2)/(-7). Which is smaller: 6/11 or j?
6/11
Let a = 1374/53 + -1548392/59731. Is 0 at least as big as a?
False
Let h(d) = -7*d + 40. Let b be h(6). Let m be b/6*1 + 392/168. Let u be 1/(-1) - (-2 + (m - -1)). Is u > -1/14?
False
Let o = -92370/71 + 1301. Is -22 at least as big as o?
False
Let r = -941 + 2827/3. Is r less than or equal to -254?
False
Let g be 235712224/72270 - 8/(-18). Let c = g + -3262. Are c and 0 equal?
False
Let i(j) = -j**3 - 4*j**2 - 5*j - 2. Let y be i(-3). Suppose -y*l - 2 = -6. Let m be 17*l/(-4) - (-2)/8. Which is smaller: m or -5?
-5
Let j = -11.8 + 148.8. Let s = j - 19. Let i = 119 - s. Is -8 < i?
True
Let n be 24 - (15 - -492)/13. Which is smaller: -127/8 or n?
-127/8
Let a = 39 + -22. Let x(l) = l**3 - 18*l**2 + 14*l + 37. Let f be x(a). Is f at least as big as 4?
False
Suppose -3*r - 5*p + 13 = 0, 4*p = -3*r + 9*p - 7. Is 3/1703 greater than or equal to r?
False
Let g = -453345/17 - -26680. Which is bigger: 13 or g?
13
Let w(c) = -c**3 + 30*c**2 - 37*c + 233. Let k be w(29). Which is smaller: -7/211 or k?
-7/211
Let w be (2 + -4 + 2)/(3 - 4). Suppose w = -7*z - 3*z + 10. Is 0 >= z?
False
Let y = -1051458/95 - -11068. Suppose 0 = -3*h + 3*u - 3, 3 = 3*h - 5*h + 3*u. Is h < y?
True
Let p = -164 - -171. Let z be (-4)/(28/3) - (-3)/p. Which is smaller: 2/623 or z?
z
Let t = -112 - -111.17. Let x = 0.83 + t. Is x at least as big as -18?
True
Suppose -7*x + 0 + 72 = -5*x. Suppose -5*t + 172 = -3*q, -4*t + q = -31 - 108. Is x > t?
True
Suppose -15*n = -22*n + 14. Suppose 244 = n*z + 226. Which is smaller: 48/5 or z?
z
Let j = -25369 - -25368.8778. Which is smaller: j or -7?
-7
Suppose -2*x - 3*j + 4*j + 20 = 0, 8 = 2*j. Let a be 2/4 - 6/x*-85. Suppose 3*q - 3*k = -q - 59, -a = 3*q - 2*k. Are -0.3 and q non-equal?
True
Let r = 13.5 - 19. Let i = -135 + 140.7. Let w = r + i. Is -12 bigger than w?
False
Let g be -2 + 1*(-621)/(-312). Let m(u) = u**3 - 12*u**2 - 66*u + 688. Let c be m(13). Which is greater: g or c?
g
Suppose 0 = -2*a + 5*t - 208, 4*a = -14*t + 11*t - 416. Let j be -4*(-1)/(-6)*159. Which is bigger: a or j?
a
Let c be (5/(-2 + -3))/(2/(-122)). Suppose 11*l - c + 776 = 0. Let k = -59 + -5. Is l less than or equal to k?
True
Suppose 11*r - 934 - 375 = 0. Let w(o) = 11*o - 13. Let u be w(12). Does u = r?
True
Let u be ((-2231)/92 + 22)*(-7)/(-21). Let b = -1778 + 12466/7. Is b >= u?
True
Let q(l) = -3*l**3 + 15*l**2 - 22*l + 1. Let w(y) = -2*y**3 + 14*y**2 - 23*y. Let t(f) = -3*q(f) + 4*w(f). Let p be t(-13). Which is smaller: -44 or p?
-44
Let y be 6 + (2 - 3)*4. Suppose -x - a = x - 53, -15 = 5*a. Let g be (-10)/y - x/(-14). Is -8 at least as big as g?
False
Let j = 99.5 + -94. Let m = j + -5.7. Which is smaller: m or -11?
-11
Let d = 71 + -151. Let a be -57*144/104 + 24/(-312). Is a at most as big as d?
False
Suppose 2*s = 3*s - 19. Suppose 37*y - 76 = 35. Suppose o - y = 0, 5*o - s = 3*z + z. Does z = 1/70?
False
Let q(j) = -93*j + 6. Let t be q(4). Let r = -1121/3 - t. Let k = 9 + -17. Is k != r?
True
Let k = -1024 - -1023. Let z be 2/7 - 100/7. Let f = z - -85/6. Which is smaller: k or f?
k
Let p(j) = -2*j**3 + 123*j**2 + 165*j - 6380. Let v be p(62). Suppose 8*o - 6712 = 4*o. Let h = o + -11710/7. Is v < h?
False
Let o = 65890/13 - 5080. Which is smaller: o or -9?
o
Let h = 5512/3145 + -1086/185. Suppose 2*x - 3*x - 3 = 0. Is x greater than h?
True
Let o = -30 - 14. Let s = 93 + o. Let f = 0.064 + -0.064. Is s smaller than f?
False
Let d = 792 - 1002. Let o be 180/d*(46/18 - 1). Which is bigger: o or 1?
1
Let i be (777 + -19)*3/(-328) - -7. Which is smaller: i or 1?
i
Let q be 1/(-11) + 2850/(-352) + 8. Suppose 2*v - 2 + 6 = 0. Let p be ((-1)/v)/(3/6). Is p greater than or equal to q?
True
Let s be 12 + (-507 - (1 - 12)). Which is greater: 19 or s?
19
Let x = -117486 - -185275410/1577. Which is greater: 1 or x?
1
Let g = 402 + -401. Let z be (-135)/(-395)*3880/(-3). Let x = -442 - z. Is x greater than g?
False
Let x = -32982 - -33064. Is 3/16 <= x?
True
Let a(x) be the first derivative of x**4/4 + x**3/3 - 3*x**2/2 - x + 6. Let y be a(-2). Let d be ((-174)/(-16) - 11)/(7/(-12)). Is d >= y?
False
Let c = -28249 - -367233/13. Let w = 0.1 - -0.7. Which is greater: w or c?
w
Let p(m) = 7*m + 12*m**3 + 4*m**2 - 13*m - 4*m**3 + 4. Let z be p(2). Let a be (-38)/z + (-3)/(-6). Is 1 greater than or equal to a?
True
Let n = -8664528699/382023376 + -5395/148301. Let f = n - -159/7. Let u = -65/9936 + f. Do u and 1 have the same value?
False
Let v be ((-48