 395. Is z at least 0.115?
False
Let g(r) = r**3 - 4*r**2 - 3*r + 11. Let o be g(4). Let f = 23/468 + 1/36. Which is smaller: o or f?
o
Suppose -j = -3*m + 70, 4*j = -4*m + 91 - 3. Let k be (92/(-8) - 0)*-2. Do k and m have the same value?
True
Let k be -5 - (-6 + -2) - (-1435)/(-478). Which is bigger: 0 or k?
0
Let m = -2 - 1. Let s be (1 - 183/(-45)) + -2 + m. Suppose -x - 3 = 0, -2*l + 1 = -4*x - 9. Is s <= l?
False
Let a be (1 + -4 + 1)*-1. Let o be -127 + (a + -3)/(-1). Let u = -501/4 - o. Which is bigger: u or 0?
u
Let m(s) = 4*s**2 + 6*s + 22. Let r be m(-8). Suppose 3*a + r = -7*a. Which is smaller: -24 or a?
-24
Let l = 167 - 162. Suppose 0 = 4*b - 4*r + 80, -3*b - 28 = -l*r + 34. Are b and 0.1 nonequal?
True
Let h = 229.07 + -228. Let q = h + -1. Suppose -11*c + 18 = -20*c. Which is greater: q or c?
q
Let d = -15.8 - -24. Is 1 <= d?
True
Let i(m) = m**2 - 4*m - 2. Let t be i(7). Let q = t - -7. Which is greater: q or -1?
q
Let u be (10/15)/(20/(-18)). Which is smaller: u or -2?
-2
Let w be 1*3 - (-8030)/(-2640). Is 7/2 < w?
False
Suppose 90*d - 86*d - 18 = 2*u, 13 = -2*u + 3*d. Let c = -10.991 + 11. Is u at most c?
False
Suppose -2*j = u + 3, -3*j - 5*u + 12 = -2*j. Let b = -281/118 - 7/59. Which is greater: j or b?
b
Let q = 16.4 - 23. Let b = q - -0.6. Let o = 124.2 - 124. Is o greater than b?
True
Let x = 508 + -507. Is 1/360 not equal to x?
True
Let q = -47 + 89. Suppose 14 = -2*x - 4*u, 0*x - u + q = -3*x. Let b = -11 - x. Which is smaller: b or 3?
b
Let y = -5.39 + -3.61. Let h = -0.1 + 0. Let z = h + 0.1. Is z not equal to y?
True
Let f = -224 + 221. Is f at most as big as 0.304?
True
Let k = 44 + -40. Suppose -z + 14 = -k*g, 0 = 2*g + g - z + 11. Which is bigger: g or 2?
2
Let d = -2113/146 - -29/2. Let m be 2 - 6/15*5. Is d less than m?
False
Let q = -7775484 - -77847999/10. Let i = -9307 + q. Let u = -17/2 + i. Which is greater: u or 0?
u
Let s = 3 + -4. Let o be (s - -2)/(3/3). Let l = -1361/13 + 105. Are l and o equal?
False
Let s = 70 + -85. Let p(a) = 2*a**2 + 15*a - 8. Let t be p(-7). Is t equal to s?
True
Let s(k) = -2*k**2 - k. Let q be s(-1). Let v be 26/(-4*q/2). Suppose -v*o = -10*o + 9. Which is greater: -7/2 or o?
o
Let c = -0.8 + -0.2. Let b = 1.36 + -2.36. Do b and c have the same value?
True
Suppose -5*y + 5*i = -35, -2*y = -i - 7 - 8. Let g = -9 - y. Is -18 > g?
False
Suppose v + 4 = 5*x, 0 = 2*v + 16*x - 21*x + 3. Are v and -90 nonequal?
True
Let u(m) = -m**2 - m. Let d be u(-2). Let t be (-2600)/1184 - (-18)/(-333). Is d >= t?
True
Suppose -1221 = -33*m - 0*m. Which is bigger: m or 71/2?
m
Let c be (-22)/(-10) + (-1)/5. Let r be 44/(-33) - (-32)/6. Which is greater: r or c?
r
Suppose -o = -l + 3*o - 1, 3*l + 2*o + 3 = 0. Let n be 1428/(-735) - (-2)/(-10). Which is greater: n or l?
l
Let l = 6246661/1070 - 5838. Let n = 2249/116630 - l. Which is smaller: n or -1?
-1
Let k = -12 - -11.84. Let d = k + -0.54. Let f = d + 1.7. Which is bigger: f or 2/13?
f
Suppose 0*f + 8 = 4*f. Let a be ((-14)/f)/(0 - 1). Suppose -36 = -2*r - 4*r. Is a less than r?
False
Let h = -359 - -641. Which is greater: h or 281?
h
Let x be ((-2)/(-3))/(4/42). Let u(p) = -3*p + 20. Let f be u(x). Is f <= 2/3?
True
Let r = 6561 + -6882487/1049. Is r not equal to 1?
True
Let l = 1465 - 16171/11. Let f = l - -796/165. Which is smaller: 0 or f?
f
Let f = -7 - -1. Let i = -5.94 - f. Let z = -118/15 + 41/5. Is z > i?
True
Let b be ((-44)/(-6))/((-4)/6). Let u(n) = -n**2 - 11*n - 7. Let x be u(b). Is x greater than or equal to -7?
True
Let h(d) be the first derivative of -d**2/2 + 5*d - 2. Let p be h(-8). Let y = p + -11. Is y > 7/3?
False
Suppose -2*r = 5*v + 2, 2*v = v + 2*r - 10. Is v >= -96?
True
Let w be (-4)/(-6) + (-12180)/(-90). Let n be (-4)/(1 + 0) - w/(-36). Is -1/2 bigger than n?
False
Let h = 1033/5 + -2569/15. Suppose -o - 61 = -2*o - 5*z, -3*z + 87 = 2*o. Are o and h non-equal?
True
Let l = -570.122 - -586.9. Let d = l + -0.078. Let m = -17 + d. Are m and -1 non-equal?
True
Let k = -15/7 - -52/21. Let z = 9/10 - 12/5. Is z at least k?
False
Suppose 2*t + 13 = 21. Let r be ((-39)/(-9) - t)*6/92. Which is smaller: 0 or r?
0
Let t = 5 - -8. Let n = t - 13. Which is greater: -2/5 or n?
n
Let f = -846 - -1015. Is 172 bigger than f?
True
Let h = 5 - 4.9. Let p = h + -0.13. Let v = 0.23 + p. Is -5 > v?
False
Let u = 94 - 468/5. Which is greater: u or -1?
u
Let b be ((-92)/69)/((7220/6)/(-5)). Is b equal to -1?
False
Let c = 83/119621 - -6/3233. Let s = 35753/178451 - c. Let z = s - 10/13. Is -1 equal to z?
False
Let m be (-2)/(-2) - (34 - 36). Let i be (-1)/m - 5/(150/56). Suppose 2*j = 5*g - 21, 3*j - 2*j + 18 = 5*g. Which is greater: j or i?
i
Let g(x) = x + 1. Let r be g(6). Let v = 320/17 - 2296/187. Is v < r?
True
Let z be 10 - (3/(-3) + 1). Suppose 384*i - 381*i = 9. Which is smaller: i or z?
i
Let u = 11 + -9. Suppose -5*f + 0 + u = -2*h, 3*f + 4 = -4*h. Which is smaller: h or -0.3?
h
Let a(w) = 4*w**2 - 28*w - 3. Let p be a(7). Let c = -6 + p. Is c at least as big as -5?
False
Suppose -s - 3 = 4. Let j(m) = m**3 + 8*m**2 + 6*m - 6. Let x be j(s). Let h be ((-3)/(-15))/((-4)/(-10)). Is x != h?
True
Let n(s) = -2*s + 18. Let i(u) = -3*u + 19. Let z(b) = 5*i(b) - 6*n(b). Let k be z(-5). Suppose 3*f - f = -5*w - 10, w = k. Which is smaller: -9 or f?
f
Suppose 0 = -5*x + 3*m - 8*m + 50, -x - 5*m + 18 = 0. Suppose -3*z + x = -19. Is 28/3 at least as big as z?
True
Suppose 0 = -5*j - 10 - 30. Is -4 != j?
True
Suppose -5*k - 317 = -3*r, 47*k = 2*r + 51*k - 226. Are 109 and r equal?
True
Suppose -l + 3*f = 35, -17 - 74 = 3*l + 5*f. Which is greater: -199/6 or l?
l
Let r = -24 + 52. Let k = -35 + r. Which is greater: k or 0.2?
0.2
Let n be (18/(-12))/((-6)/(-88)). Let x be (n/6 + -3)*-3. Is x < 18?
False
Suppose 255*r - 4710 = 249*r. Is 785 at least as big as r?
True
Let w = 558/5 - 112. Suppose 3*s - 3*p + 62 = -22, 5*p = 5. Let u = -53/2 - s. Which is smaller: u or w?
w
Let q = -60 + 49. Is 0.2 > q?
True
Let n = 1.3 + 34.7. Let y = 35 - n. Which is smaller: y or 0.14?
y
Let n(a) = -4*a**2 - 104*a + 16. Let m be n(-26). Is m at most 13?
False
Let c(a) = a**3 - 6*a**2 - a + 4. Let t be c(6). Let z = t - 0. Let g(j) = j**2 + 13*j - 4. Let i be g(-13). Which is greater: z or i?
z
Let n = 87 + 0. Let x = n - 125. Let i = 50 + x. Is 1 at most i?
True
Let c(n) = n + 16. Let q(i) = -i**3 + 7*i**2 - 6*i + 8. Let v be q(6). Let p be c(v). Which is smaller: p or -0.1?
-0.1
Let u(t) = -2*t**3 - 36*t**2 + 3. Let n be u(-18). Let k(m) = -m - 1. Let f be k(0). Let o be (-1 + f + n)/7. Which is smaller: -1 or o?
-1
Let q be 0/1*(-8)/(-8). Suppose -3*y = -4*h + 3*h - 6, q = -y - 1. Let m = 16 - 26. Are m and h equal?
False
Suppose 0*t - y = -t + 13, -t - 2*y = -10. Let z be (t/(-8))/((-36)/(-32)). Which is smaller: z or -2?
-2
Let n = 0.2693 + -0.3693. Let h be -4*-6*5/8. Let c be (2/(-10))/(2/h). Is c at least as big as n?
False
Suppose -20 + 44 = -3*k. Is k > 14?
False
Let d be 103/(-5)*((-884)/(-288) - 3). Let n = d + 7/8. Is n > -1?
True
Let u(g) = 18*g**2 + g. Let a be u(1). Let l = -17 + a. Suppose 4*w + l*c = -19 - 1, 10 = -5*c. Which is greater: -5 or w?
w
Let g(y) = -y**3 - y**2 + 4*y + 3. Let u be g(-1). Which is smaller: u or 16/107?
u
Suppose 80 = 3*h + 2*h + 3*a, 4*h - 64 = a. Let i be ((0 - -1) + 0)*-14. Let j be h/6*(-21)/i. Which is greater: j or 2?
j
Let l(p) = -4*p**2 + p + 1. Let d be l(-1). Let w(n) = n**2 + 4*n + 1. Suppose 4*a + 4 = 3*a. Let h be w(a). Which is greater: d or h?
h
Let u = -476 + 449. Let t = -26 - 2. Is u at most as big as t?
False
Suppose -95*x = 7*x + 1224. Is x at least as big as -9?
False
Let k be ((-24)/15)/(1/(-30)). Which is smaller: k or 51?
k
Suppose -u - 11 = 4*b, b = u - 2*b - 3. Let d be (-1)/(-1)*(-2 - u). Let i = -269/9 - -89/3. Which is greater: d or i?
d
Let r be 2 + (-27)/12 + -1. Let g(x) = x**2 + 2*x + 4. Let n be g(-2). Suppose -2*c - 3*a + 12 = 0, n*c + 4*a = 2 + 14. Which is smaller: c or r?
r
Let w = -3085 - -311573/101. Is 0 greater than or equal to w?
True
Let a(n) = n**3 - 7*n**2 - 6*n - 2. Let z be a(8). Suppose z*d = 7*d - 245. Is -35 greater than or equal to d?
True
Let h = 72.6 + -64. Let d = 11 - h. Which is smaller: d or 1/3?
1/3
Let y = -16.3 - -24.15. Let x = y + 0.15. Which is