pose -i + 5 = d*b, -5*i + 4 - 51 = -4*b. Is -7 equal to i?
True
Let j = -17 - -16.3. Let r = j - 21.3. Let m = 21.9 + r. Is m <= 0?
True
Let i = -20638/7 - -2941. Let j = i - -7. Which is smaller: 2/53 or j?
j
Let j = -2.658 + -0.042. Let v = j - -2.6. Is v smaller than 29?
True
Suppose -9 + 29 = 5*q. Suppose -8 = 4*b + 5*f + 21, -5*f + 19 = -q*b. Let t be (3/b)/(2/4). Does t = -2/79?
False
Suppose 2*g + 2*h = -2, 0 = 2*g - 5*g - h + 3. Is 15/23 greater than or equal to g?
False
Suppose 62 = 3*y - 94. Let o = -102 + y. Which is smaller: o or -49?
o
Let l = 52795449/97 - 544653. Let v = -370 - l. Is 1 bigger than v?
True
Suppose -6*f + 59 = 923. Let v be (-6)/4*168/f. Is v <= -4/3?
False
Let a be -6 + 627/44 + -8. Do -0.381 and a have the same value?
False
Suppose 2*y - 10 = y. Suppose 34 - y = -2*f - r, 3*r + 12 = -f. Which is smaller: -10 or f?
f
Let j = 327 + -9482/29. Which is smaller: 0 or j?
0
Let k(u) = u + 11. Let a be k(-9). Let j(h) = 2*h**2 - 3*h + 3. Let x be j(a). Suppose 7*o = x*o. Is o greater than or equal to -1/6?
True
Let n = 124/85 - 18/17. Suppose k + 3 = -22. Which is bigger: k or n?
n
Suppose 2 - 12 = -2*h. Suppose -5*a - h = 5*o + 5, -10 = 5*a - 2*o. Do a and 0 have different values?
True
Let c be (-12)/(-2) + 5 + 2*-27. Is -31 <= c?
False
Let y = 37.44 - 37. Let p = 0.44 - y. Which is bigger: -50 or p?
p
Let n(l) = -l**3 + 12*l**2 - 12*l + 16. Let m be n(11). Suppose -m*x = 15, r + 5*x - 3 = 3*r. Let c = -6 + -3. Is r smaller than c?
False
Let t = 297/5 - 3659/60. Which is smaller: -3 or t?
-3
Suppose -10 = 3*z - z + 4*t, -2*t = 6. Which is greater: 2/227 or z?
z
Let y = 0.35 - 0.1. Let o = y + -0.2. Is -5 greater than o?
False
Let y(d) = -d**2 - d - 1. Let i be y(-1). Suppose -o = 2*q - 4, -48*o + 50*o = -q + 8. Which is greater: q or i?
q
Suppose -14*w + 16*w = -1 + 1. Let z = -328 - -3614/11. Is z at least as big as w?
True
Suppose 6*h = h. Let c = -7 + 12. Suppose 4 = -2*q, -c*p - q - 2*q = 21. Which is bigger: p or h?
h
Suppose 0 = -4*t + 5*t + 3. Let h be (-8)/12*(17 - 2). Let o = h - t. Is -8 equal to o?
False
Suppose -4*i + 34 = 3*b, 4*b + 2 = 5*i + 6. Let o be (b/90)/(4/(-4090)). Let u = -68 - o. Is u at most as big as 0.2?
True
Let w = -101899/9815 - -135/13. Which is smaller: -1 or w?
-1
Let i be ((-137479)/(-19890) - (-1)/9) + -1. Let n = i - 138/65. Which is greater: 3 or n?
n
Let t = 1951819498/3149 - 619822. Let p = 1/67 + t. Is -1 less than p?
True
Let q = -2161 + 2132. Is -33 equal to q?
False
Let f = 62 - 47. Let t = -38 - -23. Let y = t + f. Is y at least as big as 3/2?
False
Let j = -3689/18 + 1942/9. Are 12 and j equal?
False
Let u(f) = f**2 - 9*f. Let q be u(8). Let t = q - -7. Which is smaller: -4 or t?
-4
Let w(p) = 4*p**3 + 2 + 4*p**3 - 3 - 9*p**3. Let t be w(1). Let v be (1/(-4))/(18/120). Which is greater: v or t?
v
Let w(v) = -v**3 + v**2 - v - 2. Suppose 4*p = 2*t - 2, 3*t = -3*p + t + 16. Let s be w(p). Which is smaller: s or -23/3?
s
Let i = 55 - 54. Let l be 2*8/32*(i - -1). Which is smaller: l or 2?
l
Let t = 233 - 232. Do t and 3/5 have the same value?
False
Suppose 0*o + 6 = -3*o, 4*s + 5*o + 18 = 0. Let m = -57 - -217/4. Which is greater: s or m?
s
Let x = -26477204/1307 - -20258. Which is smaller: x or 0?
0
Let r(m) = -m**3 - 7*m**2 - 3*m - 22. Let p be r(-7). Do 6/403 and p have different values?
True
Let k = 1 - 2. Let o = 0.55 - 22.55. Let t = o - -26. Which is smaller: t or k?
k
Let x be (-24)/(-4) - (-12)/(0 - 2). Which is smaller: x or 2/2865?
x
Let w be (-60)/(-18)*(-81)/(-15). Let x be 9/w*((-1)/1 + 1). Are -1/5 and x non-equal?
True
Let u = -1.4 - -1.2. Let i = u + 6.2. Let q = i + -10. Does q = -1?
False
Let q(n) = -n**3 - 2*n**2 + 2*n + 3. Let v be q(-2). Let c = -96 + 82. Let i = c + 26. Which is bigger: i or v?
i
Let d(b) = b**2 - 11*b + 1. Let v be d(11). Suppose a = -4 + v. Let n = -1 - a. Is n not equal to -1?
True
Suppose -6*v + 57 = 63. Which is smaller: v or -103?
-103
Let z = 3 + -2. Let c = -689.4 + 689. Is z < c?
False
Let b = -845 - -831. Is -19 at most as big as b?
True
Let g be -2 + (-4 - (2 + -6))/(-1). Let j(y) = 55*y**3 + 2*y**2 - 3*y + 1. Let z be j(2). Let b = z - 3109/7. Which is smaller: g or b?
g
Suppose 0 = 8*u - 9*u - 5*w + 566, 2*u + 5*w = 1112. Are 547 and u nonequal?
True
Let v(s) = -171*s**2 + 9*s + 2. Let r be v(-1). Is -176 >= r?
True
Suppose 12 = -0*j + 6*j. Let f = 4 - j. Suppose f*m = 12 - 0. Which is greater: m or 7?
7
Suppose -3*r + b + 56 = 0, 0 = 5*r - 2*b - 27 - 66. Suppose 20*h - r*h = -22. Let m = -32 - h. Is m < -9?
True
Suppose -5*w = -17*w + 24. Let s = -1.2 - 6.8. Which is bigger: w or s?
w
Let b be 5/(-4) - -1 - 5831/68. Let a = -58 - b. Which is greater: a or 29?
29
Let p = 22.4 + -3.4. Let m = -15.54 + 1.54. Let j = m + p. Which is bigger: 1 or j?
j
Let c(d) = 27*d + 93. Let u be c(-7). Which is smaller: u or -95?
u
Let g be 51/(-170)*(-5)/(-1)*-1. Let c = -0.2 - -0.3. Is g smaller than c?
False
Let i be 2/13 + (-195)/169 - 24/4. Let s = -0.3 + 0.4. Is s <= i?
False
Let u = 2.06 - 0.06. Let k(s) = 2*s + 27. Let m be k(-13). Let t be 0 - (2 + m/1). Is t at most u?
True
Suppose x = -3*k + 5, -5*x - 15 = -4*k + 17. Suppose 3*t = 2*g - 39, 0*g + k*t = g - 24. Is g > 15?
False
Suppose 0 = i - 3*k + 1, 3*i + 11*k + 23 = 15*k. Which is greater: -53/4 or i?
i
Let i = -25 + 25.51. Let z = -19271 - -19270. Is z smaller than i?
True
Let j be (8/(-40))/((-11)/(-10) + -2). Which is greater: j or -148?
j
Suppose -4*k + 8*g = 3*g - 378, -5*k + 3*g + 479 = 0. Is k at least as big as 874/9?
False
Suppose -472 - 38 = 6*a. Let v be 4403/a - (-2)/(-10). Let m be v/6 - (-2)/3. Is m at least -5?
False
Let s = -2328 - -2328. Is s at most -2/1113?
False
Suppose 48*l - 50*l + 46 = 0. Which is greater: l or 17?
l
Let q be 1/(-3) - (-8)/6. Suppose -95 - q = -6*h. Let m be ((-12)/(-8))/(3/h). Is 8 != m?
False
Let z = 357 - -438. Which is smaller: 796 or z?
z
Let l(r) = -r**3 + 6*r**2 - 15*r + 102. Let i be l(6). Which is bigger: i or 105/8?
105/8
Let j = -1817/11 - -165. Let w(z) = -z**2 + 3*z + 4. Let d be w(-3). Let l = 14 + d. Do l and j have the same value?
False
Let k be (-3)/7*68/(-8). Let z = k + -31/70. Which is bigger: z or 3?
z
Let w = 4 + -3. Which is smaller: 2/141 or w?
2/141
Suppose 0*i = -3*c + 3*i + 111, 4*i - 68 = -2*c. Let k = -22 + c. Is 0 >= k?
False
Suppose 2*u + 6 = 10. Suppose 5*m - 14 = -4*r, -2*r + 5 = u*m - 3. Is 6 not equal to r?
False
Let h(y) = -y**3 + 26*y**2 - 53*y + 59. Let r be h(25). Is r equal to -641?
True
Let p be -5 - ((-891)/20)/9. Let t be (-2 - -2) + (-5 - -7) + -1. Which is bigger: p or t?
t
Let z = -867 - -867. Is z greater than 7/52?
False
Let h = -117.044 + 117. Let r = -0.244 - h. Let v = 83/117 - 5/9. Which is bigger: v or r?
v
Let j(n) = n - 5. Let c be ((-3)/12)/((-1)/4). Let p be ((-3)/(-9))/(c/21). Let d be j(p). Is d != 2?
False
Let y be 5/(4/(-2) - -1). Suppose -6*f = -15*f - 450. Let i = f - -42. Is y at least as big as i?
True
Suppose 0 = -20*q - 168 - 212. Is q bigger than -99/5?
True
Let z be (1 + 0)*(-15)/111. Suppose -54 = -39*i - 54. Is i > z?
True
Let u(y) = y**2 + y + 14. Suppose 4*b - b = 0. Let j be u(b). Let l = j - 13. Which is bigger: 1/38 or l?
l
Let i = 26 + -33. Let x be (-18)/(-42) + (-25)/i. Let v be 0 + 7 + -2 + 1. Which is bigger: x or v?
v
Suppose -2*i - 3 = -u, i = -2*i + 3*u - 6. Let v = 2121/10 - 213. Is v at most i?
False
Let y = 3 + -8. Suppose 0 = -u - 4*u + 30. Let b be 26/(-10) + u/10. Is y at least b?
False
Let z = -19 - -27. Let p be (-8384)/(-1280) - 2/(-8). Which is smaller: z or p?
p
Let q = 203/5 + -40. Let g = 2 + -1. Suppose 0 = 5*b + 2*i - 13, -4*b + b + i = g. Is b > q?
True
Let h(g) = -42*g + 14. Let k be h(1). Which is smaller: k or -198/7?
-198/7
Let r(l) = 2*l**2 + 2*l - 2. Let h be r(-2). Let j(d) = -d**2 - d. Let t be j(-1). Suppose 2*b + 2*b = 2*p + 28, -p - 5*b + 21 = t. Is p != h?
True
Let t(r) = -r**2 - 6*r. Suppose 2*m = 5*n + 2, -4*m + 4*n - 30 = -10. Let v be t(m). Is -53/2 greater than or equal to v?
True
Let j = 21 + -22. Let k = 170/9 - 19. Is j equal to k?
False
Let z(i) = i**3 - 20*i**2 - 127*i + 50. Let k be z(25). Which is bigger: -3/953 or k?
k
Let k(o) = -3*o**2 - 5*o + 1. Let m be k(-2). Which is smaller: m or -1/142?
m
Suppose 4*q = -2