
Let z = 0.36 + -0.06. Let n = -1.3 + z. Is n at most 2/5?
True
Let h(d) = d**3 + 2*d**2 - 2*d + 4. Let b(s) = -s**2 + 13*s + 11. Let y be b(14). Let w be h(y). Which is smaller: w or -2/23?
-2/23
Let c = 0.33 + -0.33. Is c less than or equal to -3/7?
False
Let g be ((-10)/(-40) - 7/(-4)) + -8. Is -5 != g?
True
Let p = -1.01 + 0.6. Let k = 3.19 - p. Let l = -4 + k. Which is greater: -1 or l?
l
Let i = 1 + -1. Let q = 5 + -1. Suppose -3*z = z + q. Is i less than or equal to z?
False
Let w = -53/259 - 3/37. Let t = 1 - 2. Which is smaller: t or w?
t
Let j = 4 + 1. Suppose 4*u = 12, 0 = -4*p - 0*u + j*u - 39. Let y(m) = m + 5. Let i be y(p). Is i <= -2/3?
True
Suppose -4*w + 12 = 0, -75 = -2*c - 2*c - 5*w. Is 15 smaller than c?
False
Suppose 12 = 2*u + k + 3*k, -k + 3 = -5*u. Which is bigger: -6/11 or u?
u
Suppose 49 = 5*h - 1. Let c = h - 9. Let s = 3 + -5. Which is greater: s or c?
c
Let y = 0 - 6. Let f = y + 20. Do f and 15 have different values?
True
Let y = 0.07 - 1.07. Let h be (6/15)/((-6)/10). Is y greater than or equal to h?
False
Let m = -1/2562 - 24887/2562. Are -9 and m unequal?
True
Let l be (-5 - 1)/(3/(-4)). Suppose -c - 3*c = -420. Let n be l/28 - 16/c. Which is smaller: 0 or n?
0
Let r = 187/10 - 39/2. Suppose 5*o + 8 = -3*n, o - 3*n = 2*o + 4. Is r less than or equal to o?
False
Let j(o) = o**3 - o - 2. Let n be j(0). Let q be (n - 0) + (8 - 2). Is 6 at most as big as q?
False
Let x(w) = w**2 - 14*w - 4. Let f be x(16). Which is bigger: 0 or f?
f
Let a be ((-3)/6)/((-2)/8). Suppose 9 = 2*u + 1. Suppose a = 5*c + n - 2, 4*c - u*n + 16 = 0. Is c greater than or equal to -1/5?
True
Let z = 28 - 18. Let l = z - 16. Let i = -7 - l. Is i smaller than -0.2?
True
Suppose 3*s = -1 + 7. Let j(z) = -z**2 + 2*z. Let c be j(2). Suppose c = -0*k - 3*k. Which is smaller: s or k?
k
Let m = 10.99 - 11. Which is smaller: m or 3/2?
m
Let u = -52 - 40. Let k = u - -86.1. Let j = k + 6. Which is bigger: j or 0?
j
Let g = 43094/63 - 684. Is 0 less than or equal to g?
True
Let k(d) = d**3 + 3*d**2 - 4*d + 4. Let u be k(-4). Let p(f) = f**3 - 6*f**2 + 3. Let l be p(6). Let n be 1 - 0 - (l + -6). Is n less than or equal to u?
True
Let z = 7 - 26. Let p = -11 - z. Is -2/7 less than p?
True
Let b(j) = j**2 + 8*j + 1. Let r be b(-7). Let h(n) = n + 8. Let o be h(r). Suppose 7*d + 5 = o*d. Are d and 1/12 unequal?
True
Suppose -2*p - p - 18 = 0. Let n = 5 + p. Which is greater: -3/11 or n?
-3/11
Let d = 180 - 914/5. Is d > -4?
True
Let k = 0.8 - -0.2. Let j = 0 - 0.2. Let x = j + 0.5. Is k at most x?
False
Let r be 9/(-21)*1*-7. Which is smaller: r or 1?
1
Let o = 0.33 - 0.03. Let v = o + -0.2. Let p = 24 - 22. Which is smaller: p or v?
v
Let m = -12 + 23. Which is greater: -2/3 or m?
m
Suppose 3*j + 2*n = 2*j - 3, -j = -5*n - 11. Is j at most 1?
True
Let v(b) = 3*b - 6. Let m be v(2). Suppose 0 = -2*k, 3*k = t + 2*k. Suppose m = -t*r - 3*r. Which is smaller: r or -2/11?
-2/11
Suppose 5*s + 0*s - 30 = 0. Suppose 6*i - i - 30 = 0. Is i smaller than s?
False
Let p(c) = -c + 21. Let d be p(-8). Does d = 0?
False
Let z = 0 - -3. Suppose 2*d = -z*d. Which is smaller: -2/3 or d?
-2/3
Let z = -89 - -46. Which is bigger: -44 or z?
z
Let r = 66/13 + -568/117. Let m(f) = f**2 - f + 3. Let c(d) = d**2 - d + 4. Let b(y) = 2*c(y) - 3*m(y). Let i be b(1). Which is bigger: r or i?
r
Suppose -4*j + 89 = b, 57 = 2*j - 2*b + 5. Which is smaller: j or 24?
j
Let q(n) = -n**2 - 8*n + 9. Let k be q(-8). Let c = k - 12. Is c at least as big as -3?
True
Let z = 6 + -12. Let b be z - -5 - (-7)/5. Let f(l) = -l + 8. Let x be f(8). Which is greater: b or x?
b
Let k be -3 - -9 - (-1 - -3). Let t be 18/k*(-10)/(-15). Suppose -t*c + 0*c + 3 = 0. Which is smaller: 0.1 or c?
0.1
Suppose -3*u - 5*c = 17 + 26, 0 = -2*u - 3*c - 27. Is u >= 0?
False
Let t be ((-2)/4)/((-4)/(-8)). Suppose -3*n = 5*z + 240 - 78, 26 = -z + n. Let w be ((-3)/z)/(-2 - -3). Is w smaller than t?
False
Suppose 0*k - 8 = -2*k. Let m = -13 - -3. Let u be (2/4)/(m/k). Which is greater: -0.1 or u?
-0.1
Let z be (-29)/35 - (-24)/56. Is z < -2/19?
True
Let m(q) = -q**3 - 4*q**2 + 4*q - 5. Let b be m(-5). Is -2/51 less than or equal to b?
True
Let l = 16 + -10. Let c be 2/l*140/(-42). Is -2 greater than c?
False
Let k be ((-1 + 1)*-1)/(-2). Suppose 4*f + k = 8. Let c = 7 + -5. Do f and c have different values?
False
Suppose 4*o = 3*o + 16. Suppose -5*p + 4*z + 0*z = o, 3*p - 20 = -5*z. Suppose -b + 3*b - 2 = 0. Are p and b equal?
False
Suppose 3 = -5*k + 8. Suppose -4*o - 1 + 4 = -3*h, h = -5*o - k. Which is smaller: o or -1/8?
-1/8
Let z(p) = -p**3 + 7*p**2 - 5*p - 4. Let l be z(6). Which is smaller: 20/13 or l?
20/13
Let w be 4/(-14) + (-136)/14. Let d = 7 + w. Let b = -1 + -2. Is d at least as big as b?
True
Suppose 3*d = -15 - 0. Let r(q) = -6 + q - q + q. Let b be r(2). Is b less than d?
False
Let v = 2182 - 124378/57. Is 1 greater than v?
True
Let b = 2920/203 - 906/29. Which is smaller: -17 or b?
-17
Let k = 15 + -14. Let m be (k - -3)*(-4)/(-12). Is m not equal to 2?
True
Let y be -2 + (-224)/(-74) + -1. Let a = -41/148 + y. Let x = 8 + -7. Is a at least as big as x?
False
Suppose 0 = -3*m + v + 54, v = 4*m - v - 70. Let z be m*2*(-2)/20. Let y = -4 - z. Does y = -1?
False
Let i = 7 - -11. Let j = 15 - i. Which is greater: j or -5/2?
-5/2
Suppose 3*i = -2*k - i - 2, -3*i = 5*k + 5. Is k != -9/4?
True
Let n be 324/(-82) - (-9 - -5). Is n smaller than 0?
False
Let x be 168/(-58) + -2*(-15)/10. Which is bigger: -1 or x?
x
Let t(y) = -4*y - 10. Let k be t(-5). Let i = k - 11. Which is smaller: 0.06 or i?
i
Let l(m) = -4*m. Let k be l(-1). Suppose 4*y + y = -5, 4*o - 4*y = k. Suppose 0 = -i - o*i - 1, -2*w - 3*i - 3 = 0. Are -1 and w nonequal?
True
Let r = 2.5 - 1.5. Is r smaller than 3?
True
Suppose -20 = -4*c - 36. Let x be -2 + (-6)/(-3) - 2. Is c equal to x?
False
Let h(y) = -y + 1. Let n be h(-4). Suppose -3*a + 2*a + n*s = -20, -2*a + s + 13 = 0. Let k be 12/105*a/2. Is 1 at least k?
True
Suppose -3 = -3*b, 2 = -v + 6*b - 4*b. Let t be v + -1 - (-2)/(-10). Which is smaller: t or -2?
-2
Let g be -3*24/234*-1. Let z = 0 + -1. Which is greater: g or z?
g
Let u be -1*(-3)/(-4) + 45/80. Which is smaller: -1 or u?
-1
Let l(p) = -p + 10. Let r(y) = -y**3 - 14*y**2 - 2*y - 19. Let g be r(-14). Let i be l(g). Is 5/4 equal to i?
False
Let m(l) = -l**3 - 10*l**2 - 9*l - 8. Let d be m(-9). Suppose -23 = u - 4*o, -u = -4*u + 3*o - 33. Which is smaller: d or u?
d
Let s be 2/(-6) + 3 - 2. Let t be (34/6 + -5)*3/(-7). Which is bigger: s or t?
s
Let h be (4 - (-1 - -1)) + 2. Let q(y) = y**2 - 4*y - 8. Let j be q(h). Let p = j - 6. Which is smaller: 2 or p?
p
Let p = 3 - -3. Let d be (3/15)/(3/p). Is d at least 0?
True
Let x = 902782/117 - 7716. Let l = 4/13 - x. Which is greater: 0 or l?
l
Let j = 21 - 15. Suppose j = -v + 4*v. Let l(n) = -n**2 - 5*n + 2. Let r be l(-5). Is v smaller than r?
False
Suppose 5*i + 2*p - 7 = 0, 3*i + 4*p - 7 = -0*p. Let v = i - 4. Let f be 1*(v - -5 - 3). Is f at least -1?
True
Let x be (-1 + (1 - (-4)/(-12)))*-4. Is x bigger than 2?
False
Let n be (-2 - -3) + 3 - 3. Let g be n*(2 - 1 - 3). Which is smaller: -2/5 or g?
g
Suppose -z - 2*z + 15 = -2*u, 0 = -4*u. Let r be (27/(-18))/(1/4). Let i be z/((-45)/r)*-3. Which is bigger: -1 or i?
-1
Let g be ((-14)/21)/(4/6)*-1. Is 2/11 at least as big as g?
False
Let l be (-28)/42 - (-82)/33. Is l bigger than 3?
False
Let m be (-6)/((3 - 2) + 1). Let g be (0 - m/(-2))*6. Which is greater: g or -8?
-8
Let a be (0 + 3)*1*1. Suppose -4*x = -a*x - 5. Which is bigger: 4 or x?
x
Let s be (-2)/5 + (-4)/(-10). Which is smaller: -23 or s?
-23
Let z(i) = 4*i - 4*i + 3*i**3 - 4*i**3 + 1 - 2*i**2. Let c be z(-1). Let k be 2/5 + (-6)/(-10). Is c at least k?
False
Let w = 0.1 + -0.1. Let p = 3 - w. Let n = -3 + 2. Is n >= p?
False
Let q(i) = -i**2 + i. Let r be q(1). Let k = r + 1. Suppose h + 0*h - k = 0. Which is smaller: h or 2?
h
Let o = 99 - 100. Which is greater: 1/16 or o?
1/16
Suppose -x - m = -5*m - 4, -3*x = -2*m - 32. Suppose -5*v + v = -x. Let o = 6 + -3. Is v at least as big as o?
True
Let g be 2/(-14) + (-39)/21. Which is smaller: -3 or g?
-3
Let m = 2.4 - 4.4. Which is smaller: 38 or m?
m
Let t = 156863/223611 + 1/3923. Let r = 2/57 - t. Is 0.4 != r?
True