-91. Let u = 79 - w. Is u > 0?
False
Let f = 0 + 5. Let q = 2604 + -2608. Which is bigger: q or f?
f
Let a = 1521009 - 19758276/13. Let u = -1141 + a. Is u less than or equal to 1?
True
Let d = 0.11828 + -0.10828. Let w = -0.72 - -0.02. Which is smaller: d or w?
w
Let p(g) = -g**2 - 10*g + 11. Let z be p(-11). Let x = 39 - 25. Which is greater: x or z?
x
Suppose 6*c = -13 + 1. Let h be ((-1)/(40/12))/(c/16). Which is bigger: h or 0?
h
Let g = 18 + -6. Which is smaller: g or -7?
-7
Suppose 23*a - 18*a + 15 = 0, 2*f + a + 23 = 0. Suppose -3*v - 24 = -3*o, v - 5*o = 2*v + 14. Which is greater: v or f?
v
Let u = -31578 + 220014/7. Are u and -148 nonequal?
True
Let m = 4 + -2. Suppose -4*i = -166 + 842. Let k = i + 1189/7. Is k at most as big as m?
True
Suppose 3 = -13*a + 14*a. Suppose 3*q = -2*i + 7, -4*i + 0*q = -a*q + 31. Do i and -21/4 have the same value?
False
Let q = -206.56 + 106.58. Let v = q + 100. Let k = 0 + 0.2. Are v and k non-equal?
True
Let z = 2 - -1. Suppose 4*u + 5*f - 411 = 0, -4*f + 408 = 4*u - 0*f. Let d = 103 - u. Is z <= d?
True
Let m(s) = -12*s + 56. Let d be m(8). Is d at most -41?
False
Suppose 0 = 3*c - 625 + 133. Let k be (-1)/4*-2 - c/8. Are k and -20 nonequal?
False
Let x(a) = -8*a + 7. Let b be x(3). Let l = b - -8. Let n be (l/54)/((-1)/3). Which is smaller: 5/7 or n?
n
Let d = -41 - -43. Suppose -1 = -v + d*m, -5*v - 4 = -m - 0. Is 5 at most v?
False
Suppose 0 = p + 4*p. Let d(z) = 18*z + 122. Let h be d(-11). Let u be 4/((-144)/h) + -1. Which is bigger: p or u?
u
Let v be 5/20 - 38/24. Which is bigger: v or 0?
0
Suppose -5*z - i - 170 = 0, -z = -0*z - i + 28. Let p be 253/z - 2/(-3). Let s be (-4)/10*5/7. Is p less than s?
True
Let b(w) = 18*w + 605. Let y be b(-32). Let d be (1/2)/(2/120). Is d equal to y?
False
Let b = 8 + -8.46. Let a = -0.6 - b. Let t = a + -5.86. Is t at least as big as 1/3?
False
Let z(t) = 6*t - 2. Let b be z(2). Let a be (-2)/b - 3/(-15). Let h = -281 + 5341/19. Which is greater: a or h?
h
Suppose 3*g = 3*q - 3 + 12, 12 = 4*q + 4*g. Which is smaller: q or 17/8?
q
Let m = -3164 + 3163. Let p = -17/168 + 1/56. Is m >= p?
False
Let y = -8 - -35. Let f = -4089 - -4117. Which is greater: f or y?
f
Suppose 4*y - 4*x = -32, -6*y + 5*x - 14 = -3*y. Let a = -8 + 11. Suppose 4*k = 0, a*c + c + 56 = 2*k. Are y and c nonequal?
True
Let h(w) = 3*w - 1. Let j be h(1). Let b = 54 - 50. Suppose 2*q - 42 = 4*l, -33 = -5*q - b*l + j. Is q > 10?
True
Let j(l) be the second derivative of 3*l**3/2 + l**2 + 85*l. Let v = -2 - -1. Let p be j(v). Which is greater: -8 or p?
p
Let g be ((-930)/12 - 8) + 2/4. Which is bigger: -86 or g?
g
Let a be (-8)/(-2) + (-2 + 0 - 1). Which is smaller: a or -18/67?
-18/67
Let j be -2*19/600 - (-2 - -2). Let o = j + 1/20. Is 1 smaller than o?
False
Suppose -3*c = 3*t - 7*c - 68, -5*c = -5*t + 110. Suppose t = -2*d - 0*d. Let k be (7 - -4)*3/(-3). Are d and k equal?
False
Let x be (-12)/22*22/99. Let y = x + 262/1617. Is y at most 0?
False
Let b = 15326 + -9946576/649. Is b greater than or equal to -1?
True
Let a = -135599/150 + 904. Which is greater: a or 0?
a
Suppose -2*s + 13 = i - 10, -3*s = -12. Suppose 0 = -3*k + i, r - 2*k - 2*k = -18. Suppose r*l - 68 = -2*l. Are 16 and l non-equal?
True
Let z = 22/63 - 1459/3276. Are z and -1 unequal?
True
Suppose -3*f + 3*t - 49 = -f, 3*t + 43 = -2*f. Is -23 greater than or equal to f?
True
Suppose 0*g + 22 = 3*g + 2*r, 3*g - 26 = -4*r. Suppose 56 = -2*y + g*y. Do 15 and y have different values?
True
Suppose 0 = 2*f - 3*f. Suppose 2*b + f*b - 6 = -2*g, -9 = -4*b - 3*g. Let l = 277 - 1661/6. Which is smaller: l or b?
b
Let y(v) = 7*v - 3. Let i be y(-4). Let j(g) = -2*g - 1. Let f be j(-2). Let a be f - 4/((-36)/i). Which is smaller: a or -1?
-1
Let o(j) = j - 3. Let s(b) = 9*b - 5. Let v be s(2). Let q = v - 8. Let k be o(q). Which is smaller: k or 0?
0
Let o be 0/(10 - 7) - -328. Which is smaller: 327 or o?
327
Let x = -1363/14280 - -13/280. Is 1 greater than x?
True
Let m = 17 - -16. Suppose -49 = -3*n - 2*h + 18, 2*n = 3*h + 36. Let q = m - n. Is q <= 13?
True
Let a(z) = -z**3 - 7*z**2 - 9*z + 1. Let x = -25 - -41. Let t = -21 + x. Let d be a(t). Do -3 and d have the same value?
False
Let o = -972 - -971. Which is greater: 6.4 or o?
6.4
Let b be (-8)/3*(-1)/((-4)/66). Let s = -63 - b. Do -18 and s have the same value?
False
Suppose -1 = -2*m - 2*d - 3, -4*m - 3*d - 4 = 0. Suppose 0 = -y + 4*y + 39. Let x = 14 + y. Which is bigger: m or x?
x
Let t = 4/19 + 26/57. Let g = -31 + 34. Is t smaller than g?
True
Let m = -30.4 + 30.2. Is m smaller than -41?
False
Let n = -818 + 692. Do n and -124 have the same value?
False
Let o = 981 + -979. Does 22/19 = o?
False
Let z(l) = -2*l**2 - 24*l. Let o be z(-12). Is o < 2/135?
True
Suppose -6*q + 98 = q. Suppose 0 = -k - b - 14, -4*k - 4*b = -7*k - q. Do -4 and k have the same value?
False
Let o = -52/5 - -10. Suppose 42*c + 2424 = 828. Which is bigger: c or o?
o
Let p be ((-303)/2020)/(102/5)*8. Let s(m) = -m - 5. Let d be s(-5). Which is smaller: d or p?
p
Let t = -2 - -1. Suppose -7*o - 2*d - 14 = -2*o, o = 5*d + 8. Let f(g) = -g**3 - 2*g**2 - 3. Let k be f(o). Which is greater: t or k?
t
Let t be 6/15 + 8492/20. Let u = t + -52274/123. Which is bigger: u or 0?
u
Let q = 25 + -141. Let y = 927/8 + q. Which is smaller: y or 0?
y
Let s(n) = -n - 2. Let h(d) = -d - 11. Let w be h(-12). Let i be s(w). Which is smaller: -26/7 or i?
-26/7
Suppose -81*k + 108 = -83*k. Do k and -52 have the same value?
False
Let v = 7 + -6.7. Let j = 39.14 + -0.14. Let d = 39.1 - j. Which is greater: d or v?
v
Let k(v) = 3*v + 9. Let s be k(-9). Let n be (0 - s/(-4))/(-3). Which is smaller: n or -0.3?
-0.3
Let r = -27 + 28. Which is smaller: 1/392 or r?
1/392
Let h = -1 + 1.12. Let u = 0.11 - h. Suppose -4*f - 3*f - 7 = 0. Is u smaller than f?
False
Let x be (-78)/9*12/8. Let f = x - -27/2. Is f at most -21?
False
Let t = -6 - -6. Let u be (1 + t)/((-1)/(-5)). Suppose -4*s = -0*n + n + 12, -15 = u*s + 5*n. Are s and 1 unequal?
True
Suppose 74 = 6*n - 100. Suppose -3*g - 5 = 2*p, -2*p + 4*p - 5*g + n = 0. Is p less than 1/2?
True
Let v = -7390 - -7392. Let j = -1/322 + 1619/2898. Which is bigger: v or j?
v
Let j = -2357 + 2549. Which is bigger: -2/13 or j?
j
Let s(t) = -t + 14. Let d be s(14). Suppose -5*r = -d*r - 60. Let f be r/(-14)*(-18)/(-54). Which is smaller: -9 or f?
-9
Let u = -5 - 2045. Is -2049 equal to u?
False
Let d be -5 + 2 + (-35 - (4 - 2)). Let n be ((-8)/14)/((d/(-7))/(-4)). Which is greater: -2/59 or n?
n
Let z = 3326/5 + -663. Let j be 154/(-40) + (-4)/(-16). Let k = z + j. Is -1 greater than or equal to k?
True
Let v = -6918393894467/6289571958 + 3/67629806. Let b = v + 1100. Do b and -1 have the same value?
False
Suppose -5*z + 68 - 23 = 5*v, 0 = 5*v - 2*z - 24. Suppose -2*i + v*i = 0. Let m = 15 + -31/2. Is m < i?
True
Let b = 68 + -28. Let i(x) = x**3 - 6*x**2 - 5*x + 26. Let m be i(7). Do b and m have the same value?
True
Let k be (6/8)/(1020/544). Which is bigger: -0.11 or k?
k
Suppose -4*j + 41 + 127 = 0. Let y = j - 167/4. Which is smaller: -2.5 or y?
-2.5
Suppose -289*k = -295*k - 102. Which is greater: k or 1?
1
Let m be (2 + -10)/(3 + -1). Which is greater: 2 or m?
2
Suppose 0 = 5*d + o + 392 + 25, 2*d + 156 = -4*o. Let p = -91 + 6. Is d at least as big as p?
True
Let i = 75 - 82. Let f = 6 - -4. Let n = f + i. Which is bigger: 7/3 or n?
n
Suppose -5*n + 15 = 0, 4*n + 317 = -5*p + 3*n. Let y = -52 - p. Which is greater: 11 or y?
y
Let q(r) = -r**3 - 5*r**2 + 3*r + 6. Let k be q(-5). Suppose 4*h - h = -12. Let l = h + -4. Are k and l equal?
False
Let z = 2.67 + 7.22. Let f = z - -0.11. Let c be ((-2)/(-4) + -1)*-2. Is f not equal to c?
True
Let d = -8/47 + 191/846. Let m be (-52)/(-10) - 0 - 29/145. Let h(s) = -s**2 + 9*s - 21. Let u be h(m). Is d not equal to u?
True
Let p = -31.9 + 32. Which is smaller: p or 5/38?
p
Suppose 3*m - m = 300. Suppose 2*t + m = 5*w, 2*w - 4*t - 28 - 16 = 0. Suppose 2*p = -3*a + 2, 0 = -4*p + 3*a - 0*a - w. Does -2 = p?
False
Let x = -116 + 88. Let o be (42/x)/((-27)/(-4)). Do o and -6 have the same value?
False
Let l = 536.9 - 566. Let z = l - -33. Let h = 4 - z. Which is bigger: 0 or h?
h
Let l = 0 + 0.2. Let t = 227.21 - 226. Let p = t + -1.23. Is l not