-r = p*m - 5*m - 10. Is r at least d?
False
Let m = 0.05 + -0.34. Let n = 12.91 - 13. Let w = n - m. Which is bigger: 2/5 or w?
2/5
Let z = -47 - -107. Let u be ((-10)/z)/(3/(-6) - 1). Is -1 != u?
True
Suppose 3*z + 1 - 7 = 0. Suppose -33 = -5*i + 3*f, -12 - z = -3*i - 4*f. Let l be i/(-2 + 1) + -1. Which is bigger: -6 or l?
-6
Let t be 6 + 15*40/(-96). Is t at least -208/3?
True
Let p = 14.264 - 14.5. Let f = -0.086 - p. Is 4/7 equal to f?
False
Let k be ((-5)/((-15)/(-3)))/((-1)/3). Let z be (1/(-2))/(k/6). Which is smaller: 1/84 or z?
z
Let j = 4 + -12. Let p = j + 8. Let o = 0.2 - p. Which is smaller: 0 or o?
0
Suppose 0 = -3*u - 2657 + 2654. Is -6/401 smaller than u?
False
Let y be (-206)/(-8) + (-20)/(-80). Let d = 20 - y. Which is bigger: d or -7?
d
Let z be (2 + -10)*6/(-4). Let c = z + -21. Is c < -9?
False
Let f = 29 - 14. Let t = f - 14.9. Let l = -0.08 - -0.06. Which is smaller: l or t?
l
Suppose -110*m - 780 = -116*m. Do m and 129 have different values?
True
Suppose 0*y - 10 = 5*y, -53 = -3*b - 2*y. Let d be (-6)/(-4)*b/(-3). Do -11 and d have different values?
True
Let l = -54 + 30. Let z = 42 + l. Does 18 = z?
True
Let m = -73 - -72.972. Let h = 12.972 - m. Which is bigger: 1/2 or h?
h
Let o be (-143)/(-9) + (-22)/99. Let s = o + -335/21. Which is smaller: -16 or s?
-16
Suppose -2*x - 3*b + 7 = 69, 5*x = -5*b - 145. Let g = 44 + x. Suppose 3*u + g - 28 = 0. Which is greater: u or 4?
4
Let o = -797/4218 - -10/57. Suppose f = 2*f. Which is bigger: f or o?
f
Suppose -5*y = 2*t + 1275377 + 23598, -2*t + 519604 = -2*y. Let k = y + 45464317/175. Let l = k + -6/25. Is 1 at most l?
False
Let p = -42 + 48. Is p smaller than -5?
False
Suppose -2*s = -c - 4, 0 = c + 4*s + 7 + 3. Let u be ((-266)/19)/((-4)/c). Which is bigger: u or -41/2?
-41/2
Let h(g) = 2*g**2 + 15*g + 5. Let i be h(-7). Let c be (i/(-4))/(3/(-132)). Are c and -22 non-equal?
False
Let p = 0.96 + -8.96. Which is smaller: 0.06 or p?
p
Suppose -54*c = 47 - 4529. Which is bigger: 81 or c?
c
Let z(h) = -35*h - 276. Let d be z(-7). Which is greater: d or 5?
5
Let s(v) = -v**3 - 7*v**2 - 6*v - 2. Let q be s(-6). Let r be (12/600)/(1/q). Is 0 <= r?
False
Let w(r) = 10 - r - r + 2*r - r. Let a be w(10). Let j be (-14)/(-8) + -3 + 2. Which is smaller: a or j?
a
Suppose 7*r - 247 = -65. Is 25 != r?
True
Suppose -5*t - 65 = -4*a, -4*t + 4*a - 61 = -a. Suppose -6 = 2*d + 2. Is d > t?
True
Suppose 9*g = 11*g - 2. Let h be (-5 + g - 2)*(-1)/(-4). Do -1 and h have different values?
True
Let m = 0.1856 - 0.2056. Which is greater: -2/237 or m?
-2/237
Suppose -10*l = -12*l - 10. Is -3/8 not equal to l?
True
Let a be (5/(-4140)*-18)/(1/19). Which is bigger: 0 or a?
a
Let u be 2/375*1/((-14)/21). Are u and -1 unequal?
True
Let n(a) = -a**3 + 3*a**2 - 3*a. Let q be n(2). Let m = 8 - -47. Let s = -55 + m. Is q >= s?
False
Suppose 0*n + 5*f = -5*n, -5*n - 2*f = -6. Suppose k + 92 = -5*q - n*k, -2*q - 3*k - 35 = 0. Let r = -20 - q. Which is smaller: r or 2/65?
r
Let c = -11285/102378 - -34/339. Which is smaller: 1 or c?
c
Let l = 1070.2 - 1070. Which is greater: l or -91?
l
Suppose u + 45 = -4*q, -3*q + 2*q + u - 10 = 0. Suppose 4 = 5*k - 21, 50 = -5*t - 4*k. Let s = q - t. Is 3 greater than or equal to s?
True
Let h = 393.1 + -430. Let k = 37 + h. Which is smaller: -6.5 or k?
-6.5
Suppose 0 = 5*h - 100 + 565. Let k = h + 49. Let g = -175/4 - k. Is 13/4 less than or equal to g?
False
Suppose -2 = 4*m + 2. Let t = 65 + -57. Suppose -4*y - t = z + z, 8 = -4*y + z. Is y at most m?
True
Let b be ((-36)/48 - -1) + (-11)/60. Let f = 0.6 + -1.4. Let k = f + -0.2. Is b bigger than k?
True
Suppose 6*m - 101 = 19. Let c be (3 + 1)*(2 - 45/m). Let f be 2/(-1 + -25 - 1). Do f and c have different values?
True
Suppose 5*a + 4*s = 45, -a - 4*a + 40 = 5*s. Let b be 6/3 + 1/(-1). Let x = b - a. Which is bigger: x or -14?
x
Let d(i) = -47*i - 364. Let h be d(4). Is h >= -553?
True
Let j = -47 + 47. Suppose 15 = 3*t, j*t = -4*q - 2*t - 66. Are q and -17 equal?
False
Let x = 9 - 7. Suppose -s = 2*v - 13, x*s - 6*v + 4*v - 50 = 0. Let y be -4 + 2 + s/10. Is 0 <= y?
True
Let a(v) = -v**3 + 3*v**2 + 10*v - 19. Let p be a(4). Let k(j) = -3*j. Let c = 2 - 3. Let m be k(c). Which is smaller: m or p?
m
Let b be (4/(-6))/((-37)/111). Suppose 2*m + 3*m = -3*k + 22, 0 = b*k - 5*m + 27. Suppose 5 + 2 = 3*n + 2*z, -2*n = -5*z - 30. Do k and n have the same value?
False
Let x be 12 - 12 - (1 + -1). Is 3/22 greater than x?
True
Let s = -217/4 - -1523/28. Is s greater than -38?
True
Let o be 2/7 + -2*18/(-21). Let t = 22 + -20. Let p be t/(-7 - -3)*o. Which is smaller: p or -10/9?
-10/9
Let t be 5*(-4)/10*-3. Suppose -5*u - 22 - 8 = 0. Let b be 4/u*3/(-1). Do b and t have the same value?
False
Suppose 4*c = 3*c + 1. Let h = -1691.5 + 1696. Which is smaller: h or c?
c
Let h = -1421 + 1146. Which is smaller: h or 0.03?
h
Let o = -2/323 + -10310/4199. Which is smaller: o or -2?
o
Let g = 459 - 649. Is -189 less than g?
False
Suppose 3*c + 26 = -4*h, -4*h + 6*h + 2*c = -12. Is 24 at most as big as h?
False
Let w = 707 - 707. Which is smaller: w or 12/47?
w
Let q be (-44)/(-2) - (0 - -1). Let s = q + -17. Is 7 less than s?
False
Suppose -3*c + 1346 = -7*c - 2*j, 0 = -3*c - 5*j - 999. Is -339 equal to c?
False
Suppose 2*p = 3 - 5. Let q = -1395 - -23705/17. Which is greater: q or p?
q
Suppose -4 = -3*m - 1. Let q be m/1*(-11 - -12). Let p(c) = 2*c - 2. Let s be p(q). Which is smaller: s or 2/5?
s
Suppose 3*g - y = -0*g + 148, 2*g - 127 = -5*y. Let j(a) = -50*a**3 - a**2 + 2. Let w be j(-1). Is g >= w?
True
Let j = -76 + 79. Suppose -j*p - 5 = 2*y, p + 3 = -0*p - y. Which is smaller: -1/230 or p?
-1/230
Suppose -2*z + 5*i - 8 = 9, 3*i = z + 9. Let s be (-4 - (-18)/4)*z. Are s and 3 equal?
False
Let w(j) = j**2 - 12*j + 10. Let y = 0 - -3. Suppose -2*g + 42 - 15 = 3*x, y*g + x = 37. Let d be w(g). Is 11 less than d?
False
Let x = 3161 - 989394/313. Is 1 less than or equal to x?
False
Suppose -4*c = 46 + 10. Let q = 36 + -51. Is c less than q?
False
Suppose -3*d - 5*h + 22 = 0, 26 = -0*d - d + 5*h. Let n be d*(5 + -2) - -1. Is -24/7 equal to n?
False
Let m = 76 - 131. Let h = m - -49. Is h greater than -3?
False
Let a = -2 + -4. Is 0.6 bigger than a?
True
Let w = -0.39 - 0.71. Do -4/9 and w have the same value?
False
Let t(p) = -p - 3. Let x be t(-1). Let b be x/5 - (-36)/(-10). Suppose r + a - 5 = 0, 5*r - a = -0*a + 1. Are r and b unequal?
True
Let x(k) be the third derivative of -k**4/12 - 5*k**3/3 + 6*k**2. Let s be x(-7). Suppose 2*q + 1 = 5*j + 3, -s*q + 4 = 3*j. Which is smaller: j or -1?
-1
Let i = -59 + 59.65. Let x = i + -0.85. Which is smaller: 21 or x?
x
Let v be 10/16*2 - (-11 + 12). Which is bigger: -70 or v?
v
Let h = -0.5 + -5.5. Let d = h - -3. Let t = d - 6. Which is smaller: -0.1 or t?
t
Let r = -1.222 + 1.122. Is r greater than 68/5?
False
Let r = 1 - 4. Let j = -546/271 + 15281/25474. Let n = j - 4/47. Do r and n have different values?
True
Suppose -2*j - 386 = 3*c, -8*j = -11*j - 5*c - 581. Is j less than -189?
False
Let c(t) = t**3 + 2*t**2 - 2*t - 2. Let x be c(-2). Suppose 5*y = -x*r + 3*y - 32, y = -5*r - 60. Let j(v) = 3*v + 3. Let f be j(-5). Which is greater: f or r?
r
Let o be (-2366)/390 - 2/(-5). Let j(s) = -s**3 - 5*s**2 + 6*s - 5. Let n be j(-6). Which is greater: o or n?
n
Let i be (-34)/68 + -2 + 18/4. Suppose 3*z - 20 = -5*j - i*z, 0 = -j + 4*z + 19. Let l = -2 + 10. Are j and l non-equal?
True
Let a be 3*6/45 - (-137)/(-5). Let l = a - -23. Suppose j - 3*j - 6 = 0. Is l < j?
True
Let k be 1/(-2)*(-5 - -1). Let i be (-75)/(-21) + (-4)/7. Suppose -j - i = -4*j. Which is smaller: k or j?
j
Suppose 11 = 4*s - 3*a, 4*a - 2 = -2*s + 2*a. Let v be (2 + -4)*s/4. Let q = -32/275 + 2/55. Are q and v unequal?
True
Let n(y) = y**2 - 9*y + 7. Let p be n(8). Let f be (4/125)/((-99)/(-990)). Which is smaller: p or f?
p
Let y(n) = -n**3 + 3*n**2 + 19*n - 65. Let z be y(4). Let f = -1 - -4. Let s = f - 2.7. Which is smaller: z or s?
z
Suppose b - 142 = 176. Let s be (-2)/17 - b/(-102). Let g be 52/16 + (0 - s). Are g and -4/7 unequal?
True
Let u = -71 - -126. Let v = u + -43. Which is bigger: v or 14?
14
Suppose 2*d = 4 + 6. Suppose -5*v = -d*s, 2*s - 1 = -v + 2. Let i be 9*v + 8 + -11. Which is smaller: 5 or i?
