-h*p + 13 = -42. Is p equal to 11?
True
Suppose -z - u = -4, -z - 3*u = -6*u - 4. Suppose 4*m - 5*c = 0, 3*m - 2*c = 13 - 6. Which is greater: m or z?
m
Let s be (4/(-8) - 0)/(4/8). Let y be (-11)/10 - 2/5. Which is smaller: y or s?
y
Let h(f) = 3*f**2 + f - 1. Suppose -4*t + 7 = 3. Let v be h(t). Let i be ((-2)/v)/(0 + 1). Is -2 bigger than i?
False
Let h be (1/(-2))/(12/(-264)). Is 12 greater than or equal to h?
True
Let b = 2/839 - 67963/1678. Let v = 39 + b. Let p = v - -2. Which is greater: p or 2?
2
Let w = 16853 - 1533705/91. Let x = -8/13 - w. Which is smaller: x or 1?
x
Let m = 0.7 + -0.6. Let b = 13 + -8. Is m equal to b?
False
Let s = -172/405 - -2/81. Which is greater: -1/4 or s?
-1/4
Suppose 3*m + m + 5*a + 70 = 0, 2*a = -3*m - 49. Which is greater: -17 or m?
m
Suppose 4*t - 8 = -5*u - 1, -4*u + 5*t = 19. Which is smaller: -0.2 or u?
u
Suppose 18 = 5*m + m. Which is smaller: m or 2?
2
Let r be (-4)/6 - 3/9. Is r at most as big as 0?
True
Let q = -9 - -15. Suppose -5*h = q*u - u + 10, -u - 6 = -h. Suppose s = -h*s. Which is bigger: s or 1?
1
Let c = -7 + 6. Is c < -3/8?
True
Let a = -5 - 1. Let w = a + 5.9. Which is smaller: 1 or w?
w
Let w be 1149/(-21) + 12/(-42). Is -56 < w?
True
Let q be -4 + (9 - 0) + -2. Let k be q - (0 + -11) - 4. Which is smaller: k or 11?
k
Let a = -0.22 + 0.12. Let f = 0.09 + 1.01. Let g = a + f. Which is smaller: g or -1?
-1
Let s be (-7)/(1 - (3 - 1)). Let f(o) = o**2 - 4*o + 7. Let z be f(4). Is z not equal to s?
False
Suppose 0*t - 12 = 4*t. Let j = t - -9. Suppose 2*i = 4*b + 10, 2*i = 5*i + 2*b - 15. Which is smaller: i or j?
i
Let r be (5/3 - 1)*702/52. Is r at most 2/9?
False
Let y = 1/2 + -1/6. Let d be -6 + 2 - 196/2. Let v = d - -713/7. Are v and y nonequal?
True
Let y(p) = p**2 - 12*p - 19. Let l be y(13). Is l less than -3?
True
Let r(w) = w**2 + 7*w + 12. Let a be r(-9). Is -0.1 at least a?
False
Let l = -6 - -4.6. Let f = -1.35 - l. Do f and -0.1 have the same value?
False
Let k be (69/(-25))/3 - -1. Suppose -3*w - 4 = j, 2*w - 1 = j - 2. Is w equal to k?
False
Let i = -2 - -2. Let f be 5/6*(-12)/(-90). Are i and f equal?
False
Let w(k) = -k**2 - 5*k + 6. Let y be w(-5). Suppose 0*b + y = 2*b. Which is smaller: 2 or b?
2
Let a(q) = q**2 + 13*q - 48. Let f be a(-16). Is f greater than 4/7?
False
Let j = 12 - 9. Suppose -10 = 2*c, 5*a + 4*c + 18 = j*a. Is 1/7 greater than or equal to a?
False
Let p = 7 + -4. Let y = p + -6. Is -3 greater than or equal to y?
True
Let f = 22 + 4. Suppose 4*r + f = -2*m, 0*m + 4 = 2*m - 2*r. Let d = 2 + m. Are d and -1 non-equal?
False
Suppose -7 = 7*n - 63. Is n at least as big as 7?
True
Let y = -673 - -673.04. Let w = 0 + 0.3. Is y > w?
False
Suppose -5*z = -z + 4. Let m be 2 + 1*15/(-4). Which is smaller: z or m?
m
Let s(l) = l**2 + l - 1. Let c be s(2). Let p be (13/3)/((-3)/(-9)). Suppose 2 = -c*b - 2*m + p, m - 10 = -4*b. Is b bigger than 3?
False
Let v = 27 - 27. Which is greater: 3/14 or v?
3/14
Let f = -3997/11 - -363. Which is greater: f or 1?
1
Let p = 14 - 9. Let n(q) = -8*q - 7. Let f(h) = h. Let u(l) = -6*f(l) - n(l). Let k be u(-3). Is p < k?
False
Let l = -62 + 686/11. Do -1 and l have the same value?
False
Let x be (-21)/(-6) + (-4)/8. Suppose -5*g = -2 - x. Let o = 3/22 + 4/11. Is g > o?
True
Suppose -7 = -3*i + 17. Suppose 5*x = 4*o + 18, -3*x - 2*o = -3*o - i. Suppose -14 = 4*a + x. Which is smaller: -5 or a?
-5
Suppose -p = b - 3, 3*b = -2*p - 3 + 13. Which is greater: 5/11 or p?
5/11
Let u = -12 - -2. Let f = u - -4. Let c = -5 - f. Is 0 equal to c?
False
Suppose -2*r - 3*d + 4*d - 2 = 0, 5*r = d - 5. Let f = 84 + -589/7. Is f at least as big as r?
True
Suppose j - 25 = -0*j. Suppose 0 = -5*w + 5 - j. Are -5 and w non-equal?
True
Let z be 0 - -2*3/4. Which is bigger: z or 0?
z
Let c(j) = -3*j + 10. Let g be c(0). Which is bigger: g or 8?
g
Suppose 0 = -g - 2*c - 9 - 2, -3*c = -5*g + 10. Is g equal to 1?
False
Let n = 38 + -38. Which is smaller: -1/8 or n?
-1/8
Let h(m) = m**2 - 11*m - 16. Let o be h(12). Is o at most as big as -6?
False
Let a = 7.1 + -7.83. Which is smaller: a or -1?
-1
Suppose 4*s + 17 + 1 = -2*b, 0 = -5*s + 5*b. Let c = s - -5. Is 0.1 equal to c?
False
Let u be (-43)/(-6) - (-8)/(-12). Are u and 8 non-equal?
True
Let l(u) = u - 2. Let x be l(2). Suppose 2*b + 21 + 3 = x. Let p be (b/(-16))/(1/(-4)). Are p and -4 equal?
False
Let m(p) = p**2 - 3*p + 1. Let l be m(5). Suppose l = -2*n + 1. Let o = -12 - -8. Which is smaller: o or n?
n
Let x = 170/21 + -16/21. Is 8 at least as big as x?
True
Suppose 2*d - 196 = -2*l + 4*d, -4*d = 5*l - 481. Let h = -483/5 + l. Is h equal to -1?
False
Suppose 2*l = 4*i + 3 + 9, -2*l + 5*i = -16. Let y be (-2)/6*(2 + l). Is 2 smaller than y?
False
Let f be (-170)/(-1175) + (-6 - -2). Let w = f - -12/47. Is -5 > w?
False
Let i(w) = w**2 + 2*w - 4. Let f(j) = j**2 - j. Let c(m) = -2*f(m) + i(m). Let l be c(3). Is l equal to 2/15?
False
Let h = 84 + -84. Suppose -38 - 3 = 4*o - 5*i, 0 = -3*o + 3*i - 27. Let f be -1 + o/(-14) + 1. Which is bigger: h or f?
f
Let b = 0.081 - -0.219. Which is smaller: -4 or b?
-4
Let b be (18/(-468))/((-2)/8). Is -1 smaller than b?
True
Let r = -277/31 + 9. Let u = -10 - -11. Which is bigger: r or u?
u
Suppose v + 0*v = -2*h + 12, -5*v + 4*h - 10 = 0. Let j = -5 + 6. Suppose t = -t - 4*l + 2, t - j = -4*l. Is t greater than v?
False
Let g(s) = 2 - 3*s**2 + 1 + 0*s**2 + 2*s - s**3. Let k be g(-2). Which is bigger: -6 or k?
k
Let g(o) = -15*o**2 - 8*o + 9. Let r(l) = -7*l**2 - 4*l + 4. Let f(d) = 6*g(d) - 13*r(d). Let s = -8 + 4. Let t be f(s). Are 1/2 and t non-equal?
True
Let h be (-5)/(-10) + 68/(-40). Is 2/9 >= h?
True
Let w(d) = 3*d**3 + d**2 - d - 3. Let l be w(-3). Let h be 135/l - (-6)/4. Are h and 1 non-equal?
True
Let q = 1/66 - 37/264. Which is smaller: q or 0?
q
Suppose -3*f = -3*n + 9, -4*f + n + 1 = -5*f. Is -5 greater than f?
False
Suppose -d = -9*l + 4*l + 14, -5*d = 4*l + 12. Let c be l/(4/3)*2. Suppose 0*w - 3*w = -c. Is -1 not equal to w?
True
Suppose -20 = -3*s + 4*b, 0 = -2*s - 5*b - 2 - 0. Suppose 3*x = 2 + s. Let m be 3/(-3)*0/x. Which is greater: -2/3 or m?
m
Let g = -3.9 + 4. Let x be (-4)/(-6)*3/(-7). Is x less than g?
True
Let c be (24/13 - 2)*(-7)/175. Which is greater: c or 1?
1
Let v(a) = -a**3 - 4*a**2 - 3*a - 6. Let g be v(-4). Let k = g - 29/4. Is -1 bigger than k?
True
Let j = 56 + -74. Which is smaller: j or -1/2?
j
Let u be (48/45)/((-4)/138). Let s = -37 - u. Are 1 and s equal?
False
Suppose 3*a + 15 = -3*v, a + 0*v = -2*v - 1. Let i = -10 - a. Is i smaller than -0.14?
True
Let h = -0.95 + -0.05. Let k be (-8)/(-6)*(-12)/(-48). Which is greater: k or h?
k
Let w(s) = -2 + 10*s**2 - 8 - s**3 + 1 - 3 + 12*s. Let c be w(11). Which is greater: c or -1/3?
-1/3
Let l = 30 - 29. Do 1 and l have the same value?
True
Let u = 8.15 + -0.15. Let n be -4 + 14 + (14 - 22). Which is smaller: u or n?
n
Let k = -5.7 + 6. Let d(w) = w - 5. Let t be 2/(-5) - 81/(-15). Let c be d(t). Is k < c?
False
Let w(p) = p + 12. Let j be w(-4). Is j smaller than 8?
False
Let v = 13 + -10. Suppose 0 = 5*r - 2*r - v. Does -1 = r?
False
Let i = 28 - -10. Is 40 >= i?
True
Let b be (22 - 23)*(-2)/(-7). Does 0 = b?
False
Suppose -4*g + 2*p + 8 = 0, -8 = -4*g + p - 2*p. Let m(s) = -s**2 + 7*s - 5. Let o be m(6). Which is greater: g or o?
g
Let y be -4*(-3)/(-20)*-1. Let o(n) = -2*n - 3. Let d be o(-5). Let i(q) = q - 5. Let f be i(d). Is f less than or equal to y?
False
Let f be 4*52/128 - 4/2. Are f and -2/13 equal?
False
Let p be (-17 + 21)*(-2)/(-8). Which is greater: 1/47 or p?
p
Suppose -3*p = -p + 100. Which is smaller: p or -52?
-52
Let m = -1 + 3. Suppose 4*c + 4 = 3*d, 4*c - m*d = -d - 4. Which is greater: 1 or c?
1
Suppose 3*x - 6 = 3*k, 2*x + 4 = -k - 1. Let v(j) = -j**2 + 6*j - 3. Let h be v(6). Is h at most as big as k?
True
Suppose 15 = 5*i + 85. Let s be 1*-1 - (i - -15). Is s bigger than 8?
False
Let r(u) = 3*u**3 + u**2 + u - 1. Let z be r(1). Let a be 0/2 + z/(-6). Let g = 24 - 26. Which is bigger: g or a?
a
Let r = 36 - 78. Is r equal to -42?
True
Let z(l) = l**2 + 5*l + 2. Let n be z(-4). Let g = 3.9 - 4. Which is greater: n or g?
g
Let x(v) be the second derivative of v**4/6 - v**2/2 - 2*v. Let r be x(-1). Let p = 6 - 5. Is p at least r?
True
L