nd b equal?
False
Let s be 4016847/(-573819) + -2*(-14)/4. Which is bigger: s or -1?
s
Suppose -42*h = -35*h - 7. Suppose 4*f + 3*c + 15 = 0, 4*f + 0 = 4*c - 8. Does f = h?
False
Let j = 801.6 - 805.6. Which is smaller: j or -323?
-323
Let i = -7689.6 + 7708. Is i at least 1?
True
Suppose 9*a - 8*a = 4*g - 1, 18 = 2*a - 4*g. Suppose 4*s = 79 + 1. Which is bigger: a or s?
s
Suppose 854 = -75*n - 1396. Is n equal to -6/5?
False
Let u = 0.175739 - -4.824261. Suppose -24 = -5*d + d. Suppose 3*m = -6, 0*v + d = 2*v - 2*m. Which is greater: v or u?
u
Let m = -155894249/2491 + 62583. Which is greater: 0 or m?
m
Let k = 14944 - 14942.77. Which is smaller: k or -1/6?
-1/6
Let o be 5/(1350/72)*5/1. Let d = -0.89 + 0.09. Is d equal to o?
False
Let y be (-100673839)/(-9414) + 1/(-18). Is y less than 10693?
False
Let a = 8337/31 - 269. Let g(j) = j**3 - 13*j**2 + 41*j + 8. Let o = -42 - -49. Let m be g(o). Is a > m?
False
Let o = -276/7 + 4720/119. Let f be 5/(-22 - -7) + 16/3. Suppose 0*d = -f*d + 5. Which is smaller: o or d?
o
Let m be (2 - 2) + 2195 - (-612)/(-68). Is 2186 <= m?
True
Let q = 24 - -20. Suppose 13 + q = o. Are o and 0 unequal?
True
Let p(g) = -233*g - 7164. Let c be p(-27). Which is smaller: -876 or c?
-876
Let i be (-4 - (-253)/22)/12. Which is greater: -27 or i?
i
Suppose p - 2045 = 5*k, 196*p - 4*k - 4096 = 194*p. Which is smaller: 2052 or p?
p
Let l be (2/(-1) + -4)/(2924/61877). Let q = l - -127. Is 0 > q?
False
Suppose -67 - 256 = -29*f + 83. Suppose 0 = -2*k - t - 2*t + 25, -k - 2*t = -13. Is k less than f?
True
Let z be (6 - (-88)/(-13))*13876/(-8). Let j(t) = 84*t**2 + 2*t - 1. Let p be j(-4). Let d = p - z. Which is bigger: -1 or d?
d
Let g(q) be the first derivative of -q**4/4 + 7*q**3/3 - 9*q**2/2 + q + 2. Let r be g(6). Let c = -1060.4 + 1059.4. Which is smaller: r or c?
r
Let u be (-6517)/5985 + 2/10 + 1. Suppose 6*d = d + 20. Suppose 0 = 2*y - d*y. Is y greater than or equal to u?
False
Let h = 117 - 121.7. Let a = 33.7 + h. Let w = -29 + a. Is -1/6 >= w?
False
Let t = -23 + 21.9. Let l be ((-169)/(-39))/((-15)/261). Let p = -76 - l. Which is bigger: t or p?
p
Let p be 4/(-5)*370/(-4). Suppose -4*x - 2*h = p, 2*x - 5*h - 4 = -23. Suppose 84 = -12*q - 132. Is x smaller than q?
False
Let h = -243 + 786. Let m = h - 537. Which is smaller: m or -10?
-10
Let o be -4 + 2 + 82/1. Suppose -5*m + 48 = -3*z, 0*z + 3*m = 5*z + o. Which is bigger: -5 or z?
-5
Let q = -1659 + 1628. Is -30 <= q?
False
Let f = 29 - 48. Let u be -3 + f/(-7) - (-620)/2415. Let w = u + -65/138. Is -56 >= w?
False
Let k be ((-16)/5)/((-10)/25). Let t = k + -57. Let v be 3 + t/2 - 2/4. Is v < -21?
True
Let y(h) = -4*h**3 - 5*h**2 - h - 3. Let m(n) = -4*n**3 - 6*n**2 - n - 4. Let c(g) = 4*m(g) - 5*y(g). Let d be c(1). Let k be d/(830/492) + 17 + -20. Is 0 < k?
False
Suppose -8*u = 3*a - 211, 19*a - 83 = -3*u + 14*a. Suppose -3*b - 3*c = 3, 4*b - 5*c - 20 = -c. Suppose -b*p - 24 = -3*p. Which is greater: u or p?
u
Let s = 418 - 463.1. Let k = -37.7 - s. Which is greater: 2 or k?
k
Let a = 99/1514 - 2653221/10598. Let r = 250 + a. Is -1 smaller than r?
True
Let q = 0.01 - -107.99. Let s = 161 - q. Is s != -0.1?
True
Let o be 10/(-75)*-99*(-70)/21. Let q = -12.313 + 0.213. Let n = 12 + q. Is n > o?
True
Let x(m) = m**3 + 18*m**2 + 14*m + 9. Let s be x(-12). Let k = s - 21852/31. Let b = k + 78/155. Is 0 greater than or equal to b?
False
Let h = 664 + -1739. Let l = 1076 + h. Let p = 3.5 - -3.1. Which is smaller: l or p?
l
Let a = -102 + 151. Let f = 49.03 - a. Let j = -30 + 30. Which is smaller: f or j?
j
Let a be ((-6)/(-15))/(8/10). Let f be 2/(-7) - ((-327)/(-7) + -9). Let v be 1/(-5)*5/f. Is v at least a?
False
Let o = -6666 - -6664.0095. Let p = o + -0.0095. Is -0.51 <= p?
False
Suppose 29 = 3*r + 23. Suppose r*t = -3*j + 11*t + 111, -2*j + 54 = 4*t. Which is smaller: 34 or j?
j
Let o = 129 - 124. Suppose -5*b + 11 = -2*f + 3, -b + o = 3*f. Let g = 4371/110 + -198/5. Is g > f?
False
Suppose -3*q + 5*d = 13, 0 = -2*d - 3*d + 25. Let z be 1/1 - -135 - q/(-3). Let m = 61394/447 - z. Is m smaller than 0?
False
Let r = -35.942 + 0.342. Let c = 12.3 - r. Let i = c - 48. Which is smaller: i or 0?
i
Let a = -1812 - -1849. Which is bigger: a or 53?
53
Let r(l) be the second derivative of l**5/10 - 7*l**4/12 + 3*l**2 + 16*l. Let i be r(5). Which is bigger: i or 80?
i
Suppose -38 - 10 = 6*m. Let p be (35/10 + -2)/((-6)/(-16)). Suppose 18 = -2*d - p*d. Which is greater: d or m?
d
Let j = -2/73857 - -87446710/812427. Is 108 greater than j?
True
Let s(i) = -i**3 + 37*i**2 - 36*i + 9. Let p be s(36). Let f be 11/((-66)/p)*(-26)/66. Do 1 and f have different values?
True
Suppose -2*t + 0*t = 2. Let a(i) = -16*i - 11. Let q be a(t). Suppose 3*b = -7 - q. Is -2 greater than b?
True
Let u = 964 + -1325. Let x(w) = -361*w**2 - 2*w + 1. Let g be x(1). Which is greater: g or u?
u
Let i(b) = -b**3 - 4*b**2 - 4*b + 1. Let m be i(-3). Let s = m - 0. Suppose 3*f - 1 = 5*x - 3, -s*x + 8 = 4*f. Is f at least as big as -1/9?
True
Suppose -4*h + 2*p = 52, 5*h + 24 = 4*p - 47. Which is smaller: h or -318/31?
h
Suppose -140 = 42*t - 38*t. Let q = -29 - t. Suppose 0 = 4*r + q*r - r. Which is bigger: r or -2/111?
r
Suppose -56*h + 20*h + 96 - 60 = 0. Is h bigger than -2890?
True
Let g be ((-3597)/(-200))/(-3) - (-414)/69. Suppose -13*n + 4 = -9. Which is greater: g or n?
n
Suppose -45 = 9*a - 4*a. Let p be (-7)/21 + (-12)/a. Let f = 7 + -1. Which is greater: p or f?
f
Suppose 9*v - 10*v = 15. Suppose 5*s = 2*s - i - 88, 0 = -2*i - 8. Let h be ((-51)/(-68))/(v/s). Is h greater than or equal to 0?
True
Let k = 654259349/1751 - 373649. Which is smaller: k or 0?
k
Suppose -180 = d - 6*d. Let w = -64 + 98. Let o be w - (3/(-2) + 1). Is d >= o?
True
Let v be ((-4)/12)/(5/(-30)). Do -99.2 and v have the same value?
False
Let f be 33*1*(-3)/(-9). Let s(p) = 2*p + 1. Let z(r) = 9*r - 7. Let l(i) = 5*s(i) - z(i). Let g be l(f). Do g and 0.1 have different values?
True
Let i = 847/2 - 422. Does -54 = i?
False
Let u = -5/9336 - -173791/307070376. Which is greater: 1 or u?
1
Let i = -1824 + 1736. Which is greater: i or -93?
i
Let k = 454 + -455. Is k at least -2/6339?
False
Let a(x) = -4*x**2 + x. Let d be a(-1). Let q = -2847 - -2853. Which is bigger: d or q?
q
Let q = -708 - -1010. Are 304 and q nonequal?
True
Let t be (-93)/(-62) - 52/24. Let z = -1.98 + 2. Let c = -0.02 + z. Is t smaller than c?
True
Let f(o) = -o**3 + 30*o**2 - 3*o - 72. Let i be f(30). Suppose 0 = -8*y - 2*y - 1620. Is i less than y?
False
Let x(p) = -4*p**2 + p + 12. Let f(g) = -5*g**2 + g + 13. Let d(c) = -3*f(c) + 4*x(c). Let q be d(3). Suppose 0 = 8*a - q*a + 4*a. Is 5/14 at least as big as a?
True
Let n = 0.2939 - 11.2939. Which is smaller: 7.1 or n?
n
Let y be ((-8)/6)/((-50)/(-4935) + 0). Let g = -132 - y. Is -126 smaller than g?
True
Let t be (-698)/(-14) - (-2 + 26/14). Let v = t + 2. Suppose 5*h = -13 - v. Which is greater: -57/4 or h?
h
Let j = -1.186 - 1.014. Is j bigger than -224?
True
Let h(u) = -3*u + 1. Let c(f) = -1. Let w(g) = 6*c(g) - h(g). Let i be -2*(2 + -1)*-2. Let n be w(i). Is n less than or equal to 3?
False
Let b = -67 + 68. Let i be b/(-6) + (-68)/24 - 0. Let u be i/(3/9*-1*-3). Is u less than -26?
False
Let u be (-4)/(-10) + 4590/25. Suppose -4*o - 4*x - u = 0, -2*x = -3*o - 126 - 32. Let z(r) = -r**2 + 4*r + 27. Let v be z(11). Is v greater than or equal to o?
True
Let d be 15110/(-14) - 7 - (-10)/35. Let b = 875 + d. Is b equal to -212?
False
Suppose -j = 3*x - 47, -5*j + 215 = -x + 6*x. Let y = -21 + j. Is y != 18?
True
Let j = -7621 + 6745. Which is smaller: j or -874?
j
Let n = -42/157 + 15604/59503. Let h = n + 389/1895. Which is smaller: -108 or h?
-108
Let k = -1867 - -1853. Which is smaller: 24 or k?
k
Suppose 57*h + 170 = 47*h. Let v(w) = -w**3 - 16*w**2 + 21*w + 68. Let f be v(h). Let j = -54/29 + 1084/551. Is j smaller than f?
False
Let h = -381.05253 - -0.05253. Are h and -3/5 equal?
False
Let x = 1247 + -1246.9. Which is bigger: x or -1.8?
x
Let r(z) = -21*z**2 - z. Suppose -5*b + 2 = -4*b. Suppose -a + b*v = -5, 3*a + 6 + 0 = -v. Let t be r(a). Is -20 at least t?
True
Let j = 950 + -672. Suppose 8*g - 9*g + 3*y - 281 = 0, -g + 2*y - j = 0. Which is greater: -273 or g?
g
Let x = -23336