/(-28). Let g = h + 227. Is g equal to s?
False
Let x be 1 - (-1 + 5) - 196/(-60). Let a = -46 + 32. Let l = a + 15. Which is smaller: x or l?
x
Let x be (-4 - -7)/((-6)/44). Suppose 5 + 7 = -w. Let p be (-18)/w - x/(-14). Is -1 bigger than p?
False
Let r = 127.825 + 0.175. Is 1 > r?
False
Let j = 0.303 + -0.013. Let k = 0.29 - j. Which is smaller: k or -0.34?
-0.34
Suppose 0 = -4*a + 3*t + 2*t + 344, -3*a = 3*t - 258. Is a > 1?
True
Let o(k) = -k**2 - 6*k + 2. Let a be o(-3). Suppose -7*n + a*n = 180. Let i be n/(-15) - 4/2. Is i not equal to -5?
False
Let q(s) = -7*s - 17. Let n be q(-5). Let p = -17 + n. Let d be (2 + 2)*5/18. Is d > p?
True
Let z(x) be the first derivative of x**4/4 + 2*x**3 + 3*x**2 + 11*x + 4. Let p be z(-5). Is p less than 6?
False
Suppose 12 = 2*j - 0*j. Let b be -3*(j/(-45) - (-12)/45). Which is smaller: -0.3 or b?
b
Let p be (46/(-115))/(((-4)/5)/(-2)). Is p at least 1/13?
False
Let p = 236 - 156. Let b = 70 - p. Is b smaller than -11?
False
Let g(t) = t**3 + 5*t**2 - 7*t - 10. Let s be g(-6). Let m be -1 + (-1)/(s/3). Do -1 and m have different values?
True
Let b = 1 - 0. Let x(s) = -s**2 + 12*s + 58. Let c be x(19). Let j = 227/3 + c. Which is smaller: b or j?
j
Let b = -4/183 + 77/3660. Let h = b - 2357/101260. Which is greater: h or 0?
0
Let r = 953 - 1035. Is -81 bigger than r?
True
Let t = 7.3 - 8. Let v = t + 0.5. Let w be 4 + 69/(-9) - -4. Which is bigger: v or w?
w
Let s be 3/(-24)*2/(2/(-63)). Which is greater: s or 7?
s
Let g(q) = 3*q - 4. Suppose -y = -4*d + 21, -d + 2*d - 2*y = 0. Let t be g(d). Let u = t + -14. Which is smaller: u or -2?
-2
Let w be 5*(-102)/(-5325)*-5. Which is bigger: -1 or w?
w
Let b be (18*3/36)/(74/(-4)). Which is smaller: b or -1?
-1
Let p = 1133.81 + -1134. Which is greater: p or 0.16?
0.16
Let g(w) = 23*w**2 - 9*w - 11. Let k be g(2). Which is greater: k or 71?
71
Let s = 1357 + -1476. Which is greater: -116 or s?
-116
Let s be (-1)/(1 + 1 + 147/(-75)). Let k be (6/15)/((-65)/s). Is 1 >= k?
True
Let r(q) = -q + 127. Let a be r(-15). Is 142 less than a?
False
Suppose 4*s + 3*k = 14 + 10, k = -3*s + 23. Suppose 0 = -s*d + 12*d - 45. Which is greater: 17 or d?
17
Let y = 24295 - 24293. Let b be (153/(-3))/(4 + 0). Let v = -13 - b. Which is smaller: y or v?
v
Let c = -261 + 266.024. Let r = c + -0.024. Which is greater: r or 2/3?
r
Let t be (-100)/15 - (-1)/(-3). Suppose -3*b + 5 = -7. Suppose -o = 4 + b. Do o and t have the same value?
False
Let l be 82/((-10)/(-3 - 2)). Which is smaller: l or -2/11?
-2/11
Suppose -23 = -41*u + 18. Are -2/319 and u unequal?
True
Let g = 157 - 295/2. Suppose 0 = 1088*a - 1073*a - 135. Which is greater: g or a?
g
Let p be (-2)/7 + 8/(-21). Let d = -275 - -258. Which is smaller: d or p?
d
Suppose -3*z + 91 = 28. Suppose -4*l = -z - 7. Which is smaller: -0.1 or l?
-0.1
Let a = 122.9906 - -0.0094. Which is smaller: -1 or a?
-1
Let x = -545/3 - -180. Let k(n) = 12*n**2 + 6*n. Let g be k(-1). Suppose 6*d + g = -12. Is d not equal to x?
True
Let n = 11414 - 353864/31. Is -1/2 less than n?
False
Let w be 1 + -1*(-5 - 1). Let c = 7 + 0. Let z be (c + 1)*(1 + 0). Is w <= z?
True
Suppose 0 = -4*n + 5*v - 24, 62*n = 64*n - 4*v + 18. Which is bigger: n or -38?
n
Suppose 6*a - 3 = 3*a. Let c be 1*(a + -3)*(-2)/(-4). Which is smaller: -11/5 or c?
-11/5
Let s = -1276/5 - -256. Let k = -159 + 161. Is k > s?
True
Suppose 0 = -2*n + 4 - 6. Let k(r) = r**3 + 10*r**2 + 14*r - 20. Let b be k(-8). Let j be 4/14*(-7 + -4 - b). Which is bigger: n or j?
n
Suppose b = 218 - 217. Let h = -10555/23 + 459. Which is greater: b or h?
b
Let k = 947 - 725. Which is smaller: 441/2 or k?
441/2
Let z(u) be the second derivative of u**4/8 - 5*u**3/3 - 9*u**2/2 + 5*u. Let x(c) be the first derivative of z(c). Let v be x(4). Which is smaller: -1 or v?
-1
Suppose 0 = -2*l - r - 9, 4*r + 9 = -4*l + 5*r. Let y be (-1)/(1 + l - -3). Let d = -68 - -341/5. Are y and d non-equal?
True
Suppose 83 = 52*c - 53*c. Let w = -58 - c. Is 25 < w?
False
Let x be 1/7 - ((-664)/252 + 3). Let t = 0.24 + 17.76. Does t = x?
False
Let v = -34 + 27. Let f = 1 - -7. Suppose 2*u + f + 2 = 0. Which is bigger: u or v?
u
Suppose 4*a = 2*t - 366, 4*a + 4*t + 85 + 287 = 0. Is -367/4 < a?
False
Suppose 2*q + 14 = 3*v, -5*v + v + 12 = 4*q. Let f be (v + (-3 - 1))/1. Is f greater than -0.08?
True
Let j = -12.02 + 0.02. Let f = -3 + j. Let v = 15 + f. Which is smaller: v or -0.19?
-0.19
Let u be 7 + -1 + 0/(-1). Let m be (-1873*(-3)/(0 - 3))/(-4). Let d = m + -463. Is d bigger than u?
False
Let o(x) = -x + 18. Let u be o(15). Suppose -2*p - 9 - u = 0. Let i be ((-4)/10)/(-1 - -2). Is i at least as big as p?
True
Let f be (-2)/7 - 272/28. Let i be 1*(-3)/6 - -28*63/(-216). Which is bigger: f or i?
i
Let t = -381/19 + 10879/570. Let x = 4/5 + t. Which is smaller: x or 15?
x
Let v be 15/25*5*(-1)/(-5). Are -0.39 and v unequal?
True
Suppose -2*l = -3*l + 6. Let c be 3 - (-3)/(l/4). Let w be (-143)/165 - (-1)/c. Is w < 0?
True
Let g = 16.9 + -11.9. Let r = 16 + -6. Is r > g?
True
Let k = -1498 + 1496. Which is greater: -59/30 or k?
-59/30
Let w = 427 + -426. Is 30/23 < w?
False
Let t(k) = k**2 + 9*k + 21. Let y be t(-3). Which is greater: 6 or y?
6
Suppose 0*f + f + 48 = 5*v, -5*v + 33 = 4*f. Let x = 151035/4 - 37750. Which is greater: x or v?
v
Let z = 131 - 44. Let u = -59 + z. Let k be -7*2*(-2)/u. Are k and 3/16 unequal?
True
Let p(t) = 3*t**2 - 23*t + 16. Let r be p(7). Suppose 5*l - 1 = -2*b - 6, 3*l = -b - 2. Which is greater: l or r?
r
Let d(v) = v**3 - 6*v**2 + 6*v. Let b be d(4). Let o be -2 + (-9)/18*12. Do o and b have different values?
False
Let d = 0.271 + -24.271. Is 2 greater than d?
True
Let l be (18/14)/(-3) - 48/(-14). Suppose 3*q = -5*v - 8, -3*v + l*q - 6 = 18. Which is greater: v or -3?
-3
Suppose -5*w - 3*c + 533 = 6051, 0 = -2*w + 5*c - 2232. Is -1106 bigger than w?
False
Let y = -1209 - -1209.03. Which is bigger: 4/5 or y?
4/5
Let s be (-1 - 17/(-4))/(47/(-1128)). Let k be s/44 - 2*(-6)/8. Suppose 0 = -3*x - 5*h - 7, -h = 2*h + 6. Are k and x non-equal?
True
Suppose 2*p + 12 = 2*w, 2*w = 5*w - 2*p - 17. Suppose 0 = w*f - 2*f + 9. Which is smaller: f or 0.1?
f
Let m = -1898 + 1899. Is -28/69 >= m?
False
Suppose 0*s - 2 = s. Let i = 2 + s. Suppose 3*c - p + 18 = i, 0*c + 20 = -2*c - 2*p. Is -8 less than c?
True
Let k(z) = z**2 - 32*z - 59. Let h be k(28). Which is greater: -172 or h?
h
Let h(q) = -q**2 - q + 111. Let n be h(0). Suppose 5*l - 2*a = -n, 7*a + 56 = -2*l + 2*a. Let u = 24 + l. Which is smaller: 1/6 or u?
1/6
Let j = 204663/4 - 50419. Let n = j - 743. Let a = n - 4. Is a at least as big as -2?
True
Let g = -16768 - -16774. Let h be -1 + (-2)/(-36)*22. Is g <= h?
False
Let w be ((-25)/10)/(1 + 9/(-6)). Suppose 3*h = -3, -w*t + 2*t + 2*h = 4. Which is smaller: t or -4?
-4
Let f be -4*22/(-9) - 50/(-225). Suppose 4*l = -4*n - 8, l = 2*n - 0*n + f. Let b = 2 - 1.6. Are l and b non-equal?
True
Let k be 2/8 + 10/(80/6). Are k and -2/159 unequal?
True
Let n = -780.96 + 781. Which is greater: n or -4/7?
n
Suppose f = 2*f + 56. Let a = f + 64. Which is bigger: a or 4?
a
Let r = 172 - 239. Is r at most as big as -66?
True
Let l(i) = -8*i**2 + 7*i - 5. Let m be l(5). Is -170 > m?
False
Suppose -6*t = -2*t - 4, -3*o + 5*t = 92. Which is bigger: -30 or o?
o
Let a = -6.88 - -92.88. Is a <= 3?
False
Let s(y) = -4*y + 70. Let x be s(19). Let d(v) = -13*v - 66. Let a be d(x). Is 12 bigger than a?
False
Let w = 74/93 - 4/31. Let j = 213 - 76. Let q = j - 1505/11. Which is greater: q or w?
w
Suppose 3*o - 6 = 5*d, 3*o - 6 = -d - 0. Let l = 587/4 - 20521/140. Which is greater: l or d?
l
Let z(a) = -a**2 - 6*a + 9. Let l be z(-7). Suppose r = -10 - l. Let m(n) = 7*n + 1. Let h be m(-2). Is h greater than or equal to r?
False
Suppose -5*d = -5*h - 10, d = -h + 30 - 34. Which is greater: 1/173 or d?
1/173
Let p = -1171/2 - -584. Which is smaller: 41.2 or p?
p
Let w = 3858 - 2128. Is -1 > w?
False
Let v = -87 - -137/2. Which is smaller: 0.7 or v?
v
Let v(m) = m**2 - 13*m + 1. Let j be v(11). Let y = j + 11. Let n be 4/10 - 6/y. Which is smaller: n or 0?
0
Let z(q) = q - 5. Let d be z(4). Let f be (-9)/15 + 24/15. Is f bigger than d?
True
Let k(h) = h**3 - 22*h**2 - 19*h + 3. Let c be k(-1). Suppose 2*l - 18 = -0