d) = 28*d**2 + 1003*d + 46. Let k be g(-36). Which is smaller: k or 231?
k
Let d be (((-9)/15)/(-3))/(-8 + 195/25). Is 1/6 less than or equal to d?
False
Let k be 9/(-6)*92/(-115)*10/(-12). Which is bigger: -78/115 or k?
-78/115
Let n be (-5 + 7)*28/8. Let j = -167 - -171. Is j <= n?
True
Let a be (-1)/(-2)*(5 + 91)/8. Let l be 3/((-9)/(-114)) - (5 - a). Is l at least -3?
True
Let y = -527899 - -22261500829/42170. Is 0 > y?
True
Let a(j) = -j**3 + 6*j**2 + 8*j - 17. Let d be a(7). Let u be (-2 - -5) + (-410)/d. Let s = 42 - u. Which is smaller: s or 2?
s
Let l be -1*(0 - 1/(-166)). Let m(g) = -2*g**3 - 98*g**2 - 636*g + 160. Let p be m(-8). Is l > p?
False
Let q(u) = -730*u + 739*u - 259 + 69. Let o be q(41). Is 180 at most o?
False
Suppose 308 = 60*h + 19268. Which is greater: -1267/4 or h?
h
Let t(r) be the first derivative of r**4/4 - 8*r**3/3 + r**2/2 - 8*r + 21. Let j be t(8). Suppose 2*q - 4*c = 6*q, 2*q - c - 3 = j. Is -2/23 > q?
False
Let z = 3244 - 3204. Is z equal to 773/20?
False
Let d(u) = -17*u - 2. Let x = -111 - -57. Let t be 7 + x/7 + 4/(-14). Let k be d(t). Is k >= 15?
True
Suppose -45262 = 33*o - 26*o. Is o equal to -6466?
True
Let m = -14/1285 + 373963/2570. Is m greater than or equal to 147?
False
Let m = -175 + 175. Let d be ((-2)/28 - m)/((-8)/(-16)). Is d less than or equal to -1?
False
Let b = -4.8 + -26.2. Let t = 32.6 + b. Let g = 4.6 - t. Which is smaller: -1/2 or g?
-1/2
Let m = 180 - 190. Let s be (4/m)/((-138)/(-207)). Let b be -3*1/(-6)*-2. Which is smaller: s or b?
b
Let b be (-90032)/(-68)*(-1)/(-2) - -8. Is b < 670?
False
Let w(q) = -5*q - 3*q**2 - 2*q**3 + 16 - 10 + 1. Let t(m) = -m**3 - 2*m**2 - 3*m + 6. Let s(l) = 3*t(l) - 2*w(l). Let c be s(0). Which is smaller: 18/5 or c?
18/5
Let s = -2709 + 2709. Which is smaller: 6544 or s?
s
Suppose 0 = -2*c - 5*r - 3015, 66*c - 68*c + 2*r = 3008. Which is greater: c or -2/7?
-2/7
Let m(y) = 2*y**2 - 5*y + 8. Let v be m(9). Let b(t) = 1057*t - 9387. Let d be b(9). Is v > d?
False
Let w = 8668.4 + -8635. Is -1 greater than w?
False
Let w be 6*(-5)/10*(0 + -51). Let a = w - 135. Is 0.3 less than a?
True
Suppose -192 = -42731*o + 42747*o. Which is bigger: o or -682/59?
-682/59
Suppose 149*r = 144*r - 25. Let j be ((-502)/(-102) - 0) + r. Is j less than 2/3?
True
Let g = 1270 + -1259.21. Let r = g + 0.21. Is r at most as big as 2/3?
False
Suppose 0 = -10*r - 0*r + 20. Suppose r*j = -50 + 56. Let k be (17/j + -5)/2. Is k > 0?
True
Let b = 502 - 1099. Let c be 2/(-4) - b/6. Let t = c + -1487/15. Which is greater: 1 or t?
1
Suppose 230*l - 220*l - 980 = 0. Let i be (l/(-12))/1*85/595. Let t = 0 + 0. Is t at least i?
True
Suppose q + 3*q = 3*q. Let m be (-5)/(-15) - 8/(-30). Is m less than q?
False
Suppose -357 = -31*j + 5285. Let h be (1872/j)/(4*(-1)/(-14)). Let c(b) = b**3 + 7*b**2 + 4*b + 7. Let s be c(-5). Is s at least as big as h?
True
Let s(d) = -d + 7. Let n be s(4). Suppose 4*w + 4*g - 7 = w, -g + 8 = 2*w. Suppose -4*f + 2*f + 8 = x, 3*f + 27 = w*x. Is n >= x?
False
Let a = 446.02168 - -0.07832. Let n = -446 + a. Which is smaller: n or -18/35?
-18/35
Let o(l) = -2*l - 18. Let r be o(0). Let d be (r/(-8))/(2/8). Let u be d/3*(-6)/(-45). Which is smaller: 8/9 or u?
u
Let u = 0 + 0. Let r be (-5 + -1)*((-93)/9 - u). Suppose -1 = -2*v - 4*n + 25, -r = -2*v + 5*n. Which is bigger: v or 0?
v
Let u be 945/(-30)*64/(-2576). Is 10 greater than or equal to u?
True
Let z(q) = q**2 - 12*q - 1. Let f be z(14). Let x = -14 - -40. Let y = x - f. Which is smaller: y or 4/19?
y
Let s = 9460 - 9458. Which is greater: 1181 or s?
1181
Suppose -4*g - 138 = -x, g + 3*g + 8 = 0. Let f be ((-2)/4)/(x/(-20) + 7). Which is smaller: f or -1/174?
f
Suppose -26*g - 7*g = 11319. Let y = g - -341. Is -38/25 equal to y?
False
Let r(l) = l**2 - 2*l - 6. Suppose -2*w + 4 = -v, 0*w + 24 = 3*v + 3*w. Let n be r(v). Suppose -u - 15 = -4*u, -n*z + 6 = 2*u. Which is bigger: -7/3 or z?
z
Let n be 5115/(-44) + 1/4. Let u = n - -127. Suppose -5*z - 15 = 8*s - u*s, s - 6 = 2*z. Which is smaller: z or 8?
z
Let b(z) = -7*z**2 + 546*z - 3245. Let k be b(6). Is k greater than or equal to -1543/7?
False
Suppose 106 = -2*m - 8*j, -18*m - 3*j = -19*m - 25. Is m bigger than 8/3?
False
Let t = -54/50909 - -24833399/38385386. Let s = -15/26 + t. Is -1 at most as big as s?
True
Suppose -h + 5*w + 24 = 0, -4*h + 23 = -2*h - 5*w. Let i be (1/2 - h)*14/21. Let o be ((-10)/4 + 2)*2. Which is smaller: o or i?
o
Let a = -29239.7 - -29240. Do a and -5314 have the same value?
False
Let h = 4/16707 + -8704367/83535. Which is smaller: h or -104?
h
Let a be (198/4)/(-4 + 343*4/344). Do a and -4 have different values?
True
Let k = 708 - 456. Let l be ((-8)/k)/(6/14). Let c = l - 26/135. Is -1 at least as big as c?
False
Suppose -29*b + 5620 = -784 - 7690. Is b greater than or equal to 484?
True
Let o be (148 - (7 - 3)) + -4. Suppose -7*m + o = -0*m. Let w be (-3 + 0)*(-28)/(-735)*m. Which is bigger: w or -3?
w
Let o be (-4)/(-2) - (-6 - 1). Suppose -2*v - o = -1. Let n be (4/v + 6 + -3)/(-2). Is n <= -62?
False
Suppose 12*m - 101 = -581. Let x be 5*(-1 - 0/3). Let w be ((-2)/x)/(8/m). Which is greater: w or -4?
w
Let v(x) = 2*x - 45. Let p be v(23). Let u(q) = 4*q**2 + 17*q - 74. Let f be u(4). Is p equal to f?
False
Let k = 147.348 - 147. Let a = k + -0.278. Are 3 and a unequal?
True
Let b = -296 - -294. Is -1357 bigger than b?
False
Let d be (15/70 + 14/(-7) - -2)/3. Which is greater: d or 261?
261
Let s(m) = -5*m**2 + 194*m + 542. Let j be s(46). Which is smaller: -1109 or j?
j
Let i = 21 + -39. Let d = -144 - -57. Let n = d + 84. Which is smaller: n or i?
i
Let z(j) = 9*j**3 - 4*j**2 - j + 1. Let g be z(2). Let o = 79 - g. Suppose -m + 26 = d, -m + 28 = d + 2*d. Are m and o nonequal?
True
Let c be 2 - (1294/(-580) - (-57)/190). Which is greater: 4 or c?
4
Let u(n) = -4*n**2 - 79*n + 499. Let y be u(6). Which is greater: y or -3/10?
-3/10
Let r = -16.11 - -17.207. Let x = 0.055 + 0.042. Let s = r - x. Which is smaller: -51 or s?
-51
Suppose b = -57*m + 52*m + 1, -4*m = -5*b - 24. Is -6606 at least as big as m?
False
Let p(o) = -30*o - 322. Let r be p(-27). Let s = r - 500. Which is smaller: s or -63/5?
-63/5
Let x(n) = n**3 + 22*n**2 - 35*n + 205. Let m be x(-24). Do m and -108 have different values?
True
Suppose 0 = 4*t - 4*d - 16, -4*d - 10 = -0*t - t. Let i be 8/(-52) - (-5852)/5928. Which is greater: t or i?
t
Suppose -3875 = -61*g + 32195 + 61469. Which is smaller: 1600 or g?
g
Let r = -207284/23 - -9014. Do r and 1 have the same value?
False
Suppose 30*v + 1234 = -35*v + 1299. Is 1/759 less than v?
True
Let z(t) = 42*t + 7. Let m be z(3). Let v = 167118/17 - 4121459/425. Let p = v - m. Is p smaller than -1?
False
Suppose -62*r = -50*r - 60. Suppose 0 = 205*t - 210*t - r. Which is bigger: 23 or t?
23
Suppose -2*n + 2 = -2*f, n + 23 = 4*f + 6*n. Let b be (-5 + 4)/(((-6)/63)/f). Which is greater: 41/2 or b?
b
Let x(p) = -p**3 - 24*p**2 - 128*p - 1. Let h be x(-8). Which is bigger: h or 1/435?
1/435
Let k(y) = -9*y + 128. Let z be k(-23). Let d = z + -341. Which is bigger: -8 or d?
d
Let l = 1581 + -1193. Is l at least as big as 389?
False
Suppose 3*a - 631 + 3196 = -3*c, 0 = 3*a + c + 2565. Is a less than or equal to -854?
True
Let s = 2.3 - 2.41. Let w be ((-30)/25)/(3/10). Let c be (-13)/78*w/(-1). Is s equal to c?
False
Let v = 22.79 - 23. Let t = v - -0.01. Let q = -7353/17108 + 3/2444. Is q <= t?
True
Suppose 0*z + 2 = 2*z, -4*d = 3*z - 15. Suppose 0 = d*w + 2 - 11. Suppose 3*p + w = n, n + 6*p = 2*p + 10. Which is smaller: 7 or n?
n
Suppose 0 = -15*t - 12*t - 3483. Which is bigger: -60 or t?
-60
Suppose 33*b = 45*b. Suppose b = 16*q - 75 - 85. Let z(l) = -l**2 - l + 7. Let o be z(0). Is q greater than o?
True
Let m = -64476/103 + 626. Let v = m + -360/7931. Let p = -857 + 856. Is v >= p?
True
Let c = -6519 - -6623. Which is smaller: c or -0.04?
-0.04
Let y = 74 + 32. Let n = 758 + -650. Is n less than y?
False
Let w = -4104726/2635 - -26490/17. Is w smaller than -1?
False
Suppose 7*x - 719 = 107. Let j be (140/(-49))/5 + x/(-14). Let q be 151/j - 14/63. Is q at most as big as -17?
True
Suppose -33*r + 29*r - s = 58, -5*s + 25 = -r. Does -110/7 = r?
False
Let y be (-3)/(-18)*3*4/(-8). Let a be (101 + 18/9)*4/4. Is 