qual to t?
True
Let p = 3 + -4. Let h be 6*(1 + 45/(-42)). Is h less than or equal to p?
False
Let i be 2/(4/8 + 0). Do i and 4 have different values?
False
Let s(c) = -c**2 - 13*c - 39. Let d be s(-8). Suppose v + m - 3 = 0, 5*m + 2 = 2*v + 3. Let a = v + -1. Is a bigger than d?
False
Suppose -16*k = -6*k - 70. Is k at least 2?
True
Let u be 3 + 1 + 1494/(-369). Suppose 0 = -3*s, 3*j = 2*j - s. Is j at least u?
True
Suppose -3*m - 3*o = 51, 3*o + 17 = -2*m - 18. Which is bigger: m or -15?
-15
Let w be ((-10)/(-35))/(2/7). Let t(j) = -j**2 + 7*j - 5. Let f be t(6). Let n be (w - 2)/((-1)/f). Is n at most as big as -1?
False
Suppose -4*b = 2*d - 10, 2*d - 6*d + 20 = -5*b. Suppose b = 3*o + 7 - 25. Is 6 > o?
False
Let y = -1031/5 - -207. Suppose -2*l = -2 - 0. Are l and y nonequal?
True
Let z = 6 + -8. Let h = -2.1 - z. Let b = -2.3 + -0.7. Are b and h unequal?
True
Suppose 0 = 3*y - 4*k - 17, -5*k + k - 19 = -y. Let w be 4/8 + y/(-2). Let o = 3.7 - 4. Is o > w?
False
Suppose -6*u = -3*u. Let p(s) = -s**3 - 6*s**2 + 2*s + 9. Let r be p(-6). Let n be (1 - r/(-2))*0. Are n and u unequal?
False
Let w = -280 - -284.07. Let y = w + -0.07. Let x = y - 4. Is 2/7 >= x?
True
Suppose -47 = -5*d - 3*g, -d + 2*g = -6*d + 43. Suppose -5*c + d*c = 20. Suppose -2*j + 2*h + c = 0, j + 0*j = -4*h + 10. Is j <= 7?
True
Suppose 4*c = -5*b - 30, 3*b + 3*c + 21 = -0*c. Let n = -97 + 96. Which is smaller: b or n?
b
Suppose -4*b + 316 = -4*s, -3*b - b = 3*s + 223. Is s < -78?
False
Let f(p) = -22*p + 662. Let c be f(30). Let h = 1 + -5. Let k = -1 - h. Is k at most as big as c?
False
Let i = -14.4 + 1.4. Let l = -1.9 + -6.1. Let o = i - l. Which is smaller: -1/4 or o?
o
Let y = -10 - 3. Let p = -9 - y. Is 1 less than or equal to p?
True
Let s be (2 + (-20)/6)*312/16. Is s <= -26?
True
Let d(g) = -g - 8. Let z be d(-4). Let m(l) = -l. Let k be m(-5). Suppose -k*c - 13 - 2 = 0. Is z > c?
False
Let z(k) = 3*k - 13. Let a be z(12). Let n = a - 114/5. Is n >= 1?
False
Let d = 1.8 + -1.6. Suppose 0 = -3*v - v - 4. Which is smaller: d or v?
v
Let x(c) be the first derivative of -5*c**2/2 + 8*c - 2. Let z(l) = -11*l + 16. Let h(q) = 13*x(q) - 6*z(q). Let p be h(-6). Is 2 smaller than p?
False
Let x(s) = s**2 - 5*s - 7. Let f be (-2*2)/((-12)/18). Let t be x(f). Which is smaller: t or -1/2?
t
Let j be 1 - 1/(1/17). Is j at most -15?
True
Let q be 4/14 + 18/(-14). Let v(k) = k**3 + 3*k**2 + k - 2. Let o be v(-2). Let b = q + o. Which is smaller: -1/6 or b?
b
Let v be (-3)/(-1) - -3 - 4. Which is smaller: v or 3?
v
Let z be ((-3)/(-4) - 1) + 27/12. Which is bigger: 28/9 or z?
28/9
Let q be ((-285)/(-1044) - 0) + (-13)/52. Which is bigger: q or 0?
q
Let m(k) = k**3 + 7*k**2 - k - 6. Let p be m(-7). Which is smaller: p or 3/13?
3/13
Suppose -4*c + 11 + 29 = 0. Suppose 0 = -4*w + 2*s + c, 2*w + w - 12 = 3*s. Is 5 bigger than w?
True
Let w be 6/(-27) - (-16)/(-18). Let l(u) = u**2 - 2*u. Let v be l(0). Which is smaller: v or w?
w
Suppose 0 = -2*k + 8 - 2. Let t be k + (-6)/20 - 3. Which is bigger: t or -1?
t
Let b be (66/(-8))/((-3)/8). Suppose b = -5*r + 6*r. Is r less than or equal to 21?
False
Let x = -7 - -15. Let n(l) = 2*l**2 - 2*l - 4. Let d be n(3). Are x and d equal?
True
Suppose -2*a + 0 = 2. Let f be (1 + -2)/a*-2. Let s = -29/4 - -133/20. Is f > s?
False
Let j(d) = d**3 - 9*d**2 + 10*d - 13. Let y be j(8). Let m be 2/y - 525/(-63). Do 10 and m have different values?
True
Let h = 7 - 28. Let d be ((-12)/h)/((-9)/(-14)). Let p = d + -2/9. Which is smaller: 0 or p?
0
Let k be (1/(-3))/(2/(-30)). Suppose u = k - 6. Does u = -2/11?
False
Let n be (-1)/(-2) + 1*134/(-20). Which is smaller: n or -7?
-7
Suppose -3*b + 8 = b. Let v(m) = -m - 4. Let k be v(-6). Suppose k*g = -2*g + 12. Is b smaller than g?
True
Let j be 2/(-3) - (-8)/3. Suppose -m = -0*m + j. Let s be (-1)/(2 + (m - -1)). Which is smaller: s or -2/11?
s
Let v be (-15)/6 - (-1)/2. Let l = 2 + v. Let y = 177.9 - 178. Which is smaller: y or l?
y
Let m(g) = -49*g**3 + 2*g**2 + g. Let w be m(-1). Let l be (-2)/w*70/28. Let f be (-2)/(2 + -4)*-1. Which is bigger: l or f?
l
Let w be (4/(-57))/(136/124 + -1). Let m be (1/(-12))/((-57)/192). Let l = w + m. Which is bigger: l or 1?
1
Let o = -665 - -2639/4. Let n = o + 5. Let z = 0 + -3. Is n bigger than z?
True
Let l be 9 + 3 - (-1)/(-1). Let h = 18 - l. Is h < 6?
False
Suppose 3*u - 2*u - 2 = 0. Suppose g = -2*m + 11, 12 = -m + g + u*g. Let h be ((-1)/(-4))/(m/12). Which is bigger: h or 3/5?
h
Suppose -h - 4*h - 10 = 0, -2*u = h + 22. Let j be 2 - (3 + 14/u). Let s = 1 - 1. Which is bigger: j or s?
j
Let q be 8/22*2/4. Suppose 0 = -h - h + 42. Suppose w + 2*c + h = -2*c, -w = -3*c - 14. Is q <= w?
False
Suppose -4*x + 0 = 4. Suppose -y = 4*p + 19 + 4, 3*y - 4*p + 37 = 0. Let g be (-3)/y + (-8)/65. Which is smaller: g or x?
x
Suppose 4*q + 288 = -3*o, -5*q - 4*o = -184 + 545. Let h be 4*(q/(-66) - 1). Suppose g + 4 = 5*g. Which is smaller: g or h?
h
Let s = -2 + 2. Let u be 1/(s - (0 + 1)). Which is smaller: -1/4 or u?
u
Suppose -3*u + 22 = -6*u + t, 0 = -5*u + 3*t - 34. Let r be (u/(-10))/((-8)/(-100)). Suppose 2*d = r, -7 + 37 = -5*f + 4*d. Is f less than -2?
False
Let x = 0.56 + -0.48. Which is bigger: x or -2?
x
Let f = 0.06 + -5.06. Let z = -5.1 - f. Which is greater: 0.3 or z?
0.3
Suppose 20 = 6*u - 11*u. Let x be (6/u)/((-168)/32). Is 0 >= x?
False
Let j be -2*((-21)/(-6) - -2). Is -11 bigger than j?
False
Let i be -2*(10/(-8) - -2). Let w = -24 + 23. Is w greater than i?
True
Let k = -3 + 4. Which is smaller: k or -18?
-18
Let u(y) = y**2 + 13*y + 43. Let a be u(-9). Is a less than or equal to 2?
False
Let n be -3*(-2)/(-3 - 3). Let d be 1*(-1 + (2 - n)). Let s(b) = b**3 + 6*b**2 - b - 5. Let l be s(-6). Which is smaller: l or d?
l
Let i be 6/8 - (-153)/(-12). Is i != -34/3?
True
Let r = -5 + 9. Suppose 6*g - r*g - 3*t = 4, -4*g = -2*t. Which is smaller: 1/3 or g?
g
Let p(z) = -z**3 + 3*z**2 + 7*z - 12. Let l be p(4). Which is bigger: l or 8/17?
8/17
Let k be 10570/(-48)*(-64 - -1). Let p = k - 13920. Let m = p - -47. Which is bigger: m or -1?
m
Let j = -328.9 + 329. Let f be 3 + -5 + (-12 - 1). Let u = 109/7 + f. Is j at most as big as u?
True
Let g = 20 + -12. Let z be (-3)/2*g/3. Let p be z/(-24) + (-2)/3. Which is smaller: -2 or p?
-2
Suppose 2*c + 17 = -3*v - 2*v, -4*c - 10 = 2*v. Let y = c - -2. Which is greater: y or 1/3?
y
Let h be 3/(-5 + 2) - 6/(-4). Is 1/13 >= h?
False
Let k be (-10)/(-8) + 1/(-4). Let i = -586/11 - -3122/33. Let z = i + -622/15. Is z less than or equal to k?
True
Let z(r) = r**2 + 3*r - 4. Let n be z(-6). Let h = n - 100/7. Does 0 = h?
False
Suppose -5 = -i - 3. Suppose -3*y + 10 = i*y. Let k be (1/(-10))/(y/(-15)). Are 0 and k unequal?
True
Suppose 6*c - 8*c = 8. Is 2 smaller than c?
False
Let b(j) = -257*j - 1. Let a be b(3). Let o = -33194/43 - a. Is o < 1?
True
Let z = -1 + -2. Let u be (6/z - -1)/(-1). Is 3 not equal to u?
True
Let v be (1 - -16) + 2/(-1). Suppose -3*f + 18 = 3*c, -f - 5 = 3*c - v. Suppose w + c = -1. Is w at most -3?
True
Let o be 30/(-9)*22/(-4). Let b = o + -18. Is 1/4 bigger than b?
False
Let t be (-141)/(-27) + -5 - (-10)/(-99). Which is greater: t or 1?
1
Suppose -24 - 241 = 5*u. Which is smaller: u or -52?
u
Let y be (-1*5)/(1 + -2). Suppose -5*c - 5*s = -85, -3*s + y = 2*s. Suppose -6*b + w = -b + 2, 0 = -b - 5*w - c. Are -2 and b nonequal?
True
Suppose 5*v = v + 32. Is 9 greater than v?
True
Let f = 1.019 - 0.019. Is f != -0.4?
True
Suppose -12*q - 14 = -5*q. Is -2 less than q?
False
Let n = 66 + -59. Which is bigger: 10 or n?
10
Let g(s) be the first derivative of -1/3*s**3 + 0*s**2 + s + 2. Let p be g(2). Is -3 greater than p?
False
Let v = 83 - 83.048. Is 1/3 not equal to v?
True
Let n(s) = s**3 - 3*s**2 - 3*s - 4. Let o be n(4). Is -14 at most o?
True
Let y = -23 + 38. Let b = -11 + y. Let r = b - 5. Which is smaller: 0.1 or r?
r
Let o(t) = -t - 1. Let x be o(-5). Let j(h) = h. Let g be j(x). Let f(u) = -u**2 + 31*u - 26. Let b be f(30). Is b at least g?
True
Let k be 0 - (0 + 2 + -1). Let i = -1 - -5. Suppose -2*f + i*f = 0. Is f >= k?
True
Let l = -739554786/308585 - 5/61717. Let u = -2388 - l. Let q = 483/55 - u. Which is greater: q or -1?
q
Suppose -2 - 6 = -2*c. Let m = -6 - -11. Suppose -c*p