 y != -3/1007?
True
Let l be 20171/69 - (-1)/(-3). Let i = l - 288. Suppose 5*b + 2*k = 25 + 7, -b = -4*k - 2. Which is greater: i or b?
b
Let l(w) = 81*w + 2511. Let b be l(-31). Which is smaller: b or 2/10309?
b
Let n = 12289 - 11337. Which is greater: 951 or n?
n
Let o be (4882/(-20) - 4)/3. Let w = -83 - o. Suppose 0 = -3*z - 2*h + 7, 0 = -7*z + 3*z - 3*h + 11. Which is greater: z or w?
w
Let m = 0.53 + -0.45. Let d = -45.08 + m. Let y = 46 + d. Which is smaller: 17/3 or y?
y
Suppose 3*i - 1 = 4*i. Let n(x) = x**2 + x - 1. Let v(t) = -7*t**2 + 18*t - 20. Let r(g) = -6*n(g) - v(g). Let d be r(23). Which is smaller: i or d?
i
Let y(s) = -12*s - 11. Let u be y(-1). Let n be 272/(-288) + u/9. Suppose 4*c = 2*c. Is c equal to n?
False
Let x(u) = 3*u**2 - 170*u + 910. Let h be x(52). Which is greater: 175 or h?
h
Let l = -3881/15 + 1962/5. Is l not equal to 134?
True
Suppose -424 = -z - 2*i, 683 = 4*z + 5*i - 1028. Which is greater: 437 or z?
437
Suppose 9*g - 8*g - 7 = 0. Suppose 5*c - g*o = -5*o + 163, -4*c = 3*o - 112. Which is bigger: c or 30?
c
Let s = 757.786 + -758. Let r = s + 0.163. Which is greater: r or 0?
0
Suppose 3 - 5 = 2*i. Let j(n) = -n**2 + 30*n + 1537. Let q be j(-26). Which is smaller: q or i?
i
Let u be ((-4 - 1) + -94 + -7)*(-2)/4. Is u equal to 271/5?
False
Suppose -4*t + 7039 = 3*l, 5*l + 5301 = -185*t + 188*t. Which is smaller: t or 1760?
1760
Let v(h) = -h**3 - 15*h**2 + 13. Let u be v(-15). Let z = u + -13. Let x be z - 1 - (-17)/16. Which is greater: -1 or x?
x
Suppose -2*v - 4*d + 480 = 0, 0 = -2*d + 585 - 589. Which is smaller: v or 248?
v
Suppose 3*o - 41 - 39 = a, 4*a - 4 = 0. Is 29 greater than o?
True
Let p(i) = i**2 + 91*i + 2120. Let n be p(-48). Let c = -1 + 0.9. Do c and n have different values?
True
Let d = -591 - -341. Let a = 249 + d. Let y = -462 - -11552/25. Are y and a unequal?
True
Suppose -36*o + 26*o = -420. Let j be (-6)/(-4)*160/6. Let f = o - j. Which is bigger: f or 21/10?
21/10
Let h = 18498 + -18610. Which is smaller: h or -38?
h
Let b(x) = 630*x**2 + 17*x + 10. Let i be b(-2). Is i > 2497?
False
Let w = -135 + -1844. Which is smaller: w or -2/3?
w
Let k be (-4)/10 - 8274/(-35). Let c = -166 + k. Let t be (-45)/(-27)*4/c. Which is smaller: 1 or t?
t
Let r = 5346.12 + -5348. Which is smaller: -5/6 or r?
r
Suppose 0 = -4*n - s + 41, 0*n + 3*s - 60 = -5*n. Suppose -3 = 3*y + n. Let f = 633 - 640. Is y >= f?
True
Let o(d) = -d**3 + 25*d**2 - 102*d + 8. Let u be o(19). Does 238 = u?
False
Let c be (-2)/(35/((-8295)/(-72))). Which is smaller: -6 or c?
c
Let n be 3792/17143 + 4/62. Let t = 80 - 45. Let u = t + -7. Is u bigger than n?
True
Let p be 2/(-41)*(-4606)/196. Which is bigger: 2 or p?
2
Let o = 3760 - 26254/7. Let a(w) = -w**3 - 78*w**2 + 1286*w - 174. Let d be a(-92). Is o greater than or equal to d?
False
Let x be (-4)/(-2) + (4 - 1). Let w be (1 + 87 - 0)*(9 + -8). Suppose w = -x*k - 132. Is -44 greater than or equal to k?
True
Suppose 2*y = 2*f + 184, -4*f + 51 = -2*y + 429. Which is bigger: f or -95?
-95
Let v = 4986 + -5001. Which is smaller: -169/12 or v?
v
Let t be (-48 - -2)*(-2 + 3). Suppose -27*l + 32*l = 27*l + 968. Which is bigger: l or t?
l
Let t = 60 + -64. Let b be 10/(-1) + t + 4. Is b != -8?
True
Suppose -15*d = -10*d - 50. Let g(p) = -8*p + 53. Let i be g(d). Let u be ((-8)/6*i/18)/19. Which is bigger: u or -1?
u
Suppose 3 = k + 9. Let p be (k/(-8))/(2/104). Suppose -66 = a - 3*a - 5*n, 0 = 2*a + 3*n - 70. Which is bigger: a or p?
p
Let y be 39/(-24)*-2 - -2. Let r be (-25)/10 - 30/(-4). Let p = r - y. Which is greater: p or 33?
33
Suppose 2*a = -2*u + 2396, -3*u + 5*a = -2212 - 1382. Is u <= 1198?
True
Suppose 5 + 0 = r. Suppose -24*v + 560 = 15*v + 31*v. Do r and v have different values?
True
Let u(k) = -k**3 + 3*k**2 - 4*k - 2. Let i be (-4)/(-5)*(8 + -3). Let c be u(i). Let d = 8385 - 8419. Is d less than or equal to c?
True
Suppose 34518 + 1772 = 5*p - 5*y, 8 = 4*y. Let k be 2 + p/(-1036) + 5. Which is bigger: k or -1?
k
Let d = -492981/19 - -25935. Let a = 40843/3591 + d. Which is smaller: a or 0?
0
Suppose -4*n + 52 + 276 = 0. Let b = n - 82. Suppose 7*t - 4*t = 0. Is t bigger than b?
False
Let i = -112.4 + 130. Let q = 17.7 - i. Which is smaller: q or -95?
-95
Let i(w) = 33*w + 787. Let s be i(-24). Which is bigger: -54/13 or s?
-54/13
Let j be (-4)/(-14) + -3 + (-678)/21. Let b be (-154)/j + 6/(-15). Let c be (24/(-10))/(b/30). Which is greater: c or -16?
-16
Let q be 3*(-7)/21*(-2)/8*-4. Is -4/2919 <= q?
False
Let s = -1.93 + -15.53. Let g = s - -1.46. Let y = 25 - 24. Is y greater than g?
True
Suppose 0 = 5*m + 5*n + 14695, 21*n - 26*n = -5*m - 14695. Is m bigger than -2938?
False
Suppose -1300 - 2348 = -24*i. Let s be (-10327)/68 + 1/(-4). Let o = s + i. Is o > 0?
False
Let c = 22640032/14517 + -14036/9. Are 1 and c equal?
False
Let n(g) = -g**3 - 3*g**2 + 3*g + 3. Let o be n(3). Let x be 8/(-2) + 9 - 13. Let i be 42*x/((-24)/(-3)). Is o > i?
False
Let l = 621 + -522. Let r be (-44)/l - (-1552)/3006. Are r and -1 equal?
False
Let t(m) = -2*m - 2. Let q be t(5). Let p = -0.4027 - -341.3027. Let z = -341 + p. Is q greater than z?
False
Let o be (45/(-25) - -1)*(-45)/2. Suppose -13*j + o*j = 65. Is -2/23 greater than j?
False
Suppose 45 = -24*g + 59*g + 10. Is g smaller than 19/161?
False
Suppose -2*l + 1 - 4 = -u, -5*l - 12 = 2*u. Let p = 57277/238 - -24/595. Let r = -241 + p. Which is smaller: u or r?
u
Let n = -173 - -311. Suppose -63 = -5*c - n. Let a be 13/3*2*c/(-35). Is a <= 5?
True
Let k(s) = 2*s**2 - 2*s. Let a be k(2). Let t(r) = r**2. Let b be t(a). Let m be (-8 + ((-1316)/24)/(-7))/(12/(-360)). Is m smaller than b?
True
Suppose -22*a = -21*a + n + 27, 0 = 4*a + 2*n + 98. Which is bigger: -520/23 or a?
a
Let o = 7795.201 + -7806. Which is greater: -0.2 or o?
-0.2
Suppose -y + 2 = -4. Suppose -11*t - 1370 = -y*t. Let k be t*(-5)/7350 + (-2)/10. Is -1 greater than k?
False
Let x = 4632 + -4331. Which is bigger: -3/4 or x?
x
Let p be (-5)/(-15)*-3*-6. Suppose p*m - 17 = 13. Suppose o = 2*o + 2*v + 21, m*o + 60 = 5*v. Is -15 smaller than o?
False
Let f = 92.26 + -112.06. Which is smaller: -17 or f?
f
Let u(s) = -4*s**2 - 36*s + 5. Let d = -82 + 71. Let a be u(d). Let m = -86 - a. Is m >= -3?
True
Let b(g) = -403*g + 1987. Let d be b(5). Is -14 >= d?
True
Let w be (6/99)/((-84)/(-351288)). Which is smaller: w or 253?
253
Suppose 2*x - 23 = 2*n - 1, x - 11 = -3*n. Suppose 2*v + v - x = 4*u, 5*u + 13 = 3*v. Let k = 3311/17 - 195. Is k less than or equal to v?
True
Suppose 42 = 8*z + 210. Let g(k) = 2*k**3 + 41*k**2 - 20*k + 18. Let m be g(z). Let c = 485 + -1953/4. Is c <= m?
True
Suppose 12*i - 560 = 10*i. Let o = 384 - i. Which is smaller: o or 105?
o
Let m = -142 - -142. Let o be (m - 62/(-16))*(12 - 14). Is -8 > o?
False
Let l(t) = -2*t**2 + 6*t + 7. Let u be l(5). Let r = 135 + -280. Let z = r + 145.1. Is z <= u?
False
Suppose 18552 = 4*m + 4*s, -3*s = -114*m + 119*m - 23180. Which is greater: 4632 or m?
m
Let j(b) = 6*b**2 - 5*b - 76. Let f be j(-5). Let m(h) = 6*h**2 - h. Let r be m(-4). Which is smaller: f or r?
f
Let v = -261 + 264. Suppose -4*r = -v*s - 588, -128 = -2*r + 4*s + 156. Is 150 <= r?
True
Let x = -3967 + 3953. Is x >= -5/22?
False
Let y be (-10808069)/63*(-1 + 0). Let j = y - 171564. Let k = j - -53/7. Do k and 1 have the same value?
False
Let k(m) = 8*m**2 - 101*m + 758. Let s be k(18). Is s >= 1531?
True
Let p be 65 - 67 - 93/(-48). Which is greater: p or 0.2?
0.2
Let t(m) = -m**2 + 17*m - 43. Let u = 25 + 31. Suppose 6*w = u + 46. Let c be t(w). Is c at least as big as -43?
True
Let k = -1562 + 2200. Let v = -645 + k. Which is smaller: -55 or v?
-55
Let n(v) = -2*v**3 + 9*v**2 + 56*v + 79. Let w be n(-7). Which is bigger: w or -2?
w
Let w be 14928/(-2)*(2408/(-129) - -20). Is -9951 smaller than w?
False
Suppose 0*j = -j - s - 209, 844 = -4*j + 4*s. Let d = j - -171. Which is bigger: -38 or d?
-38
Let f(g) = -3*g**2 - 48*g + 396. Let x be f(-22). Which is bigger: x or -4083?
x
Suppose 22*p + 2601 + 477 = 130. Is -174 > p?
False
Suppose 241 = -4*v + 5*n, v + 3*v + 196 = -4*n. Let l be 8/v*93/62*1. Which is smaller: l or -20?
-20
Suppose -342*d + 171236 = -30842 + 47152. Which is smaller: d or 20?
20
Let v be (-4 - -123) + -8*(-1)/2. 