d = 61/12 - 21/4. Suppose 3*p + 1 = -2. Are p and d non-equal?
True
Let f be 18/6*12/3. Is 32/3 greater than or equal to f?
False
Let y = 10 - 16. Let o be 6/10*y/45. Which is greater: 0 or o?
0
Let m = -381/200 + 82/25. Which is smaller: m or 2?
m
Let v(r) = -r**2 - 5*r - 6. Let q be v(-5). Suppose 0*p - 2*p = 0. Suppose 4*d - 5*w = -8, -4*w - w - 20 = p. Is q smaller than d?
False
Let w be 1/((-4)/(-5))*4. Suppose 0 = 2*o - 4*x + 9 - 31, 5*o - w*x = 30. Let t(c) = -c + 12. Let f be t(10). Which is smaller: f or o?
o
Let c be (-111)/(-39) - 12/4. Is c less than -1?
False
Let n(g) = g + 2. Let b be n(6). Let l be (1*-2)/(-9 + b). Which is smaller: 1/4 or l?
1/4
Let t be ((-6)/5)/(6/40). Let l be (t - -5)*19/(-3). Which is greater: l or 18?
l
Let g = -91 - -88. Let n = 2 + -3. Is n greater than g?
True
Let l(n) be the first derivative of n**3 - n**2/2 + n + 2. Let g(d) = -d**3 - 9*d**2 + 11*d + 11. Let a be g(-10). Let i be l(a). Is i at least 3?
True
Let h = 19.6 - 20. Is h less than 2?
True
Let x be 4/(-10) + 246/490. Let t = x + 13/833. Let a = -2 + 2. Is a != t?
True
Suppose 5*y + 4*x + 3 = 0, -2*y - 5*x + 0*x - 8 = 0. Which is smaller: 4/21 or y?
4/21
Let n = -81 + 73. Suppose 5*l = -2*o - o - 6, -4*l = -o - 2. Which is greater: n or o?
o
Let t(r) = r + 24. Let w be t(-16). Let q be w*-2*(-3)/84. Let p be (-8)/(-6)*(-6)/(-4). Which is greater: q or p?
p
Suppose -12 = 2*d - 0*d. Let y be (-16)/(2/1) + 3. Which is greater: d or y?
y
Let q(y) = -y**2 - 4*y + 1. Suppose -5*b - 2 + 37 = -5*u, u + 17 = 3*b. Let o(l) = l - 1. Let f be o(u). Let v be q(f). Is v equal to 4?
True
Let w be ((-3)/2)/(9/60). Let i be 4/w*(-75)/40. Let l = i - 7/20. Which is smaller: 1 or l?
l
Suppose 0 = -4*q - 5*y + 6, 5*y - 4*y = -4*q + 14. Suppose q*m + 8 = -16. Which is bigger: m or -4?
-4
Let t(i) = i**3 - 2*i**2 - 3*i + 4. Let l be t(3). Suppose 18 = -2*b - l*b. Do -5 and b have the same value?
False
Let f be (-2)/((3/(-6))/(-1)). Let z be (f + 1)*1*7. Let h be -1 + (6/z - -1). Which is greater: h or 1?
1
Let v = -22980546 - -27921361441/1215. Let q = v + 1/243. Which is smaller: -1 or q?
q
Suppose 9*o - 5 = 4*o. Let h = 16 + -14. Let m be h + 1 + 36/(-16). Which is greater: m or o?
o
Let v = -0.23 + -1.77. Let l = 0 + 1. Which is greater: l or v?
l
Let v be (-2)/(-14) - (-444)/(-3500). Which is greater: 1 or v?
1
Let j be ((-4)/(-2))/(1 - 0). Let n(w) = w**3 - 3*w**2 + 2*w - 3. Let m be n(3). Suppose 0 = 5*s + 4*f - 0*f - 25, 0 = m*s + j*f - 13. Is -1/7 != s?
True
Let k be 2/12*(-6)/(-2). Let v be 2 - (-1 - -1)*1. Which is smaller: v or k?
k
Let r(p) = -p**3 + 5*p**2 - 5*p - 2. Suppose -4*n + 4*t = -49 + 21, -4*t = 3*n. Let j be r(n). Let k be (-2*1/j)/1. Is 2/7 < k?
True
Let w(n) = 5*n - 1. Let g be w(3). Let d(p) = -p**3 + 9*p**2 - 10. Let c be d(9). Let y = g + c. Are y and 2 equal?
False
Let z be 5/15 - 15/9. Which is smaller: z or -1?
z
Let u be 573/27 + 6/(-27). Is u smaller than 21?
False
Let b be ((-114)/(-168))/((-5)/(-12)). Let d = b + -10/7. Which is smaller: 2/11 or d?
2/11
Let p be (36/(-24))/(3/(-2)). Is p < 17/8?
True
Let j = 308 + -349.95. Let w = j - -43. Let f = w + -0.05. Which is greater: -1/11 or f?
f
Let b be 8/(-5)*5/(-2). Let f be ((-14)/b)/(8/(-16)). Is f <= 6?
False
Let z be (-1 - (-14)/10) + (-55)/75. Let m(g) = -g - 4. Let f be m(-5). Suppose -n = -2*n - f. Is n > z?
False
Suppose 3 = n - 4*n. Let v = 14 - 9. Let z = v + -5.1. Does n = z?
False
Let b = 21 + -1783/85. Let o = 79/255 + b. Is -1 != o?
True
Suppose -2*b = -4*b + 6. Let n = -1 + 5. Let a = n - b. Which is smaller: 1/4 or a?
1/4
Let a = -18 - -9. Let q be (0 - (-10)/a)/(-2). Which is bigger: 0 or q?
q
Let u = -48/29 - -702/319. Which is smaller: 0 or u?
0
Suppose -6*x = 3*j - 4*x - 23, 2*j - 2*x - 12 = 0. Suppose 4*q = -j - 5. Let f = -76 + 74. Which is greater: q or f?
f
Let a = -374/15 - -1868/75. Is a smaller than 0?
True
Suppose -4 = k - 5*k. Suppose -3 - k = -o. Is 2 greater than o?
False
Let p = 77/9 - 335/36. Let l be (-1 - 2) + 0 + 1. Are l and p unequal?
True
Let x = -151/1008 - -1/144. Let i = 16 - 16. Which is smaller: i or x?
x
Let d be (2/(-16))/((-1)/(-2)). Let t = 22 + -10. Suppose -8 = t*v - 8*v. Which is bigger: v or d?
d
Let o be (-11)/((-3)/(-1) + -2). Which is greater: o or -53/5?
-53/5
Let n = -22 + 14. Let h = 4 + n. Let w(k) = k**3 + 25*k**2 + 24*k - 5. Let v be w(-24). Which is greater: v or h?
h
Let n = -1069/13098 - -10/111. Is n at most as big as 1?
True
Let c(m) = -m + 4*m - 2*m. Let g be c(4). Suppose 3*x + 4 = -g*z, -4*z + 4*x + 8 = -16. Is z at least 2?
True
Let c be (-21)/(-38) - (-1)/(-2). Let r = c + 12/133. Which is greater: r or -1?
r
Suppose 4*j - 202 = 5*l, -2*l - 196 = -0*j - 4*j. Let n = 1/6217 - 1479651/31085. Let u = j + n. Is u not equal to -2/5?
True
Let i = 3 - 1. Suppose i*j - 4*t - t = -19, 5*j = 4*t - 22. Are 0 and j equal?
False
Let k = 3.94 + -4. Let s = k + -0.04. Suppose -4*p + 3*u + 2 = 0, 4*u + 11 = -p - 2*p. Which is smaller: s or p?
p
Suppose -u - 69 = -4*u. Suppose c + 16 = 3*o, c = -c - 5*o + u. Let a be (-4)/3*(-2)/8. Is c > a?
False
Let m be (-4)/(-18) - 1088/360. Are -4 and m unequal?
True
Let g = -11 - -16. Suppose -g*y - 11 = 4. Are y and -1 equal?
False
Let s = 21/13 + -343/156. Which is greater: 0 or s?
0
Suppose 3 = w - 1. Suppose 22 + 8 = -5*k - 5*q, w*q + 20 = 0. Let p(z) = z + 1. Let v be p(-3). Which is greater: v or k?
k
Let p = -13 + 24. Let b = p - 9. Is -2 greater than or equal to b?
False
Let v(l) = l - 8. Let q be v(18). Is 10 smaller than q?
False
Suppose 3*z - 2*f + 3 = -1, -3*f + 5 = -5*z. Is 5/9 at most as big as z?
True
Let n = 21 - 9. Suppose n = -4*c, 4*c + 0*c + 9 = -3*p. Let s = p + 1. Which is greater: s or 1?
s
Let j(n) = -n**3 + 7*n**2 - 3*n**2 - 36*n + 40*n. Let f be j(4). Is f > 16?
False
Let w be ((-3)/(-2))/((-3)/(-4)). Let t be w/1 - 4 - 1. Let f(v) = -6*v + 33. Let x be f(6). Is x greater than or equal to t?
True
Let z be (-36)/24 - (-2)/(-4). Which is smaller: -4 or z?
-4
Let q = 10 - -1. Let l be q + -9 - 10/4. Which is smaller: l or 0?
l
Suppose -5*t + 40 = -35. Let k = t + -13. Is 3 <= k?
False
Let o = -150 - -151. Is 172 not equal to o?
True
Suppose 0*b + 1 = -b. Which is smaller: 3/23 or b?
b
Let j(w) = w - 6. Let a be j(-5). Let g = -11 - a. Let t be 2/4 + -1 + 0. Is t < g?
True
Let x be (-85)/(-1)*(-3 + (-39)/(-15)). Is -32 < x?
False
Let t(b) = -b**2 + b + 1. Let n be t(-1). Let j be (2 - 0)*(n + 0). Let u be j/(-3) + (-2 - -2). Which is smaller: -1 or u?
-1
Let y(m) = -m**3 + 4*m**2 + 4*m + 5. Let r be y(5). Let i be (-175)/28 + (-3)/(-12). Let x be i/14 - (-99)/84. Which is smaller: x or r?
r
Let b(i) = i**3 + 11*i**2 + 2*i + 15. Let w be b(-11). Which is smaller: -9 or w?
-9
Let b(j) = -2*j - 9. Let u be b(-6). Suppose u*x = -x. Suppose -s + 0*s + 1 = 0. Is x smaller than s?
True
Suppose 3*j = -j. Let b be (1 - (0 + j))*-1. Is -1 at most b?
True
Suppose -3*h + 5 = 2. Suppose 22 = -7*p + h. Which is smaller: p or 1?
p
Let h(x) = -x - 12. Let j be h(-10). Let v(s) = 8*s**3 - s + 1. Let n be v(1). Suppose -i + n = -3*q, -5*q - 30 = -0*q - 5*i. Which is bigger: q or j?
q
Suppose 4 = -r - 3*r. Let m = -1.4 + -1.6. Which is smaller: m or r?
m
Let x = -2 + 3. Let c be (-6 - 0)/(-1 + 2). Let q be ((-1)/2)/(c/12). Do q and x have different values?
False
Suppose 3*j + 100 = 2*v + 5*j, 5*v + 4*j = 245. Let u be 5/v - (-64)/(-9). Which is bigger: 0.2 or u?
0.2
Suppose -152 = -5*a - 2*g, 2*g = 5*a - 129 - 19. Suppose a = 5*r - 15. Let x be 12/9*r/66. Is 1 equal to x?
False
Suppose -3*s = 4*x - 8*s - 23, 5*x - 7 = -s. Let w be 2 + (-1)/(1/(-2)). Suppose 2 = -2*v - z, -2*v = -z + x - w. Is v less than -5/3?
False
Suppose r = -2*m - 2*r + 13, r = -3*m + 16. Suppose 0 = 5*q - 3*p + m, -3*q + 16 + 5 = 3*p. Suppose 10 - q = o. Which is smaller: 7 or o?
7
Let m = -8.4 + 2.4. Let i = m - -5. Is i at most as big as 3?
True
Let r = -140 - -3782/27. Is r greater than -1?
True
Suppose 0*k - 19 = k + 3*v, 5*v = -4*k - 48. Which is greater: k or -6?
-6
Suppose -w + 20 = -5*g, -3*w + 2*g + 2 = -6. Do 8/3 and w have different values?
True
Suppose -i + 4*c = -33, -4*i - 2*c + 48 = 3*c. Let p = i - 16. Is p greater than -1?
True
Suppose -t + 0 = -3. Suppose 0 = -t*m - 2*m. Let u be ((-2)/(-4))/(