5*j - 15. Let k be ((d - 1)/((-2)/(-2)))/1. Let t be (-7)/(-15)*(-4)/7. Are t and k non-equal?
True
Suppose 0 = 2*i - 4*d - 28, i - 3*i + 31 = -3*d. Let k = -25 + i. Let r be (-2)/k*25/(-85). Which is smaller: r or 0?
r
Let j = 10.19 - 0.19. Let d = j - 19. Which is smaller: d or 1/2?
d
Let g be 1 + 0 + -1 + -1. Let d = 25387/10 + -2539. Which is greater: d or g?
d
Let c = 3.44 + 92.56. Is c smaller than -3?
False
Let z be ((-112)/(-21))/((-8)/(-12)). Let m be z/36*3/2. Is -0.15 > m?
False
Suppose 7*p = -0*p + 84. Let n be 8/5 - p/20. Is -1/28 equal to n?
False
Let g(b) = b**2 + 15*b - 13. Let m be g(-15). Is 4 smaller than m?
False
Suppose -3*n + 83 = m, 1 = 2*m - 3. Is n < 34?
True
Suppose 3*z - 162 = -3*f, 0 = 5*f + 4*z - 344 + 75. Is 53 bigger than f?
False
Let g = -16.04 - -16.1. Which is greater: 6/11 or g?
6/11
Let a = 1334 - 1334. Which is smaller: a or 36/85?
a
Let r = 334 - 333.8. Which is greater: -0.038 or r?
r
Suppose 13 = 5*x - 27. Suppose -5*m - 14 = -3*r + x, -2*m = 10. Let g be 1/((0 - r) + -5). Are -1 and g non-equal?
True
Suppose -12 = -5*t + 18. Suppose -5*x = -4*m + 46, -t = -0*x - x - 3*m. Let g = -9 + 4. Which is greater: g or x?
g
Suppose q + 7 = -2*n, 0 = -4*q - 3*n + n - 22. Let r = q - -5. Let k = -6.53 + 0.53. Which is smaller: r or k?
k
Suppose -4*m = 3*m + 119. Let n = 8 + m. Which is smaller: n or -5?
n
Let h = 18.15 + -18. Let w = h - -0.85. Is -4.2 greater than w?
False
Let f be (6 - (4 + -1))*-7. Let j(r) = -4*r + 15. Let u be j(9). Is u > f?
False
Let y be (((-9)/(-6))/(-3))/(1/(-20)). Let r(l) = -l - 455. Let q be r(0). Let g be (-4)/y + 78/q. Is g greater than 2/7?
False
Let u = 48 - 42. Let b(j) = -j**2 + 13*j - 1. Let p be b(u). Is p not equal to 40?
True
Let h(a) be the second derivative of -a**4/12 + a**3/3 + 2*a**2 - 2*a. Let c be h(-4). Let r(q) = -3*q**2 - 18*q + 2. Let t be r(-7). Is c smaller than t?
True
Let o(k) = k**3 - 2*k + 6. Let d be o(0). Let a be (3 - 2)/((-10)/d + 2). Is a >= -4?
True
Suppose 225 = 4*o + 11*o. Which is smaller: o or 6?
6
Suppose -2 = 2*r + c - 3, -5*r - 5*c = -10. Do r and -6/221 have different values?
True
Let u = -1 - 0. Suppose 2*f - 4*f = 46. Let x = f - -22. Is x at least u?
True
Let b = 2838 + -2398. Is b at least 2?
True
Let f be (-6)/((-36)/(-3))*-2. Is -4/9 less than f?
True
Suppose 2*q = -p + 223, 2*p = -3*q - 3*p + 317. Which is greater: 116 or q?
116
Let o be 21/(-14)*(-1 - 13/(-3)). Is o smaller than 0.94?
True
Let s = -151 + 89. Let f = s + 62.1. Is -48 > f?
False
Let q = -505 - -575. Is -0.05 at most as big as q?
True
Let u(z) = z**3 - 30*z**2 + 195*z + 99. Let n be u(20). Let a = -18/31 + -70/93. Which is greater: a or n?
n
Let m = -39 + 41. Let x = 4 + 0. Is x < m?
False
Let v(x) = -x**3 - 12*x**2 - 8*x - 13. Let q be v(-11). Let u = q - -46. Are 2/69 and u nonequal?
True
Let b(j) = 2*j**2 + 2*j - 1. Let d be b(-2). Let k = -305 + 306. Which is smaller: d or k?
k
Suppose -2*g = -3*y + 170 + 401, 5*g + 10 = 0. Which is greater: y or 188?
y
Let v(y) = y**2 - 5*y - 1. Let l be v(6). Let o = 8 + -7. Suppose -o = -d + 3. Which is smaller: l or d?
d
Let z be (-75)/(-27) - -1 - (0 + 1). Is z not equal to 2?
True
Let w = 45.3 - 19.3. Is -1/2 greater than w?
False
Let a(w) = w**2 - w**2 - 4*w**2 + 1 + 0. Let g be a(-2). Let x(q) = 3*q**2 + 39*q - 13. Let f be x(-13). Which is smaller: f or g?
g
Let j(h) = h + 6. Let m be j(7). Let v = 3/1255 + 95371/3765. Let z = v + -538/21. Which is smaller: z or m?
z
Suppose -4*h + 0*h = 40. Let b be 40*(-1)/(-2) - 5. Let p be ((-65)/h)/(b/6). Which is smaller: 4 or p?
p
Let q = -0.65 - -0.05. Let g = 3448/11 - 314. Let u = 4/33 - g. Are q and u equal?
False
Suppose 110*p + 87 + 23 = 0. Which is greater: -17/59 or p?
-17/59
Let k = -0.0837 - 0.0163. Is k >= 0.4?
False
Let x = -590 + 640. Which is greater: -3 or x?
x
Let a = 17.69 - 154.59. Let q = a + 117. Let l = q + 20. Is l greater than or equal to 2/27?
True
Suppose 8 = -3*o + 2. Let j = 159 + -75. Let y = j + -87. Which is bigger: o or y?
o
Let p = -152.7 + 154.7. Is p <= -172?
False
Let b be (-4)/(-7) + 4/(-14). Let g = 2777 + -2788. Is b bigger than g?
True
Let i = -11.4 - -16. Let z = 5 - i. Let y = 598/5 - 120. Are z and y equal?
False
Let q be (-1 + 7 - 0) + 0/2. Is q >= -5/6?
True
Let g = 1.16 - 15.76. Let t = 12 + g. Is -1 at most t?
False
Let a be (34/(-26))/((-3)/303) + 4. Let i = 136 - a. Is i at least 0.9?
False
Let p(u) be the second derivative of -3*u**4/2 - 3*u**3/2 - 6*u**2 - 13*u. Let s be p(-2). Which is greater: s or -67?
s
Let l = -246 - -245. Is -301 less than or equal to l?
True
Let w = 151 + -145. Are 0 and w equal?
False
Let m = 749/284 + 8/71. Let h = m - 27/20. Let f = -2 + 4. Is h < f?
True
Let f be 5/30 - (-445)/1566. Let m = -12/29 + f. Which is greater: m or 1?
1
Let m = 11 + -38. Let h = -28 - m. Let u = -3 + 5. Do h and u have the same value?
False
Let y(b) = -5*b**2 + 22*b + 6. Let w(a) = -11*a**2 + 45*a + 11. Let z(k) = -6*w(k) + 13*y(k). Let m be z(-17). Is 29 <= m?
True
Let m be 0 + (-674727)/7380*-2. Let j = m + -1097/6. Let d = -9/10045 - j. Which is bigger: 1 or d?
1
Let d = -3 - -1. Let c be 2 + -2 + -1 - d. Let l = -307 - -306. Which is smaller: c or l?
l
Let b = -47/3 + 367/24. Which is smaller: 0 or b?
b
Let l = -3367/2 - -3080809/1830. Which is smaller: 1 or l?
l
Suppose -4*x + 5 + 27 = 2*o, -5*o + 5*x = -20. Suppose -p = -o + 2. Is -1 equal to p?
False
Suppose 2*n + 9 + 11 = -5*a, -3*n - 80 = -5*a. Let o = -22 + n. Let h be (-3)/((o/(-4))/7). Do -8/5 and h have the same value?
False
Let s = 2567989/390 - 13169/2. Let g = 1846/15 - 123. Let o = g + s. Which is greater: o or 0?
o
Let u(o) = o**2 + 2*o + 1. Let j(t) = -t**2 + 9*t - 8. Let d be j(8). Let w be u(d). Let a be -2*1/(-14)*2. Is w equal to a?
False
Let c(b) = b**3 - 17*b**2 - 18*b + 2. Suppose -105 = -5*o + w - 6*w, 2*o - 4*w - 24 = 0. Let q be c(o). Let s = -16 + 11. Which is smaller: q or s?
s
Let o be -4 - (-4)/((-4)/(-171)). Let w = o - 5343/32. Is w at most 1?
True
Let n be (-8)/18 - (-3838)/171. Which is bigger: 26 or n?
26
Let k(f) = -8*f - 7*f**2 + 6*f**2 - 8*f + 12 + 4*f. Let j be k(-12). Is j at most as big as -1?
False
Let t be (4*379)/(-6 - 0 - -8). Is 758 smaller than t?
False
Let l = -152 + 1673/11. Do l and 0 have different values?
True
Let n = -6 - -8. Suppose f + 2*f = 135. Suppose 14*p - f + 17 = 0. Is p greater than or equal to n?
True
Let l(i) be the second derivative of 2/3*i**4 + 0 + 4/3*i**3 + 3*i**2 + 1/20*i**5 - i. Let a be l(-7). Do -6/11 and a have the same value?
False
Let d(t) = 6*t**3 - 2*t**2 - 3*t + 2. Suppose 8*b - 4*h = 4*b + 8, -2*h + 8 = 4*b. Let c be d(b). Does c = 36?
True
Let c = -4.4 - -1.1. Let p = c - -3. Let a(y) = -y**3 - 22*y**2 - 24*y - 64. Let d be a(-21). Which is bigger: p or d?
p
Suppose 3*d - 14 - 78 = -5*z, 3*d - 3*z - 84 = 0. Is 28 bigger than d?
False
Let p = 272 - 250. Is 21 at least as big as p?
False
Let u be (10/(-4))/(-4 - 69/(-18)). Let z be u - 8 - (-1 + 1). Let r be (-7 - 2)*1/(-1). Are z and r nonequal?
True
Suppose -3*k - 242 = -257. Suppose p + 2*j = -3*p + 20, 4*j + 12 = 5*p. Which is smaller: p or k?
p
Suppose -56*d + 29*d = -216. Is -3 < d?
True
Let s = 2115 - 2114.9503. Does -0.2 = s?
False
Let s be (24/9)/(4/6). Suppose -5*n - s*u = -175, 5*u = -n + u + 51. Let x = n - 27. Is x at most as big as 5?
True
Let f = -45.3 - -52. Let b = 7 - f. Let m = 3.7 + b. Which is smaller: m or -1/2?
-1/2
Suppose -200 = -16*v - 216. Let m = -1/19 + 107/589. Are v and m nonequal?
True
Let o be 86/6 + (-3)/9. Let y be 3 - (62/o + 0). Are 0.1 and y unequal?
True
Let l = -1800/121 + 180563/726. Which is smaller: 235 or l?
l
Suppose 19*z + 5*n = 20*z + 4, -3*z = 2*n + 29. Let j = -7935/8 + 984. Is j != z?
True
Suppose 0 = -3*l - 9, 0 = 5*m - 0*l - 5*l + 15. Which is bigger: m or -5?
-5
Let y = 21.46 - 22. Let g = y + 0.44. Is g not equal to -3?
True
Suppose 2*m - 7 = m + 4*l, -3*l = -2*m + 9. Suppose 6 = -3*c + m. Is c less than 2/17?
True
Let c(g) = 17*g + 0 + 6*g + 1. Let d be c(2). Let j be (-5)/(-10)*(-4)/d. Which is smaller: 0 or j?
j
Suppose -3*c + 5*a = -32, 2*c - 11 - 1 = a. Suppose c*y = 3 - 35. Let j be (-96)/(-18)*(-30)/y. Which is greater: 19 or j?
j
Suppose 8*z - 2054 = 6*z - 4*q, -2*q - 6 = 0. Is 1034 bigg