/360*12 + 2/(-10). Are -2 and j equal?
False
Let m = 119/6 - -1973/3. Is 678 <= m?
False
Let n = 2/5263 - -447343/31578. Which is greater: -1 or n?
n
Let x be 495/105 - 1 - (5 - 1). Is -2017 at least x?
False
Suppose 5*h - 40 = 5*r, 50*r - 4 = 49*r + 4*h. Suppose -5*l + 7 + 8 = 0. Is r <= l?
True
Let u = -61 + 64. Let q be 1/u - (-3475)/(-30). Let l = q - -1845/16. Is -1 != l?
True
Let t(b) = -29*b - 31. Let k be (-1)/(1*(-1)/5). Let z be t(k). Let d = z - -1938/11. Is 0.01 greater than d?
False
Let w = -2604 - -10387/4. Is w at most as big as -2/19?
True
Let f = 2505/13 - 2614/39. Let i = 126 - f. Is i not equal to 32?
True
Let c = -94 + 86. Let z be ((-55)/11)/(32/44). Which is smaller: c or z?
c
Suppose 148*h - 19*h + 94 = -35. Which is smaller: h or -2/1143?
h
Let n be (1 + 0/8)*(2 + -1). Are 3/419 and n equal?
False
Let b be ((-192)/90)/((-47)/3243). Are -2/11 and b nonequal?
True
Let p = 5/15122 - 45668475/105854. Are p and -431 non-equal?
True
Let u be (-2 + 1)*-1*-1. Let r be ((-24)/(-11))/u - 6/(-33). Let t be 14*10/35 - (r - -1). Which is smaller: t or 4?
4
Let z = -87 - -88. Suppose 8*c = 9*c + z. Let p be 112/(-1296) - c/9. Which is bigger: 0 or p?
p
Suppose 20*y = -270*y - 620 - 540. Let f be ((-8)/2)/(52/60). Do y and f have the same value?
False
Let d(s) = s**2 + 9*s + 7. Let n be d(-8). Let h be (6/(-4))/((-1)/30). Let b be 13/99 - 10/h. Which is greater: b or n?
b
Suppose 3148 + 534 = -263*z. Let y be -3 - 0 - (-15)/(-5). Which is bigger: y or z?
y
Let a be (-3)/(-6)*201 + (-22 - -20). Let x = 98 - a. Is x at least as big as 0.031?
False
Let i be (-4)/((-58776)/(-191031)) + (199 - 186). Is -1 greater than i?
False
Let r = -577 - -920. Suppose -287 - r = -3*c. Is c smaller than 208?
False
Let g be -4 + (12940/30 - (-3 - 20/(-6))). Which is smaller: g or 429?
g
Let a be 346/(-14) + 2/(-7). Let j be 21 - 33 - (-30)/(-2). Let t = j - a. Which is smaller: t or -10?
-10
Let d = -6.298 - 994.702. Are -4 and d non-equal?
True
Let s = -1.87 - -0.17. Let u be 2/40*-2*(-45)/(-4). Let m = 97/72 + u. Which is bigger: s or m?
m
Let j be -11 + (-525)/(-45) - 8/(-24). Is -11/318 equal to j?
False
Let p be ((0/(11 - 0))/1)/(-7). Which is smaller: 13/562 or p?
p
Let k(a) = -12*a - a**3 - 5 + 29*a - 6*a**2 - 1 + 16. Let p be k(-8). Suppose -3*j - p*j - 10 = 0. Which is bigger: -7/5 or j?
-7/5
Let l be 7 + 104/(-16) - 470/(-4). Let t = l + -29. Is t bigger than 90?
False
Let v be (-16)/(-72)*315/(-175). Let q = 17 - 3. Which is bigger: q or v?
q
Let t(r) be the third derivative of r**5/60 - 37*r**4/24 + 64*r**3/3 - r**2 + 6*r. Let c be t(30). Which is greater: c or -78?
-78
Let i(v) = -v**3 + 99*v**2 - 195*v - 48. Let k be i(97). Which is smaller: -287/2 or k?
k
Let j be 2/(-8) + (-570)/152. Is j bigger than -186/71?
False
Let d be 106512/10647 - (10 + 0). Is -1/8 equal to d?
False
Let r(z) = -z**3 + 11*z**2 - 11*z - 2. Suppose 4 + 5 = b. Let c be r(b). Let x = c + -61. Is 5/16 equal to x?
False
Let q(t) = -3*t**2 - 3*t + 5. Let j be q(-3). Let s = j + 15. Let w be ((13 + s)/(-5))/46. Which is greater: w or -1?
w
Let b be (-6)/21 + (-5913)/32886. Is b at most as big as 0?
True
Let w = -94.27 + 210.27. Is w less than 5?
False
Let b = -13392 + 13037. Which is smaller: b or -327?
b
Let i = 580 + -580. Is i <= -41/43?
False
Let y(b) = -b**3 + 7*b**2 + 6*b - 66. Let l be y(5). Suppose l*j = 11*j - 3. Is j equal to -2/215?
False
Let n = -18243 + 70144334/3845. Is n >= 0?
False
Suppose 5*u - 111 = c, 5*c = u - 1 - 26. Let b = -27929 - -27951. Is b <= u?
True
Let j(a) = a**3 - 9*a**2 - 40*a + 53. Let i be j(12). Suppose 612 = -4*r - i*q, -3*q = -5*q + 8. Which is smaller: 1 or r?
r
Suppose -2*i = 2*i - 6*i. Suppose -r = -3*r + 6. Let g be i - (-108)/28 - r. Is -1/3 smaller than g?
True
Let u = -16 - -16. Let s = -161 + 160. Let k be (0/(-4))/1 - (s + 0). Which is greater: u or k?
k
Suppose 0 = 5*f + u - 309, -5*u - 1 = 4. Let r = -65 + f. Let n(w) = w - 20. Let k be n(19). Is r <= k?
True
Let p = 24/5 - 427/90. Let z = -11335 + 11335.3. Which is greater: z or p?
z
Let p = -565 - -984. Let l = p - 1190/3. Which is smaller: 21 or l?
21
Let h(r) = 94*r**3 + 3*r**2 + 3*r + 6. Let y be h(-3). Let n = y + 12618/5. Let q = n - 4. Which is smaller: 7 or q?
q
Let h = 677 - 1159. Let k = -481.518 - h. Which is smaller: k or -0.1?
-0.1
Suppose 0 = v + 4*w - 22, -5*w + 68 - 47 = -2*v. Which is smaller: 25 or v?
v
Let u = -238 + 241. Suppose -4*y - 1 + 2 = 5*h, 4*h - u = -y. Which is bigger: 1/126 or y?
1/126
Suppose 4*o + 146*k = 141*k - 36, 5*k + 40 = -5*o. Is 86 < o?
False
Let d be (-6)/(-15)*(-5)/(-87). Suppose -5*k = 4*r + 6, 4*k + 10 = -2*r + 4. Suppose 3*m - 3*i - r = 5, 5*i = 4*m - 11. Is m bigger than d?
False
Let b = -9456.3424 - -9456. Which is smaller: 0 or b?
b
Let n = 909/2165 + 78/433. Is 349 at least n?
True
Let r = 2519 - 2553. Is -100/3 greater than r?
True
Let p be (-880)/(-224) + (-10)/(-140). Which is greater: 90/19 or p?
90/19
Let y = 608 - 135. Is y greater than or equal to 473?
True
Let x = -67 + 99. Let h be ((-33)/(-22) + 6)/(2 + 21/(-12)). Is h >= x?
False
Let k = -17/8 - -151/56. Suppose 339 = 5*s - 0*q - 3*q, -q - 201 = -3*s. Let v = 66 - s. Is v greater than k?
False
Let w(p) = -7*p - 2328. Let b be w(-23). Which is smaller: b or -2169?
-2169
Let v = 110438 - 549203/5. Let c = v + -601. Is c <= 0.2?
True
Let u(i) = i**3 + i + 44. Let p be u(0). Let y = p - 42. Suppose 50 = -2*b + 3*n, y*b - 2*n + 44 = -4. Which is bigger: b or -21?
-21
Let j(t) = -4*t**3 + 2*t + 2. Let z be j(-1). Let v be (-28)/(-12) - z/3. Let f = 235/4 + -59. Is f greater than or equal to v?
False
Suppose -z + 4 = 4*b - 8, 0 = 3*z - b + 3. Let t = 411341 - 30439235/74. Does t = z?
False
Let r be (63/(-3))/((-1)/(-4)). Let b(l) = 98*l - 7922. Let y be b(80). Is y != r?
True
Let k = -21.12147 - -0.12147. Let r = -4 + 0. Is k > r?
False
Let y(l) be the second derivative of -12*l - 1/2*l**3 + 0 - 33/2*l**2. Let g be y(-10). Do g and -6 have the same value?
False
Suppose -16*o + 0*o - 240 = 0. Let n be (-2)/(-34) + 3/o*-5. Which is smaller: 0 or n?
0
Let d = 0.0855 - -396.9145. Let m = -397.1 + d. Are -4/129 and m unequal?
True
Suppose -4*m + 4 = -0*m. Let o(b) = -2*b**2 + 9*b - 3. Let s be o(4). Let y be (s - (m + 1)) + 2. Which is bigger: y or 0?
y
Let p be ((-3)/(-6))/(1/30). Let l be (-4)/10 + (-189)/p. Let y = -3521 + 3507. Which is bigger: y or l?
l
Suppose -2*m - 8*n - 8 = -3*n, -m - 4*n = 7. Is -2/48545 bigger than m?
False
Let n = -40586 - -771156/19. Suppose 2*d + 2*m - 14 = 0, -5*d - 5*m + 20 = -3*m. Is n <= d?
True
Suppose 3*a = 4*u - 0*u - 22, -12 = -2*u + a. Let r be -4 - (u - (-2 + 4)). Let w be r/5 - (-15 + 15). Which is smaller: -2 or w?
-2
Suppose -32*o = -35*o. Suppose 3*z - 54 = -o*z. Suppose 0 = -v - 2*w - 5, 0*v + 3*w = -5*v - z. Is -8/3 at most v?
False
Let z = -0.00997 - 0.07903. Which is smaller: -0.07 or z?
z
Suppose 5*x = -3*c + 5, -11*x = 2*c - 8*x - 3. Suppose c = -3*m + 60 - 72. Is -4 at least m?
True
Let h = 23 - -1. Suppose -3*a = -0*a + h. Let p(o) = -5*o**2 - 80*o - 78. Let y be p(-15). Which is bigger: a or y?
y
Let a = -1.035 - -0.395. Let c = -46.26 + 47. Let q = c + a. Is q greater than -85?
True
Suppose -2 = -5*q + 4*q. Suppose 11 = p + 4*x, 3*x + 0*x = -q*p + 7. Let o be 1*(-2 + 3)*5/p. Which is bigger: o or -18/5?
-18/5
Let h be 1/(3211/(-637) - 2/(-49)). Let j = 0 - -0.05. Which is smaller: j or h?
h
Let b be (2/3)/(((-207)/(-216))/(-23)). Are -222/13 and b unequal?
True
Let f be 1/(-2) + 5/(-2)*-179. Let a = f + -1721/4. Let b = a + -33/2. Is b bigger than 9?
False
Let w(j) = -j**2 + 7. Let x(v) = -v**3 - 8*v**2 + v + 3. Let z be x(-8). Let q be w(z). Let y = 396.8 - 396.7. Which is greater: y or q?
y
Let s be (-6)/(-45) + 5260/(-75). Let y = -66 - s. Let w be -8 + y + 8 - -6. Is 0 less than or equal to w?
True
Let a = 37 + -29. Let b be (a/9776)/((-1)/4). Which is bigger: b or 0?
0
Suppose o - 10 = y, 8 = -5*o + 4*y + 60. Let f be (o/(-63) + 0)/((-6)/(-7)). Which is greater: -51 or f?
f
Let b = -3859 + 3861. Let c = -613 + 620.01. Let s = -0.01 + c. Is s >= b?
True
Suppose -2 = -3*f + 22. Suppose 13 = 4*k + 3*x - 15, -f = -2*k - 3*x. Suppose -17 = k*z - 7. Which is smaller: z or -2/119?
z
Let j be ((-48)/(-144))/(8/(-6)) - (