 o be (21/9)/1 - t. Is 0 at least as big as o?
False
Suppose -4*p - 6 = -6*p. Which is smaller: p or 0.2?
0.2
Suppose 8 = -4*l - 8. Let b(s) = s**2 + 6*s + 4. Let c be b(l). Is c at most -5?
False
Let m be (120/180)/((-1)/((-474)/(-4))). Is -79 at least m?
True
Suppose 0 = 5*y - y + 2*w + 18, 3*y = 3*w + 9. Let d(p) = p + 6. Let q be d(-8). Let a be q - -2*(-1)/y. Is 0 smaller than a?
False
Suppose -5*i = -2*q - 24, -4*i + 7 + 9 = 0. Let n(l) = -l**3 + 4*l**2 - 6*l + 4. Let h be n(3). Is h less than q?
True
Let v = -22 - -15. Which is bigger: -8 or v?
v
Suppose 2*a + 0*a = k - 5, -3*k = -a - 30. Are 7 and k unequal?
True
Suppose 0 = 3*c + 2*l - 4, l + 0 = -3*c + 2. Let v = 1 - 3. Let w = v - c. Do w and -4 have different values?
True
Let c(s) = s**2 + 11*s - 6. Let z be c(-12). Suppose -4*r - 6*d + d + z = 0, d = 5*r + 7. Which is greater: r or -12/11?
r
Let k = -241 + 3131/13. Suppose 6*s - 1 + 7 = 0. Which is greater: s or k?
k
Let u = 0.4 - 0.2. Let h = -1 - -1. Let o = u - h. Is 1 at least as big as o?
True
Let n = -2 - -3. Let z = 28 + -26. Let x be (0 - (-1 + z)) + 2. Are n and x nonequal?
False
Let y = -9 + 2. Let c = -5 - y. Is c at least 2?
True
Suppose -1 = o + 5*n, o - 6*o + 3*n + 23 = 0. Let j be 2/o*2*0. Let b = -4 - -26/7. Which is smaller: j or b?
b
Let z be (-6)/(-4) - (-4 - -6). Suppose 0 = -u - 5*a + 9, 0*a + 2*a + 1 = -5*u. Is z < u?
False
Suppose 4*p + p = 195. Suppose 5*u = 21 + p. Let q be (-3)/u*(-4)/(-5). Is 1 greater than or equal to q?
True
Suppose -3*j - 4*n - 1 = -26, 2*j + 6 = 3*n. Let y be 12/14 + (-118)/(-42). Which is greater: y or j?
y
Suppose -5*k = -1 + 41. Let i be (k/20)/(2/10). Let m be 2/i + 1 - 0. Is m less than 1?
True
Let t = -11.1 + 1.1. Let k = t + 8.9. Let g = k - -1. Is 3 bigger than g?
True
Let v = 7 + -5. Let c = -8 - -12. Suppose -2 = -c*q + 3*q. Is q <= v?
True
Let b = -52 + 417/8. Which is greater: 8 or b?
8
Let k be 10/((-3)/((-12)/(-4))). Is -12 > k?
False
Let c be (-2409)/308 + (-2)/(-8). Let l(b) = 7*b**2 - b + 1. Let i be l(1). Let s = c + i. Is 0 > s?
True
Let j = -0.1 + 0.11. Let h = j + 0.19. Which is greater: 1 or h?
1
Suppose -4*y + 12 = -0*y. Suppose -y*d + 11 = n, n + 0*n = -4*d + 14. Let b be 1*0/2 + n. Is b at most as big as 2?
True
Let p(g) be the third derivative of g**5/60 - 3*g**4/8 + 5*g**3/2 + 2*g**2. Let z be p(7). Which is bigger: -1 or z?
z
Let s = 47 + -99/2. Let x(g) = -g**2 - 2*g - 3. Let m be x(0). Is m at least s?
False
Let f = -83662/63 - -1328. Is f greater than 1?
False
Let j = -7 - -6. Let z = j - -1.2. Is 1 >= z?
True
Suppose 5 = -4*q + 29. Is q != 0?
True
Let m be (-110)/30 - 1/3. Let s be m/22 - 95/(-220). Is s not equal to -1?
True
Let a be (-20)/8*(-4)/2. Suppose -3*x = -a - 4. Let n = -6 - -8. Is n not equal to x?
True
Let b = -63 - -62.8. Which is greater: 1/6 or b?
1/6
Let x = 57 + -59. Is -2 greater than x?
False
Let n = 1803391/73860 + 2/6155. Let u = n - 68/3. Which is greater: 3 or u?
3
Let n be (30/(-35))/(2/(-28)). Let u be 3/n - (-46)/(-120). Which is smaller: 1 or u?
u
Let f be (7 + 2/(-2))/2. Suppose 0*v - f*v = 30. Do v and -9 have the same value?
False
Suppose 0 = -2*d + 4*n + 32, -3*d + 12 = -0*n + 3*n. Suppose -3*z = -2*z - t + 7, z - d = -4*t. Is -1 greater than z?
True
Suppose 8*g - 6*g + 6 = 0. Which is greater: -5 or g?
g
Suppose -50 = -3*d - h, -54 = -5*d + 2*d - 3*h. Do d and 16 have the same value?
True
Let g = -14.5 + 0.5. Let i = g + 15. Is i at least as big as 0.3?
True
Suppose 0 = -0*y - y. Is y bigger than -2/31?
True
Suppose 4*o + 3 + 28 = 3*f, 0 = 2*f - 4*o - 26. Let a = -4 + f. Let x be (1/3)/(-1 + 2). Which is bigger: a or x?
a
Let f = -1 - -1.8. Let b = f + 0.2. Let r = 454 - 452. Is b equal to r?
False
Let i be (-4)/(-18) + (-196)/(-9). Let q be i/18 + -2 + 1. Are q and 0 equal?
False
Suppose -10*k = 33 + 127. Do k and -15 have the same value?
False
Let k be (-2)/(-10) + (-3)/15. Which is smaller: k or 2/61?
k
Let j = -730/7 + 104. Do -3 and j have the same value?
False
Let a(h) = -h**2 + 7*h + 2. Let k be a(6). Let s = k - 7. Let y = -0.2 + 0.1. Does s = y?
False
Let l be -21 - 2 - -2 - 3. Which is smaller: -114/5 or l?
l
Let g be 1/(-3) + 1/1. Is -7 > g?
False
Let r = -4.7 - -5. Let q = 2 + -2. Which is greater: q or r?
r
Let v be ((-1)/(-2))/(1/2). Let t = 10 + -7. Let d = v - t. Which is smaller: -3 or d?
-3
Let q be (-4*(-5)/20)/1. Is q <= -6/23?
False
Let g(q) = q**3 - 9*q**2 + 10*q - 10. Let t be g(8). Let h be (-4)/t + (-11)/(-12). Is h smaller than 3/2?
True
Suppose 3*o - 14 - 5 = -4*h, -23 = -3*o - 5*h. Is -13 at least as big as o?
False
Let h = 0.026 - -1.974. Which is smaller: -0.02 or h?
-0.02
Suppose 2*z - 3*z = -4. Let n = 4 - z. Which is bigger: 2/15 or n?
2/15
Let s(m) be the second derivative of -m**5/20 + 7*m**4/12 + 4*m**2 - m. Let u be s(7). Let q be (-2)/u + (-78)/72. Is q greater than -2?
True
Let w be ((2 - 7)/(-10))/(-1). Which is smaller: -0.08 or w?
w
Let x = 86 + -28. Is -1 equal to x?
False
Let z be -1 - -3*(-33)/(-72). Do z and 1 have different values?
True
Let z be (-16)/6 + 2*1. Let s = -1 + 3. Is s > z?
True
Let x = 14 - 9. Which is smaller: 3 or x?
3
Let n(y) = -y**3 + 5*y**2 + 7*y - 3. Let i be n(6). Let s = -3 - 1. Let a be (-1 + i + s)/(-5). Do -2 and a have the same value?
False
Let n be (-9)/(-6)*2*-1. Is n greater than -3?
False
Let c = 43/44 - 8/11. Let t = -7 - -3. Which is smaller: t or c?
t
Let s be (-2 + 3)/(2/8). Suppose -2*i - 3*h = -s, 0*i + i = -5*h + 9. Let g be i/(-4) + (-5)/4. Which is bigger: g or 0?
0
Let p = 14 - 15. Let q = 228 - 382. Let w be 16/q - 4/(-14). Do p and w have the same value?
False
Let l be ((28/(-16))/7)/1. Is l > -4?
True
Let u be (-195)/(-225) - 2/(-15). Which is smaller: 0 or u?
0
Let f(n) = n**3 - 3*n**2 - n + 2. Let z be f(3). Let a be (2 - z)*(-6)/18. Are a and 0.1 nonequal?
True
Suppose 3*i + 8 = 2*d - 4, 3*i - 3*d + 12 = 0. Let y be (-4)/30*(-6)/i. Is y smaller than -1?
False
Let g be 109 + -2 - (-5 - -3). Let r = g - 2399/22. Which is bigger: r or 1?
1
Let v = -85 - -89. Let d = 1.1 - 1. Let q = d + -0.1. Is v greater than q?
True
Let k(j) = j**3 - 6*j**2 + 6*j - 1. Let a be k(5). Suppose 2*y - 8 = -2. Suppose -14 = -a*h + s, 6*s = y*s - 6. Is 3/2 not equal to h?
True
Let l = -0.116 + 0.016. Is l less than -22/9?
False
Let r = 4910 + -4936.63. Let n = -27 - r. Let q = n - -0.07. Which is smaller: q or 1?
q
Let z = 1043 + -17725/17. Is -1 at most z?
True
Let y be 3 - 1/(155/455). Is 0 at least y?
False
Suppose -32 = -2*c + 12. Suppose -2*h = -2*y - 10, 0 = 2*h - 2*y - 3*y - c. Is -3 >= h?
False
Let r(p) = p**2 - p + 1. Let k(n) = 3*n**2 + n - 2. Let y = 2 - 4. Let w(j) = y*r(j) + k(j). Let o be w(-3). Is -3 bigger than o?
True
Let f be 9/(-21) + (-261)/(-315). Which is greater: 0 or f?
f
Suppose -5*j + 5 = -5, -2*h = 4*j - 12. Let d(v) = v - 3. Let q be d(h). Let l be 2/6 - 7/3. Which is smaller: l or q?
l
Let p = 0.2 + -0.3. Suppose 5*v - 10 = 3*u - 4*u, 2*v + 2*u = 4. Let r be (-3)/v*(-3)/3. Which is smaller: r or p?
p
Let n = 44 - 50.1. Let h = 37 - 43. Let a = n - h. Is -3 greater than or equal to a?
False
Suppose -r = -3*t + 17, 0*r = 2*t + 4*r - 16. Suppose -5*m + 5*s + 5 = 0, s + s + t = m. Are m and -4 unequal?
False
Let d = 0.1 + -2.1. Let q = d - -3. Let w(i) = i + 5. Let n be w(-5). Is q greater than n?
True
Let g(y) = -y**3 - 3*y**2 - 3*y - 3. Let b be g(-2). Let s = -1 - b. Let p = -70/11 - -608/99. Are s and p equal?
False
Let h be 27/(-45) + 13/5. Let z be 0 + (120/65 - h). Let n = -4 - -3. Do n and z have the same value?
False
Suppose 73 = -4*q + 5*v, 4*q + 8 = 5*q + 4*v. Is -11 at least q?
True
Let r = 9 + -21. Let g = -10 - r. Suppose 7*i = 2*i. Which is bigger: i or g?
g
Suppose -3*m - 7 = -2*i, 6*i - i = 4*m. Let t be (-34)/119 + 1/(-7)*19. Which is bigger: t or m?
t
Let g be ((-26)/6)/(6/(-162)). Let k be (-1 - -4)*(-6)/g. Let b = -3 - -3.1. Are b and k nonequal?
True
Suppose 4*j = 4 + 44. Is j not equal to -1?
True
Let r be 2520/9882 - 4/18. Which is smaller: 1 or r?
r
Let f(c) = 2*c - 6. Let w be f(6). Let z = w + -6. Let p = 749/9 - 83. Which is smaller: z or p?
z
Suppose 3*p = 4*o - 11, 0*p - p + 9 = 5*o. Let s = -6 + 8. Let u be 1 - (s + -1 - p). Is u at least as big as -3?
True
Suppose 0 = -4*m + 4*y + 16, 6 = 2*m