Is 33 not equal to q?
True
Let r = -1000.209 - -1008. Let t = -0.209 - r. Is t less than 0.1?
True
Let t = 256 + -256.1. Which is bigger: t or -4/7?
t
Let d be (-3)/(-2) - (-1043958402)/(-694649196). Let b = d + 6/5939. Is b at most -1?
False
Let q(k) = -k**3 + 7*k**2 + 2*k - 6. Let j be q(7). Let d be (-142)/(-6)*-2*(3 + 3). Let o = -553/2 - d. Are j and o equal?
False
Let i = -3.174 + -448.826. Are i and 1 nonequal?
True
Let h = -29 - -28. Let p = 291/4 + -877/12. Which is greater: p or h?
p
Let o = -31973 - -31950. Let l = 0.08 + -0.02. Which is bigger: o or l?
l
Let k be 8/(-58) + (-781537)/7453. Let a be 3*-35 - 4/(-2). Which is bigger: a or k?
a
Let b = 547 - 1071. Let t = 589.2 + b. Let s = -65 + t. Which is bigger: s or -8?
s
Let r = 11.466 - 7.266. Let z = 0.28 - -0.02. Let x = 0.4 - z. Which is bigger: r or x?
r
Let y = 20.1 + 27.9. Let l = -100 - -53. Let b = l + y. Which is bigger: 23 or b?
23
Let z = 2411 - 2585. Which is smaller: -175 or z?
-175
Let g be (-3 - 32/(-12))*-6. Let i be 15*g/4*(-156)/234. Which is greater: i or -24/5?
-24/5
Suppose -22*a = -5*a - 16259 - 16449. Which is smaller: 1926 or a?
a
Let n = -378431/2919 + 1815/14. Which is greater: -2/3 or n?
n
Let u = -4208 + 3598. Is -615 at least u?
False
Let j = -559.36 - -71.36. Which is smaller: 0.3 or j?
j
Let q be 1/6 + (3633/18)/7. Is q at least as big as -12?
True
Let c(d) = 41*d**3 - 2*d**2 - 1. Let s be c(2). Let u(l) = 318*l**3 - l**2 - 399*l + 400. Let x be u(1). Which is bigger: s or x?
s
Let d be (36/(-2385))/(-1 + (-7)/(-5)). Let i be 4/(-2) + (-420)/(-212). Let x = i - d. Is 0 at least x?
False
Let m = -3588 - -3622. Is m < 33?
False
Let k = -6078.113 + 6138.2. Let o = 0.087 - k. Which is smaller: 0.1 or o?
o
Suppose 120*j - 116*j + 5*a + 972 = 0, 3*j + 722 = -2*a. Are -14 and j non-equal?
True
Let i be ((-18)/(-27))/((-2)/(-12)). Let p(h) = -h**2 + 3*h + 3. Let l be p(i). Do -2/21 and l have the same value?
False
Let h = -61 + 92.2. Let g = h - 31.27. Which is smaller: g or 0?
g
Suppose -76*i - 4543 = 11113. Is i > 0.3?
False
Let x = -1 - 5. Let s = 214568.22 - 214568. Is s <= x?
False
Suppose 14*j = 12*j + a - 31, -2*j + 5*a - 51 = 0. Let i be ((-258)/4)/(j/(-26)). Which is smaller: -131 or i?
-131
Let c = -389 - -389. Suppose c = 44*p - 5*p + 6279. Which is bigger: -159 or p?
-159
Suppose -5*h - 4*w + 77 = 0, 4*h - 71 + 13 = -2*w. Suppose -h*g = -9*g. Is g <= 2/41?
True
Let z = -53658.989 - -53627. Let a = 675.011 - 675. Let h = z - a. Is -1 less than h?
False
Let w = 11281 + -10184. Does 1102 = w?
False
Let a(j) = -2172*j + 43422. Let z be a(20). Let c = -43 - -22. Which is greater: c or z?
z
Let z be (3 + -4)*(9 - 10). Let t = 16681/16897 - 60/61. Are z and t non-equal?
True
Let h = 12277 + -15030. Which is smaller: -2751 or h?
h
Let i(s) = s + 2. Let o be i(2). Suppose -2*f + 2*m + o = f, 4 = -f + 2*m. Is f at least 26/7?
True
Let v be (-4 + 7/1)/(851/598). Which is smaller: 2 or v?
2
Suppose 16*j + 60 = 76*j. Which is smaller: j or 3.35?
j
Let h be (3 - (-540)/(-25))*-5. Suppose 0 = 7*n + 28*n - 3220. Let l = h - n. Which is greater: -2/27 or l?
l
Suppose -3*h - 958 = 2*f - 5*h, 0 = f + 4*h + 474. Let b = f - -1110. Let n be (-12)/b*(-2)/(-9)*-1. Which is smaller: 0 or n?
0
Suppose 15 = -3*m + 5*s - 6*s, 5*s = 0. Is -213/49 less than or equal to m?
False
Suppose 23 - 179 = -53*l - 103*l. Let o(k) be the first derivative of -4*k**3/3 - 3*k**2/2 + 3*k - 1. Let t be o(l). Which is smaller: 5 or t?
t
Let s = 1009 + -1010. Let g be (-16)/(-12) - 9897/10143. Let t = g + -9/49. Which is greater: s or t?
t
Let a = 3781310593/41075310 - -19/265002. Let z = a + -459/5. Which is smaller: -1 or z?
-1
Suppose -11*b + 13*b = 8. Let x be (-32)/(-14) + b - 6. Which is bigger: x or -33?
x
Let f(m) = 2*m + 14. Let h be f(-6). Suppose 4*v + h*l = 16 - 2, l = -1. Suppose 7*q - 3 = v. Which is smaller: 2/73 or q?
2/73
Suppose -160 = 18*g + 524. Are g and -2/45 equal?
False
Let x = -502 - -203. Let h = x + 300. Is h bigger than 166?
False
Let p = 331 - -53. Suppose -3*z + 4*v = -239, 2*v - 62 = 4*z - p. Is z at least as big as 84?
False
Suppose r = 5*i + 100 + 589, 2630 = 4*r - 2*i. Which is smaller: 658 or r?
r
Let s = -2/3 + 224/327. Suppose 4*a - 69 = -n + 4*n, 2*a - 34 = 2*n. Suppose z - a = -5*r + 7, 5*r - 25 = -5*z. Which is smaller: z or s?
z
Let q = 2433/11 - 221. Let j be 11/(-33) - (2 + (-146)/(-3)). Let h be (-26)/12 - j/34. Is h not equal to q?
True
Suppose -h + 45 = 3*m, m - 3*h = -2*m + 45. Let s(r) = 1 - r**2 - 3 + 15*r + 3*r**2 - 3*r**2. Let v be s(m). Is v bigger than -1?
False
Let j = -16098 - -17184. Are j and 1086 equal?
True
Let i be (1 + (-37 - 7))/(-1*1). Suppose 3*n = -4*t + 176 + i, -n = -1. Suppose o + 1 = -3, -o = -2*z + t. Which is smaller: z or 27?
z
Let x = 2046809/15 + -136524. Which is bigger: -69 or x?
-69
Let h(x) = x**2 - 27*x + 25. Let n be h(12). Let o be -4 - ((-4)/(-1) + n/55). Which is greater: o or -4?
-4
Let b = 35 - 25. Let p be (-74)/26 + -2 + b/(-65). Let l be 2/p - 24/(-60). Which is greater: -7/8 or l?
l
Let o = 339 - 347. Let z be ((-2)/o*-1)/((-27)/(-2124)). Is z greater than -0.2?
False
Let b be (27/12)/(3/(-8)). Let n(a) = -3*a + 11. Let t be n(b). Suppose 4837 - 1147 = -14*w + 137*w. Is w less than or equal to t?
False
Let m be 3*(-7)/(-42) - 1742/12. Let r be (-15)/(675/10) + (-5212)/36. Which is smaller: m or r?
r
Let o = -21036643/21 + 1001223. Let i = 522 + o. Is i greater than 0?
True
Let x = 250 - 211. Suppose 4*r - 5*w - x = 0, 0 = 5*r + w - 5*w - 60. Is r < 17?
True
Let y(o) = 9*o - 121. Let d be y(17). Let p(a) = -2*a**2 + 60*a + 60. Let i be p(d). Which is smaller: i or -267/4?
i
Suppose 63*l - 162333 + 52902 = 0. Is -0.3 <= l?
True
Let x = 255.6 + -255.7. Is 523/2 less than x?
False
Let a be (-45)/(-50) + -1 - 602/(-7350). Which is greater: 1 or a?
1
Suppose -19*y - 341 - 3 = 112. Is -209/9 at least y?
True
Let j be 6 - -2 - ((-270)/(-117) + 7). Which is smaller: 1/14 or j?
j
Suppose -m - 34 + 207 = 0. Let u = 246 - m. Let p be (0 - u) + (2 - 1). Is -72 < p?
False
Let c(t) = 5265*t - 11. Let o be c(1). Let r = 152381/29 - o. Which is smaller: r or 1?
r
Let y be -1*(-5)/((-70)/228). Let b = -440536 + 33920046/77. Let m = b - y. Is m < -1?
False
Let a(p) = -9*p - 15. Let u(t) = 19*t + 30. Let m(h) = 5*a(h) + 2*u(h). Let i be m(-9). Is -1 equal to i?
False
Let f be (4/(-1))/(10/15). Let q be 4*12/160*(-5)/f. Which is bigger: 7 or q?
7
Let c be 24/(-15)*(-3)/2*87/(-6). Is c greater than or equal to -35?
True
Let j(s) = -4*s**2 + 77*s - 13. Let o be j(8). Which is bigger: 350 or o?
350
Let w(y) = 9*y - 13. Suppose -6*o = -0*o - 120. Let r be w(o). Which is smaller: -2/5 or r?
-2/5
Let m = 151 - 149. Let i be (0 - (-6 + 6))/m. Which is greater: i or -2/593?
i
Let p = 240 + -240.156. Let w = -0.144 + p. Is w smaller than 0.8?
True
Let j(t) be the third derivative of t**5/60 - t**4/12 - 7*t**3/2 + 54*t**2. Let u be j(-4). Which is greater: u or 0.08?
u
Let t = -27 + 36. Let g(s) = 21 + s**2 - 7*s + 1 - t*s. Let n be g(11). Is n equal to -33?
True
Let v = -10301/30 + 1721/5. Let g = -5.3 - -5. Which is smaller: g or v?
g
Let u = 62.9 - 0.9. Let b = -61.78 + u. Let t = b + -2.12. Is -2 at least t?
False
Let s = 86007/8 - 10734. Which is bigger: 18 or s?
18
Let a(o) = -o**3 + 10*o**2 - 10*o + 7. Let k be a(9). Let r be (2/(-4664))/((-25)/32680). Let p = 4/265 - r. Which is bigger: p or k?
p
Let v = 2283 + -1543. Let h be v/355 + 5/(-10)*4. Which is smaller: 1 or h?
h
Let r = -1586 - -242666/153. Is r at least 0?
True
Let r = 13569 + -13568.9. Which is greater: r or 2584?
2584
Let m be (2/14)/((-23)/((-2093)/(-1248))). Is -5/4 at least as big as m?
False
Let m(i) = 3*i**2 + 11*i - 67. Let q be m(-18). Is q > 705?
True
Let g = 559 - 687. Let v = g - -133.2. Is v equal to -3?
False
Suppose 671*t - 664*t = 1694. Which is bigger: t or 728/3?
728/3
Let w(d) = -2*d**3 + d**2 + 5*d - 2. Suppose 45 - 61 = -8*u. Let l be w(u). Are l and -23/5 non-equal?
True
Let r(v) = -v**2 - 3*v + 69. Let o be r(6). Suppose -12*m + 3 = -3*k - o*m, 0 = -4*k + 5*m + 41. Is 5 greater than k?
True
Let g be -2*(-2)/(-8)*-34. Suppose s - g = -13. Suppose 3*r = 5*i + 36, i + s*r + 0 = -21. Is i <= -9?
True
Let t be (-992)/(-56) - (-4)/14. Suppose 