m = r + 1/18. Is -1 >= m?
False
Suppose 4*z - 4*h - 40 = -8, 2*h - 36 = -2*z. Which is smaller: 18 or z?
z
Let v = -67483/55 - -1227. Suppose 3*f + 42 = -2*f - 3*k, -2*f = 2*k + 16. Let c(s) = s + 10. Let t be c(f). Is t smaller than v?
False
Let k(q) = -q**2 - 43*q + 85. Let r be k(-45). Suppose 5*n - 2*n = 9. Let j = r + n. Is j <= -2?
True
Let n = 14 - 2. Let k be (-1)/(3/(15/1)). Let h = k + n. Are h and 7 equal?
True
Let t be -1 + (1 - 0) - 8382/(-127). Does t = 2?
False
Suppose 0*g = 5*g + 10. Let l be (8/1 - 2)*g. Let f be (-1)/(3*2/l). Does 2 = f?
True
Let o = 117 + -84. Let j be o/22*3*2/(-4). Which is smaller: j or -3?
-3
Let u be 10/(-2)*3/(-5). Let y = -13 + u. Let w be -1 + 1*(-26)/y. Which is bigger: w or 2?
2
Let h = -0.218 + 111.218. Let p = h - 111.2. Is 6 equal to p?
False
Let g = 13652/15 - 4199/5. Let u = 71 - g. Let x be -2 + (-75)/(-27) + -1. Which is greater: u or x?
u
Let t = 224/27 - 59414/7155. Which is bigger: 1 or t?
1
Let i = -227 + 238. Is -0.1 not equal to i?
True
Suppose -l = -5*p + 4*l + 20, 5*p + 5*l = 30. Suppose 4*u + 2 = p*u. Suppose 0 = 2*c + 4*i - 4, -47 = -u*c - 2*c + 5*i. Which is bigger: c or 0.1?
c
Let t(x) = 5*x**2 - 63*x - 26. Let m be t(13). Is 18/71 at least m?
True
Let x be (0 - 1)/(63/(-2016)). Which is smaller: 357/11 or x?
x
Let r be 159/(-7) + (-20)/70. Let k = r - -12. Let p = k + 13. Which is greater: p or 1?
p
Suppose -5*o + 4*l = -27, -l - l = -5*o + 21. Is 98/23 >= o?
True
Let d = -8 + -2. Let c be (4*(-1)/1)/((-22)/88). Suppose c = -0*r - 8*r. Is d at least as big as r?
False
Let c be (105/18)/((-3)/15). Is c < -28?
True
Let w(b) = 7*b + 9. Let p(o) = -3*o - 1. Let m(v) = 2*p(v) + w(v). Let y = -7 - -16. Let h be m(y). Is 16 > h?
False
Let p(d) = d**2 - 13*d - 14. Let m be p(14). Let s be 15/(-9) + (1 - -2). Which is greater: m or s?
s
Let a = 2 - -10. Let z be (2/(-6))/((-10)/a). Are 1 and z unequal?
True
Suppose 0 = -w + 3*c - 47, -2*w - 6*c - 67 = -3*c. Is -35 > w?
True
Let f(r) = -r**3 + 28*r**2 + 71*r - 295. Let l be f(30). Is l greater than or equal to 59?
False
Let m be (-7 - 312/(-42))/((-248)/14). Is 0 not equal to m?
True
Let j be (29/(1015/112))/(1/10). Which is greater: j or 25?
j
Let d(z) = -z**2 + 6*z - 6. Let o be d(5). Let n = 838/15 + -56. Which is bigger: n or o?
n
Suppose 65 - 51 = -14*x. Is -3/280 equal to x?
False
Suppose 198 = -5*t + 2*h, 0*t + 206 = -5*t + 4*h. Which is smaller: t or -37?
t
Suppose 18*r + 16 + 20 = 0. Are r and -99 nonequal?
True
Suppose -110*z = -88*z - 22. Are -1/1337 and z equal?
False
Let l = -506461/133 - -3808. Which is smaller: l or -1?
-1
Suppose -2 - 1 = -3*j, j + 3 = 2*w. Suppose -4*p = 2*t - 10, -4*p + 6 = -p + 2*t. Is p less than or equal to w?
False
Let p = 3419/6355 + -4/155. Let b = p - 478/533. Which is bigger: -1 or b?
b
Let p = 30071/39 + -771. Let i(y) = -y**3 - 8*y**2 - 6*y + 8. Suppose -4*s - 19 = m, 2*s = 2*m - 0*s + 8. Let b be i(m). Which is greater: p or b?
b
Let k = -3360/89 + 491116/12905. Let p = -11684/29 + 403. Let h = p - k. Is h less than or equal to -0.2?
True
Let o be (1266/4 - 3)*(-16)/(-12). Is 418 smaller than o?
False
Let u = 15 - 13. Suppose 0*r = -u*r - 2*h, -35 = 3*r - 4*h. Let j be (r/(-15))/((-2)/(-3)). Which is bigger: -11 or j?
j
Let c be 8/48 - 10/(-8580). Is c at least as big as -1?
True
Let h = 6 + 1. Let o(s) = s + 7. Let k be o(6). Let t = h - k. Is 0 < t?
False
Let x(u) = 7*u - 90. Let q be x(13). Which is greater: q or -1/190?
q
Let h be -3 + 1 + -5 + (2 - 0). Is h greater than -21/4?
True
Suppose -31*p - 18 = -25*p. Is p less than -13?
False
Let f be (12 + 3)*(-26)/(-39) + -5. Let t be (-33)/(-5) - 4/(-10). Is f at least t?
False
Suppose -4 = -5*a + 6. Suppose 0 = 7*m - a*m - 40. Is 8 equal to m?
True
Let m(g) = -2*g**2 + 31*g - 75. Let s be m(13). Which is bigger: s or -32?
s
Let n be -4 - -3 - 3088/7. Let b = n - -443. Which is greater: b or -0.3?
b
Let a = -4124 - -4127. Let g = 0.1 - -2.9. Is a bigger than g?
False
Suppose -c + 5 + 0 = 5*v, -15 = -2*v - 3*c. Suppose -5*n + 18 = 3*o, o = -v*o + 4*n - 11. Which is smaller: 4/5 or o?
4/5
Let s(x) = 27*x**2 + 20*x + 21. Let l be s(-1). Which is smaller: l or 29?
l
Suppose 20 = p - 0*p. Suppose -p = -3*k + 2*k. Let w be 15/k*1/(-3). Does w = 1?
False
Let w = -35 + 5. Let r = 21 + w. Let f = -8 - r. Which is bigger: f or -0.11?
f
Suppose 0 = 2*t + 3*f + 17, t + 0 = -4*f - 6. Let d = 4 + 0. Let b be t*d/(-48)*6. Is b at least as big as 6?
False
Let c(a) = -a**3 + 3*a**2 + a - 3. Let h be c(3). Let w be ((-96)/(-9))/(18/27). Let z be (8/14)/(w/(-56)). Which is smaller: h or z?
z
Let s(u) = 26*u + 376. Let i be s(-13). Which is smaller: i or 25?
25
Suppose 0 = -45*r + 12*r + 165. Suppose 14*f - 13*f - 2 = 0. Is r >= f?
True
Let q(n) = -n**3 - 12*n**2 + 18*n + 69. Let s be q(-13). Let a = 24/41 - -973/369. Is s less than a?
False
Suppose -4*h + 5*u = -18, 0 = -4*h + 3*u - 4 + 26. Let w(g) = g - 9. Let j be w(h). Let z = -4 - j. Is z greater than or equal to -5/4?
False
Let x = 4.6 - 4.74. Let j = 2.14 + x. Which is smaller: 7 or j?
j
Let k = 364.97 + -365. Which is smaller: 4/9 or k?
k
Suppose -5*b - 53 = 17. Let y be b/12 + 4/(-6). Suppose i + 2 = 0, -67*i = -4*n - 70*i - 14. Is n != y?
True
Let i(z) = -549*z - 2191. Let u be i(-4). Let f = -1 - -2. Is u >= f?
True
Let x = -1.24 + 0.82. Let k = -0.42 - x. Which is bigger: 0.22 or k?
0.22
Let j = -605 - -644. Is 39 at most as big as j?
True
Let t(k) = -k**3 + 5*k**2 + 5*k - 5. Let g be t(4). Suppose -7*u = -6*u + g. Which is greater: u or -32?
u
Let f = -2834 + 2831. Suppose 5*j = -u - 25 + 4, u = -3*j - 11. Which is smaller: f or j?
j
Let f = -188081/537405 + -5/3257. Let l = -2/11 + f. Let y = -6/5 - l. Are -0.14 and y equal?
False
Suppose 5*r - 3*q - 48 - 2 = 0, 4*q + 32 = 4*r. Is r equal to 13?
True
Let b = -16 + 13. Let t be 16/(-6)*(b + 0). Is 9 less than or equal to t?
False
Suppose 2*u = -11 + 9. Which is smaller: -4/109 or u?
u
Suppose h + 0*h = -3. Let r(i) be the second derivative of -i**4/6 - i**3/6 - i**2 - 21*i. Let o be r(0). Is h at least as big as o?
False
Let x be 26/(-51)*(-82)/164. Which is greater: 1 or x?
1
Let c(t) = -3*t - 4. Let d be c(-6). Suppose 11*v - d*v = -6. Which is bigger: v or -1/8?
v
Suppose -2*a = -0 + 22. Suppose x - 3*g - 5 = 0, x + 3*g + 11 = -14. Which is smaller: a or x?
a
Let k = -2830 - -387713/137. Is k at most as big as 1?
True
Let w = 74 + -69. Suppose -2*d + 3*d = -w*h - 287, 3*h - 4*d = -163. Is h at most -58?
False
Let k(u) = u + 4*u - 5 - 2*u + 4. Let y be k(-4). Let d = -11 - y. Which is smaller: 3 or d?
d
Let i = 21.23 + -21.3. Which is bigger: -19 or i?
i
Suppose f - 52 - 96 = 0. Let c be (-13)/((-130)/(-4)) + f/270. Is c greater than 0?
True
Let m(k) = -k**2 + 6*k + 11. Let i be m(7). Suppose -i*p - 2*u = 2, 11 = 2*p - 4*p + u. Are -3 and p unequal?
False
Let o = 122929/15 - 8192. Which is bigger: 2 or o?
o
Let u = -12201/8 - -1524. Which is smaller: u or 3/10?
u
Let n = -33 - -20. Let a = n - -13.6. Let d = -0.4 - a. Is d at most as big as 0.1?
True
Suppose 0 = -4*v + 4*w + 16, -v - 5*w = 24 + 2. Let u(k) = k**2 - 4*k - 4. Let d be u(6). Suppose 0 = -3*p + d + 4, -19 = q - 4*p. Are v and q non-equal?
True
Let j(m) = m**3 - 6*m**2 + 2*m - 108. Let g be j(8). Is 29 bigger than g?
False
Let c be (-26)/(-4) - (-9)/(-6). Let z = -5 + 9. Suppose -x = -3*q - 6, x = -z*q - c + 4. Which is bigger: q or 1/22?
1/22
Let y be -8 + (30/(-5) - -3). Let b(d) = -d**3 - 13*d**2 - 2*d - 36. Let z be b(-13). Which is smaller: z or y?
y
Let o be (-138)/4*12/63. Do o and -8 have different values?
True
Let t = 605.3 + -829. Let c = t + 223. Let s be (-3*1)/((-33)/(-2)). Which is smaller: c or s?
c
Let b be 3/9 + (-642)/(-1071). Let t = 11/17 - b. Suppose 2*w + w + 3 = -j, 4*j = -w - 1. Is j at least t?
True
Let r = 1.8 + -2.02. Let h = -0.56 - r. Let j = h + -0.06. Is j bigger than 3?
False
Let d(i) = -i**3 + 6*i**2 - 11*i - 2. Let y be d(7). Let l be 3 - -1 - (-464)/y. Let u(c) = -c**2 - 2*c + 4. Let z be u(-3). Is z bigger than l?
True
Let o = 6577/1197 + 5629205/399. Let q = o + -14204. Let a = -90 - q. Is a > 0?
True
Let o(q) = -22*q + 67. Let r be o(3). Is r equal to 60/43?
False
Let w = 43 + -1. Let q be w/(-70) - (-54)/(-10). Is q at most as big as -7?
Fals