f + 2 = -d. Is d not equal to z?
True
Let o = 14 + -3. Let x = 13 - o. Suppose -j = j - a - 1, 5 = 4*j - a. Is x != j?
False
Let h = 2/17453662657019361 - 2504083910506642915984697/3112235719219655171032590. Let k = h + 1/163591. Let d = k - -1/218. Does 1/4 = d?
False
Let h be (6 + (-5 - 2))*(0 - 1). Which is smaller: 4 or h?
h
Let a = -0.061 - -24.061. Let s = a + -23.87. Let b = 0.9 + -0.8. Which is bigger: b or s?
s
Let r = -22 + 20.7. Let u = r + -0.7. Let x = 1 + -7. Is x >= u?
False
Let x(u) = u - 2. Let m be x(3). Let w be m - (2 + 1) - 1. Let j = -0.25 - -0.05. Is j bigger than w?
True
Suppose 12 = -3*f + 3*z, -5*f - 12 = -0*f - 3*z. Suppose -8*i + 6*i - 36 = f. Which is smaller: -19 or i?
-19
Let p(x) = -x + 10. Let i(t) = -t. Let o(h) = -4*i(h) + p(h). Let l be o(-7). Let d = l + 12. Are -1/6 and d non-equal?
True
Suppose 9*p - 72 = 6*p. Suppose 0 = 5*s + 21 + p. Let q = -5 + -4. Do q and s have the same value?
True
Let n = 0.0739 - -1.0261. Which is bigger: n or -9?
n
Let l(k) = 3*k + 13. Let c be l(-9). Let s = 3 - c. Is s < 16?
False
Suppose -2*k = 5*r - 70, 5*r + 5*k - 55 = -0*k. Let u = 14 - r. Let y be (1/u)/(30/12). Is y bigger than -1?
True
Let x = -14.06 + 1.4. Let a = -12.6 - x. Are a and -1/2 unequal?
True
Suppose -q + 12*q = 0. Let g(p) = 7*p**2 - 5. Let h(f) = -4*f**2 + 3. Let k(y) = 3*g(y) + 5*h(y). Let a be k(q). Which is bigger: a or -0.06?
a
Let y be (-256)/48 - -9 - 8/2. Is 140 smaller than y?
False
Let q(g) = -g**3 - 6*g**2 + 6*g + 5. Let b be q(-7). Suppose -2*k - 2*k = -b. Suppose -k*t + 0*t = -15. Which is smaller: 4 or t?
4
Suppose -2*h + 4 = 4*b - 10, 0 = -b + 4*h + 8. Suppose 0 = b*y + 5 - 17. Does y = 21/8?
False
Let k = 4 - 25. Let q be (-6)/k - (-52)/14. Suppose 4*r - 3*g = -7*g + q, -3 = 5*r - 3*g. Do r and -4/7 have different values?
True
Let n(b) = 155*b + 228. Let m be n(5). Is 1003 smaller than m?
False
Let q(n) = -8*n - 13*n + 35*n - 12*n + 55. Let l be q(-28). Which is smaller: l or 2/39?
l
Let m be -5 + 3 + 22*2/(-4). Suppose -1 = -k - t, 2*t = -3*k + t - 1. Which is smaller: k or m?
m
Let y = 1 - 0.7. Let q = 1.3 - y. Let g = 1/796 + 397/796. Which is smaller: q or g?
g
Suppose 2*z - 11 = -5*d + z, -2*z - 14 = -2*d. Let o = 4 - d. Let s = 0.84 - -0.16. Is o <= s?
True
Let b be (4/312)/((-1)/4). Let u = b - -92/273. Is u at least 2/7?
True
Let y = 302281/687 - 440. Is y >= -2/5?
True
Suppose -2 = -5*j - a, -5*j + j = 2*a - 4. Let d be 130/40 + -4 + j. Which is greater: 3 or d?
3
Suppose -o - 1 = -4*l + 4, -3*o = -4*l - 9. Let d be -2 + 18/27*6. Which is greater: o or d?
o
Suppose -19*h + 31 - 202 = 0. Is h < -2?
True
Let f = 456 + -586.2. Let l = f - -104. Let r = l + 25. Is r < 1/4?
True
Let q = -44571953/423 + 949348/9. Let y = q + -112. Is y at most as big as 0?
False
Suppose 38 = 4*r + 5*q, 4*q = 3*r + 5*q - 23. Which is bigger: 46/7 or r?
r
Suppose 0 = 4*k - 5*n - 105, -3*n = -k - 2*k + 75. Let h be (-3)/3 + 0 + 20. Is h != k?
True
Let h = 11 - 1. Let l = 17 - h. Let u = -9 + l. Which is greater: -1 or u?
-1
Suppose 5*i - 4*t = -412, 2*i + 176 = -0*t - 4*t. Let k be (-4)/2 - i/35. Which is smaller: k or -1?
-1
Suppose 0 = 3*y + 3*y - 1212. Which is bigger: y or 203?
203
Let t = 0.51 - 0.06. Let g = 1.45 - t. Let s = -14/15 + 3/5. Is s smaller than g?
True
Let n = -2773/3 - -925. Which is greater: -140/23 or n?
n
Suppose 24*n - 27*n = -3*k - 114, 3*k - 2*n + 117 = 0. Is -52 != k?
True
Let g = 10.2 - 7. Let l = -6 + g. Let x = -1.2 + l. Does 0 = x?
False
Let q(z) = -3*z + 3. Let v be q(-3). Suppose o + v = -0*o. Is -12 > o?
False
Let f = -287125/142 - -2022. Which is smaller: 0 or f?
f
Suppose 0 = -3*i + 24*i + 21. Is i < -677?
False
Let m(c) = -2*c**3 - 9*c**2 - 5*c - 9. Let i be m(-4). Are -11 and i equal?
False
Let k(w) = w**2 - 2*w - 15. Let l be k(5). Let z be l/(2/(-4)*4). Let p be 2*2/240*2. Which is bigger: z or p?
p
Suppose 4*c + 8*z = 3*z, 0 = 5*c - z. Suppose k = -c*k. Which is smaller: 1/28 or k?
k
Let c = 51 - 47. Let q(x) = 0 + 7 - x - 2*x - 2. Let t be q(c). Do -7 and t have the same value?
True
Let a = -1 + 1. Let o be (0/3)/(2 - a). Let r = -221 - -222. Which is smaller: r or o?
o
Let k = 4 + -6. Let a be 3 + 5 + k + 0. Let r be -2 + -2 + a + -3. Which is smaller: r or 3/13?
r
Suppose -45 + 39 = 2*m. Which is smaller: -19/9 or m?
m
Let h(j) = j**2 - 3*j - 2. Let g be h(4). Suppose 0 = -2*r + g*a + 140, 3*r + 334 = 8*r - a. Is r greater than or equal to 66?
True
Let p = 31 + -44. Let k = 19 + p. Let v(n) = -n**3 + 7*n**2 - 6*n + 1. Let d be v(k). Is 1 < d?
False
Suppose 0*f + 2*f + 3*q + 25 = 0, 4*f = -2*q - 54. Let o be f/4*(-24)/42. Which is greater: 1/2 or o?
o
Let x be (720/4500)/((-1)/(-5)*31). Is x > 1?
False
Suppose -5*o + m + 0*m + 22 = 0, -3*o + 27 = 4*m. Let l be o - 4 - (-1 + 1). Which is smaller: l or 0?
0
Let g = -619.56 - -620. Which is greater: g or 1/10?
g
Let w be (2 - 3)/((-2)/8). Suppose 0 = -w*x + 16, -x - 67 = -5*g + x. Is 15 < g?
False
Let l(h) = -h + 17. Let k be 15 - -4*6/(-8). Let d be l(k). Suppose -6 = d*i - 1. Is i > 4?
False
Let y = 251/6 - 42. Let j(h) = h**3 + 8*h**2 + 4. Let i be j(-8). Suppose b = i*b. Which is smaller: b or y?
y
Let f be (-1185)/3609*-1 + 9/(-27). Which is bigger: f or 0?
0
Let s = -22.6 + 20. Let b = 7.7 + -8.3. Let x = b - s. Which is greater: 1 or x?
x
Let s = -283.0497 - -0.0497. Which is greater: s or 0?
0
Suppose u + 3*u + 4*y - 108 = 0, -58 = -2*u - 4*y. Let v = -21 + u. Is v not equal to -3?
True
Suppose 5*v - 34 = -2*b - 110, -2*v - 136 = 4*b. Is b < -34?
False
Suppose 6*j + 78 = 5*n + 3*j, -n - 4*j = -34. Which is smaller: n or 175/9?
n
Let s be (3 - 15/3)*24. Suppose 245 = -5*g + 4*t, -2*g + 2*t + 5 = 103. Which is bigger: g or s?
s
Let l be 24/80*(-6)/9. Suppose 0*u = 2*u. Is u <= l?
False
Let m = -5.702 + 5.7. Let s = -0.042 - m. Is -1/3 <= s?
True
Let p(c) = -4*c + 6. Let x be p(-1). Let z be (-136)/(-10) - 2/(-5). Let n = z - 4. Is x bigger than n?
False
Suppose 0*q - u = 5*q - 1, -3*q - 2 = -2*u. Suppose 5*v - 3*o + 14 + 66 = q, -34 = v + 3*o. Which is smaller: -22 or v?
-22
Let n(o) be the third derivative of o**5/60 - o**4/6 + o**3/6 + o**2. Let w be n(4). Let u be (1/21)/((-102)/459). Is u bigger than w?
False
Suppose 0 = 4*f - f. Suppose -5*h = -0*h + p - 20, 3*p = 0. Suppose h*c - c = f. Which is bigger: -6/7 or c?
c
Suppose -5*d - 2*w - 78 = 0, 17 = 4*d + 4*w + 89. Is d at most as big as -9?
True
Let n = -167 + 249. Which is smaller: n or 1/2?
1/2
Let n be 4 - -2*(-6)/12. Is n equal to 6?
False
Let b = 339.16 + -339. Which is bigger: 1 or b?
1
Let c(w) = -w**2 + w + 4. Let m be c(2). Suppose 0 = -2*q - 5*d + 101, -3*q + m*d = q - 262. Let f be ((-12)/q)/((-12)/18). Which is smaller: -2 or f?
-2
Let k be (-7)/(-14)*(-18)/(-15). Which is bigger: k or -2.5?
k
Suppose 2*p - 29 = -g - 9, 0 = 4*g + 5*p - 86. Suppose -i - 3*h = i + 13, -h + g = -5*i. Let m(v) = -v - 4. Let o be m(i). Which is smaller: 1/8 or o?
1/8
Let w be (-4)/9*(148/(-40) - -4). Suppose -4*x + 5*v + 74 = 0, -46 = -4*x - 2*v + 14. Suppose 2*m = -2*f - 12, -m + 0*m - x = 3*f. Is w >= m?
True
Suppose -716 = -145*b - 136. Let k be 2/(-4) + 2/(-4). Let d be (k + -14)*1/(-3). Is d <= b?
False
Let p = 0.4 - 0.383. Let n = -2.017 + p. Which is smaller: n or -0.5?
n
Let k = 0.174 + -0.265. Let n = -0.135 - k. Which is bigger: -1 or n?
n
Let f = 94474/589 - 4770/31. Let z = -1994/323 + f. Let d be (-2)/(-9) + 99/243*-3. Which is greater: d or z?
z
Suppose 0 = m - b + 3, -5*m - 2*b - 5 = -5*b. Which is bigger: 18/25 or m?
m
Let d = 47 - 234/5. Let h = -0.157 - -0.057. Which is smaller: d or h?
h
Let p = 51 + -56.4. Let c = -4.704 + 3.704. Which is bigger: p or c?
c
Suppose 45 = -64*f - 19. Which is smaller: 1/831 or f?
f
Let w be (-10)/5 - -3*2. Let y be (4/5)/(w/(-20)). Let o(x) = x**3 + 15*x**2 + 25*x - 16. Let c be o(-13). Is c >= y?
True
Let m = 1.11 + 23.49. Let w = -14 - 12. Let z = m + w. Which is bigger: z or 1?
1
Let a be (-16)/492*15/2. Which is bigger: a or 0?
0
Let l = -0.134 + 0.085. Let m = l + 0.149. Which is smaller: m or 0.038?
0.038
Let h = 18 - 13. Suppose 2*n - 2*p - 8 = 0, -18 - 2 = -h*p. Does n = 7?
False
Suppose -29*y - 38 = -10*y. Which is greater: -58/39 or y?
-58/39
Suppose -16 - 8 = 2*z. Let o be z - -3*(-3)/(-9). Which is 