w + 6. Let m(d) = 3*d**3 + 4*d**2 + 15*d - 12. Let f(p) = -2*m(p) - 5*n(p). Let u be f(4). Which is smaller: u or 15/13?
15/13
Let j be (3/9)/(1 + (-7)/6). Let z = 2 + j. Suppose m + 4*h + 11 = z, 0 = -2*h - 6 - 0. Which is greater: m or 4/19?
m
Let k = -1047 + 1049. Let j = 2.09 + -2.2. Let b = -0.1 - j. Is b < k?
True
Let s(k) = -k**3 - 19*k**2 - 18*k + 28. Let t be s(-18). Let f be (-264)/(-352) - (-267)/t. Which is greater: 9 or f?
f
Let s be (-2605)/(-11) - 58/(-319). Let p = -244 + s. Which is bigger: -8 or p?
p
Let s = -1298.6 - -1303.5. Let m = -6 - -6.4. Are m and s equal?
False
Let h = -463 + 610.6. Let w = 147 - h. Does w = -24?
False
Let c = 14 - 3.5. Let m = -15.2 + c. Let z = m - -4.7. Is 9 bigger than z?
True
Let t = 34 - 30. Suppose -o = t*o - 5. Let g = -88 - -271/3. Which is greater: g or o?
g
Let o be (-1 - 1)/((-30)/(-975)). Let g = 44 - 48. Let u be ((-26)/o)/(g/10). Do u and 2/73 have the same value?
False
Let v(d) = -8*d - 2*d**2 + 26 - 21 + 4*d**2 - 7*d**2. Let h(o) = 9*o**2 + 15*o - 9. Let k(q) = 4*h(q) + 7*v(q). Let b be k(-4). Which is smaller: 1 or b?
b
Let y = -616 + 720. Suppose -34*i + y = -644. Is 21 less than or equal to i?
True
Let g be (-2 + 0 - -1)/1. Let p be 7 - (6 - g) - (-12)/117. Which is bigger: -1 or p?
p
Suppose 0 = -0*a + 3*a - 6*a. Suppose a = 9*l - 13*l + 64. Let v be (1 - 0) + (-20)/l. Which is smaller: -8 or v?
-8
Let u = -1213652/62415 - -3/6935. Which is greater: u or 0.2?
0.2
Suppose 9*r + 51 = -3. Let b = r + -28. Is -32 less than b?
False
Suppose -o + 6*s = 9*s - 353, -4 = 4*s. Let x = o + -377. Which is greater: -18 or x?
-18
Let z = -11131098 + 34116814767/3065. Let j = z + -2/613. Which is bigger: j or -1?
j
Suppose 5*r + 1104 = 8*r. Suppose -r = -2*l - 4*f, 0 = 5*l + 3*f + 537 - 1429. Is l greater than 175?
True
Suppose -21*m = 15*m - 13*m + 22264. Which is greater: -967 or m?
-967
Suppose -2039 = -98*t - 68727 + 7202. Which is smaller: t or -609?
-609
Let n = -465 + 469. Let k = n - 5. Let i = 27 + -245/9. Do i and k have different values?
True
Suppose -7*b = -0*b. Let z(v) = -v**3 - 8 - 7*v + b*v**2 + 0*v - 5*v**2 + v. Let j be z(-4). Is 7/6 greater than j?
True
Suppose -3*g = -11*g + 640. Suppose -2*k + g = 2*k. Suppose 8*h = 119 + 49. Which is smaller: h or k?
k
Let v be (-7846)/(-16) - (552/(-64) + 9). Let k = 15194/31 - v. Are 0 and k nonequal?
True
Suppose -5*v = 2*u + 4 + 11, 0 = -u + 2*v + 6. Let m(a) = -2*a**2 + 3*a + 6. Let x be m(u). Suppose -x*t = 5 + 1. Is 12 greater than or equal to t?
True
Let o be (-4)/(-2)*(3 - (-5)/(-2)). Suppose 0 = 4*d + r - 28, 4*r - 15 = o. Let p be -1 + (4 - 20/d). Which is greater: p or -3/17?
-3/17
Suppose 0 = -5*m - a + 2431, 9*m = 12*m + 5*a - 1463. Suppose 27*g - m = 21*g. Is 79 bigger than g?
False
Suppose s - n = 711, 2*n + 2*n = -s + 736. Let x = s + -664. Do x and 52 have different values?
False
Suppose -4*a + 3*j - 79 = -6*a, 3*j - 149 = -4*a. Let w = -249 + 248.8. Is a != w?
True
Suppose -8*n + 46 = 70. Let p be n + 30/504 - (1 + -4). Which is greater: 1 or p?
1
Let s = -1526.1 + 1526. Is s at most as big as 7/64?
True
Let w = -137/17 + 479/51. Which is smaller: 100 or w?
w
Let b = -15433 - -15701. Is 259 > b?
False
Let q = -3.8 - -3.6. Let w = -69/8 + 329/40. Which is greater: w or q?
q
Let n be 2/(-1)*(-4)/(-8). Let s = -8515/2836 + -656005965/218372. Let o = 3007 + s. Which is greater: n or o?
o
Let g = 70 - 66.74. Let p = -4.26 + g. Which is smaller: p or -78?
-78
Let h = -25 + 21. Let c be 20/35 + 0 + h/7. Let i be (-2 + 123/63)*1. Which is bigger: i or c?
c
Let k be 3274/4 - 15/30. Let t = 18817/23 - k. Which is bigger: t or 1?
1
Let s = 29.59 - -0.41. Let l = 295747 + -295746. Is s at least as big as l?
True
Let v be 1/(1/(-2)) - -2. Suppose 1187*d - 45 = 1192*d. Let b be (-15)/72 - d/27. Which is smaller: b or v?
v
Let h = -0.42669 + -23.57331. Which is smaller: h or -151?
-151
Let d be (-2)/((-3)/(-3))*30/20. Let m(w) = 3*w + 89. Let u be m(-33). Does u = d?
False
Let q(m) = -3*m + 23. Let z be q(11). Let x(o) = 3*o**2 + 29*o + 4. Let r be x(z). Let k be r/35 - 176/90. Does k = -1?
False
Let q = -1523.168 + 1518. Let y = q - 0.032. Which is greater: y or 1?
1
Let i(l) = -23*l - 66. Let h be i(12). Let a be ((-24)/h)/(12/(-90)). Is a < 0.3?
True
Let z(o) = 5*o**2 + 4*o + 2. Let r be z(-1). Suppose -r*l + 2*a + 10 = -4*l, -l + a - 16 = 0. Suppose 3*n - 4*i + 6 = n, -3*n = -2*i + 29. Are l and n nonequal?
True
Let q be (-2)/(-3)*(19 + 2092 + 16). Which is bigger: q or 1/4?
q
Suppose -4*f + 11*g - 10 = 5, -5*g = f - 4. Let h be 782/7 + (-6)/(-21). Suppose -4*n + 6*n + s = -77, h = -3*n - 5*s. Which is greater: f or n?
f
Suppose -16*i - 225 = 95. Which is smaller: i or -143?
-143
Let p(b) = 119*b - 599. Let n be p(5). Suppose -m - t = -2*m + 19, 0 = 5*m - t - 91. Let z be 2/((m/n)/((-12)/(-36))). Which is smaller: z or 1?
z
Let f be (4/6 - (-364)/(-195))*(-10)/(-3). Is f bigger than -297/59?
True
Let c = -2363.36 + 2008.5. Let o = 351 + c. Let s = o + 3.5. Is 0 > s?
True
Let p(q) = -q**2 - 10*q - 7. Let j be p(-9). Suppose j*d - 1 = -a, -4*a + 0*a + 3*d = -15. Suppose -a*y + 27 = -2*y + 2*u, 2*u - 143 = -5*y. Is y at least 30?
False
Let z = 79 + -172. Let k be -3*2/(18/z). Suppose -i - 2*x = -30, -4*i - k = 2*x - 151. Which is smaller: i or 29?
29
Let r(y) = y**2 - 6*y + 1. Let b be r(6). Let v = -823 - -823. Suppose v = -i - 0*i + b. Is i at least -16?
True
Let z be (-114)/228 + (-129)/(-260). Is -1 > z?
False
Suppose -2*a + 2*h - 16 - 130 = 0, -2*h + 70 = -a. Which is greater: -80 or a?
a
Let g = -633975/17 - -37292. Which is smaller: g or 0?
g
Let o be 18/(-4)*(-24)/(-9). Let v be o/(-1884)*(-1)/2. Which is greater: 1 or v?
1
Let k(m) = 4*m + 2. Let o = 32 + -36. Let i be k(o). Let q be (-14)/(-49) - (-18)/i. Which is smaller: q or -1/13?
q
Let c be (5/(-2))/((-1)/6). Let b be 3/(-15) - (-3)/c. Let q be (10/(-7))/((-24)/14). Is b bigger than q?
False
Let x be 130/(-25) + 4/2. Let l = 367 - 369. Let u = l - x. Is 2 bigger than u?
True
Suppose 5*v = g + 13, -1 = -4*v - 4*g - 5. Let o be ((-75)/150)/((-2)/11). Is o < v?
False
Let d be 22*420/49*(-84)/(-18)*1. Which is bigger: 882 or d?
882
Let b(k) = 29*k**2 - 10*k - 9. Let u be b(-1). Let y = -32 + u. Do y and 2 have different values?
True
Let i be (-5)/2 - ((-2)/(-7) - (-257955)/(-75110)). Is 2 at least as big as i?
True
Suppose 0 = -5*b + 10*b + t - 4, -2*b = -3*t + 12. Is b less than 9.95?
True
Let y be (((-430)/20)/((-65)/(-26)))/(2/30). Which is smaller: y or -144?
-144
Let m be (-5)/(-20) + (0 - 5734/(-8)). Suppose 10*d = -553 - m. Is -127 at least d?
True
Let o be (243 - (-21)/(-7)) + (-1 - 1). Let d be 124/o + (-8)/28. Is d != 0?
True
Suppose 6*l = 10*l - 24. Suppose l*u - 7*u - 32 = -w, -2*w + 68 = 2*u. Suppose -v + w = -4*f - 30, -4*v + 324 = 2*f. Is v bigger than 79?
False
Let t = 13128 - 6504. Suppose -928 = -32*b + t. Which is smaller: 235 or b?
235
Suppose -29*u + 71 = 39*u + 3*u. Is -5/1399 greater than u?
False
Suppose p + 2*t - 17 = -2*p, -4*p = -t - 19. Suppose -p*z = 0, -z + 1 + 3 = -2*o. Let b be (o - 38/(-56)) + 3/(-12). Which is smaller: -2 or b?
-2
Let o = 4329 + -4314. Is 14 >= o?
False
Let a = -3737.9 + 3738. Which is smaller: -2.3 or a?
-2.3
Suppose 4*r + 7 = 31. Let c(k) = k**2 - k - 2. Let q(w) = 5*w**2 - 23*w + 78. Let g(a) = 4*c(a) - q(a). Let n be g(9). Is r not equal to n?
True
Let l = 0.599 - 0.399. Let t = l - 59.2. Is 0.3 equal to t?
False
Let n(y) = 102*y + 1099. Let a be n(-17). Does -637 = a?
False
Let k = 8817 + -8626.05. Let l = k + -191. Let s = 2.01 - 0.01. Do l and s have the same value?
False
Suppose -53*d = -52*d + 285. Let v be -2*(-2 - (d/(-6) - -2)). Let s = v - 102. Is s smaller than -25?
False
Let x = -0.76 - -0.793. Let n be (-1230 + 1229)*(-1)/(-10). Which is bigger: n or x?
x
Let p = -1783.8 + 1784.1. Which is bigger: -5 or p?
p
Let l = -43921 + 43925. Let w = 25 - 14. Which is bigger: w or l?
w
Let i = -4205 + 4257. Is i less than or equal to 59?
True
Suppose 5*z = 5*w - 1795, 10*z + 1801 = 5*w + 4*z. Suppose -n + 4*n - 1072 = 5*i, i - 1414 = -4*n. Which is greater: n or w?
n
Let v = -5633 + 5634. Which is smaller: v or 1.675?
v
Let g be 1/(-2) + -3 + (-24630)/1540. Let u = -1947 - -299839/154. Let b = g - u. Which is smal