qual?
True
Let u = -10 + 14. Suppose 5 + u = z. Suppose -m + z = -3*r, -3*m - 1 = r + 2. Is m != 0?
False
Suppose -7 + 4 = -2*q + 3*n, n + 1 = 0. Which is bigger: -2/2879 or q?
q
Let n = -4 + -9. Let w = -20 - n. Is -1/3 at least w?
True
Let i = 32 - 29. Let r be 1 - (-1 + (-33)/(-15)). Which is greater: i or r?
i
Let q = -0.053 + 0.023. Let u = 0.28 + q. Is -2 at least u?
False
Suppose -6*t + 9*t = 12. Suppose -v = -5*i + v - 102, -t*i + v - 81 = 0. Let u = i + 59/3. Which is smaller: u or 10/7?
u
Let i = 3 - 7. Let y be -5*((-72)/15)/(-2). Let a = 13 + y. Which is greater: a or i?
a
Let m = 29.063 + -0.063. Let x = m + -28.8. Which is bigger: 3/4 or x?
3/4
Suppose -k + 3*j = 17, -16*k + 64 = -19*k - 4*j. Let x = -1 - -1. Is k less than or equal to x?
True
Let s = -320431/3876 - -5/1292. Which is bigger: s or -82?
-82
Suppose -4*j + 24 = -0*j. Suppose -5*u + 2*i + 155 = 0, -2*u = -j*i + i - 62. Which is bigger: u or 33?
33
Suppose -6*l + 4 = -10*l. Let j be ((-8)/(-6))/2*327/5450. Is l less than j?
True
Let n be 2 + -3 + 1732/(-3). Let o = n + 564. Let k = -14 - o. Is k greater than 1?
False
Let r = -1510 - -1574. Which is smaller: r or 253/4?
253/4
Let s be (2 - 1) + 2/(-3). Suppose -p - 3 = 5*l, -l + 4*l + 4*p = 5. Let r be 2/l + 6/4. Are r and s equal?
False
Let b be 2/10 + -3 + (-209)/(-5). Suppose 10*a = 11*a - b. Is 39 less than or equal to a?
True
Let j = 0.1 - 0. Let z = 639/91 + -108/13. Is z greater than j?
False
Let n = -52 - -26. Let p = -129 + 103. Is n greater than p?
False
Suppose 3*v + v - 4*d = 8, 4*v + 5*d = -10. Suppose v = -m - 4*y + 14, 3*y - 26 + 6 = 4*m. Let t be 1 + m + (-2 - -2). Is -2/31 <= t?
False
Let c = -1334 - -1565. Is c less than 228?
False
Let l = -2017/18 + 4061/36. Suppose -5*w = o - 18, 4 = -3*w + 2*w - 4*o. Let m(q) = -q**2 + 5*q - 2. Let j be m(w). Which is greater: j or l?
j
Suppose -27 + 2 = -25*o. Which is bigger: 24/19 or o?
24/19
Let c = -146 - -145.982. Let o = 0.078 + c. Does -0.06 = o?
False
Let s(p) = -5*p - 31. Let i be s(-6). Let l = 11 + -7. Suppose -r - r - l*t = 8, -3*r + 2*t = -4. Is i smaller than r?
True
Let r(c) = 3*c + 24. Let d be r(-9). Let s be 2 - (-4 + (-28)/d). Which is greater: s or -2?
-2
Let c be (-46)/(-6) + 4/6. Let j(m) = -26*m - 305. Let o be j(-12). Which is smaller: c or o?
o
Let v be (1/3 - 1)/((-33)/9). Let x be 3 + -1 + 6 + -4. Suppose -2*g + x = -6*g. Which is smaller: g or v?
g
Let z(t) = -t**3 - 9*t**2 - 10*t - 12. Let c be z(-8). Suppose -4*s = -3*w - 368, -c*s - 6 = 2*w + 266. Let h be -3 + w/(-26) - 2. Is 1 equal to h?
False
Let g = -400.1 - -400. Which is smaller: 15.4 or g?
g
Let s be (-2)/6 + (-7)/(-3). Suppose -5*h - s*z = 20, -2 + 5 = h - z. Suppose 7*c - 15 = -8. Which is smaller: c or h?
h
Let p = -2161/1085183 + -8/2099. Is p less than 0?
True
Suppose 0 = -2*a + 2*c - 4, -5*a = -2*c + 6 - 2. Suppose a = -2*f + 2*i, i - 4 = -2*f + f. Is 14/3 smaller than f?
False
Let z be (2*(-14)/(-20))/((-30)/(-6)). Is -1 at least z?
False
Let x be 22/(-26) + -4 + (-100)/(-26). Let g be (-17)/(-2) - x/4*-6. Are 7 and g equal?
True
Suppose 2*n = 32 - 108. Let d = 39 + n. Which is smaller: d or -1/15?
-1/15
Let s be ((-15)/135)/(134/(-60)). Let v = -832/8643 + s. Let a be -1 - (-1 - -2 - 1). Is v less than or equal to a?
False
Let n = -2 - -4. Suppose 0 = -4*d - u - 20, 4*d - n*u + 0 + 8 = 0. Suppose 1 = -9*c - 35. Is d < c?
False
Let i = 20 - 26. Let m be (-24)/i + (-66)/14. Which is greater: m or -2?
m
Let g = -9 - -7. Let a be (-1012)/2505 - g/5. Let c = 277/334 - a. Do c and 2 have the same value?
False
Let v(d) = d**3 + 4*d**2 - 11*d. Let t be v(-6). Let g(s) = 1 + 2*s**2 + 2*s**2 + 3 - 3*s**2 + 7*s. Let r be g(t). Is r < -2?
False
Suppose 0 = 4*p + 87 - 27. Let w be (-10)/75 + 1/(p/(-17)). Which is bigger: -3/14 or w?
w
Suppose -1 = 8*r + 7. Which is smaller: -2/1693 or r?
r
Let x be 16/(-4) - -1 - -10. Suppose -k - x = -3, 5*g + 3*k - 178 = 0. Is 39 > g?
True
Let g = 721762/369 + -1956. Suppose -3*d - 1 = 2, -7 = 5*j + 2*d. Which is smaller: j or g?
j
Let j be 2/18 - 444/(-135). Let m be 3/(14/8 + -1). Which is greater: m or j?
m
Let r = 10.1 - -0.2. Let l = 10 - r. Let m = 0.5 + l. Which is smaller: -3 or m?
-3
Let g(y) = -82*y - 159. Let p be g(-2). Let v be (-94)/(-18) + (-4)/18. Let x be v/(-2*(-2)/4). Is x not equal to p?
False
Let c be (-1)/((-10 - -2) + (1 - -8)). Which is smaller: c or -19/35?
c
Let l(y) = y**2 - 23*y - 64. Let z be l(26). Which is smaller: z or 20?
z
Let x(q) = -q**3 + 2*q**2 - 2*q - 1. Let v be x(2). Let b be (-77)/v + (-2)/5. Suppose -4 + 18 = m - 3*u, -2*u = 5*m + b. Does -1/3 = m?
False
Let h be -9 - -14 - (-2)/732*-1838. Which is smaller: h or 1?
h
Suppose -10 = -5*h - 0*h. Suppose -p + h*c - 5 = 10, -5*p + 2*c - 59 = 0. Let k = 10 + p. Is -1/3 smaller than k?
False
Let i be (-3 - 1) + (-328)/28. Let d = i - -1203/77. Which is smaller: -1 or d?
-1
Let d(i) = 2*i - 10. Let p be d(7). Suppose -4*x = -m - 6, 0 = -2*x + p - 8. Let o = 10 + m. Is o less than -4?
False
Let n = 54.8 - 42.8. Which is greater: n or 0.1?
n
Let y = 2343 + -2345. Is -115 at most as big as y?
True
Let b be (-36)/10*(-25)/15. Suppose b = 8*t - 2. Which is greater: t or 10/11?
t
Let q be (3/(9/(-10)))/(21/252). Let d be (-6)/8 + 10/q. Let i be -6*2*2/(-20). Which is smaller: i or d?
d
Let r be (-13)/78 - (-2066)/12. Which is greater: 173 or r?
173
Let q = 0.421 + -8.481. Let i = q + 0.06. Let n = -0.01 + -0.99. Which is greater: n or i?
n
Let k(x) = x**3 - 4*x**2 - 96*x - 6. Let h be k(12). Let t be (-1 + 10)*2/(-3). Is t less than h?
False
Let z = -140.3 - 58.7. Which is smaller: -2 or z?
z
Let r be -1 + 2/(-14)*-181. Let v = 1005227 + -70364129/70. Let b = r - v. Does b = 0.2?
False
Let u = -12 + 16. Suppose g + 2*c - 73 = -u*g, -g + 4*c = 3. Let j = 19 - g. Is 6 bigger than j?
False
Let f = 887/3 - 295. Is f smaller than -2/399?
False
Let u = 761 - 811. Are u and -61 non-equal?
True
Let i = 11 + -7. Suppose -2*j = -9 + 3. Do j and i have the same value?
False
Let z(m) = -m**2 - 8*m - 2. Suppose -3*c = -0*c. Suppose 14 = -2*s - c. Let y be z(s). Do 5 and y have different values?
False
Let d(l) = -2*l - 14. Let v be d(-8). Suppose 1 = 4*b + v*y + 5, 0 = 2*b - 2*y - 10. Which is smaller: 4/9 or b?
4/9
Let z = 2561/550 + -51/11. Suppose t + i + 2 = 0, 2*t - 4*i + 7 = 21. Which is smaller: z or t?
z
Suppose 0 = u - 2*u. Let j be (350/(-682))/(u + -3). Let l = 1/93 + j. Is -2/7 less than l?
True
Suppose -17*o = o + 180. Which is bigger: o or -75/8?
-75/8
Let a = 147 - 137. Let s be (a/3)/(9 - 27). Is s smaller than 1?
True
Let a = -228.1 + 243. Let u = -14.76 - 0.24. Let b = u + a. Which is bigger: -4/3 or b?
b
Suppose 0 = -2*m - 5 - 9. Suppose 0*j = 3*j + 3*z + 6, -7 = -4*j + z. Suppose -j = o - 5*n, -o - 5*n + 3*n - 8 = 0. Which is smaller: m or o?
m
Let m = 2.9 - 4.6. Let o = -6.3 + m. Let r = 2 - o. Which is greater: 1 or r?
r
Let g(i) = 3*i**2 + 46*i - 34. Let w be g(-23). Is 495 not equal to w?
False
Let m = -3337 + 3341.094. Let b = -0.094 + m. Which is bigger: 2 or b?
b
Let s = 17.47 + 1.43. Let z = -19 + s. Let q = -7 - -7.6. Are q and z non-equal?
True
Let u be -3 + (-39)/(-2 + 5). Let r be (-80)/36*1806/u. Let n = r - 250. Is n less than 0?
False
Let h be 94384/1496 - 1/11. Which is bigger: h or 446/7?
446/7
Suppose -16 = 3*l - 5*d, l + 0*l + 8 = -d. Let q = l - -12. Suppose q = -2*w + w. Is w != -6?
True
Let a = 187 + 37. Let c = -91208015/407583 - 1/135861. Let g = c + a. Which is smaller: g or -1?
-1
Let s be (-3)/(-6) + (276/8 - -5). Which is greater: 42 or s?
42
Let m be (63/14)/((-6)/(-8)). Let g be (-13)/(-11) + m/(-33). Which is bigger: g or 2?
2
Let z(g) = -g**3 - 9*g**2 + 8*g - 13. Let q be z(-10). Let p be (36/(-105))/(1/q). Which is smaller: p or -1?
p
Suppose -7*b - 85878 = -46*b. Is b less than 2202?
False
Let b = 753 + -753. Are b and 2/2181 unequal?
True
Let a be 6/(-3)*(-18)/108. Let z = -5 - -5.1. Which is bigger: a or z?
a
Suppose -3*a = 3 - 12. Let t be (2 + 5)/(a/3). Suppose 10 = -2*z + t*z. Which is smaller: z or 1?
1
Let o = -33 + 17. Let c = -10 - o. Let f = -7 - -6. Which is smaller: c or f?
f
Suppose -24*c + 24 = -23*c. Let v = 12 - 12. Let a = c - v. Do -1 and a have different values?
True
Suppose 0 = -52*a + 115*a + 29106. Is