 c = 18 + -25. Do c and i have different values?
True
Suppose -5*x + x = 0. Let b be (-63)/(-14)*2/(-21)*1. Is b <= x?
True
Let b be (-31)/(-7) + -4 - (-20)/35. Let j = 4.06 - 0.06. Which is greater: b or j?
j
Let w = 1 - 2. Let y = -118 - -122. Suppose -c = z - 4, -9 = -y*c + c - 2*z. Which is smaller: w or c?
w
Let z = 11742285/65212 - 17/3836. Let b = -180 + z. Which is smaller: b or 1?
b
Suppose -2*k + 1 = -n, 2*n - 4*k = -3*n - 5. Let l = 15 + -11. Suppose 4*g = l*u + 4, 3*u - 8 + 3 = -5*g. Which is smaller: g or n?
n
Suppose 0 = -3*i - i + 8. Suppose -87 = 5*f + 3*x - 28, -i*f + x = 17. Suppose -2*m = -5*j - 50, -43 = 7*j - 3*j - m. Which is smaller: f or j?
j
Let c = -0.71 - 30.29. Let s = 30.7 + c. Which is smaller: s or 3?
s
Suppose -t - 21 = 3*i, -2*i = -t + 6*t + 79. Are t and -4.3 nonequal?
True
Let a = 1192 + -829. Is 366 greater than a?
True
Let g be 2/(2/41)*(-50)/(-50). Is g > 209/5?
False
Suppose 98 = -6*h - 16. Suppose c + 3*c + 119 = 5*n, -4*c - 5*n - 89 = 0. Let i = c - h. Is i smaller than -17/3?
True
Suppose 0 = h + 5, 0*t + 3*t + h + 65 = 0. Let q = 18 + t. Let p be (0 + (-3)/(-6))*q. Is -3 greater than or equal to p?
False
Let b be 8/7 - (-4 + 156/42). Is -0.1 at least b?
False
Let i = -32 - -39. Suppose 0 = -2*m - m + 5*k - i, 4*m + 5*k = 14. Is m greater than 2?
False
Suppose 2*n - 387 = -45. Which is smaller: 172 or n?
n
Let p(b) = -b**2 + 14*b - 37. Let o be p(10). Let u = -292 + 1175/4. Is o >= u?
True
Let d be 2/6 + (-86)/69. Let n = -2445304/115 - -21262. Let r = n - d. Which is greater: r or 0?
0
Let m = -380.02 + 365. Let q = 15 + m. Which is greater: q or -1?
q
Let j = 330 + -343. Which is bigger: -9/5 or j?
-9/5
Let w(m) = m**2 + 4*m - 1. Let u be w(-3). Let o be (-2 - -30)/(u + 6). Suppose 23 = 3*i + o. Are i and 2 nonequal?
True
Let q be (5*(-16 + 0))/(-1). Let m be 2*-2*(-14)/q. Let x be 4/7*(-105)/(-30). Which is greater: x or m?
x
Let l = -2/119 - 107/714. Let r be (-312)/(-143) - 4/22. Suppose 0 = r*v - 6*v + 4. Is l equal to v?
False
Let x(n) be the third derivative of n**4/12 + n**3/6 + 2*n**2. Let s be x(4). Is s greater than 9?
False
Let t be (-6)/(-4)*128/912. Which is greater: 0 or t?
t
Let b(n) = -n**3 + 11*n**2 - 31*n + 51. Let y be b(8). Which is smaller: y or -92/21?
y
Let a = 0.096 + -0.113. Is 1 >= a?
True
Let h(t) = t**3 + 7*t**2 - 2*t + 6. Let l be h(-7). Suppose l = -5*z + 25. Is z greater than or equal to 1/3?
True
Let v = 37/2 - 19. Suppose -x - 1 = 1. Let g be x/8 - 1/(-2). Is v at least as big as g?
False
Let w = -845 + 2447/3. Is -30 greater than w?
False
Let b(y) = 9*y - 9. Let d be b(5). Let o = d - 143/4. Is 1 < o?
False
Let k be (-7682)/14 + ((-1391)/91 - -15). Are k and -550 equal?
False
Suppose 0 = -g + 4*c + 34 - 36, -2*c = g + 32. Which is smaller: -2/17 or g?
g
Let y(h) = -4*h**3 + 2*h - 1. Let g be y(1). Let d be (3 - 1) + (18/9 - 6). Is d bigger than g?
True
Let p = 725.2 - 725. Let l be ((-8)/9)/2 + 0. Which is greater: p or l?
p
Suppose 0 = 29*c + 12 + 17. Let i be ((3 + -6)*-1)/(-11). Are i and c equal?
False
Let p be ((3*-23)/(-3))/(-3 - -10). Is p less than 2?
False
Let h = 26.4 + -31.5. Which is greater: 3 or h?
3
Suppose 0 = 4*i + 10 - 26. Suppose 4*n - 5*g - 215 + 48 = 0, 5*n + i*g = 178. Suppose -5*l + 12 = -n. Which is greater: l or 1?
l
Let c = -0.5 - -0.3. Let o be 3*92/(-60) + 5. Which is greater: c or o?
o
Suppose 2*w + 16 = m, 2*m + w + w - 20 = 0. Suppose -10*h + m*h - 4 = 0. Is 5/3 != h?
True
Let h = -5 + 5.9. Let t = 0 + 0.1. Let g = h + t. Which is bigger: g or -4?
g
Suppose 2*j + 20*j = 0. Which is bigger: 5/186 or j?
5/186
Let b(j) = 204*j + 2463. Let k be b(-12). Let d be (-17 - -2)/(0 - 1). Is k < d?
False
Let f be 9/(33/(-22)*-3). Is -768 <= f?
True
Suppose 0*s - 144 = 4*s. Let f = 37 + s. Does f = 1/2?
False
Let f = 3019 - 3018.94. Let c = 4 + -7. Which is smaller: c or f?
c
Suppose 4*u - 47 = -5*z, 0*z + 4*u = 3*z - 41. Let h(o) = 2*o - 35. Let q be h(15). Let g be 55*(q + 26/5). Is g less than z?
False
Let z(j) be the first derivative of j**2/2 + 8*j - 5. Let b be z(0). Let m be 3/(12/b) - -3. Is m > 5?
False
Suppose 0 = -b - 4, -3*t - 5*b - 16 = -t. Which is smaller: t or 13?
t
Let z be (2300/(-30) - -1)*-3. Which is smaller: 1 or z?
1
Let p = 0.815 + -0.715. Which is smaller: p or -0.041?
-0.041
Let c = -25.007 + 0.007. Let g = c + 25. Which is smaller: g or -24?
-24
Let q(u) = -15*u + 57*u - 37 - 19*u - 17*u. Let m be q(11). Is m at most as big as 29?
True
Let g be (-2)/7 - 5/((-315)/4). Are g and -36 equal?
False
Let q be ((-8)/(-12))/(4/(-6)). Let w be (-1)/q + (-4)/(-2). Let r be 3 - (w + 6/3). Which is smaller: r or -3?
-3
Let g = 1.68 - 97.68. Let v = -87 - g. Is v less than -3?
False
Suppose -4*i - 388 = -4*a, -a - 73*i + 77*i = -91. Which is bigger: 488/5 or a?
a
Let p be 2400/336*(-28)/(-10). Is p > -8?
True
Suppose -3*c - 3*p + 474 = 0, 740 = 5*c - 27*p + 22*p. Which is greater: c or 151?
c
Let t = -3 - -2.5. Let j = 30.9 + 233.1. Let d = j - 264.4. Which is bigger: t or d?
d
Let u = 58 + -55. Suppose 29 = m + u. Which is bigger: 2/3 or m?
m
Let u = 29231/3 - 9742. Let q = -1 + -1. Which is smaller: u or q?
q
Let h = -1.7 - -2.9. Let r = h + -2.2. Which is smaller: r or -13?
-13
Let k = 21/10 + -34/15. Is -0.73 at least k?
False
Let d(g) = -g**2 - 5*g + 6. Let b be d(1). Suppose 2*z - w - 29 = b, -2*z = -7*z - w + 62. Which is greater: 14 or z?
14
Let a be (-4 - -1) + (-18)/(-2). Suppose -5*h - 36 = -4*t, a*t = t - 5. Is h >= -8?
True
Suppose -2*a = -4*g - 8330, -4*g + 4*a - 6250 = -g. Let l = -1092 - g. Let q be 84/l - 4/(-22). Which is smaller: q or 0?
0
Let b(q) = -q**3 + 6*q**2 - 8*q + 14. Let y be b(5). Is y less than or equal to 2/799?
True
Suppose 4*z = 13 + 3. Suppose -z*s - 17 + 17 = 0. Which is greater: s or 25?
25
Suppose -25 = -2*m - 3*m. Suppose o - 8 = -3*a, a - m*a = o - 9. Which is bigger: 2/99 or a?
a
Let o(u) = 14*u**2 + 3*u - 13. Let j be o(4). Suppose j*r = 221*r - 74. Which is smaller: r or 0?
r
Let v be 0 + 3 - (43*14)/(-1). Is 605 smaller than v?
False
Let h = -48 - -21. Let w = h + 15. Let t = 10 + w. Is 4/3 at most t?
False
Suppose 4*p = c - 70, 0 = -4*c + 2*c + 3*p + 120. Suppose d - 40 = 15. Which is smaller: d or c?
c
Let r = -60.27 + 60. Let n = -0.57 - r. Let z = -0.4 - n. Which is smaller: -11 or z?
-11
Suppose -3*l = -2*j - 352, -3*l + 376 = j + 3*j. Let o be (l/(-150))/(1/5*-2). Is 1.8 at most as big as o?
True
Suppose -120*p + 588 = -116*p. Let g = p - 146. Do -2/423 and g have the same value?
False
Let y(v) = -58*v - 20. Let i be y(-3). Are 151 and i equal?
False
Let p(k) = 7*k + 4. Let q be p(4). Suppose -38 = -5*l + q. Let g be (-7)/l - 7/(-2). Which is smaller: g or 2?
2
Let m = -1458313/60 - -24306. Let v = m - -5/12. Is v > 0?
True
Let y(i) be the third derivative of -i**4/8 - 7*i**3/6 + 6*i**2. Let p be y(8). Is p smaller than -31?
False
Suppose 2*c = 5*r + c + 226, 112 = -2*r - 5*c. Which is smaller: -48 or r?
-48
Suppose -j + 5811 = -40*j. Is -150 at most j?
True
Let x(s) = -s**3 - 16*s**2 + 23*s + 104. Let i be x(-17). Let l be ((-1)/(-2))/((-1)/(-10)). Is i bigger than l?
False
Let a be (-3 - -11)*28/(-24). Suppose 3*x - 99 + 129 = 0. Do x and a have the same value?
False
Let v = 0.5 - 0.75. Let a = 0.05 - v. Is 0.2 > a?
False
Let z = -201 - -79. Let l be (-5 + z/(-4))/(-9). Do l and -3 have different values?
True
Let z(s) = -3*s**2 - s + 2. Suppose -3*o - 4*u = -8*o - 18, 2*o + 12 = 4*u. Let d be z(o). Let y be d/(-36) + 50/18. Is y equal to 3?
True
Suppose -5*b = -z - 302, 0 = -0*b + 5*b - 4*z - 308. Is 60 less than or equal to b?
True
Let f be (-36)/(-48) + 39/(-4). Let j be 6/f + (-1092)/(-18). Is 60 at least as big as j?
True
Suppose 0 = -3*y, 0*d + 4*d - 44 = 2*y. Suppose -d*p = -7*p - 40. Is 10 < p?
False
Let s be (-12)/(-22) - 8556/682. Is s greater than -7?
False
Let v = -42 - -45. Let l = 33 + -36. Are v and l non-equal?
True
Suppose 2*t - 8*t = 5*t. Which is smaller: -1/752 or t?
-1/752
Let q(k) = -2*k**2 - 36*k - 8. Let p be q(-18). Is -22/3 greater than p?
True
Let u(b) = -b**3 + 6*b**2 - 5. Let d be u(6). Let v be (8/6)/((-1)/(-6)). Let h be -3 + (-4)/v*6. Is h less than or equal to d?
True
Let l be 30/9 - 1/3. Let v be -2 + l/(3/2). Let z be 16/6 - (v - -2). Which is sma