-1/3 = p?
False
Let z be -2 + 2/1 - 140/322. Let q(o) be the first derivative of o**2/2 - o - 9. Let j be q(2). Which is greater: z or j?
j
Let i be (-6 - (1 - 2))*(-27)/(11880/(-16)). Is -184 at least i?
False
Let w = 397813/9 - 44201. Let l be (-1)/((-1)/1*1). Which is smaller: l or w?
w
Let g = 678 - 399. Let v = 279.12 - g. Are v and 2/19 equal?
False
Let n = -11 - -1. Suppose 3*c + 12 = 2*v + 6*c, -v - 20 = -5*c. Suppose 0 = a + 3*y + 13, v*a = 3*a + 2*y + 39. Which is greater: n or a?
n
Let g = -3.9919 - -3.8919. Are -17690 and g non-equal?
True
Let k(p) = 3*p**2 - 15*p + 27. Let n be k(9). Let c = -146 + n. Which is smaller: c or -8?
c
Let q = -115 + 111. Let k be 34/q*((-20)/(-4) - 3). Let n be -6 - -3 - (3 - (k + 1)). Are -20 and n equal?
False
Suppose -4*o + 5*o = -3*l + 9, 0 = o - l + 11. Let i = o + 16. Let s = i + -16. Which is greater: -7 or s?
s
Let r = -252439124/5295 + 47675. Which is bigger: -1 or r?
r
Let y = 233 + -230. Suppose 88 + 74 = -y*v. Which is bigger: -53 or v?
-53
Let t = 63.9998 - -0.1002. Let q = t - 64. Which is bigger: -43 or q?
q
Let q be -10 - (76/(-28) - 7) - 179/(-14). Suppose -3*y = 13 - 49. Suppose 4*s = 5*s - y. Which is smaller: s or q?
s
Let z(n) = 4*n**2 - 114*n + 280. Let r be z(26). Is r smaller than 139/7?
False
Suppose 5*d + 22 = 67. Suppose d*a = -9*a + 18. Which is greater: -54 or a?
a
Suppose 2*n + z = -658, -3*n - 2*z = 2*n + 1645. Let g = n - -302. Which is greater: 0.9 or g?
0.9
Let i = 47 - 10. Let b = -55 + i. Let y = b + 3. Is y greater than -14?
False
Let i = 235.048 - 0.048. Let y = 206 - i. Is -5 greater than or equal to y?
True
Let w(g) = 12*g**2 + g - 2. Let z be w(2). Let j = 44 - z. Let s be (-18)/(-120)*(-10)/j. Is s less than or equal to 0?
False
Suppose -8*y - 26 = -21*y. Let q be (-5)/(-215)*(-3 + y). Let a = q - -949/129. Is 8 at most as big as a?
False
Let d = -6995 + 11569729/1654. Which is bigger: d or 1?
1
Let z = 24 - 22. Suppose 5*j = z*j. Suppose -4*n + 8*n + 4 = j. Is n at least as big as -5/22?
False
Let k = 510969/55888 - -1/7984. Let x = -1070 + 1072. Which is smaller: k or x?
x
Suppose -75*n = o - 71*n - 160, 4*o - 5*n - 703 = 0. Which is bigger: o or 246?
246
Let o(z) = 20*z**2 + 22*z - 3303. Let g be o(0). Is -3301 >= g?
True
Let t(s) = -3*s - 5. Let h be t(-6). Suppose 22*o + h*o = 4305. Is 121 greater than or equal to o?
False
Let j be 1*(-4)/4 + (0 - -4). Suppose x - 560 = 5*p, j*p + 364 = 4*x - 9*x. Let r = p - -3843/34. Which is greater: r or 1?
1
Let k be (31 - 32)/(1 + 15/(-6)). Which is smaller: k or -3/9370?
-3/9370
Let c = 7629 + -7632. Do -1875 and c have different values?
True
Let t(o) = -3*o**3 + 28*o**2 - 22*o - 46. Let m be t(11). Is m bigger than -892?
False
Let c be ((-80)/(-30))/(0 - (-4)/6). Let q(w) = 8*w + 15 - w - 6*w + c. Let b be q(-19). Is 0 smaller than b?
False
Let k = 8976 - 7031. Is 1948 at most as big as k?
False
Let k be -3 + 8/3 - 21/(-9). Suppose 0 = -t + 8*o - 7*o + k, 2*t = -o - 2. Is 2/623 greater than t?
True
Let p(j) = j**2 - 39*j + 25. Let m be p(39). Suppose 23*y - 16 = m*y. Let l(f) = -6*f - 1. Let s be l(1). Is s at most as big as y?
False
Let p = -103 - -103.043. Let m = p - 8.143. Let q = -7.1 - m. Which is smaller: q or -15?
-15
Let x(k) = k**3 + 30*k**2 + 58*k + 51. Let o be x(-28). Let d be (1856/(-20) - o/(-25)) + -1. Is -91 greater than d?
True
Suppose 12 = -d + 14. Suppose -p = 12 - d. Let q be (-14)/24 + 2/8. Which is smaller: q or p?
p
Let h be (-178596)/(-252) - 2/(-7). Let x = h - 709. Is x at least 6/239?
False
Let j = -1 + 1. Let t = 22.285 - 181.285. Are t and j non-equal?
True
Let d = -475.1 - 2067.9. Is -1/4 at least d?
True
Let o(v) = v**3 + 6*v**2 - 6*v + 10. Let z = -111 - -66. Let r = z - -39. Let k be o(r). Is 45 at least as big as k?
False
Let p = 34 + -73. Let t = 54 + p. Suppose t*s = 10*s + 5. Which is greater: s or -2/75?
s
Let u(k) = k**2 - 4*k - 2. Let f be u(5). Let z = f + -9. Let v(y) = -2*y**2 - 13*y - 5. Let t be v(z). Which is greater: t or 2/3?
t
Let g(j) = -9*j + 10. Let r be g(17). Let z = 129 + r. Do z and -13 have the same value?
False
Suppose -5*j + 1000 = 2*g - 6*j, 0 = -g - 2*j + 495. Let a = -498 + g. Which is greater: a or -7/82?
a
Let z(w) = 75*w - 4. Let a be z(3). Let r = a + -1544/7. Let s(g) = g**3 - 2*g**2 - 3*g + 5. Let u be s(2). Is u at most as big as r?
True
Let x(p) = 5*p**2 + 7*p + 9. Let i be x(-3). Suppose -1 = -i*o + 32. Let s be 1/4*(-1 + 2). Is s equal to o?
False
Let u(f) = f**2 + 17*f + 62. Let a be u(-18). Suppose -3*b - 2*b - 5*z + a = 0, 0 = -2*b + 3*z + 47. Let j = 39/2 - b. Which is smaller: 9 or j?
j
Let z = -1902 - -1901.6. Which is bigger: 11 or z?
11
Let n = -7 - -19. Let d be 0/(-2) - (-350)/70. Suppose 3*j = -3*t - n, d*j + t - 10 = 2*t. Is j at least as big as -5/11?
True
Let v = -220.48 + 3.48. Let i = 174 + v. Which is smaller: i or 2?
i
Let p(n) = n**2 - 10*n + 7. Let s(a) = -6*a - 45. Let b be s(-9). Let r be p(b). Let g be 272/96*3/r. Which is smaller: -3 or g?
g
Let f = 7/199 + -27923/1791. Suppose -18*s + 11*s - 112 = 0. Are f and s nonequal?
True
Suppose -4*m - 259 = 677. Let l be (m/(-48))/((-6)/72). Which is greater: -59 or l?
l
Let u = 7/48 + -61/16. Which is greater: u or -12.9?
u
Let h = -0.352 + -35.348. Let n = -32.5 - h. Is 3 at least n?
False
Let u = -163.26 + 163. Let r = -138.66 + 140. Let g = r - u. Is g greater than or equal to -2?
True
Let u be (198/(-15) - -15)*454/(-6). Which is bigger: -135 or u?
-135
Let b(o) = 4*o**2 + 11*o + 2. Let f be b(-4). Suppose -3*h + 0 = p + 4, 5*p + h - f = 0. Which is bigger: p or 27/5?
27/5
Suppose 171*v + 42*v - 85687 = 7181. Is 3060/7 != v?
True
Let t(y) = -56*y + 116. Let x be t(-2). Which is smaller: x or 911/4?
911/4
Let w = -1159/129 - -28/43. Let u = -113/15 - w. Let l = -768/91 - -58/7. Which is smaller: u or l?
l
Let x = -5010 - -5009.9. Which is smaller: -7.6 or x?
-7.6
Let l(z) = -z**3 + 8*z**2 - 8*z + 13. Let r be l(6). Suppose -r*q + 10 = -47*q. Is q < -2/65?
True
Let x = -12.2 - -12. Let q = -49 + 95. Suppose -8 = 42*m - q*m. Which is smaller: m or x?
x
Let s(n) = -2*n + 6. Let z be s(6). Let q be 1062/(-27) + 4/z. Let h = q + 877/22. Which is smaller: -1 or h?
-1
Let r = -0.3059 - -0.2059. Which is greater: -431/2 or r?
r
Let p be 314*((-12)/21 - (-1 - (-143)/154)). Is p less than or equal to -120?
True
Let b(t) = -t**3 + 5*t**2 - 6*t + 10. Let i be b(4). Let m(f) = -3*f**2 - 1 - f + 6*f**2 - f - 2*f**i. Let s be m(-2). Which is smaller: s or 0?
0
Let u be 40/(-2)*(12 - 3)/(-18). Suppose -r - 4*h = -u + 31, -2*r + 3 = -h. Let f = 235/4 + -60. Is f equal to r?
False
Let q be 1533 + -7 + -3*(3 - 5). Which is smaller: q or 1531?
1531
Suppose -7*f = 456 - 4579. Let h = f + -591. Is 71 greater than h?
True
Let c(v) = 8*v**2 - 72*v - 62. Let g be c(10). Which is smaller: g or 17?
17
Let u be 4/(-112)*(-1)/6. Let g = 7118 + -7119. Which is smaller: g or u?
g
Let n be 354/(-1593) - 12/(-9)*27678/18. Is 2048 smaller than n?
True
Let j = 60693/137 - 443. Let o be (10/15)/((-2)/(-186)). Suppose -o*q = -57*q. Which is smaller: q or j?
q
Let b(w) = -w**3 - 14*w**2 + 16*w + 22. Let h be b(-15). Let r(q) = q - 5. Let n be r(h). Let g be ((-12)/(-140))/(n/(-7)). Which is bigger: g or 1?
1
Suppose 0 = 4*z + 5*f + 367, -3*z = -6*z - 4*f - 275. Let j = z + 78. Is j smaller than -14?
True
Let k(j) = -j**3 + 8*j**2 - 2*j - 9. Let t be k(8). Let b = 414 - 665. Let x = 251.1 + b. Is x greater than t?
True
Let s = 23343/43 - 543. Let u(t) = 8*t + 91 + 4*t - t + 14*t + 20*t. Let r be u(-2). Which is bigger: r or s?
r
Suppose 20 = 4*s, -17 = -4*x - 0*x + 3*s. Which is bigger: x or 3.07?
x
Let d(y) = y**2 + 26*y + 96. Let g be d(-5). Let z be (g + 3 + 2)*458/(-8). Which is greater: 231 or z?
231
Suppose -4*t = -8626 - 40 + 390. Is t > 2068?
True
Suppose 2*b + 5 = -5*x + 7*b, 3*x - 7 = -2*b. Suppose x - 6 = -5*j. Let i = -85/126 - -25/14. Which is smaller: j or i?
j
Let o(x) = 8*x - 66. Let m be o(25). Let c be (4/10)/(16/5340). Let h = c - m. Is h less than or equal to 2?
True
Let k be 14/490 - 12/420. Is 3/413 < k?
False
Let g = -12 + 54. Let o = g - 44. Let r be (2 - -1) + (-6 - o). Is r at most 5/12?
True
Let z = -4.5 - -2.6. Let h = -6.1 + z. Let i = -2248.7 - -2249. Which is bigger: h or i?
i
