2*h - 4*p + 4 = 0, -3*p + 4*p = -3*h + 8. Is h greater than d?
True
Suppose y + 4 - 6 = 0, 5*t - 2*y = 46. Let r be ((-2)/(-10))/((-4)/t). Let q = -1.5 + 0.9. Which is greater: r or q?
r
Let w(d) = -d**3 - 3*d**2 - d + 3. Let k be w(-3). Suppose -5*q + 2*r + 0 = -k, 3*r = 3*q. Let u be (-14)/(-4) - (-3)/(-6). Which is smaller: u or q?
q
Let v be ((-1678)/60)/(2/(-18)). Let g = v + -252. Suppose -4*a = -4*b + 7 + 5, 2*b = 4*a + 4. Do a and g have the same value?
False
Let p = 70 + -67. Suppose 25 = 5*v - h, -4*v - 5*h + h = 4. Is p at least v?
False
Let m = 1.009 - 0.009. Do -2/189 and m have the same value?
False
Let y = -1/76 - -59/152. Suppose 12 = -3*k - 3*v, 3*k = 2*v - 6*v - 17. Which is smaller: k or y?
y
Let v = -21.99 - -22. Which is smaller: 1/3 or v?
v
Suppose 5*t + 3 = 2*t. Let x be (0/(3/t))/(-1). Suppose b + 2*b - 3 = x. Which is smaller: 0 or b?
0
Suppose -q + 3*q = -2*l - 8, 5*l + 22 = -3*q. Let b be (((-120)/(-275))/8)/((-9)/(-6)). Which is greater: q or b?
q
Suppose -y = y + 76. Is -38 smaller than y?
False
Let j = 1.17 - -0.03. Let h = -1.13 + j. Let y = h - 0. Which is bigger: -0.1 or y?
y
Suppose 3*m + 0 = 5*y - 30, 4*m - 5*y = -35. Let d(t) = t**3 + 4*t**2 - 5*t + 4. Let s be d(m). Is 4 bigger than s?
False
Suppose 0 = 5*i - 3*i - 6. Suppose 3*h + 3*t - 40 = t, -i*h + 5*t = -26. Which is smaller: h or 13?
h
Let o be (12/16)/(2/8). Let q be -3*1 - (o + -5). Is q less than or equal to 2/7?
True
Let c be 3 + ((-126)/(-8))/(-7). Is 1 > c?
True
Let f = 5 + -2. Let q be 7/(-30) + f/9. Are 1 and q nonequal?
True
Suppose -3*o + 15 = 3*b, -5*o - 3*b + 25 = -0*o. Let d(h) = -2*h + 5. Let f be d(o). Is -6 >= f?
False
Let r = 0.5 - -4.5. Let j = r + -6. Is j at most as big as -6?
False
Let v = 0 - -0.05. Let r = v - -0.05. Which is smaller: -0.5 or r?
-0.5
Let h = 8.894 + 0.106. Which is smaller: h or -2?
-2
Suppose 0 = 2*r - 0*k + 3*k - 16, k - 22 = -4*r. Suppose r*t - 3*t - 2*u = 4, -2*u = 3*t - 11. Suppose 0*d = -3*d + t. Which is smaller: -1 or d?
-1
Let f be (12/8)/(7 - (-119)/(-14)). Let p = -0.8 + 0.4. Let v = p - -0.2. Which is greater: f or v?
v
Suppose -g + 0 = 2. Let a be g + (1 - (1 + -2)). Let x = -59/341 + 11/31. Is x at least a?
True
Let v be (-12)/5*(3 + (-46)/4). Which is smaller: 21 or v?
v
Let y be 5*(-3)/(-5 - -2). Let z(k) = y - 4*k**2 - k + 3*k**2 + 0*k. Let j be z(0). Is 6 > j?
True
Let n be (-1)/2 - (-2 - -2). Suppose 5*a + 4*c - 24 = 0, 0*c + 4*c = a. Suppose 4*k + a*o = -0*k - 20, 2*o = 4*k - 10. Does k = n?
False
Let y = -3 + 1. Let j be (2/(-8))/((-8)/(-32)). Which is smaller: j or y?
y
Let r(j) = j - 5. Let h be r(6). Let c be 2 + -2 - (-1 + h). Which is smaller: 1 or c?
c
Let h = -0.28 - 0.02. Let g = 7.7 - h. Let o = -11 + g. Which is smaller: o or -1?
o
Let s = -1 + 2.4. Let b = -1.4 + s. Are b and -0.2 non-equal?
True
Let f = 3167/24 + -132. Which is smaller: 1 or f?
f
Let q be (-3)/(9/15)*-5. Suppose 0*z = -5*z - q. Which is smaller: z or -4?
z
Let t = 3 - 2. Suppose 0*j = 3*j - 6. Let b be j - 3*(-4)/(-6). Is t not equal to b?
True
Let q be (-4)/1 + 6 - -19. Are 20 and q non-equal?
True
Let b be (-14)/6*26/(-2093). Let k = b + -152/483. Is k > 4/5?
False
Let a(s) = s**2 + 16*s + 3. Let y be a(-16). Suppose 2 - 10 = -2*w. Which is smaller: w or y?
y
Let l be 7/(-3) + (-2)/(-6). Let g be 624/1710 - l/(-5). Let h = -7/19 - g. Which is greater: 0 or h?
0
Let r be 18/(((-39)/(-9))/(2/6)). Is r greater than or equal to 2?
False
Suppose 4*m - 16 = r, -20 = -0*r - 5*r. Suppose 2*i - m*f = 2, -5*f + 1 = -5*i - 9. Let g = -4 - i. Is -1/4 <= g?
True
Let d = 2 + -11. Let p be 20/6*d/(-5). Is p at most 6?
True
Suppose p + u = 9, -3*u - 23 = -3*p - 2*u. Let k be (p/(-12))/((-2)/15). Let x = 3 - k. Does -6/5 = x?
False
Let d = 49.717 - 5.907. Let v = d - 44. Let j = 0.09 + v. Which is greater: j or -5?
j
Suppose 14*r = 12*r. Let t(j) be the first derivative of j**3/3 + 5*j - 2. Let l be t(r). Is l not equal to 6?
True
Let t = -68 + 68.17. Which is smaller: 1/3 or t?
t
Let h = -8/13 - -118/65. Suppose -2*j = -6*j + 4. Which is greater: j or h?
h
Let u(w) = w**2 - 12*w - 33. Let r be u(14). Is 0 > r?
True
Suppose -10 + 2 = 4*k. Which is bigger: k or -5?
k
Suppose l - 6*l = 0. Let k be 3 - l - (5 + -5). Is 1 bigger than k?
False
Suppose 4*o = 4*f + 284, 4*o - 3*f + f = 286. Suppose -4*r = 7*q - 2*q - o, -q + 2*r + 6 = 0. Suppose -4*g - y - 8 = 0, 7*g - q = 3*g + 4*y. Is g <= -1/6?
True
Let r be (2 + 28/(-10))*5. Let h = 9 + r. Suppose -2*j + j + h = 0. Is j bigger than -1?
True
Let a(r) = 3*r**3 + 2*r**2 + 2*r + 3. Let x be a(-2). Is -1/4 equal to x?
False
Let r = 22.67 + -23.8. Let s = 0.13 + r. Let l(i) = -i - 2. Let p be l(-2). Which is smaller: p or s?
s
Suppose 5*p + 5*c - 55 + 10 = 0, 2*c = -p + 13. Let b be (4/(-48))/(p/15). Suppose 0 = g + g. Is g smaller than b?
False
Let o = 11 + -6. Is -0.2 less than or equal to o?
True
Suppose -3*i = -2*i - 3. Let d = i + -4. Is d smaller than -2/7?
True
Let w = -15 + 25. Let z = w + -9. Let m = 4 + -4. Which is smaller: m or z?
m
Suppose -5*o + 2*d - 20 = 0, -5*d - 12 = 13. Let w be (1/4)/(2/o). Are -2 and w unequal?
True
Let q(y) = -y**3 - 2*y**2 - 2*y - 1. Let a be q(-1). Let h = 12 + -7. Let m be h/(-7) - 4/14. Which is smaller: m or a?
m
Let s = -2/6265 - 18544/1253. Let d = s - -15. Which is smaller: d or -1?
-1
Suppose 3*c - 9 = 2*p, c = p + 2 - 0. Suppose -p*n + 3 = 3*z, 5*z - 4*n = -n - 27. Let o = 9 - 11. Which is bigger: o or z?
o
Let w be 80/(-20) + 11/3. Is w smaller than 0.04?
True
Let u = 26 - 25.84. Which is bigger: u or -1?
u
Let p = 852 - 9362/11. Is p != 2?
True
Let u = 3023/42 - 470/7. Which is smaller: 5 or u?
u
Let c be 1*(-5 + 4)*-4. Suppose 1 + 3 = c*j. Is j smaller than 1/26?
False
Let c be (6/9)/((-2)/(-12)). Suppose -c*v - v = 5. Is v != -1?
False
Suppose 7*v + 55 = 2*v. Suppose 6*l + 6 + 54 = 0. Which is smaller: l or v?
v
Let d be 1/(((-3)/(-4))/3). Suppose -d + 3 = -y. Let i be (3 + -4 + 3)/(-10). Which is smaller: i or y?
i
Let j be (-4)/(-58)*(2 - -2). Let r = 2/203 + j. Suppose 6*m = 5*m. Which is bigger: r or m?
r
Let h be 1/(8/1) - 18/138. Is h at least as big as 1/3?
False
Let c = -0.04 + -0.03. Let i = 340 - 338. Which is smaller: c or i?
c
Let a(v) = -v**2 - 4*v + 5. Let k be a(-5). Suppose 0 = -5*u + 3*t + 1, -5*u - t + k*t - 7 = 0. Is u at least -1?
True
Suppose 2*o - 4 + 2 = 0. Suppose 2*r = -3*t - 40, 2*r + 2*t + 3*t + 44 = 0. Let i = -18 - r. Which is bigger: i or o?
o
Suppose 1 = b - 5*v - 0, 2*b + 11 = -3*v. Let h(g) = -g - 3. Let i be h(b). Which is greater: i or 2?
2
Suppose 5*k - 10 = 0, 4*j - 2*k + 6*k - 24 = 0. Suppose -j = -2*s + 2*l, -3*l - 4 = -s - l. Let u = -6.7 + 7. Which is smaller: u or s?
s
Let a(d) = -d**2 - 4*d - 3. Suppose -5 = -2*g - 3*g. Suppose -4*r + l = 10 - g, -2*l - 18 = 4*r. Let q be a(r). Are -2/3 and q nonequal?
True
Let m(d) = d**3 - 31*d**2 - 33*d + 45. Let a be m(32). Is a >= 13?
True
Suppose 3*i - 4 = 2. Suppose -3*s = -i*s + 1. Is 1 bigger than s?
True
Let b(p) = p**3 - 3*p**2 + p + 2. Let f be b(2). Let h = -2 + 2. Is h equal to f?
True
Suppose 0 = -4*m + 11 + 5. Let b = m - 6. Which is bigger: b or -3/4?
-3/4
Let h = 0.017 + -0.317. Is 10 < h?
False
Let k = -10 - -14. Let n = k - 4. Suppose 5*z = 3*m - 29 + 7, n = -4*m - 5*z - 29. Which is greater: -2/3 or m?
-2/3
Suppose -5*l + 3 + 9 = -4*m, 0 = -m + l - 2. Suppose -4 = -d, -m*d = -0*n - 4*n. Let y = -22 - -24. Is y >= n?
True
Let r be ((-3)/2)/(3/(-12)). Suppose r = 7*g - 4*g. Is 0 less than or equal to g?
True
Let h be (-1 - 0)*3/(-9)*-3. Which is smaller: h or -5?
-5
Suppose -2*i = -2*g - 0*g - 62, 3*g - i = -93. Which is smaller: -32 or g?
-32
Let r = -0.026 - -0.726. Which is bigger: -2/15 or r?
r
Let l be (1 + 0)/(6 + -5). Let t = -1/12 + -13/60. Which is greater: t or l?
l
Let b be 1/3*1*6. Suppose -b*i - 8 = -5*v, -2*v - 5*i = v - 11. Let a = 2 - 1.9. Is v at least as big as a?
True
Let p(h) = -2*h - 1. Let b = 9 + -6. Let z be p(b). Which is bigger: z or -5?
-5
Suppose 0 = 2*x - 6*x - 20. Let u = -2/1415 + -5092/1415. Is u equal to x?
False
Let b = -0.3 - -0.2. Suppose 3*p = 4*p - 3. Is p smaller than b?
False
Let f = 0.004 + -1.004. Which is smaller: f or -7?
-7
Let p be ((-330)/82 + 4)/(-1). Are p and 0 non-equal?
True
Let g = -