 559131/5 - 111838. Which is greater: y or j?
j
Let l = 120695 - 194681019/1613. Which is greater: 1 or l?
1
Let r be ((-13)/91 - 38/28)/2. Let x(t) = t**2 - t - 1. Let s(a) = -5*a**2 + 14*a - 5. Let o(q) = -s(q) - 4*x(q). Let k be o(9). Which is bigger: k or r?
k
Let w be 4/21*3/34. Suppose -5*i + 5*p = -110, 3*i - 66 = -7*p + 4*p. Suppose -5*t = 20, -m + i - 9 = -3*t. Is m < w?
False
Let d be 15*(3 + -3 - 1). Let l = -15 - d. Let n be ((-4)/(-144))/(1/(-2)). Which is bigger: n or l?
l
Let r = -0.973 - -3.973. Let u be 3/(-9) + (-8)/(-6). Let t be 75/(-21) - u*-3. Which is bigger: r or t?
r
Suppose 22*a - 166 = 20*a. Let w = a + -86. Is w greater than or equal to -23?
True
Let s = -30 - -35. Is 83/23 <= s?
True
Let q = 34 - 5. Let p = 31 - q. Suppose -4*y - 2*d = -18, y = p*d - 5*d - 3. Is 4 bigger than y?
False
Let x(t) = -t**2 + 25*t - 32. Let k be x(22). Is k smaller than 66?
True
Suppose -46 = c - y, c - 4*y + 49 = -0. Let k be 4 + ((-696)/c)/(-2) - 2. Which is greater: k or -5?
-5
Let i = 14.819 + -1.649. Let p = -0.08 - 12.92. Let d = p + i. Are d and 1 equal?
False
Suppose 0 = -3*v - 2*n - 11, 10*v + n = 5*v - 16. Let a be (280/(-98))/((-4)/14). Suppose a*q = 7*q - 9. Is v equal to q?
True
Let d = 2 - 2. Suppose d*r - 3*r = -3, r = -4*i + 377. Suppose 1650 + 11929 - 2326 = 121*j. Is i greater than or equal to j?
True
Let k = -2661 + 3931. Which is bigger: k or 0?
k
Let y = 293/9313 + 6/139. Is 1 greater than or equal to y?
True
Let c = -5/2997 - -1010089/59940. Which is greater: c or 17?
17
Let k(i) = 4*i + 14. Let r be k(-3). Suppose -r*n = 12*n - 3668. Let l be (-2)/(-7) + 2 + n/14. Is l greater than 22?
False
Let z(r) = 2*r**2 - r + 1. Let m be z(1). Suppose 0 = -3*u + 9, 3*l + 4*u - m*u - 3 = 0. Let x be (14 + 4)/1728*6. Is l at least as big as x?
False
Let o be (3/(-12))/(698/(-16)). Let i = o + 680/3141. Are i and -1/6 unequal?
True
Let p(t) = -3*t + 8*t - 54 + 5*t - 11. Let m(j) = 5*j - 32. Let b(o) = -7*m(o) + 4*p(o). Let w be b(7). Is w not equal to 1/91?
True
Let p be (4 + 2)*3/(-390). Let u = -0.763 + -0.237. Is u not equal to p?
True
Suppose 32 = 2*u + 4*a, 0 = 29*u - 24*u - 2*a + 16. Is u less than or equal to -38/843?
False
Let l be (6/(-232))/(18/339) - (-1)/2. Is -1 > l?
False
Suppose -3*l + 140 + 388 = -2*m, -5*m + 15 = 0. Let b = -181 + l. Is -1 greater than b?
True
Suppose 3*z + 141 = 3. Suppose -2*i + t = 95, -65 = 5*i - 4*i - 4*t. Which is smaller: z or i?
z
Let k = -2.27 - -0.66. Let d = k - -31.61. Suppose 3*g = -2*g - 10. Which is smaller: g or d?
g
Let w be 256/(-896) + 50/126 + 1015/180. Is w != 93?
True
Let o be (-44)/10 + 160/25 + -6. Let t be -2 - -5 - (o + 0/4). Is 65/8 greater than t?
True
Let b be (-3 - -2)/(4/412). Let y be 4/((-5)/(-1545)*(-26 + 14)). Is y at most b?
True
Let j = 4036661/9 - 449125. Which is smaller: j or -608?
-608
Let q(y) be the first derivative of -y**4/8 + y**3/2 + 25*y**2/2 - 15. Let z(n) be the second derivative of q(n). Let c be z(-4). Which is smaller: c or 16?
c
Let m be 16956/(-162)*((-10 - -2) + -1). Let s be (-2)/10*(m/456 + -2). Suppose -2*l + 8*y - 16 = 4*y, 2*y = 3*l + 8. Is l bigger than s?
True
Let u be -1 + 6 + -2 + 46 + 9. Let v = 59 - u. Which is smaller: v or 6/73?
6/73
Suppose 0 = 9*b + 421 - 403. Suppose 10 = -5*t, -55 = -3*r - 0*r + 2*t. Suppose 3*f - 5*x = r, -3*x + 5 = 4*f - 8. Which is smaller: f or b?
b
Let t be (-20)/(91080/72873) + 16. Is 1 equal to t?
False
Let k = 102135826/4785 + -21345. Which is smaller: -1 or k?
-1
Let z = -106 + 43. Let t = -4665 - -4663. Are z and t nonequal?
True
Let q be (-4380)/1848 - (-2)/14. Is -2 equal to q?
False
Let h = -796 - -543. Let c = -178 - h. Which is smaller: c or -3?
-3
Suppose 34*n = 31*n - 15, 2*g - 10389 = -5*n. Is 5208 at least as big as g?
True
Suppose -4*w + 5*t - 11941 = 0, -2*w + t - 1855 - 4108 = 0. Which is greater: w or -2978?
-2978
Let t be (-3 - 22/(-8))/(25/(-2300)). Suppose 24*f - 12 = t*f + 2*s, -3*f = -2*s - 40. Which is smaller: f or 13?
13
Let k be (31 + 17 + -39)*(-1)/(-51). Let i = -7 - -12. Suppose -h + i = 4*h. Is h equal to k?
False
Let p = 384919/45577 - 23/5362. Which is smaller: p or 7?
7
Let m = 92 + -94. Let q = 3231.14 - 3287. Let h = q + 56. Is m < h?
True
Let i = 238 - 703/3. Let t(a) = a**3 + 8*a**2 + 4. Suppose -2*p = 4, -5*w - 30 = -4*p - p. Let y be t(w). Which is smaller: y or i?
i
Let s = 0.648 - -0.032. Let b = s + -2.98. Let k = b - -1.3. Is 1 greater than k?
True
Let q(d) = d**3 - 68*d**2 - 5 + 71*d**2 + 2 - 2*d - 4*d. Let i be q(-4). Let o be (-1038)/30 + 3 + (-2)/i. Is -32 not equal to o?
False
Let d(h) = -9*h + 9. Let l be -5 - (2 - 4) - -3. Let n be d(l). Suppose -2 + 14 = 2*k + 2*i, -3*k + 2*i = -33. Is k less than n?
False
Let z = 1087/6039 - -1/549. Let u = z + -53/231. Let q = -8 + 7. Are u and q non-equal?
True
Suppose -214*l + 38016 = 2*l + 216*l. Is 1504/17 less than l?
False
Let s = 100 - -21. Suppose -s + 859 = -18*v. Is -41 less than v?
False
Let y = -0.1172 - -4.5172. Which is smaller: y or -0.8?
-0.8
Suppose 3*o = -o + 6908. Suppose -3*n = 6*t - t - o, 4*t = -3*n + 1381. Let q = -2413/7 + t. Is q smaller than 0?
False
Let x = 12750 + -7403. Is x < 5347?
False
Let m = -20 - 53. Let i = m - -1819/25. Is 0 <= i?
False
Suppose 3*t - 3*f + 7248 = 0, 18*t = 22*t - 2*f + 9670. Is t not equal to -2419?
False
Let w(s) = -s**3 + s**2 - 103*s + 97. Let b be w(0). Is -0.3 less than b?
True
Suppose 0 = 5*n + 5*i + 35, 4*n = 4*i - 5*i - 22. Let c be (-3)/n*(-78)/8073. Is c smaller than 0?
True
Suppose -3064 + 3028 = d + 4*y, 2*d - 36 = 4*y. Which is bigger: d or 185?
185
Let i = 10952 + -10364. Is i equal to -15?
False
Suppose 135*y - 5 = 136*y + 3*l, -4*l = 8. Let u be (-4)/(-10)*35/(-7). Let h be (-1 - u)*(-2)/50. Which is smaller: h or y?
h
Let v = -14794 + 14856. Is 34 less than v?
True
Let p = 2.94 - 0.32. Let m = -2.02 + p. Which is smaller: m or 4?
m
Let b = 918748083/10789 - 85156. Which is smaller: b or 0?
b
Suppose 27*k - 31*k + 8 = 0. Let q be (33/121)/((-1)/k). Which is smaller: q or -1?
-1
Let c = -188.86 - -191. Let p = -2.2 + c. Is 5/7 less than p?
False
Let o = -854 + 456. Let r = 398.1 + o. Are r and -0.67 nonequal?
True
Let y = -2815.1 + 2815. Suppose 3*g + 2*c + 1 - 5 = 0, -2*g - 5*c + 10 = 0. Let j be (-57)/51 + 1 + g. Are j and y non-equal?
True
Suppose 15*g + 1411 = -389. Let h = -120 - g. Suppose h = -33*f + 24*f. Which is smaller: f or -1/31?
-1/31
Suppose 35 = 2*b + t + 10, 5*b = 4*t + 56. Let s(w) be the third derivative of -5*w**4/24 + 10*w**3 + 3200*w**2. Let r be s(b). Is 4/9 > r?
True
Let u = -21159 + 21153. Is u less than or equal to -764?
False
Let z be (-11 - -9)*(822/4)/(-3). Let g = z + -1232/9. Is 1 bigger than g?
True
Suppose 0 = 5069*n - 5057*n. Which is smaller: -1/164 or n?
-1/164
Suppose 2*r + 12 = -4*n, -2*r + 3 + 10 = -n. Let q be 9*r/126 + 5/56. Is q < 1?
True
Let n = -22288 - -34849. Which is bigger: n or 12559?
n
Let d be ((-102)/4)/(-14 + 15105/1080). Which is greater: 1835 or d?
d
Let v = -0.2674 + -14.7326. Which is greater: v or -155?
v
Suppose -24 = d - 4*d. Let l be d/1*(-14)/(-8). Let m = -2497/5000 - 3/5000. Is l at least as big as m?
True
Let g = 12479 - 12479.1. Does -0.5971 = g?
False
Let r be (-450)/(-18)*(45 + -2). Is 1075 != r?
False
Suppose 4*x - 72 = 4*b, 5*b + 104*x + 108 = 100*x. Which is greater: -33 or b?
b
Suppose -1066 = 3*l + 806. Let q be -3 - l/309 - -1. Let r(z) = z**2 + 6*z - 28. Let j be r(-9). Is q greater than j?
True
Let o = -19954 - -19716. Which is smaller: -0.25 or o?
o
Suppose 19*v = 3*v + 128. Suppose -2*c + v*c = 384. Let l be c/40 + (0 - 2). Which is smaller: l or 30?
l
Let h = -2717 + 2714. Does h = -177?
False
Suppose 2*l - 6*q = -2*q + 36, -4*l + 64 = -4*q. Suppose 3*n + 68 = -l*n. Is -21/4 greater than or equal to n?
False
Let h = -1.367 + 29.367. Which is bigger: h or 10?
h
Let y be -7 - ((-369611)/(-41063) + -16). Is -1 bigger than y?
False
Suppose 334 = m + 147. Let c = 377/2 - m. Is 2 at least c?
True
Let x be (-31)/279 + 2/18. Let b be (x - 1)/((-16)/36). Is b at most 1?
False
Let v(p) = p**3 + 2*p**2 - 7*p. Let w be v(-3). Suppose -96*o + w = -84*o. Which is smaller: 9/29 or o?
9/29
Let n = 13153 + -7021. Which is smaller: n or 6131?
6131
Let y = 1 - -3. Let o be (-1)/y - (-