greater: q or h?
h
Let t = -124/585 - 2/195. Do -1 and t have different values?
True
Let d = -41.01 - -41. Let w(a) = a**3 + 3*a**2 - a - 3. Let k be w(-3). Which is smaller: d or k?
d
Let s = -5 + 4. Let n = 0.06 - 2.06. Let f = n + 4. Is f != s?
True
Let c be (2/15)/(9/(-432)). Let u = c - -6. Which is smaller: u or 0.02?
u
Let a = -137/30 + 25/6. Which is smaller: 0 or a?
a
Suppose 0 = -2*z - 4*l - 0*l - 10, -17 = -2*z + 5*l. Suppose 0 = m - 11 + z. Are 10 and m nonequal?
False
Let y = -27 + 25. Which is smaller: y or -2/5?
y
Let u(g) be the second derivative of g**3/6 + 5*g**2/2 - g. Let x be u(-7). Let f = x - -1. Is f equal to -1?
True
Let m = -0.07 - 0.02. Let o = 1.7 + -1.5. Is m at most as big as o?
True
Suppose -5*g = 3 + 12. Let p be g - -3 - (-4)/18. Do 0 and p have the same value?
False
Suppose 2*y - 4*s - 42 = 0, y - s = 2*s + 24. Is 14 less than y?
True
Let p(l) = l - 5. Let h be p(5). Let c = 901/560 + -1/112. Let o = -2 + c. Which is bigger: o or h?
h
Suppose -8 = 4*l - 4. Let m(y) = -y**2 - 5*y + 4. Let h be m(-5). Suppose 2*v + 4 = 0, -u - v - h = -3. Is l less than u?
True
Let o = 96 - 96. Which is bigger: 1/58 or o?
1/58
Let z be ((-2)/(-4))/(1/16). Let h be z/(-198) + 20/(-110). Is h not equal to -1?
True
Suppose d + 35 = 5*s - 2*s, s - 7 = 5*d. Suppose -5*w = -4*t + 29 - s, 4*w = 5*t - 19. Let g be w/(-5) + (-1)/(-5). Is g at most -1?
False
Let m(q) = q + 5. Let v be m(-5). Let f(u) = 5*u - 11. Let w(o) = o - 1. Let z(a) = -f(a) + 6*w(a). Let k be z(-4). Are k and v nonequal?
True
Let t(f) = -f**3 + 3*f**2 + 5*f - 3. Let k be t(3). Suppose 4*j - k = z, -3*j + z + 7 + 1 = 0. Suppose 3*s - 6*s = -3*d + 30, -5*s - 45 = -4*d. Is d > j?
True
Suppose -10*q = -12*q + 28. Is 8 less than or equal to q?
True
Suppose -21 - 5 = -2*l. Is 13 at most as big as l?
True
Let f = 0.539 + -0.739. Let m = -3.1 - -3. Which is bigger: m or f?
m
Suppose -d = 3*a - 8*a - 25, -4*d - 5*a = 0. Suppose -6*v = -14*v + 24. Suppose 5*o = d*i, 2*i + 7*o = v*o. Which is smaller: i or -2/3?
-2/3
Let c be 2/(8/(-11)) - -2. Which is smaller: c or -1?
-1
Let d be (-12)/(-42) - (-2)/(-7). Which is bigger: d or 1/7?
1/7
Let w(d) = -4*d + 84. Let u be w(21). Is 2/37 at most u?
False
Let a = 10 + -10.4. Is -1/6 equal to a?
False
Let o be (-177)/21 + (-6)/(-14). Are -2/5 and o unequal?
True
Suppose -4*p + 0*p = 0. Suppose 4*i - i - 6 = p. Suppose 2*x + 2*m = 7*m + 14, -3*x = -i*m - 10. Is x > 2?
False
Suppose -6*j = -11*j + 55. Which is smaller: 10 or j?
10
Let y = -61 - -185/3. Is y greater than 1?
False
Let p = -4 + 6. Let t be (-15)/20 + (-25)/(-44). Which is greater: p or t?
p
Let s be ((-1)/3)/(1/(-3)). Suppose 5*f - 4 - s = 0. Let b = -53 + 157/3. Are b and f unequal?
True
Let h(y) = 0*y + 4*y + 1 - 3*y. Let z be h(-1). Do 2 and z have the same value?
False
Let c = 1340/7 - 191. Suppose 0*u - 4*u = 0. Is u >= c?
False
Let y = -10 - -16. Suppose 4*n - 3*n - y = 0. Let q be (2/n)/(3/9). Which is bigger: q or -3?
q
Let j = -66 + 67. Which is smaller: j or 24?
j
Let j be (1/(-9))/((-4)/8). Which is greater: j or 1?
1
Let g = 2 + -2.2. Let b = 8 + -8.1. Is g not equal to b?
True
Let l = 177 - 343. Let w be l/(-18) + (-10)/45. Which is greater: 8 or w?
w
Let a be 5*7/5*(-12)/(-7). Is a bigger than 12?
False
Let n = -140/9 - -497/36. Let w = 15 + -17. Which is smaller: w or n?
w
Let q be (12/(-9))/(-4)*0. Which is smaller: q or 0.02?
q
Suppose -2*z + 5*z = 3. Which is greater: -4 or z?
z
Suppose 7*u - 55 = 2*u. Let r = -19 - -31. Is u equal to r?
False
Let g be -5 + (-2)/((-40)/(-475)). Which is smaller: -28 or g?
g
Let j(h) = h**3 - 8*h**2 + 8*h - 8. Let o be j(7). Let g be 0 - (2 + 4/(-2)). Which is greater: o or g?
g
Let u(o) = o**2 + 5*o. Let s be u(-5). Let r = 20 + -17. Suppose 5*m = -4*b + 13, 3*m - r*b + s*b = -3. Which is smaller: -1/21 or m?
-1/21
Let h be 8/6*(-2)/3. Is h > -2?
True
Suppose -4*t = -3*d + 56, -d = -5*d + 2*t + 58. Is 25/2 <= d?
False
Let n = 157/4 + -39. Let w = -0.04 + 0.34. Let b = w - 0.2. Which is smaller: b or n?
b
Suppose -4*q - 2*p + 4*p + 42 = 0, -3*p = -3*q + 39. Which is greater: 9 or q?
9
Let d = 30.944 - -0.056. Are d and 1 equal?
False
Let i = 5 - 10. Let s = -5 - i. Which is smaller: 2 or s?
s
Let q be 10*(-1)/(-72)*4. Let c = -61 - -61. Which is smaller: c or q?
c
Let p be (-6)/(-24) + (-17)/4. Let k = 4 + p. Let m = -15/2 - -47/6. Is m at least as big as k?
True
Let s be (6/(-4))/(9 + 9). Is -1 < s?
True
Suppose 0 = q - 0*q + 5*m - 46, -11 = -q + 2*m. Suppose -2*p = -5*d, 2*d + p + q = 6*p. Is 4 <= d?
False
Let n be 2 - 3/(-9)*0. Let j be ((-3)/30)/(n/(-8)). Which is greater: j or 3?
3
Let x = -6 - -3. Let h(j) = j**2 + j - 2. Let i be h(x). Suppose -y + 9 = 2*y - 3*s, -s - 3 = -i*y. Is y at most -1/5?
False
Let a be (-5)/45*-3 - 76/(-6). Which is smaller: 5 or a?
5
Let q(k) = -k. Let p be q(10). Let f = p + 10. Which is bigger: -1/4 or f?
f
Let r(k) = -k**2 + 12*k + 3. Let h be r(11). Suppose -2*t - 29 = -3*u, -3*t + u - h = -2*t. Is t less than or equal to -12?
True
Suppose -q - 8 = -3*q. Suppose j = -3*j + q. Does 2 = j?
False
Let c be -4 + 2 + (-32)/(-14). Let d = -4 - -1. Is d > c?
False
Suppose -m - 3*m + 20 = 0. Suppose -5*q = 5*j - 20, m*j - 3*q = 2*j - 18. Which is bigger: j or 0?
0
Let f(w) = w**3 - w**2 - w - 4. Let v be f(0). Which is smaller: -9/2 or v?
-9/2
Suppose 2*o = o + 46. Suppose -4*f = 5*l + 14, -4*l - l - o = -4*f. Let u = l + 3. Which is greater: u or -1?
-1
Let c = 326/3 + -109. Which is smaller: c or -1/8?
c
Let p = -6.1 + -0.9. Let u = p - -6.9. Is -5/4 less than or equal to u?
True
Let s = 33.2 + -38. Let b = s - -5. Do 0.2 and b have different values?
False
Suppose -2 = w - 3*w. Is w greater than 2/33?
True
Suppose -53 = 7*p + 31. Let a be p/(-12)*(-2)/(-8). Suppose 0 = d - 2*d. Is a not equal to d?
True
Let m = -1 + 3. Let r be (1 - 2) + 3 + 2. Let z = r - m. Is z >= 2?
True
Suppose 24 = 4*o + 8. Suppose -o*f = 18 + 22. Is f less than -2/3?
True
Suppose -n - 120 = -5*n. Let z be 1/(-2 - n/(-14)). Is 6 >= z?
False
Let f be (-11)/7 - (-2 - 0). Let q = -22.5 - -22. Let a = q + 0.5. Is f >= a?
True
Suppose -2*p + 5*q = 0, -p + 4*p = -2*q. Suppose -25 = -p*b + 5*b. Which is bigger: -1 or b?
-1
Let q = 4.02 - 4. Let m = -0.31 - -3.33. Let k = m - q. Which is smaller: -1 or k?
-1
Let s be -2 + 57/36 - (-7)/(-28). Which is greater: s or -36?
s
Let q be (4 - 6)*10/4. Is q less than or equal to -5?
True
Let m(u) = u**2. Let p be m(2). Suppose -p*h = -h - 45. Suppose -5*t = -0*t + h. Do -3 and t have different values?
False
Let h(f) = -f - 6. Let u be h(-6). Let s(j) = -j - 7. Let z be s(-7). Suppose -9*d + 4*d = z. Is d less than u?
False
Let z = 0.65 - -0.35. Let q = -0.02 + 0.06. Which is greater: q or z?
z
Let q = 2.1 + -2. Let v = -9 - -9. Let w = v + -1. Which is smaller: w or q?
w
Suppose -4*y = -4, -3*y - 28 = -3*h + 5. Let r(d) = d - 15. Let t be r(h). Do -3 and t have different values?
False
Let x be -1*(-4 - (-3 + 1)). Suppose -d = -x*d. Let s be (-6)/15 + 64/135. Which is smaller: d or s?
d
Suppose 2*u - 4*u = 0. Is -1/2 <= u?
True
Suppose x + 16 = 2*x. Let t be x/(-7) + 6/21. Which is bigger: t or -2/11?
-2/11
Let l(b) = b**3 - 7*b**2 - 7*b - 4. Let d be l(8). Suppose -5*y = -2*r + 8, -d*y - 14 = 4*r + y. Is -2 != r?
True
Suppose 4 = -j, 3*c = 2*c + j. Let a be 77/(-91) + c/26. Is a greater than -1/5?
False
Suppose 12*c - 52 + 4 = 0. Which is greater: 15 or c?
15
Let n = 1.1 - 1. Which is bigger: n or 8?
8
Suppose 3*n + 4*t + 23 = -0*n, -3*t = 3*n + 18. Let z = -1053/56 + 147/8. Which is bigger: n or z?
z
Let g = -1.5 - 0.5. Let d(l) be the second derivative of l**4/12 + l**3 + 2*l**2 - l. Let u be d(-5). Which is bigger: u or g?
u
Let t(z) = -z + 6. Let g be t(-3). Let x be g/(-12) + 132/112. Is 1 <= x?
False
Let m be (-2)/2*((-114)/(-21) - 5). Let u(o) = o + 1. Let q be u(-1). Suppose q = 3*g - 0*g. Is m greater than g?
False
Let i = -42 - -35.8. Let b = i + 1.2. Let s = b + 4.7. Which is bigger: -1 or s?
s
Let i = -1 + 2. Suppose -2*k - 6 = -b, -k = b + 4*b + 3. Suppose b = n + 4*n. Which is bigger: n or i?
i
Let b be (4 - 4) + 6/2. Let j(n) = n - 2. Let u be j(b). Let p be (-75)/65 + 0 + u. Which is bigger: p or 1?
1
Let o = 18 - 17. Do -5 and o have different values?
True
Suppose 