e (-1)/w + (-550)/264. Suppose 0 = -3*u - r - 9, -3*r - 3 = -u + 4. Are n and u unequal?
True
Suppose 4*k = d + 30, -3*d - 35*k - 60 = -32*k. Is d greater than -18?
False
Let k be -1 - (1 - 0 - 1). Suppose 3*d + d = 24. Let n be d/12 + 1/(-3). Is n smaller than k?
False
Let a be 11 - ((-344)/(-84) + (-10)/105). Let h = 10 - 1. Is h smaller than a?
False
Suppose 17*k = 25*k - 21*k. Which is smaller: k or 2/1657?
k
Suppose f + 3 + 13 = 0. Let z be 4 - (-4)/(f/20). Which is smaller: z or -3/11?
z
Suppose 2*k + 33 = -4*x + 5*k, 0 = -3*k - 3. Do x and 40 have the same value?
False
Let a be ((-17)/(510/36))/(-32). Is a at most as big as 0?
False
Let l(a) be the first derivative of -3*a**3 - 3*a**2/2 + 3*a + 24. Let s be l(2). Do -39 and s have different values?
False
Let g(m) = 15*m**2 + 14*m + 2. Let a be g(-2). Is -7 less than or equal to a?
True
Let n(x) = 3*x**2 - 8*x + 2. Let k(c) = c**2 - 4*c + 1. Let a(i) = 5*k(i) - 2*n(i). Let f be a(-6). Let t = 11 + f. Is 3 greater than or equal to t?
True
Suppose -4*x - 4*g - 120 = 276, -299 = 3*x + 4*g. Which is bigger: -94 or x?
-94
Let r = 21677/1924 - 8/481. Which is bigger: 11 or r?
r
Let k = -0.0028 + -47.3972. Let j = k + 47. Which is bigger: -5 or j?
j
Suppose 4*j + o + 30 - 1 = 0, -j + o = 6. Is -96/13 less than j?
True
Let c = -536/5 - -1688/15. Suppose d + 25 = 6*d. Is d less than or equal to c?
True
Let i = 102 + -101. Do -121 and i have the same value?
False
Suppose -3*i = -2*q - 136, -4*q = -0*i + 2*i + 256. Let n be 1 - ((-60)/q - 0). Is 6 >= n?
True
Let d(x) be the first derivative of x**3/3 + 3*x**2/2 + 9. Let u be d(-4). Let p = 18 + -14. Is p > u?
False
Let i(r) = -r**3 - 11*r**2 - 23*r + 7. Let u be i(-8). Which is smaller: u or -6/89?
u
Let u = 224 - 153. Let i = 76 - u. Which is smaller: -2/7 or i?
-2/7
Let b be 2/(-2)*69/1. Which is greater: b or -419/6?
b
Let b = 11/170 - 9/34. Let x = 1 + -2/3. Does b = x?
False
Let a = 1914 - 1953. Which is smaller: -1 or a?
a
Let a = -87 + 91. Suppose 5*q = -m - 10, -q + 2*m + 13 = a. Is q greater than or equal to 72?
False
Suppose 45 = -103*j + 106*j. Let d be (j/(-880))/(2/8). Which is smaller: d or 0?
d
Let l = -2.8 - -2.657. Let p = 0.243 + l. Let w = -6 + 11. Which is greater: w or p?
w
Let v = -0.2 + 0.3. Let p(j) = j**3 - 8*j**2 + 12*j + 2. Let s be p(6). Suppose -n = s*n - 18. Which is bigger: v or n?
n
Suppose 4*k + 0*c + 36 = 3*c, -4*k = 2*c + 56. Suppose 0 = 7*r + 56*r + 693. Which is smaller: r or k?
k
Suppose 0*l = -l. Suppose 0 = 4*q - 0 + 16. Let k be -4 + 80*q*3/(-216). Are l and k equal?
False
Let i = -0.3 + -0.2. Let y(o) = -o**2 - 182*o + 934. Let b be y(5). Which is bigger: b or i?
i
Let w be (-6)/(-2) - 1323/1372. Which is smaller: w or 3?
w
Suppose 5*x - 62*x + 19551 = 0. Which is greater: 341 or x?
x
Let o = 27 - 27. Suppose -2*p = -5*l + 22, -4*p - l = -o*p. Is p less than or equal to -2/65?
True
Suppose -2*c = 4*c - 282. Suppose -m = -s + 3*s + 58, -s - c = 5*m. Is s smaller than -26?
True
Suppose 595*x - 601*x = -192. Do 32 and x have different values?
False
Suppose -5 = -5*a - 0*a. Suppose 5*o + 48 = -4*v, 0 = v + 4*o + a. Is v at least -17?
True
Let w = 1002.1 - 1002. Is w at most -805?
False
Let n(h) = -23*h + 2. Let a be n(-1). Suppose c = 4*u - 79, 0 = u + 5*c - 3*c - 31. Suppose 40 = -u*k + a*k. Is 10 bigger than k?
False
Suppose 0 = -4*t + 14*t + 390. Do t and -1/3 have different values?
True
Let w = 270 + -273. Which is greater: 98 or w?
98
Let z be (0 - -2)*3367/74. Are z and 94 equal?
False
Let s(g) = 5*g**2 + 2*g - 4. Let p be s(0). Are p and -97 non-equal?
True
Let g = -0.43 - 29.47. Let w = 30 + g. Let d be 61/85 + (-6)/10. Is w bigger than d?
False
Let z = -28 + 31. Let q be 84/8 - (-1)/(-2). Suppose -5*h = -z*h + q. Which is bigger: -4 or h?
-4
Suppose 24 = 8*p - 0*p. Suppose 0 = 2*z - 5*z + 141. Suppose -3*t + 11 - z = 5*n, -p = -t. Is -9 at least n?
True
Let m = -445/27 - 290/27. Let x = -83/3 - m. Is 1 less than x?
False
Let n = -10.3 + -0.7. Let f = -52.1 + 52. Is n at least f?
False
Let w be ((-1080)/110 + 10)/(-3). Let m(j) = j**2 + 5*j - 5. Let n be m(-6). Is n > w?
True
Let b = 15 + -99. Let a = 73 + b. Which is smaller: -2 or a?
a
Let l be 4738/276 + -1 + -15. Suppose 4 + 1 = -2*r + 5*z, z - 1 = -2*r. Let q be (r + 2)/(1/1). Is l != q?
True
Let u be (-6)/(-3)*(-9)/(-6). Suppose -u*a + 2 = -7. Suppose -a*l + 5 = -1. Is l bigger than 1?
True
Let j(v) = v**3 - 10*v - 6. Let w be j(-5). Is -77 not equal to w?
True
Let c = -43 - -66.3. Let s = 22 - c. Let x = -1.3 - s. Which is bigger: 1 or x?
1
Let r = 42.65 - 0.65. Let q = r + -43. Which is smaller: -2 or q?
-2
Let u = -0.05 + -0.23. Let w = u + -0.12. Is -0.2 less than w?
False
Let v(b) = 12*b**2 - 13*b - 28. Let c be v(7). Do c and 469 have the same value?
True
Let i be ((-1762)/3171)/(-2) + 10/(-15). Let s = -6/151 + i. Suppose 3 = -2*r + 5*l + 1, -3 = 3*r - l. Which is greater: s or r?
s
Let a be 12*(0 - (-2 - -12)). Let f be (-7)/(-2)*a/(-140). Let g be f/(-36) - 6/(-18). Is g < 1?
True
Let b = -56 - -57. Let v = 0.7 + -0.2. Let o = 0.5 + v. Is o <= b?
True
Suppose 0 = -5*i - 15. Is -3 not equal to i?
False
Let n = -74 - -71. Let w be n/4 + (-4)/16. Is 3/49 not equal to w?
True
Let k = -4423/123 - -12/41. Let v = k - -36. Which is smaller: 0.2 or v?
0.2
Let a(c) = 3*c**2 - 1. Let i be a(1). Suppose 0 = i*y - y. Suppose y*x + 5*x = 0. Which is smaller: -4/3 or x?
-4/3
Let l(a) be the second derivative of a**5/20 - 5*a**4/4 + 5*a**3/2 - 15*a**2/2 - 73*a. Suppose -4*b + 88 = 32. Let f be l(b). Which is greater: f or 2/47?
2/47
Suppose j - 39 = 6. Suppose -141*u + 4652 = -1834. Which is greater: u or j?
u
Let k = 5/42 - -65/42. Is k <= 17?
True
Suppose 2*g + 4*x = 12, -10*x - 6 = 3*g - 12*x. Are -19 and g unequal?
True
Suppose -4*x + 3*y + 19 = 0, 4*x + 0*y + 11 = -3*y. Which is bigger: x or -9/116?
x
Suppose 2*u = 4*p - 18 - 0, 3*p - u = 16. Suppose p*d - 39 = 8*d. Is d smaller than -37?
True
Let m = -31.7 + -2.3. Let n = m - -16. Let q = n + 16.4. Is -2/7 greater than or equal to q?
True
Let p = 0.054 - -43.946. Let a = -43 + p. Is a bigger than -35?
True
Let r = 61.2 - 133.2. Is r greater than or equal to 3/2?
False
Let l be 2/(-15) + 3672/26325. Does -1 = l?
False
Suppose -j = -2*j - 1. Let z = -21.052 + 0.052. Let w = -27 - z. Does w = j?
False
Let l(s) = -s**3 + 5*s**2 - s + 3. Let x be l(5). Let z be (-7 - 2) + -1*2. Let m = 9 + z. Are x and m equal?
True
Let j = -9841306023/637 + 15449441. Let s = j + 246/13. Which is greater: 1 or s?
1
Let u(x) = 4*x + 1. Let p(m) = 13*m + 3. Let h(v) = -2*p(v) + 7*u(v). Let b be h(1). Suppose -6*g + b*g = 18. Are g and -5 nonequal?
True
Suppose 0 = -6*u + 37 + 41. Suppose 5*p - u + 8 = 0. Which is smaller: p or 5/16?
5/16
Let p(b) = -b - 5. Let o be p(0). Suppose 5*x = x - 88. Let u be x/4 + (-14)/28. Is o equal to u?
False
Let k be 46380/(-9)*(-36)/(-4092). Let x = 498/11 + k. Is x bigger than 0?
False
Let o(m) = 4*m. Suppose -q - 2 + 3 = 0. Let l be o(q). Is l bigger than 5?
False
Suppose 4*i + 68 = -4*s, 0 = 2*s + 10. Let a = 0.94 - 0.986. Let n = a + 0.146. Is i at most as big as n?
True
Let i be (4*(-4)/(-40))/((-3)/(-60)). Let p be 7*(0 + i/14) + -4. Which is smaller: -3/7 or p?
-3/7
Let n(d) = d - 1. Let o be n(3). Let x = -365 + 373. Which is bigger: x or o?
x
Let v = -0.1697 - -0.0697. Is v not equal to 1.5?
True
Let x = -39 + 38. Let c = -84 - -81. Which is smaller: c or x?
c
Let w be (-10)/4*708/(-15). Let k = -2624.9 - -2625. Which is bigger: w or k?
w
Suppose 268 - 368 = -4*q. Suppose 0 = -24*v + q*v. Which is bigger: -1/98 or v?
v
Let v be (-692)/(-136) - 5 - 2/17. Which is smaller: v or 0.1?
v
Let p = 1686.9 - 1687. Suppose -2*k + 3 = 51. Is k at most as big as p?
True
Let m(r) = r**3 + 8*r**2 + 12*r + 3. Let g be m(-6). Suppose -g*b - 4 = -b. Let h be 50/(-88) - (-4)/(-22). Which is smaller: h or b?
b
Let m be (2/(-5))/((-1)/(-5)). Let k = -11413/7 - -1630. Which is smaller: m or k?
m
Let n be 0 + -9 + (-2 - 1 - 2). Which is smaller: n or -261/17?
-261/17
Let c be 8 + (-11)/143*113. Let d = 4 - 5. Is c >= d?
True
Suppose 0 = 5*h - 92 - 3. Suppose 0 = 4*k - 2*k + 4. Let c(n) = -2*n**3 + 2*n**2 + 4*n + 2. Let p be c(k). Are p and h unequal?
True
Suppose 3*y + 50 = -25. Let c be 1/y*(1 +