= 3*h. Do 4 and h have the same value?
False
Suppose 4*w + 39*w - 468571 = 0. Which is bigger: 10896 or w?
w
Let z be (1 - (-1052394)/210478) + (-299 - -293). Which is smaller: -1 or z?
-1
Let a(y) = 8*y**2 - 7*y + 144. Let f be a(-19). Is f <= -1?
False
Suppose 1806 + 354 = -60*w. Suppose -2*p = -151 - 89. Suppose 0 = -5*m - p - 55. Which is bigger: w or m?
m
Let p(z) be the third derivative of 1/24*z**4 + 7/6*z**3 + 0 + 0*z - z**2. Let k be p(-9). Which is bigger: -7 or k?
k
Suppose -g - 12 = -0*g + 2. Suppose 90 = -5*d - 5*a, 12 = -4*a - 0. Does g = d?
False
Let q(a) = 12 - 8*a + 9*a**2 + 2*a**3 - a**3 - 16*a**2. Let u be q(8). Suppose u = -3*h + 3. Is h > -4?
True
Let m = -211 + 211.007. Let q = 0.063 + m. Is q at least as big as 10/7?
False
Let h be 302/(-1057) + (-3)/(-1449)*-1241. Is h at most as big as -3?
False
Let p = -87.396 + 88. Let g = p - 201.604. Is -1 less than g?
False
Suppose -2*m = 2, -3*m - 3351 = -22*q + 18*q. Let j = q - 195857/234. Which is smaller: j or 1?
j
Let v(m) = -250*m - 2282. Let i be v(-27). Which is smaller: 4469 or i?
i
Let c(r) = -r**3 - 4*r**2 + 17*r + 8. Let s be c(-7). Suppose -4*o = -40 + s. Is o bigger than 2/15?
True
Let j = 382.4315 + -1.4315. Are 6 and j equal?
False
Let b = -6847 + 6868.992. Let c = 22.1 - b. Is 2/7 <= c?
False
Let s be ((-10)/24)/(300/(-48)). Let r(m) = m**2 - 4. Let y be r(-3). Suppose -4 + y = -p. Which is smaller: p or s?
p
Let m = 49959701/2223 + -22474. Is m bigger than 0?
False
Let t = -6 + 6. Let u be (9/(-6))/((-3)/(-60)*-6). Suppose t = 5*c - 6*c + u. Are c and 4 non-equal?
True
Suppose -3*s - 4 = -d, d + 0 = s + 4. Let f(x) = 8*x - 25. Let n be f(d). Suppose n*z + 14 = 7. Which is smaller: z or -4/53?
z
Let o(n) = -3*n**3 + 3*n**2 + 5*n + 9. Let w(v) = -4*v**3 + 5*v**2 + 5*v + 8. Let q(s) = 5*o(s) - 4*w(s). Let h be q(4). Which is bigger: h or 13?
h
Let j = 654.4 + -873. Let f = j + 218. Are 7 and f unequal?
True
Let g = -13181 + 10786. Which is smaller: -0.1 or g?
g
Let s be 77/(-308)*(0 + 4). Is s <= -2/907?
True
Suppose -154329 + 35483 = 182*d. Do d and -656 have the same value?
False
Let h = 21084/13 - 1410561/871. Is 3 at most h?
False
Let p be (2/(-26 - -27))/(282/(-73)). Is p at least -1?
True
Let n be (-4396)/12 + (-7)/(-21). Let g = n - -5127/14. Let j be 2/4*(0 - -1). Do g and j have the same value?
False
Suppose -2*r = -c - 2, -106 = -c - 100. Which is greater: 212/45 or r?
212/45
Let v be (55 - 47) + (-16959)/39 + (-2)/13. Which is smaller: v or -420?
v
Let s = 2642 + -84551/32. Let o = -673200 + 673200. Which is smaller: o or s?
s
Let i = 0.2 - 6.2. Let c = -6.88 - 0.12. Let b = c - i. Which is bigger: b or 38?
38
Suppose 4285 = 16*u + 80*u - 2915. Is u > 8?
True
Suppose -6 = -3*l, -2*u - l + 82 = -0*l. Let x = -39 + u. Which is smaller: -12/29 or x?
-12/29
Suppose 0 = 3*r - 4*r + 4*n - 4, 2*r = -4*n + 16. Suppose u + 2 - 3 = x, -u = r*x - 1. Which is bigger: -2/3 or x?
x
Let m = 64 + -63. Let i be (44/(-880))/(8/30). Which is greater: m or i?
m
Suppose 0 = 20*d - 50 + 330. Is d at most -129?
False
Let c = -6.23 - -5.732. Let y = -45.602 + c. Let a = 46 + y. Which is smaller: a or -2.5?
-2.5
Let r(d) = -202*d**3 - d**2 - 1. Let w be r(-1). Let c = 92 - w. Is -109 > c?
False
Let n(m) = -m**3 - 3*m**2 - 13*m - 10. Let r be n(-6). Let y be ((-22)/r - 3/(-8))*-4. Which is greater: -3/115 or y?
-3/115
Let w = -79 + 40. Let c = w + 38. Let u = -35 - -35.05. Which is smaller: u or c?
c
Suppose 0 = 5*t + j + 1, 4*j + 21 = -26*t + 23*t. Is t > -20/467?
True
Let b(p) = -p**3 + 5*p**2 + 4*p - 6. Let o be b(6). Let a be (26*(-28)/4368)/((-2)/24). Which is bigger: o or a?
a
Suppose -3*u = -6*u + 108. Suppose -198 = -2*m + 8*m. Let s = m + 69. Is u not equal to s?
False
Let z = 18592 + -17972. Is 616 < z?
True
Let m(s) = s**3 - 7*s**2 - s + 8. Let q be m(7). Let f be (-198)/11*2/(-6)*q. Let r(t) = -t**3 + 8*t**2 - 14*t - 5. Let b be r(f). Which is smaller: -15 or b?
b
Let v be 10/35 - 136/(-14). Let w = v - 7. Which is bigger: w or 20/9?
w
Let n be (84/42)/((-68)/376). Which is greater: -10 or n?
-10
Let x = -14.984 - -14.954. Which is smaller: 128 or x?
x
Let m = -379 + 221. Let t = m + 157.9. Is t equal to 602?
False
Let x be 6 + (-10)/(-5)*(-5)/5. Let l = 525 - 5207/10. Which is greater: l or x?
l
Let f = 163 + -95. Suppose 5*n + 4*p - 88 = 0, -4*n - 75*p + 73*p + f = 0. Suppose 9 = h - 3*u, 0*u + 77 = 5*h + u. Is h equal to n?
False
Suppose -97*f - 151*f = -179*f + 69. Let q be (-3)/(-12) - (-106)/(-104). Is q at least f?
True
Suppose 20 = 13*f - 18*f + 3*k, 2*f - 18 = -4*k. Which is smaller: -1/4378 or f?
f
Let v = 13 - 29. Let g = 1163 - 1123. Let x = v + g. Which is smaller: x or 25?
x
Let w = -139 - -143. Suppose 3*i + i + 8 = -w*t, -5*t + 5*i = 0. Let b be ((-21)/595)/((-2)/10). Is b >= t?
True
Suppose 17*v = 6*v + 55. Suppose -v*z - 206 = 1624. Let h = 5488/15 + z. Is 2/5 equal to h?
False
Let x(r) = -3*r**2 - 92*r + 94. Let w be x(1). Which is smaller: 2/921 or w?
w
Let q = -0.45 - -0.4. Let a = 0.084 + q. Let r = -0.066 - a. Do 2.4 and r have different values?
True
Suppose -5*l - m = -4, l - 175*m + 20 = -170*m. Which is bigger: l or 30/1519?
30/1519
Let j = -35804/3 + 11935. Is j at most as big as -1714?
False
Suppose -3*d + 2040 = 315. Suppose 0 = -2*b + 539 - d. Are -21 and b nonequal?
True
Let c be (60/20)/(1/57). Suppose -c*j + 175*j = -308. Which is smaller: j or -227/3?
j
Let r = -131145/97 - -1352. Let z be ((-48)/12)/((-4)/69*3). Let m = -24 + z. Is r greater than or equal to m?
True
Let n = -1.4022 - 4.5978. Which is greater: 1/106 or n?
1/106
Let w be 18*877243/5160 + 14/(-10). Does w = 3059?
False
Let b = -0.0981 - 0.7449. Is b != 0.3?
True
Suppose -5*s + 10*s - 185 = 0. Let z = -57 + s. Let v = -10 - z. Which is smaller: 11 or v?
v
Let d = 107 + -40. Let b = d - 97. Let t = -21 - b. Is t less than -0.2?
False
Let z be (-14 + 25)*(-8)/(-2). Is z equal to 73?
False
Let c = 14380 - 14409. Let q be (-10)/4*(-2)/5. Let r be q*(0 + 1)*0. Does r = c?
False
Let g = -154 - -155. Suppose -5*b - 5*l + 5 = 0, 28 = -b + 5*l + 5. Let u be 4 - (b/2)/(g/(-2)). Which is greater: u or -0.059?
u
Let m(a) = -16*a + 527. Let t be m(33). Which is smaller: 1/5791 or t?
t
Suppose 4*p + 36 = 20, 0 = 2*q + 3*p + 156. Let c = -20 - q. Is 51 != c?
True
Let b = -9085 - -9335. Is b < 22?
False
Let r = -4980.7 - -4370. Let y = -611 - r. Is -18.2 <= y?
True
Suppose -7*n - 7 = -70. Suppose -40 = -5*h + 4*i, n + 31 = 5*h + 2*i. Suppose -3*y + 5*g + 26 = 0, g - 4*g - h = 2*y. Which is smaller: 13 or y?
y
Suppose -64*y - 11*y = -14*y. Is -93/97 > y?
False
Let h be 62256/(-160) + (-6)/(-60). Is h <= -389?
True
Suppose -4*k - 808 + 4436 = 0. Let b = k - 11797/13. Let l(n) = 2*n**3 + 119*n**2 - 67*n - 419. Let d be l(-60). Is b equal to d?
False
Let l = -63 - 7. Let w be 60/l*(46/(-6) + 3). Let d be 2 - (-1 + 1 - 0). Is w at least as big as d?
True
Let c = -649 + 650. Is 2/45919 greater than or equal to c?
False
Let l = -27226/765 + -8/765. Let h = 187/5 + l. Let j = -23/10 + h. Which is bigger: 3 or j?
3
Suppose 66 = 3*c - 3*r - 729, -c + 4*r = -262. Suppose 13*w - 46 = c. Is 21 bigger than w?
False
Let u = 325 - 993. Let x = u + 669. Let s be (-1)/20*-3*1. Is s smaller than x?
True
Let o be (-588)/5*90/(-36). Which is smaller: o or 303?
o
Let d = 407202 + -2603649583/6394. Which is bigger: 1 or d?
1
Let p be ((-9)/42)/(-5 + 8*174/336). Which is greater: p or -9/79?
p
Suppose -19602 = -216*c - 6603 + 11625. Let f be (-2 + 0)*113/(-2). Which is greater: f or c?
c
Let y be 6*(-5)/(-10) + 2. Let f(g) = g - 3. Let j be f(y). Let s be (1 - (-111)/(-21)) + (6 - j). Which is smaller: s or -41?
-41
Suppose -10*h = -6*h - 4*x - 20, -5 = 3*h + 2*x. Let q be 2/h*-3*1/(-6). Which is greater: q or 3/13?
q
Let n(f) = 51*f**2 + 99*f + 4. Let l be n(-2). Let q be 1/2 + (-65)/(-8). Do l and q have different values?
True
Let z = 55 - 50. Suppose 0 = c - z*c + c. Suppose -4*v - 3*m - 109 = c, 4*v = -v + 5*m - 110. Is v > -25?
False
Suppose -w + 204 = -5*g - 5*w, -5*g - 5*w = 200. Let a(m) = m**3 + 8*m**2 + 18*m - 8. Let o be a(-6). Let v = o - g. Are -14/13 and v equal?
False
Let z = 26930/129 + -626/3. Let g = z - -31/129. Let p be (2/(-4))/(1/4). Which is smaller: g or p?
p
Let c = 10577/8 + -133