h?
h
Let w = -2 + 2. Let q be 2/12 - (-4)/(-24). Is w < q?
False
Let o(c) = -c**2 - 7*c - 3. Let n be o(-6). Suppose -n*j + 8 = j. Which is smaller: j or -1?
-1
Let b = 1.6 - 2.6. Which is smaller: b or 64?
b
Suppose 5*k = 5*j + 85, -3*j = -2*k + 3*k + 51. Is -16 not equal to j?
True
Suppose -w = 5*y - 3*w + 24, 24 = -2*y - 4*w. Let d be (9/y)/(-3)*-2. Let h be d*(0 - (-3)/3). Is -6/7 at least as big as h?
True
Suppose q - 60 = -4*q. Let u(c) = c**2 - 14*c + 15. Let w be u(q). Is w at most -8?
True
Suppose -1 = 22*k - 1013. Which is smaller: k or 47?
k
Suppose -k = -4*c + 18 + 9, -5*k + 41 = 2*c. Let n = -4 - c. Let w be 8/(-5) - n/20. Is w greater than or equal to -2?
True
Let m be (428/6)/(12/(-18)). Which is smaller: -108 or m?
-108
Let w(c) = c**3 + 8*c**2 + 6*c - 13. Let p be w(-5). Is 33 != p?
True
Suppose -2*i + 0*i = 36. Let f be (-4)/i + (-4)/(-9). Let x = -5 + 5. Which is greater: f or x?
f
Let r(a) = -a**3 + 10*a**2 + 12*a + 23. Let b be r(11). Which is smaller: b or 35?
b
Let h = -8 + 6. Suppose -4*z - 12 = 0, -4*m + 0*m + 18 = -2*z. Let g be (m/h)/((-102)/(-8)). Is g <= 1?
True
Let k be ((-8)/(-848))/(4/1). Let b = -1705/3816 + k. Is b less than 0?
True
Let n be (1*4/48)/((-3)/6). Let d = 3 + -3. Let z = d - 1. Which is bigger: z or n?
n
Suppose -8*a + 2 = -7*a. Do a and 6 have the same value?
False
Let k = 27 + -109/4. Is -0.06 greater than k?
True
Let y = 28 + -28. Suppose -a = 3*i + 3*a - 17, 2*a = 2*i + 12. Let u be (((-6)/(-4))/3)/i. Which is smaller: u or y?
u
Let x = 248246/15 + -16560. Let v = -32/3 - x. Let p = 1 + -5. Are v and p unequal?
True
Let n be 58/(-5) - (-7)/(-35). Let s = n - -398/35. Suppose 3 = -3*w - 0. Which is greater: s or w?
s
Let q(h) = h**2 - 4*h + 4. Let r be q(2). Is -4 != r?
True
Let k = -83 - -90.1. Let f = -0.05 + -6.95. Let c = k + f. Is -2/5 equal to c?
False
Let z = 5/9 - 2/9. Let l = -5/6 - -4/3. Which is bigger: l or z?
l
Let k = 8.78 - -0.22. Let r = k + -11. Is 1 != r?
True
Suppose -15 = -4*v + v. Suppose p - v*s + 1 = -2*p, 5*p + 4*s + 14 = 0. Which is smaller: p or -4?
-4
Let i be ((-5)/3)/((-70)/84). Which is greater: i or -7?
i
Suppose -3*p + 7*p = -20. Let f = p + 8. Is 3 < f?
False
Let m be (4/(-10))/((-10)/(-50)). Is -11 != m?
True
Let c be ((-168)/32)/(6/20). Let f = 17 + c. Let z = 1 - 3. Which is bigger: z or f?
f
Let k = -149/10 - -15. Which is bigger: k or -1?
k
Let n be 1/(6/(-9))*-2. Let v be ((-1)/(-217))/(n/180). Let u = -2/217 - v. Is 0 at least as big as u?
True
Let f = 160 + -159. Which is smaller: f or 6/17?
6/17
Suppose -2*t - 4 = -50. Is t at most 2?
False
Let x be ((-10)/(-3))/((-10)/(-15)). Let g be 4/10*(10 - x). Suppose -3*l = 4*y - 13, 4*y + 2*l + 3*l - 11 = 0. Which is bigger: y or g?
y
Let o be (-10)/3 - -3 - 580/132. Do o and -5 have the same value?
False
Let f = 2 - 4. Let i be f/(-4) + 27/6. Let u(c) = c**2 - 5*c. Let h be u(i). Is -7/5 not equal to h?
True
Let c(j) be the second derivative of -j**3/6 + j**2/2 + 5*j. Let l be c(0). Which is greater: l or 2?
2
Let j = -68 + 61. Are j and -8 unequal?
True
Suppose 2*a + 10 = -3*a. Let w be 9/(-6) - a - 2. Which is smaller: -2/7 or w?
w
Let c(i) = i + 4. Let m be c(-3). Let d be 2*109/(-32) - -7. Which is smaller: d or m?
d
Let o = -0.5 - -1. Let h = 0.4 - o. Let v = -2 + 1.9. Is v greater than h?
False
Let n = 4 - -19. Let y = n + -22. Is y at least -3?
True
Let a = 55 + -221/4. Is 0 not equal to a?
True
Suppose 2 = t - 33. Is t equal to 36?
False
Suppose 19*z = 17*z - 2. Let i = -1.9 - -2. Is z equal to i?
False
Let i be (-6)/(-2) - (-155)/5. Which is smaller: 33 or i?
33
Let i = -5.04 + 0.04. Let f = 5.4 + i. Let s = -0.1 + 0.1. Which is bigger: f or s?
f
Let c = 0.6 + 0.3. Let m = c - 1. Let f = 3.2 + -3. Which is greater: m or f?
f
Let i = -0.4 + 0.41. Let o = i - 0.91. Let t = -0.1 + o. Are t and -1/3 unequal?
True
Suppose l + 5*z + 3 = 1, 5*z = l - 18. Let t be (-5 + 2)/(12/l). Suppose 0*f - 3*f - 6 = 0. Is f >= t?
True
Let f be (-1844)/(-240)*(-2 + 1). Let h = f - -31/4. Is 0 greater than or equal to h?
False
Let p = 2 + 3. Let i = p + -4. Are i and 2 unequal?
True
Let u be (0 - (-124)/64 - -1) + -3. Is u bigger than 1?
False
Let z be (-3 + 2)*1/3. Let n = 3.5 - 1.5. Is z at most as big as n?
True
Let t = -29 - -42. Let w = t - 12. Which is smaller: w or 3/7?
3/7
Suppose -h = h + 5*d + 4, 0 = -5*h + 5*d - 10. Let f be 70/(-15) - h/(-6). Let j be ((-4)/f)/(4 - 2). Which is smaller: j or -1?
-1
Let b(x) = x**2 - 5*x - 8. Let m be b(6). Let i be ((-4)/10)/((-2)/(-60)). Let g(s) = -s**3 - 11*s**2 + 12*s - 5. Let o be g(i). Does o = m?
False
Let s = -5 + 10. Suppose -y = y + a + 2, 3*a = s*y + 5. Which is smaller: y or 0?
y
Suppose -z + 6 - 3 = 0. Suppose 0 = -z*l - 123 + 15. Let q be l/(-28) - (-2)/(-7). Is 1 equal to q?
True
Let c be (15/(-2))/(-5) + 114/(-60). Which is greater: -8 or c?
c
Let g be 5 - (0 + 4/(-2)). Let z be 2/7 - 302/(-70) - 5. Which is bigger: z or g?
g
Let z(q) = -7 - 5*q + 3*q + 8. Let s be z(2). Which is smaller: -0.2 or s?
s
Let s(f) be the third derivative of -f**4/12 - f**2. Let q be s(6). Let y be 8/q*3/10. Is -1 > y?
False
Let a = -0.02 - -1.02. Which is smaller: a or -3?
-3
Let w(f) = f**2 + 10*f + 2. Let n be w(-10). Let y(v) = -v**3 + v**2 + 3*v + 4. Let h be y(3). Let r(g) = g + 7. Let z be r(h). Is z >= n?
True
Suppose -2*y + 9 = y. Which is bigger: y or 1?
y
Let o(z) = -3*z - 6. Let p be o(-4). Are 4 and p equal?
False
Suppose -4*d + 32 - 24 = 0. Which is greater: d or 6?
6
Let k(d) = 20*d**2 + d - 1. Suppose -r + 3*r + 2*t + 4 = 0, 5*r = -4*t - 7. Let n be k(r). Suppose -4*g - 24 - 2 = 3*h, 2*g = -5*h - n. Is h != -2?
False
Let o be (-6)/15 + (-2846)/(-2640). Let z be 350/176 + 4/(-2). Let j = o + z. Which is smaller: -0.3 or j?
-0.3
Let w(j) = -4*j - 10. Let x be w(-2). Is x greater than or equal to -2?
True
Suppose 50*y = 52*y + 16. Which is greater: y or -7?
-7
Let h be 5/(-10) - 86/4. Let a be 0 + h/10 + 4. Is 1 != a?
True
Suppose 3*v + n - 19 = 0, -8 - 7 = 3*n. Suppose j = -0*j - v. Is -8 equal to j?
True
Let h(l) = -4*l - 9. Let x be h(-9). Let k = x + -27. Is k <= 2/15?
True
Suppose 0 = -7*y + 1 + 6. Which is greater: 8/15 or y?
y
Let i be (8/30)/((-2)/5). Let m(d) = -d**3 - 1 + 2*d**3 - 2*d**3 + 2*d**2. Let j be m(2). Which is greater: i or j?
i
Let n(d) = d**3 - 3*d**2 - d + 2. Let t be n(3). Let k be t/(-5) + (-6)/15. Which is bigger: k or -2/3?
k
Suppose -24 = h + 3*h. Let p(m) = 3*m**2 - 5*m + 4. Let u be p(3). Let o(b) = b - 21. Let w be o(u). Which is smaller: h or w?
h
Suppose -5*i - 6 = i. Is i at least 2/17?
False
Let i(v) = -v + 13. Let c be i(10). Let f(p) = 2*p - p**3 + 0*p**2 - p**2 + 3 + c*p**2. Let h be f(3). Is h at least as big as 2/5?
False
Let z be 9 + -1*(-4 - -8). Suppose 0 = z*p + 3 - 8. Let y = -243/4 - -61. Do p and y have the same value?
False
Let f = 10 + -12. Let h = -4 - f. Is h <= -2?
True
Let x = 72 - 359/5. Suppose 4*t + 10 = -2*d, 4*t - 11 = 7*d - 2*d. Which is smaller: x or t?
t
Let m = 4 + -1. Let b = m - 2. Let s = 2.6 + -0.6. Is b less than or equal to s?
True
Let i = 47/75 - 2/75. Let c = -0.05 + 0.1. Let q = c - -0.05. Which is smaller: i or q?
q
Let y be 2/12*(-84)/(-39). Let i = -1920/13 + 148. Let r = i + y. Is r less than 2?
True
Let t = 0 + -2. Is t less than or equal to -2?
True
Let t be 4/(-5) - 66/30. Do -4 and t have the same value?
False
Let a = -12 + 4. Let z(p) = p**3 + 8*p**2 - p - 9. Let l be z(a). Which is bigger: l or 0?
0
Let s = 0.4 + -1. Let y = -0.6 - s. Is -2 not equal to y?
True
Let i = 215/52 - -3/26. Is 5 < i?
False
Let c be (0/(-1))/(1 - -1). Let a(o) = o - 11. Let k be a(c). Do -11 and k have different values?
False
Let y(p) = p**2 + 4*p. Let u be y(-4). Let l be (-4)/(-90)*(-1 + -2). Is l less than u?
True
Let n be 16/(-72) + 91/(-36). Is n > -2?
False
Suppose -4*z - 20 = -0*z. Suppose 10 = -0*f - 2*f. Do f and z have different values?
False
Let a = -1.9 - -2. Let g = a + 0. Are -1 and g unequal?
True
Let i = -26998/45 + 600. Let f = -3/26303 - -973751/4734540. Let g = i + f. Is 0 less than or equal to g?
True
Let i(j) be the second derivative of -j**5/20 - j**4/4 - 5*j**3/6 - 5*j**2/2 - 6*j. Let y be i(-2). Is y at most -1/26?
False
Suppose 12*q - 4*q = -56. Are q and -9 equal?
False
Suppose -7*v 