 - -2). Let h = -0.24 - -0.24. Let s = 1 + h. Which is smaller: n or s?
n
Suppose 0 = 5*k - 3*p - 11, 5*k = -0*k + p + 7. Let n = k - 3. Let h(b) = -3*b**2 - b - 1. Let j be h(-1). Is j less than n?
True
Let i(m) = m**3 + 8*m**2 - 7*m + 8. Let w be i(-9). Let y = w + 11. Is y < 2/15?
False
Let q be 24/13*9/(-18). Which is smaller: -2 or q?
-2
Let z = -0.3 + 0.2. Let f = z - 0. Let r = 0.2 + f. Are r and 2 unequal?
True
Let s be (-48)/(-32) - 4/3. Is s equal to -2/25?
False
Let r be (-7)/(-13) - (2 - (-3 - -4)). Suppose 2*s - 10 = 4*l, 4*l - 5*s - 5 + 24 = 0. Are l and r unequal?
True
Let b be -1 + (2 - 33/39). Suppose -j + 4 - 1 = 0. Suppose -v - 4 = -5*v, 0 = 5*i - 2*v - j. Are i and b equal?
False
Let z = -7 + 8. Is z <= 7?
True
Let n(s) = 3*s + 5 - 1 - 4*s. Let y(k) = k - 3. Let i(r) = -4*n(r) - 5*y(r). Let h be i(-2). Which is bigger: -0.1 or h?
h
Let s = -29/2 - -207/14. Which is smaller: s or 13/5?
s
Let a be (-4)/7*2/4. Let r(d) = d**3 + 14*d**2 - 15*d - 5. Let o be r(-15). Let c be o/2 + (-21)/(-14). Do c and a have different values?
True
Suppose -5*f = -2*k - 2*k - 47, 2*k = -f - 13. Let s = 12 + k. Suppose s*h + 4*u + 3 = -17, 0 = 4*u + 16. Which is bigger: 1 or h?
1
Let a = -57 + 36. Let m be 267/a - 6/21. Which is smaller: 0.1 or m?
m
Let n be (4 - 21/18) + -2. Is 1 at least as big as n?
True
Suppose 3*m + 23 = -4*w - 24, -3*m - 35 = -2*w. Do m and -9 have the same value?
False
Suppose 2*u - 32 = -4*b - 0*b, -b + 5*u = -8. Let h = 8 - b. Which is greater: h or -1?
h
Let d be (1 - (-18)/(-12)) + (-49)/(-114). Which is greater: 1 or d?
1
Let d = -6.34 - -6. Let l = 0.3 + d. Let p = -4.04 - l. Which is smaller: 0.1 or p?
p
Suppose h + 2*h = -h. Is 3 equal to h?
False
Let r = -0.5 + 1.3. Let f = r - 1. Let d = -0.3 + 0.4. Does d = f?
False
Let z = 1.39 + -0.39. Is z not equal to -36?
True
Let x = 10 - 5. Suppose -2*y - 3*w + 8 = -y, 0 = -2*y + w - x. Let c = 229/3 - 77. Are c and y equal?
False
Let u(g) = 7*g**3 + 14*g**2 + 14*g - 9. Let r(n) = 4*n**3 + 7*n**2 + 7*n - 5. Let b(x) = -5*r(x) + 3*u(x). Let f be b(-5). Is 14 < f?
False
Let u be (-70)/4 + (35/(-10) - -4). Is -31/2 at most as big as u?
False
Suppose 4*w + 0*s = 4*s - 8, 0 = 2*w + 3*s - 21. Let d(y) = -y**3 - 7*y**2 - 7*y - 3. Let b be d(-5). Let h be b/(-10) - 1/(-5). Are h and w non-equal?
True
Let q be 3*(1 + 1) + 0. Let w be (1/(-5))/(q/(-10)). Is w not equal to 2?
True
Let n be (380/(-14))/(-5) + -4. Which is smaller: n or 0?
0
Let w = 39/67 + 3502/1005. Let n = w + -14/3. Let a = -2/5 - n. Which is greater: a or -1?
a
Suppose -3*t - 5*r = 14, 2*t - r - 24 = 4*r. Suppose 3*p = -t*b + 3, 4*p - 21 = b + 5. Which is smaller: -7 or b?
-7
Let t = 5 - 9. Let g = t + 2. Which is bigger: g or -3?
g
Let p = 330 + -8920/27. Is 1 > p?
True
Suppose o + 4*s = -0*o - 7, 2*o - 3*s = 19. Does 28/5 = o?
False
Suppose 2*w + 60 = -2*w. Let h be 5*(-3 + (-39)/w). Which is smaller: -3/4 or h?
h
Suppose -5*n = -f - 0*n - 16, 5*f - 2*n + 11 = 0. Suppose 3*b - 2*b - 11 = 0. Let x be b/(-14) + 2/4. Which is smaller: f or x?
f
Let i = -22 - -21. Is i at least as big as -1/3?
False
Let k be 14 - (6 + (-6 - -3)). Let o = k + -18. Let t = -8 - o. Which is greater: -2/5 or t?
-2/5
Let l = -5369/9 + 595. Do -2 and l have the same value?
False
Let k(c) = 3*c**3 - 2*c + 1. Let p be k(1). Let h be (6/(-3) - 1) + -149. Let m = h - -763/5. Is p less than m?
False
Let b = 0.1 + 1.5. Let m = b - 0.6. Which is bigger: 3/2 or m?
3/2
Let o(m) = 6*m - 21. Let w be o(4). Let v be -1*2*5/(-6). Which is bigger: v or w?
w
Let u = 59.24 - 58. Let x = -1.2 + u. Which is bigger: -0.1 or x?
x
Let q = -1 + 2. Let o = -1 + q. Suppose 0 = -3*b - 4*l + 9, 5*l - 4 - 6 = -5*b. Is o greater than or equal to b?
True
Let m = -11933/4 + 3004. Let v = 21 - m. Suppose 2*u = u - 2, -3*y - 4*u - 5 = 0. Is v less than y?
True
Let f = -13 - -22. Let a be (3 + -6)/((-6)/4). Let t = a - f. Is t at most -7?
True
Let m be -1 - 54/(-30) - 4/6. Is m at most as big as -1?
False
Let a = -2 + 3. Is -2/35 bigger than a?
False
Let g = 135 + -134. Which is bigger: g or -6/13?
g
Let h = 45 + 35. Let y be ((-3)/2)/((-15)/h). Is y greater than or equal to 8?
True
Let z = 2/63 - 9139/126. Let c = 74 + z. Which is smaller: 2 or c?
c
Let z(m) = m**2 - 5*m - 3. Let o(q) = -q**2 + 4*q + 2. Let b(x) = 3*o(x) + 2*z(x). Let s be b(1). Let v be s + 1*(-3 - -2). Is v smaller than -2/25?
False
Let i(j) = -j**3 + j + 3. Suppose 4*u = 4*h - 17 - 3, 0 = -2*u + h - 5. Let k be i(u). Is k bigger than 1?
True
Let i = -1 + 1. Suppose i = -0*a + 5*a - 40. Is 9 <= a?
False
Let h be 14/(-3) - 1/3. Let c = -5 + h. Let x be (14/c + 1)/1. Which is smaller: 0 or x?
x
Let q = 141 + -857/6. Is -3 less than q?
True
Let v = -7305/22 + 332. Let w = v - -29/154. Which is smaller: w or 0.1?
0.1
Suppose 4*l - p = p - 10, -5*l + 2*p - 10 = 0. Is 2/11 at least as big as l?
True
Let i be (-1 - (2 + -3))*(-8 - -7). Is i <= -1/69?
False
Let q(j) = j + 4. Let y be q(0). Let z be (-10)/y*(-40)/25. Suppose i - 3*x = -3 - 3, -z*x = 5*i - 8. Is i greater than or equal to 0?
True
Let s be -1 + -2 + (3 - 1/1). Is s equal to -4/3?
False
Let c be (-4)/(-6)*(-3)/2. Let d be 2 + c + 14/(-18). Is -1 greater than d?
False
Let l = 7.2 + -1.2. Let p = -68.2 - -74. Let z = p - l. Are z and 0 equal?
False
Let r be (-118)/(-5) + (-24)/(-60). Suppose -3*a - 12 = -r. Let p = -2 + 4. Which is smaller: a or p?
p
Let u(g) = g - 16. Let n be u(14). Do -34/11 and n have the same value?
False
Let w = 9 + -6. Suppose -2*o = 2*o - 8. Are o and w equal?
False
Suppose -s = -6*s - 10. Let f(b) = b. Let k(o) = o + 3. Let y(r) = -2*f(r) + k(r). Let u be y(6). Is s not equal to u?
True
Let m = 19 + -18.4. Let a = 6.6 - m. Which is bigger: 0 or a?
a
Let w be 64/1*(-3)/(-3). Let h be (-2)/(-18)*12/w. Let t = h - -91/240. Which is smaller: t or -1?
-1
Let i = 74718/29 + -2576. Is i greater than -1?
True
Let t = 2039/140 - 103/7. Does -1/6 = t?
False
Suppose 0 = o - 0*o - 9. Suppose -13 = -4*r - o. Is -1 < r?
True
Let p = 0.01 - -1.99. Let w = 2.1 - p. Which is smaller: 15 or w?
w
Suppose 10 = j + 2*j + 5*n, 10 = -3*j + 5*n. Is -1/6 bigger than j?
False
Let n(m) = m**2 + 5*m - 3. Let y be n(-6). Suppose c + 2*c = -y. Is c > 1?
False
Suppose 3*p - 6*p = -60. Suppose -4*o + 0*o = p. Which is bigger: o or -3?
-3
Suppose -7*i + 2*i - 5*d = -15, 22 = 4*i - d. Suppose -3*p = -2*p - i*l + 12, 13 = -2*p - l. Let r = p + 6. Is r less than or equal to -1?
True
Suppose -4*n = 2*l - 214, -3*l - 6*n + 4*n = -317. Is 106 != l?
True
Let d = 185 - 180.13. Let u = -0.77 + d. Let a = u + -4. Which is greater: a or 2?
2
Let x = -2961/11 - -269. Are x and 1/6 non-equal?
True
Let y(q) = -q**2 - 11*q - 24. Let v be y(-6). Are v and 21/4 non-equal?
True
Suppose 4*j - 13 + 1 = 0, 2*b - 3*j = 1. Let x be (10/3)/b - 3. Let n = x - -8/3. Is 0 > n?
False
Suppose 3*s + 18 = 3*z, 2*z + z = 4*s + 21. Let j = 49 + -47. Which is smaller: j or s?
s
Let c = 85042 + -594081/7. Let q = 173 - c. Let x = -1/2 + -1/6. Which is bigger: x or q?
q
Let r = -14/135 + 1/27. Which is greater: 0.2 or r?
0.2
Suppose 2*f = -0*f + 12. Suppose 4*q - f = 2. Do q and 2 have the same value?
True
Let u(h) = -4*h - 1. Let v be u(0). Is 6 < v?
False
Let f = -5 + 5.14. Let s = f + -6.14. Let k = s + 8. Is -1 bigger than k?
False
Suppose 3*v = 7*v. Suppose 2*i = -5*b + 24, v*b - 4*b = 2*i - 20. Suppose 4*d - b = 2*d. Which is greater: 0 or d?
d
Let o = 24 + -24. Which is smaller: o or -4/5?
-4/5
Let z = 43/3 + -14. Let f = -4 - -2. Which is bigger: f or z?
z
Suppose 5 = -15*u - 10. Let a be ((-2 - -1) + 2)/(-21). Is u >= a?
False
Let b be 7/(21/12) - 603/150. Which is smaller: b or 0?
b
Let h(r) = 2*r - 4. Let x be h(4). Suppose x*n = 3*d + 36 - 13, 0 = 5*n - 25. Is d not equal to 1/8?
True
Let v = -12.2 - -12. Which is smaller: -2 or v?
-2
Let h = 41/105 + 1/105. Is 2 greater than h?
True
Suppose 0 = -3*d + 63 - 0. Suppose -3*g - d = -4*g. Suppose 4*w + 4*r + 20 + 0 = 0, 0 = -5*w - 4*r - g. Do -5 and w have different values?
True
Let c(b) = -b**2 + 2*b + 1. Let n be c(3). Let x = 2 + n. Is x greater than or equal to 2/25?
False
Suppose -m - 3 = 5*s, s + s = 3*m + 9. Suppose -2*k - 2 = 4. Do k and m have the same value?
True
Let x(k) = k**2 - 7*k - 10. Let u be x(9). Let t be (-