s smaller: -12 or s?
s
Let k(w) = w**2 + w + 2. Let f be k(-2). Suppose f*z - 10 = -z. Suppose 0 = -z*n - 4 + 2. Which is bigger: n or 0?
0
Let p = -53.2 + 50.2. Which is greater: p or 21?
21
Suppose 18*q = 34*q + 13936. Is -872 != q?
True
Let w(o) = -8*o + 101. Let z be w(11). Let r be 4/(-10) + 814/60. Let c = r - z. Is c greater than or equal to -1?
True
Suppose -5*t - 70 = 145. Let u = t + 17. Which is smaller: u or -24?
u
Let g(o) = o**3 + 13*o**2 + 10*o - 15. Let m be g(-12). Suppose 2*s - m - 19 = 2*p, -26 = -s + 5*p. Is s smaller than 11?
False
Let n(a) = -a**3 + 6*a**2 + 7*a + 4. Let j be (8 - 5)*7/3. Let d be n(j). Suppose 2 = -3*z - d. Is z greater than or equal to -1?
False
Suppose 4*w = -2*j - 76 + 296, 326 = 3*j + 2*w. Let u = 143 - j. Is u less than or equal to 35?
True
Let a = -5 + 6. Let y be 145/475 - (-2)/(-10). Which is smaller: a or y?
y
Suppose -2*o + o = 1. Suppose 5*q = -5*u + 10, -6 = -5*q - u + 12. Let k be q - ((-200)/(-28))/2. Do k and o have the same value?
False
Suppose 5*f - h - 2*h = 85, 4*f + 5*h = 105. Let a(t) = 2*t - 3. Let u be a(4). Suppose -u*k + 15 = -f. Is k less than 3?
False
Let v be 9/(-12)*(-11960)/69. Is 130 at least as big as v?
True
Let i = -6/7561 + -5216/12483211. Which is smaller: i or 1?
i
Let w(b) = b**3 + 10*b**2 - 10*b + 3. Let c be w(-11). Let x be (5 - 0) + c + (-2)/(-2). Is x at least as big as -1/2?
False
Let m = -325 + 323. Let o be (20 - 14)*(-4)/3. Which is smaller: o or m?
o
Let g be (-415)/(-20)*4 + -2. Is g < 81?
False
Let o(k) = k**3 - 5*k**2 - k + 1. Let t be o(5). Let s(z) = -2*z**3 - 15*z**2 - 66. Let i be s(-8). Which is bigger: t or i?
i
Let f = 20.25 + -0.25. Let t = -23 + f. Is t > -3?
False
Let z = -4 + 9/2. Let a(m) be the third derivative of m**6/120 + m**5/12 + m**4/12 - 2*m**3/3 - 7*m**2. Let s be a(-4). Which is smaller: s or z?
z
Suppose 2*t - 13 = 2*x - 3*t, 0 = -3*x + 3*t - 6. Let k = -92 + 131. Let z be (13/k)/((-17)/(-3)). Is x at least as big as z?
True
Suppose -75*h + 266 = -94*h. Which is greater: h or -5?
-5
Let a be 0*1/(-2) - 6. Let p be (16/6)/(2/a). Suppose 0 = -5*w + 105 - 150. Which is bigger: w or p?
p
Let n be (-3)/9 - 0/(1 - 2). Which is greater: n or 9?
9
Let h be 4 - -11 - 8/2. Let b = h - 6. Suppose n + 21 = b*a, -a + 5*a = n + 17. Do n and -3 have the same value?
False
Let o = -1487 - -1555. Which is greater: o or 1?
o
Suppose 4*i + 328 = -2*c, 0*c + 2*c + 2*i = -322. Let y = 159 + c. Is y less than 22/15?
True
Let c(v) = v**3 + 3*v**2 - 10*v - 12. Let t = 83 + -89. Let j be c(t). Is -59 < j?
False
Let g = 13.8 + -16. Let r = 2.3 + g. Which is smaller: r or 3/22?
r
Let g be ((-3282)/(-690) + -3)*(-218)/(-124). Let a = g - 96/31. Is a smaller than 1?
True
Suppose -2 = 4*g - 3*g. Let n = -11236/137 + 895010/8631. Let p = n - 208/9. Are g and p non-equal?
True
Let q(k) = -k**3 - 7*k**2 - k - 7. Let c be q(-7). Let j = -7/52 - -265/1196. Do c and j have the same value?
False
Let w(d) = -d**3 - 11*d**2 - 28*d - 16. Let p be w(-7). Suppose -78 = 3*k - 30. Are k and p non-equal?
False
Let b(f) = 11*f**2 + 5*f + 6. Let h be b(5). Suppose 0 = -3*r - 2406 - h. Let c = r - -11762/13. Which is smaller: 0 or c?
0
Let v(c) be the second derivative of -4*c - 1/12*c**4 - 5/6*c**3 + 0 + 3/2*c**2. Let p be v(-6). Which is greater: p or -2?
-2
Let p = 23 - 25. Let q(o) = 5*o - 1. Let b be q(p). Is b at most -12?
False
Let k(p) = p**3 - 11*p**2 - 6*p + 6. Let f be k(6). Let v = -110 - f. Let s = v + -498/5. Which is bigger: s or -1?
s
Suppose 0 = -2*a - 0*a - 5*y + 77, 4*y = -5*a + 184. Do a and 37 have the same value?
False
Let y = 2 + 1. Suppose -3*j = -24 + 3. Let t be j - 4 - 2 - -3. Which is smaller: y or t?
y
Let u = -2161 + 41023/19. Which is smaller: -2 or u?
-2
Let v = 15536 + -15535. Let m = 7 - 4. Which is bigger: m or v?
m
Let u = 7 + -3. Let i be u + -1 + 21/(-9). Let v = -6.2 + 1.2. Is i not equal to v?
True
Let y be ((0 - -6)/(-6))/(-41). Which is smaller: y or -1?
-1
Let f = 83/26 + -2815/442. Is f smaller than -4?
False
Let j = 152 + -155. Is j > -32/19?
False
Let t(n) = -3*n**3 - n**2 + 2*n. Let f be t(-2). Suppose -15*v = -3*x + 117, x - 37*v = -35*v + 24. Which is greater: x or f?
f
Let j = 0.74 + -2.74. Let f = j - -3. Let u be (-4)/18 + (-10)/36. Which is smaller: f or u?
u
Let u = 12473/99 - 126. Let s be (0 + 6/(-18))/(8/24). Which is smaller: u or s?
s
Suppose 2*b - 148 = i, 5*i + 4*b + 3 = -667. Let x be ((-30)/20)/(9/i). Which is smaller: x or -1?
-1
Let z = -32 + 4. Let u = 34 + z. Which is smaller: u or 8?
u
Let y = -100.4 - -100.5. Which is bigger: y or 86?
86
Let k = 1894751 - 77690083/41. Let v = -129 - k. Which is smaller: v or -1?
-1
Let f = 4.8 - 2.4. Let r = -24.2 + 22. Let g = f + r. Which is bigger: g or -3?
g
Let z = 0.3 - 0.1. Suppose -16*i = 790 - 214. Is i smaller than z?
True
Let u be 2*28/(-8) + 29. Is 22 greater than or equal to u?
True
Suppose k = -3*i - 310, -42 = -3*i - 5*k - 368. Let a(n) = n**2 - 8*n - 13. Let f be a(9). Let v be i/216 + f/(-18). Is v not equal to 0?
True
Let h be 18/36 - (267*(-5)/(-390) + -3). Let x be (-2)/(-5) + 3/5. Which is smaller: x or h?
h
Let x be ((-18)/10)/((-195)/1000). Is x at most 8?
False
Let z = 62 + -27. Let o = z - 28. Are 9 and o equal?
False
Suppose -j - 2*j + 21 = 0. Which is smaller: 47/6 or j?
j
Suppose -6*w - 2*w = -152. Which is smaller: w or -2?
-2
Let t be 6/(-54) - (-951)/(-189). Let m = 4 + t. Is -2/3 at least m?
True
Suppose t + 3*w + 29 = -3*t, -3*t - 28 = -4*w. Let f = 8 - t. Is f <= -0.2?
False
Suppose 3*o = 5*r - 310, -4*r - r - 3*o + 340 = 0. Which is smaller: r or 64?
64
Suppose -13*r + 5 = 18. Is -5/53 equal to r?
False
Let r be (-20)/30 - (1149/(-693) + 1). Which is smaller: r or 0?
r
Suppose -104 = -3*m + q, 0 = -4*m - 5*q + 2*q + 143. Suppose -2*s + 5 - m = 0. Let f = -24 - s. Is f smaller than -9?
False
Let z(n) be the second derivative of -11*n**3/6 - 2*n**2 + 6*n. Let p be z(5). Which is smaller: -58 or p?
p
Suppose -5*j + 32 = 4*x, x = -4*j + 10 + 20. Is j > -2.4?
True
Suppose -8*h + 982 = -2386. Are h and 420 unequal?
True
Let i = -47 - 206. Which is smaller: -254 or i?
-254
Let h = 196.087 + -196. Let f = -0.113 - h. Are -4/9 and f equal?
False
Let g(o) = -o**2 - o + 1. Let y be 3 - ((-1 - -1) + 3). Let d be g(y). Is 7/4 greater than d?
True
Let a = 217 + -219. Is a < -7/8?
True
Let j(o) = -3*o - 8. Let p be j(-6). Let k = 62 - 53. Is k equal to p?
False
Let s = 0 + -1. Let i = -352064/35 - -10059. Is i less than s?
False
Let w = 20 + -36. Suppose 0 = 5*i - 5*z - 25, -7*i - 3*z - 15 = -4*i. Is i < w?
False
Let v be (-2 - 3) + 125/9. Suppose 4*t = 19 + 13. Which is bigger: v or t?
v
Suppose 7 = 4*t + 43. Let o be -33*(t/(-3))/(-9). Suppose a + 2 = o. Is a less than or equal to 8?
False
Let j = 26/31 - -51/124. Which is bigger: j or 1?
j
Let a = 189 + -161. Which is bigger: a or 1?
a
Let u = 208/7 + -247/7. Which is greater: -7 or u?
u
Let x be (8/4)/((-4)/8). Let p be (2 + 10/x)*-2. Which is greater: p or 6?
6
Suppose 1 + 2 = -r. Let z be 18 - (r/6)/((-3)/24). Which is smaller: 15 or z?
z
Let k = -218 - -220. Is -0.025 > k?
False
Let c(q) = 2*q**2 + 17*q + 4. Let o be c(-8). Let k be o*3/15*30/(-4). Is k bigger than -2/5?
True
Let y be 12/2 + -1 + -1. Let i = y - 1. Let g = i - 5. Is g at least 0?
False
Let g be (-216)/(-48)*(12/(-4203))/(-2). Is g at least 0?
True
Let j = -295 - -149. Let y = j + 146. Is y at most 37?
True
Suppose 0 = i + 4 - 7. Suppose 0 = 3*t - i*r + 2 + 1, 0 = -4*t - 3*r + 10. Suppose -4*z = t + 15. Which is greater: z or -2?
-2
Let l(r) = 26*r - 592. Let a be l(23). Which is smaller: a or -63?
-63
Let j be (-13)/(39/(-30))*10. Which is smaller: 692/7 or j?
692/7
Suppose -88 = 7*c + 101. Does c = -28?
False
Let l(i) = -7*i**2 + 12*i - 33. Let s(v) = -6*v**2 + 13*v - 34. Let m(k) = -5*l(k) + 6*s(k). Let x be m(16). Which is bigger: x or -29/4?
x
Let z(a) = -a**2 - 8*a - 9. Let n be z(-6). Suppose -n*q = -8*q + 25. Let d be (-66)/22 - (-2 + (-17)/3). Is d <= q?
True
Let m(h) = h + 31. Let z be m(-19). Let w(d) = d**2 - 12*d. Let k be w(z). Is k bigger than -1/47?
True
Let c = -76 + 145/2. Let r = 652 + -655. Is r at most c?
False
Let j = 0 + -1. Let p = 0.254 - -21.346. Let f = p - 22. Is f at most as big as j?
False
Suppose -628