qual?
True
Let d be (-4)/6 + 1953/2889. Let m = 312 + -312. Is d <= m?
False
Let y = -118 + 70. Let v be (4/(-8))/(3/y). Suppose 3*n = -13 + 40. Are v and n nonequal?
True
Let r = -639 + 638. Let s(d) = -d**3 + 6*d**2 - 4*d + 5. Let g be s(5). Is r > g?
False
Let n be 5/20 + 30/8. Suppose 0 = -n*f + 2*f. Let x be f + -3 - 51/(-21). Which is greater: -1 or x?
x
Let r(v) = -2*v**2 + 1. Let u be r(1). Suppose -3*m = 2*q - 17, -2*m - 2*q + 2 = -10. Is u not equal to m?
True
Let h = -0.8 + 3.8. Let f = 4 - h. Let t be -1*(9 + (2 - 8)). Which is smaller: t or f?
t
Let c be 116/36 - (-1 - -3). Let o = c + -5/3. Let p(z) = -7*z - 55. Let b be p(-8). Is o greater than b?
False
Let i = -0.127 + 0.027. Is i >= -0.0814?
False
Let c(k) = -3*k**2 + 11*k + 10. Let w be c(4). Suppose u + 4*z = 13, -2*u = -4*u - 5*z + 14. Let t be 4/w*u - -1. Is 2/27 greater than t?
True
Let l = -18 - -13. Let m be -4 - (548/(-36) - l). Which is smaller: 6 or m?
6
Let y(u) = -u**2 + 11*u - 25. Let q(j) = -3*j**2 + 34*j - 74. Let h(a) = -6*q(a) + 17*y(a). Let b be h(16). Which is greater: 5 or b?
5
Let a = -15.6 + -19.1. Let s = a + 35. Let l = -5 - -2. Which is bigger: l or s?
s
Let h = 1.3 + 3.7. Let g = -15 + h. Let p = g - -23. Is -0.1 greater than or equal to p?
False
Let x(q) = q**2 - 9*q + 7. Let b be x(8). Let t be b/3*(-20)/(-4). Let j(u) = u**2 - 3*u - 89. Let f be j(-8). Is f <= t?
False
Let h(b) be the third derivative of b**5/60 - 5*b**3/6 + 3*b**2. Suppose w - 2*w + 5*q = 4, 8 = -2*w + q. Let j be h(w). Is j greater than or equal to 11?
True
Let i = 12/41 + -194/943. Is -4 at most as big as i?
True
Let r = -81 - -139.9. Let t = r - 59. Which is bigger: t or -5/2?
t
Let n be (-363)/12 + (-1)/(-4). Let v = -20 - n. Is 10 not equal to v?
False
Let z be ((-24)/33)/(-4) - 5565/55. Which is smaller: -203/2 or z?
-203/2
Suppose 5*u = 10, u - 4 - 7 = -3*l. Suppose 0 = 3*h + l*h - 4*h. Let q = -1.9 - -2. Which is bigger: q or h?
q
Let r = 324.1 - 324. Is r equal to 0.16?
False
Suppose -170 = 7*x + 82. Let a be 3/4 - x/(-48). Which is bigger: a or 2/67?
2/67
Let q = -2489 - -2485. Let l(y) = -y**3 - 5*y**2 + 5*y - 8. Let s be l(-6). Let k be (-14)/4 + s/4. Is k bigger than q?
False
Suppose -14*v = v - 1365. Does v = 92?
False
Let y = 12 - 18. Let z(p) = -p**2 - 6*p + 3. Let h be z(y). Let w(m) = -3*m - 29. Let i be w(-11). Which is greater: i or h?
i
Let p be (4/(-60))/((-8)/48). Let b be 188/(-24) - 2/(-6). Let r = b - -131/18. Which is greater: r or p?
p
Let l(v) = v**3 + 7*v**2 + 5*v - 4. Let z be l(-6). Let d = 284.5 + -284. Do z and d have the same value?
False
Let n be (5 - 3)/(-6) - 15496/(-12). Is 1291 less than or equal to n?
True
Let g = 11 - 7. Let i(o) = -o + 2. Let u be i(4). Let k = u - -5. Is k < g?
True
Let d = -80 + 77. Let f be d + (-8)/2 + 2. Which is smaller: f or -23/4?
-23/4
Let p(h) = -2*h**2 - 4*h + 3. Let z be p(-5). Let m = 25 + z. Which is bigger: 13 or m?
13
Let n(m) = -m + 4. Let h be n(6). Let v = h + 1. Let p be -2 - (176/(-36) + 3). Is v at most as big as p?
True
Let x = 62425745097090613/44250 + -1410751301699. Let d = -2/7375 - x. Let w = -70 + d. Which is bigger: 1 or w?
1
Let s = 832 - 1661/2. Which is smaller: s or -7?
-7
Let b be ((-74)/111)/(128/6). Is b <= -1?
False
Let k = -1140 + 1141. Which is smaller: -42/145 or k?
-42/145
Let k be ((-12)/24)/(14/(-8)). Which is smaller: -269 or k?
-269
Let g = -2 + 29. Let s = 30 - g. Let l be ((-32)/(-18))/((-12)/(-18)). Is l at least s?
False
Let c = -22 + 26. Suppose -3*h = -2*w - 6, c*w + 10 + 2 = 5*h. Let u(a) = -2*a + 1. Let m be u(1). Which is smaller: h or m?
m
Let q be 7399/15386 - 2/(4/1). Are -1 and q unequal?
True
Let t = -130 - -128. Let a be (-6)/(-15) + (t - 54/(-30)). Let x = -0.1 - -0.6. Is a < x?
True
Suppose -5*s + 5 = -2*d, 5*d + 0 + 20 = 5*s. Which is smaller: s or -2/1895?
s
Let n be (-4700)/(-846)*3/(-5). Is n equal to 0?
False
Suppose 0 = 4*r + b - 3*b + 2, 3 = -3*r + b. Let d be (1 - r)*114/(-18). Let x be (-1)/9*(d - -7). Is x at most 1?
False
Let s(h) be the third derivative of -h**4/12 + h**3/6 + 9*h**2. Let k be s(3). Which is smaller: -4 or k?
k
Let j = -0.3 + 0.1. Let p = -4.5 + 4.48. Is j at most as big as p?
True
Let z(w) be the first derivative of w**3/3 + 4*w - 2. Let a be z(-6). Suppose 0 = i + 3*i + 3*t + 16, 4*i = 3*t - a. Is -7 equal to i?
True
Let c = 177 - 162. Is 14 less than or equal to c?
True
Let v = -9.1 - -3.3. Let b = v + 6. Which is bigger: b or 0.06?
b
Let f(w) be the first derivative of w**4/4 + 10*w**3/3 + 9*w**2/2 - 2*w - 12. Let k be f(-9). Let a = 3/8 + -15/8. Which is smaller: a or k?
k
Let b be 3074/12 + 16/(-96). Is -2 >= b?
False
Suppose -5*r + 10*r = 5*l, -8 = 2*r + 6*l. Which is greater: r or 1/763?
1/763
Let s(k) = k**2 + 22*k + 97. Let h be s(-6). Are h and 1/3 equal?
False
Let q = -35 - -11. Let p be (16/q)/(1 + 0). Is -1 greater than p?
False
Let k = 52 + -25. Let l be 2/(-9) + (-21)/k. Let s be (3/36)/(5/(60/(-39))). Which is bigger: l or s?
s
Suppose 3*m + 7 = 43. Let h be (m + -12)/((-2)/(-2)). Suppose h = 4*r + 3 + 1. Is r at most 1/10?
True
Let c = 894/1633 - 8/71. Which is bigger: c or -1?
c
Let c(b) = -b**2 - 9*b + 4. Let w be c(-7). Let d = 15 - w. Let a be (-1 + 11)/(-8 - -4). Is a < d?
False
Suppose 4*z + z = -3*w + 23, 2*w + 2*z = 14. Suppose -w*a + 147 = a. Is a less than 21?
False
Suppose 2*t - 34 = -3*t + 2*b, 3*t + 3*b - 33 = 0. Suppose x - t = -5*m, 10 = 8*m - 4*m - x. Suppose -5*h + 3*l - 5 = 0, -4*h - 2*l + 33 = 3*l. Is m at least h?
True
Suppose -7 = -f - 0*f. Let y = -4 + f. Suppose 0*o + 3 = -y*o. Which is smaller: o or 0?
o
Let b(l) = -l - 45. Let j be b(0). Let s = -44 - j. Which is smaller: 1/26 or s?
1/26
Let y = 1764 - 1763. Let o be (-2 - -1)*4/142. Is y smaller than o?
False
Let t = 13357/1296 - 165/16. Is t equal to 0?
False
Suppose 5*y = 44 - 14. Let a = 87 - 82. Is a < y?
True
Let z = 433 - 433. Which is smaller: z or 1.52?
z
Suppose 0 = -6*g - 3*g - 207. Let h be g/(-8) - (-4)/32. Which is smaller: h or 6?
h
Let c(x) = -x**2 - x - 1. Let f(t) = t**3 - 7*t**2 - 6*t - 2. Let d(q) = 6*c(q) - f(q). Let m be d(4). Let n be 2 - (36/m + 3). Which is bigger: 0 or n?
0
Let g(v) = -v**3 - 12*v**2 + 8*v - 66. Let w be g(-13). Which is bigger: 95 or w?
95
Suppose 10*t - 774 = -76*t. Are t and 46/5 equal?
False
Let a(j) = 2*j**2 - 10*j + 20. Let o be a(0). Suppose 0 = 2*q + 3*n + 2*n - 59, 2*n = 6. Is q less than or equal to o?
False
Let m = -41 - -40. Suppose 23 = -z - 3*w, 4*z + w = 5*w - 12. Let j be (-1)/(-42) + z/48. Which is greater: m or j?
j
Let s = -29 - -81. Let f = -54 + s. Is f greater than -2/17?
False
Suppose 4*o - 36 - 1 = 5*l, -4*l - 26 = -5*o. Let x = 7 - l. Suppose -x + 12 = -m. Is m <= 5?
True
Let o = -32 - -29. Let h = 5 + o. Which is smaller: h or 5/3?
5/3
Let k = 523/1551 + -2/517. Are k and -3/55 unequal?
True
Let p(t) = t + 33. Let q be p(0). Suppose -4*h - d = -q, -4*h + 18 = -2*d - 12. Suppose -3*b - b = h. Is -3 <= b?
True
Let h(a) = -2*a**3 + 13*a**2 + 9*a - 8. Let t be h(7). Suppose -5*f + t = -3*f. Let o = 11 + -7. Which is smaller: f or o?
f
Let l(k) = -k**3 + 2*k**2 - 4*k + 11. Let f be l(3). Which is smaller: f or 5/4?
f
Let r = 0.07421 - -93.01579. Let p = r - 93. Which is bigger: p or 0.1?
0.1
Suppose -5*q = -2*q - 30. Suppose 4*l + q = 9*l. Which is smaller: l or 7/4?
7/4
Let m(t) = -8*t - 5. Let q be m(-3). Suppose 0 = 5*y - 2*d - 58, -y - 5*d = -3*y + q. Suppose 12 = 2*c + 4*k, -c - 4*c - 4*k = -y. Is 3/11 not equal to c?
True
Suppose -150*q = -149*q - 1. Is q smaller than 4/101?
False
Let z = -1213362/339017 - -2/17843. Which is smaller: -4 or z?
-4
Let q = 2 - -1. Let r = -3 + q. Let m = -194 - -195. Which is smaller: r or m?
r
Let b be -1 - (-28)/(-24) - (-7)/42. Suppose -5*z - 5*q + 10 = 0, -3*z + 2*q + 0*q = -1. Are b and z nonequal?
True
Let c = 3.09 - 3.19. Which is greater: c or -15?
c
Let f(o) = -o**3 - 8*o**2 - 6*o + 1. Let x be f(-7). Let r be (x/(-16))/(60/(-144)). Which is bigger: -2 or r?
r
Let h be (8/10)/((-8)/(-20)). Let m be (h + 0)/((-8)/(-36)). Let g be 1 - (-9)/(m/(-3)). Do g and -3 have the same value?
False
Suppose -3*h + 0*w - 3*w - 108 = 0, 3*h - w = -128. Let l be h/(-112) + (12/(-14))/2. Is 2/3 <= l?
False
Let m = -164 - -144. Does m = -81/4?
Fa