 15 - 15.09. Let g = u - -1.29. Let d = -1.21 + g. Which is bigger: -1 or d?
d
Let w = -342 + 442. Which is smaller: w or 1/2?
1/2
Let x be (-3)/(-3*2/(-4)). Let r(z) = z**3 + 21 + 73*z**2 - 63*z**2 + 5*z - 14*z. Let t be r(-11). Which is greater: x or t?
t
Let j be (-10)/((-250)/15) - 1. Which is greater: j or 0?
0
Suppose -4 = 19*h - 21*h. Is -35 at most h?
True
Let w be (-506)/(-8) - (-2)/(-8). Suppose 5*z = -w - 17. Let l be (-6)/(-9)*(-18)/z. Which is smaller: -2 or l?
-2
Suppose 2*j = -j - 12. Let i be (j/(-20))/(-7 - -5). Is -1 at most as big as i?
True
Let w(h) = -h**2 + 7*h - 11. Let a = 16 + -7. Let l = 14 - a. Let c be w(l). Is c > 0.06?
False
Suppose 41*d - 640 = 43*d. Which is smaller: -319 or d?
d
Let b = 47 - 184. Let g = b + 137. Suppose 3*s - 2*s = k - 11, 5*k - 4*s = 55. Which is smaller: g or k?
g
Suppose 5*g + 3*z - 56 + 8 = 0, 12 = -3*z. Let r be 6 + (1 - 0 - 0). Let p = r - g. Is p less than -2?
True
Let d = -471 - -497. Which is smaller: 34 or d?
d
Let t = -367 - -716. Is 349 less than t?
False
Let t be 1083 - -11*1/1. Is 1096 != t?
True
Let m = -2789/3141 - 1/1047. Let i(h) = -1 - 4*h**3 - h + 0*h**3 + 0*h**3 + 5*h**3 + h**2. Let o be i(0). Are o and m non-equal?
True
Let w = -2/265 - -279/1855. Let a = 17 + -15. Suppose j + 1 - a = 0. Is j less than w?
False
Let j = 1590/1241 + -42/73. Which is smaller: j or 1?
j
Suppose 434 = -2*o + 4*i, -2*o - 7*i = -3*i + 474. Is o at least as big as -228?
True
Suppose 0 = 6*r - 37 - 89. Suppose -3*z + 27 = r. Suppose -z = 7*y + 5. Which is smaller: 1 or y?
y
Suppose 6 - 5 = -s. Let v = 1255/18972 + -1/612. Let x = 5/558 - v. Which is smaller: x or s?
s
Let j = -998 + 999. Which is smaller: j or -2/2767?
-2/2767
Suppose 2*h = -2, 0*w - 2*w - 5*h - 29 = 0. Which is smaller: -57/5 or w?
w
Suppose -8 = -i + 5*w + 10, 5*i + 5*w - 90 = 0. Suppose 0 = 2*a + 4*j - 2, -i = 3*a - 3*j + 2*j. Is a bigger than -2?
False
Let k = -340/1043 - -6/149. Let c be 14/(-28)*((-5)/(-7) + -1). Which is bigger: k or c?
c
Let f = -18 + 29. Let u = f - 7. Let n = 3.8 - u. Is 2 < n?
False
Let s be 3/(-9)*((-18)/2 - 3). Suppose -9*i = -s*i + 5. Is i smaller than -23?
False
Let j = 681 - 679. Let d(f) = 4*f. Let b be d(-1). Let o be (4 + -2)*b/(-9). Which is smaller: o or j?
o
Let m(b) = b**3 - 6*b**2 - b + 7. Let u be m(6). Let x = 101/132 + -7/12. Are u and x unequal?
True
Let d = 424 + -488. Let j = -200 - -135. Are j and d unequal?
True
Suppose 35 = -2*x + 189. Let b = 1772/23 - x. Is -1 bigger than b?
False
Let c = -0.089 - -0.153. Which is greater: c or 1?
1
Suppose -5*t = 3*f + 4, 4*f - 12 = 3*f - 5*t. Let a = 13 - 20. Which is smaller: a or f?
f
Let k be 3/(2 - 5) + -29. Let v = k + 392/13. Let i = 13 - 13. Is i bigger than v?
False
Let t(h) = -2*h**2 + 2*h + 102. Let k be t(-8). Is k at most as big as -40?
True
Let k(z) = -z**2 - 18*z + 24. Let d be k(-19). Let y be 6*d*4/780. Which is bigger: y or 0?
y
Suppose 5*g - 10 - 5 = 0. Suppose -745*q - 1 = -746*q. Suppose 2*l + q = g. Which is greater: 0.1 or l?
l
Let m = -134 + 133. Is m bigger than 1/88?
False
Let i(c) = c**2 + c. Let u be i(1). Suppose -5*p = u*r + 1, 3*r = 5*p - 6 - 8. Let g be (6 + 0 + -3)/3. Is p bigger than g?
False
Let x = 284.2 + -256. Let h = x + -28. Which is bigger: 1/15 or h?
h
Let k(f) = f**2 - 4*f + 2. Suppose -2*n + 16 = 2*m, -2*n = -6*n + 4*m - 8. Let z be k(n). Which is smaller: z or 4?
z
Suppose -5*n - 20 = -0*n. Is 1 not equal to n?
True
Let b = -54 - -20. Let k = 23 + b. Let u = k - -10.93. Which is bigger: -1 or u?
u
Let w = -28.2 + 28. Let j = -2/11 - 1/55. Is w not equal to j?
False
Suppose -19*z - 17 - 2 = 0. Is z <= 1/1258?
True
Suppose 5*f = -2*x - 565, -x - 2*f - f - 282 = 0. Let v = -131 - x. Let l be (-2)/v - (-4)/14. Is 1 less than l?
False
Suppose 17*x = -90 - 352. Which is bigger: x or -19?
-19
Let o(u) = u**2 - 44*u - 144. Let i be o(47). Is 36 less than or equal to i?
False
Let g be (-8)/(-6)*33 + 1. Suppose y - w + 3 = 14, -g = -3*y - 3*w. Suppose 0 = -5*i + 2*j + 69, -10 = 7*j - 2*j. Is i not equal to y?
False
Let k = 0.0661 - -4.9339. Which is smaller: k or 46?
k
Suppose -2*y + 0*y + 98 = 4*z, 5*z - 240 = -5*y. Which is smaller: y or 36?
36
Suppose -308 = -5*b - 2*r - 301, -3*b + 4 = r. Which is greater: -2/83 or b?
b
Let t be 1/((-255)/(-6))*-10. Let i(d) = d**3 + 63*d**2 - 2*d - 126. Let s be i(-63). Is s not equal to t?
True
Let g = -6.94 - -6.94. Are g and -0.104 non-equal?
True
Let i = -3099/25 + 124. Let j(r) = r**2 - 19*r + 88. Let n be j(11). Is i at most as big as n?
False
Suppose -33 = -g + 4*v, -3*v = -g + 53 - 22. Is g at least as big as 17?
True
Let n be 3/(-2)*2 + -10. Let j = -7 + -5.1. Let b = j - -12. Is n at most as big as b?
True
Suppose -3*u = -3*s - 2*u + 31, u = 4*s - 41. Let z(j) = 3*j - 30. Let l be z(s). Do -5/8 and l have the same value?
False
Suppose 3*w = 2*w - 27. Let k(j) = j**2 - 11*j - 207. Let s be k(-9). Does w = s?
True
Let w = 181 + -94. Let z = w + -44. Is 44 greater than or equal to z?
True
Let y = -3 - -11.6. Let h = 11 - y. Which is bigger: 0 or h?
h
Suppose -4*n + 4 = 0, 0*x = -2*x - 4*n + 30. Suppose -2*p - 4*d = -16, -5*d = -2*d - 15. Let y be ((-15)/4)/(p/8). Which is smaller: y or x?
x
Let s = -16/3 - -31/6. Let f be (-5)/((-25)/(-220)) - -2. Let c = -42 - f. Is c at most as big as s?
False
Suppose -18 = d + 5*f, 3*f = -d - 4*d - 24. Let w be d - 0/(-5) - 2. Is -3 smaller than w?
False
Let z = 21828 - 21828. Let w be (463/(-631))/(246/(-16)). Let q = 2/1893 + w. Is q less than z?
False
Let n = 347 + -360. Is -3/17 not equal to n?
True
Suppose -4*p + 5*c - 63 = 0, 3*p + 3*c + 15 = -12. Let b = 766 + -777. Is b != p?
True
Let f(w) = -2*w**2 - 14*w + 7. Let n(b) = -3*b**2 - 27*b + 13. Let s(d) = 5*f(d) - 3*n(d). Let u be s(11). Is -6 bigger than u?
False
Let q(n) be the first derivative of -n**4/4 - 4*n**3/3 - 2*n - 7. Let u be q(-4). Which is greater: -3 or u?
u
Let q be ((-4)/18)/(2091/630). Let z = -668/205 + 49/15. Let k = z + q. Which is bigger: k or 0?
0
Let d = 3/92 - 315/1196. Suppose 4*y - 9*y = -165. Let u = -34 + y. Does d = u?
False
Let m = 0.11 + -0.11. Let y = m + -0.19. Is y <= -0.1?
True
Let z = -0.05 + 2.05. Let s = 2853/8 + -356. Which is smaller: s or z?
s
Let h be ((-20)/12)/(35/15). Let j(d) = d**3 + 6*d**2 - 1. Suppose 0 = x - 0*i - 2*i + 12, -4*x = 5*i + 9. Let c be j(x). Which is bigger: h or c?
h
Suppose -13 + 3 = -5*c. Let i = c - 2. Let m be 4/(i + -1 + 2). Is 5 at least m?
True
Let q = -593/2468 - 6/617. Which is smaller: q or -97?
-97
Let i = -45 - 2. Is 1/4 less than or equal to i?
False
Let u(z) be the first derivative of -z**4/4 + 3*z**3 + 5*z**2 - z + 13. Let g be u(10). Is -1/3 smaller than g?
False
Let r(s) = 0*s**2 + 5*s**2 - 5*s**2 - 14 + 15*s - s**2. Let t be r(15). Let j be (-32)/(-112) + 4/t. Is j bigger than -2/7?
True
Suppose 112 = t + 3*t. Let j be (t/70)/(6/5). Is j smaller than -1?
False
Let m(h) = -h**3 + 26*h**2 - 4*h + 100. Let o be m(26). Is -5 equal to o?
False
Let u be 23/(9/3 + -4 + 2). Which is greater: 22 or u?
u
Suppose -7 = 2*w - 5*l, 3*l = w + 1 + 3. Is -1/59 >= w?
True
Let r(k) = -k**2 - 3*k + 1. Let n be r(-4). Let u be ((-22)/10 - n) + (-204)/55. Which is greater: -4 or u?
u
Suppose 3*w = 3*l - 216, 364 = -5*w + 6*l - 3*l. Suppose 0*m - 225 = 3*m. Is w at most as big as m?
False
Let j = -481 + 483. Let y(m) = m**3 + 8*m**2 + 2*m + 9. Let d be y(-8). Which is smaller: j or d?
d
Let b(t) = -t - 17. Let l be b(10). Let n be (-6)/l*6/(-4). Is n less than 0.02?
True
Suppose -5*n + 82 = 2*w + 20, 3*w - 3 = 0. Let d = 12 - n. Let g = 0 + d. Which is smaller: -2 or g?
-2
Let z = 27.98 + -28. Let h = z - 0.08. Are h and -12 unequal?
True
Let r be 2 + (-34)/28*2. Suppose -3*v = -3*f + 9, 2*v - 3*f - 10 = -5*f. Is r greater than or equal to v?
False
Suppose 443 = -3*u + 434. Let y = -5 + 4.4. Is y at most as big as u?
False
Let u = 3613/325 + -144/13. Suppose 7 = -3*m - 2*i, -m - i = -5*i - 21. Which is greater: u or m?
m
Let m = 1.4 + -54.4. Is -1 less than or equal to m?
False
Let u(p) = 0 + 2*p + 4 - 3 + p**2 + 5*p**2. Let s be u(-2). Let g = 120 + -119. Which is smaller: g or s?
g
Let p = -141 - -137. Let i = 1 + -5. Let a = p - i. Is 0 at most a?
True
Let x(s) = -6*s - 26. Let f be x(-5). Let v be 4/18*(-1