103/3
Let k = 3 - 11. Let m be (2/4)/(42/(-924)). Are m and k equal?
False
Let m = 377136/41 - 9198. Is m bigger than 0?
True
Suppose -5*s - 3 = 2. Let u be (-290)/40 + 7 - (-10)/8. Is s != u?
True
Suppose 88 = 3*p + 154. Do -22 and p have the same value?
True
Let n = 0.1 - -0.1. Let a = -2962/19 + 156. Which is bigger: a or n?
n
Let s(d) = d**2 - 16*d - 20. Let q be s(19). Let g = q + -77/2. Which is bigger: -0.2 or g?
-0.2
Let m(d) = -4*d**2 - 15*d - 6. Let p be m(-3). Suppose v = -4*n - 7, 2*v = -p*v - n + 60. Are v and 3/4 non-equal?
True
Let u(y) = 5*y**3 + 246*y**2 + 53*y + 198. Let l be u(-49). Let c be 0 - (6/(-4) + 1). Is l < c?
False
Let n be 3/(-12) + (-85)/(-68). Is n >= -2/1901?
True
Let n be 3 + 30*(-1 - 9/(-6)). Is 24 bigger than n?
True
Suppose 5*c - 2*c - 9 = 0. Suppose -8*j + c*j = -25. Suppose 3*q - 6 = 3*l + 4*q, -5*l - 10 = -j*q. Does l = -0.3?
False
Let x = -516 - -23222/45. Suppose 5*i + 10 = -3*u - 0, -5*i - u = 0. Do i and x have different values?
True
Let u = 128 + -200. Is -72 less than u?
False
Let w = -252/55 + 22/5. Is w less than -7?
False
Let s be (-875)/(-900)*(-2)/7. Which is greater: s or -1?
s
Let m = 4 - 7. Let z = 0.02 - 0.07. Let x = -0.05 + z. Is x <= m?
False
Let s be 4/(-98)*(10/(-10) + 5). Is 1 <= s?
False
Let z(b) = -13*b**2 - 10*b - 6 - 2 - 3*b + b**3 - 3. Let l be z(14). Suppose -7 + 3 = 2*u - 4*q, 5*u - 3*q = -l. Is u at most 1/5?
True
Let r(j) = -49*j + 171. Let a be r(7). Which is smaller: a or -170?
a
Let x = -15 - -15.7. Is x greater than or equal to -26?
True
Suppose 5*s + 20 = -5*f - 0, 12 = -f - 3*s. Let d be 0 + 70/8*2. Let i = -17 + d. Is i less than or equal to f?
False
Let z = -2503 - -17363/7. Is -24 not equal to z?
True
Let h be -1*(-1 - -2) - 6. Let m(u) = u**2 + 7*u + 6. Let c be m(h). Suppose -4*x - q = x - c, 4*x - 1 = 3*q. Is 1/7 less than x?
True
Let m(s) = -9*s + 79. Let l be m(8). Which is smaller: 4 or l?
4
Let a = -6760/540549 + -2/3533. Let k = a + -149/306. Let l = -82/7 + 731/63. Is l equal to k?
False
Let q = 32 + -18. Let u be 1*2/q*2. Is -24 at most u?
True
Let s be ((-6)/4)/((-4)/8). Suppose 31*x = 50*x. Which is smaller: s or x?
x
Let n = -124 + 15. Are n and -109 non-equal?
False
Let y = 48.19 - 48. Let d = y + -3.19. Which is bigger: d or 0?
0
Suppose -5*r = -4*r - 11. Let v be 8/(-44) - (-13)/r. Let a = 3 - 3. Which is smaller: v or a?
a
Let m = 889 - 886.45. Is 0 != m?
True
Let h(r) = r**3 - 5*r**2 - 5*r + 2. Let y be h(6). Which is bigger: y or 17?
17
Suppose 0 = -6*b + 11*b. Suppose -1 = -2*u - 3*r, 2*r = -2*u - b*r + 4. Let t = u + -5. Is t at most 0?
True
Suppose 12*s = -35 + 239. Is s at most as big as 21?
True
Let q = -1870.98 - -1854. Let o = q + 17. Is -0.1 bigger than o?
False
Suppose 4*p + 24 = 2*m + 60, 0 = 5*p - 10. Let o = 10 + m. Let b be 2/o + 7/2. Which is greater: b or -0.2?
b
Let o(y) = y**2 + 14*y - 18. Let p be ((-39)/(-6))/(6/(-12)). Let z be o(p). Is -31 bigger than z?
False
Let u be (6/(-654))/(26/(-4)). Which is bigger: 0 or u?
u
Let v(n) = 14*n + 164. Let p be v(-12). Which is greater: 15 or p?
15
Let u(m) = m**2 - 8*m + 6. Let a be u(7). Let c = -226 - -3841/17. Which is smaller: c or a?
a
Let o(n) = -n + 3. Let v be o(-1). Let w = v - 4. Suppose w = -4*g - 9 - 7. Which is bigger: -24/5 or g?
g
Let q = -25 - -56. Let w = q + -14. Let d = w + -16.9. Which is smaller: d or -7?
-7
Let z = 28.24 + -26. Let c = z + 0.76. Which is smaller: 1 or c?
1
Let t = 372 + -367. Is t > -0.049?
True
Let h = -133 - -2149/15. Let j be -10 + (-2 - 8/(-6)). Let u = j + h. Which is bigger: u or 2/13?
2/13
Let r(c) = 2*c**3 + 14*c**2 - 2*c + 2. Let v be r(-7). Let b = v + -13. Which is greater: 5/2 or b?
b
Suppose -5*k + 29 = -6. Suppose -k = 2*g + 1. Let n(d) = -d**3 - 5*d**2 - 2*d + 3. Let v be n(g). Is v smaller than -6?
False
Suppose 81 = 7*s - 4*s. Let j be 10/3*s/15. Which is bigger: 7 or j?
7
Let t(l) = l**3 - 3*l**2 - l - 9. Let r be t(4). Suppose -88 = r*w + 101. Which is greater: -62 or w?
-62
Let i = -210 - -56. Which is smaller: i or -155?
-155
Let c = -1.9707 + -0.0293. Which is bigger: c or -410?
c
Suppose -3*k + 4*j + 88 = 0, 4*k + 3*j - 109 = -0*j. Let u be k/(-6) - 6/(-9). Let r = -8 - u. Is -3 less than or equal to r?
False
Let n = 74 - 440. Which is greater: -364 or n?
-364
Let g be ((-133)/42)/(-19)*156/2. Which is bigger: 16 or g?
16
Let m be ((-2849)/(-252))/((-2)/(-6)). Let t = m + -34. Let k be 21/27 + 2/9. Which is smaller: t or k?
t
Suppose -4*a = a - 25. Let d = a + -1. Suppose 0 = 2*u + 5*p - 8, 0 = d*u + 5*p - 6. Which is bigger: u or 1?
1
Suppose 0 = 5*o - 5 - 15. Suppose 3*t - 2*l - 1 = 0, o*t + 3*l - 15 = 3*t. Is 20/11 at least t?
False
Suppose 0 = -14*n + 12*n + 6. Let q be (14/4 + -2)/n. Which is greater: 0 or q?
q
Suppose 9*v - 6*v = r + 35, 4*v - 52 = -4*r. Which is bigger: v or 10?
v
Let f(q) = q**2 + 3*q - 8. Let u be f(-4). Let c be -35 + 2 - u/1. Is -30 less than or equal to c?
True
Suppose -v = 73 - 76. Suppose 0 = -3*z - 5*m + 52, -2*m + 10 = v*m. Is z at most as big as 14?
True
Let d(w) = 4*w + 6. Let i(b) = 5*b + 7. Let p(m) = 3*d(m) - 2*i(m). Let y be 1*(0 - 0) + 3. Let c be p(y). Is c less than 10?
False
Suppose 0 = 5*i - 1 - 24, 0 = 4*o - 5*i + 17. Suppose -7*j + 12 = -5*j. Let k = j + o. Is 6 equal to k?
False
Let n be (2/(-4) - -1)*1. Let u = -6.03 - -2.03. Is n at most u?
False
Suppose 0 = -3*h + 15. Suppose 4*y + 5*v = 6*y + 3, h*v - 2 = 3*y. Let d be (27/42)/(12/16). Do y and d have the same value?
False
Let u(w) = w**3 + 39*w**2 - 37*w + 122. Let i be u(-40). Let h be 8/12*(-12)/(-100). Is h not equal to i?
True
Let x = -13 - -17. Let k be 9*(-8)/(-17) - x. Is 0 at most as big as k?
True
Suppose 10*n + 174 = -146. Is 10 smaller than n?
False
Suppose -4*u - 4*z - 588 = 0, 2*u - 4*z = -53 - 265. Do -149 and u have different values?
True
Suppose -4*n + 255 = -8*n + j, 5*j - 170 = 3*n. Let b = 39 + n. Let t = b - -23. Does -5 = t?
False
Suppose 57*l - 54*l - 3 = 0. Let r be -3 - (61 + 0)*(0 - l). Do r and 58 have the same value?
True
Let t = -195 - -195. Let x = 1.3 + -4.3. Is t < x?
False
Suppose 3*h = 5 + 1, 3*z - 5*h = -37. Let u = z - 1. Which is smaller: -9 or u?
u
Let v = 111 - 113.58. Let m = 0.42 - v. Is -2 > m?
False
Let q(i) = -14*i - 5. Let r be q(-5). Suppose -2*f - 2*y = -0*f + 34, 0 = 4*f + 3*y + r. Let z = f + 23. Is z not equal to 9?
False
Suppose 3*w - 567 + 69 = 0. Let i = w + -176. Which is smaller: -11 or i?
-11
Let t = -537 - -538. Which is greater: t or 59?
59
Suppose 4*b = 16, 2*j - j + 5*b - 15 = 0. Let u be (4/(-8))/(j/10). Which is bigger: u or -4/13?
u
Let u = -0.3125 + 0.0125. Let l = 0.18 - -0.03. Which is smaller: l or u?
u
Let l(v) = -21*v - 449. Let n be l(-14). Which is smaller: -157 or n?
-157
Let g = -6727 + 46912/7. Let k = g + 25. Is 3.4 < k?
False
Let p = -1271 - -1272. Let h be (-62)/(-180) - 2/5. Is p at most as big as h?
False
Let i be (-19)/(-114)*(-72)/(-16). Suppose -4*z + z + b = 5, b = -2*z + 5. Suppose 3*r - 3 = c, 3*r + z*r = -2*c + 3. Is i bigger than r?
False
Let x = -557455/51 - -10931. Is x equal to 1?
False
Suppose 60*r = 52*r + 448. Which is bigger: r or 276/5?
r
Let h be 3 - (-8)/(-3) - (-4)/6. Is -2/383 less than h?
True
Let r = -145 - -146. Let l = 0 + 1. Is r less than l?
False
Let o = -60.9 - -61.3. Which is greater: 48 or o?
48
Let k(y) = y**2 + 24*y + 29. Let r be k(-23). Let m be (26/r)/(9/(-27)). Which is bigger: -6 or m?
-6
Let o = -2971 - -448624/151. Which is bigger: o or -4?
o
Let a(k) = -k**2 - 6*k - 1. Let r be a(-5). Suppose -r*s + 6 = -2. Suppose 0 = -7*h + s*h + 20. Do 5 and h have the same value?
False
Suppose j = -5*l - 6, -5*l - 7 = -2. Suppose d - 4 = 15. Let g be ((-1)/(-3))/(d/3). Which is smaller: g or j?
j
Suppose 0 = 5*q - 30 - 50. Suppose -b = -2*t - 9 + 1, -12 = -3*t. Is q at least as big as b?
True
Suppose -x - 6*x = -924. Let j be (-1947)/x + 1/4. Is -15 less than j?
True
Let l = 99/14 - 7. Let z(r) = r**3 + 4*r**2 + 2*r + 11. Let s be z(-4). Suppose -s*x = -k + 1, 4*x - 2*k - k - 2 = 0. Is x less than or equal to l?
True
Let v = -159 - 100. Which is bigger: v or -260?
v
Suppose 14*c + 2 - 2 = 0. Which is smaller: c or 149?
c
Let z = -0.691 + -0.009. Let d(c) = c**3 + 6*c**2 + 1. Let f be d(-6). Are f and z equal?
False
Let