 q be (-1)/2*(-4)/(-32)*x. Which is smaller: -1 or q?
-1
Let k = -30129 + 28114. Which is bigger: -2014 or k?
-2014
Suppose 8 = -40*u + 42*u. Let q = u - 2. Let y be 195/24*2 + q/(-8). Is y greater than 15?
True
Let b(q) = 29*q**3 - 2*q**2 - 2*q + 1. Let y be b(0). Which is greater: -2/9983 or y?
y
Let o = -1523 - -1522. Is 13827 not equal to o?
True
Suppose 6 + 43 = -i + 8*i. Is i greater than or equal to -255?
True
Suppose 0 = g + 4*v - 1, 5*g - 2*v - 74 = v. Suppose -19*r = -g*r + 564. Suppose -3*d = -5*i + 297, 3*d + i = 33 - 312. Is d at least r?
True
Let m be (439 - 955)*(4/6)/2. Is m at least -174?
True
Let l(q) be the first derivative of -12*q**2 - 13*q + 19. Let j be l(-11). Let z = -3767/15 + j. Which is smaller: z or 1?
z
Let p = -97 - -96.791. Let v = -0.309 - p. Is v greater than -30?
True
Let f = -43 - -89. Suppose -f = 2*v - 140. Suppose -4*h - 229 = -3*g - 79, 5*g - 4*h - 242 = 0. Which is smaller: g or v?
g
Let w = -1111.23 - -1123. Let l = w - 4.97. Which is greater: l or 0?
l
Let l(z) = -559*z + 3943. Let v be l(7). Which is bigger: v or 826/27?
826/27
Let v = -315 + 1253/4. Let s be (2/(-4))/(2325/(-22630)) - (-5)/(-1). Which is bigger: s or v?
s
Suppose 3*r + 72 = 3*d - 33, 3*d - 135 = -3*r. Let q be (-6)/14*d/1020. Let x(t) = 5*t - 9. Let o be x(2). Is q at least as big as o?
False
Let v be -4 - ((-8)/(-6))/(4/(-12)). Suppose v = 3*j + 15, -4*j + 33 = 5*h - 2. Suppose s + 19 = 5*x, 46 - h = -3*s + 4*x. Are -8 and s unequal?
True
Let u be (-16)/(-20)*15/6. Let l be (u - (-15 + 2))/(-1). Let h = 11838 - 11838.1. Which is bigger: h or l?
h
Let z = 15469/4 - 3867. Which is bigger: z or -927?
z
Let p be (-6)/9*(-3)/2. Suppose 16*k = 66 - 18. Suppose k*d = -14 - p. Which is smaller: -9 or d?
-9
Suppose 0 = 4*u - 153 - 139. Let d = u + -79. Let o = d - -5. Does 2/97 = o?
False
Let q = -1820 - -1821. Is -461 less than q?
True
Let z(d) = d**3 - 10*d**2 - 48*d - 19. Let h be z(14). Suppose -5*n + 109 = -3*t, -5*t - n - h = 42. Which is smaller: t or -310/11?
-310/11
Let d be (-40)/(-3500784)*8373 - (-4)/(-42). Which is smaller: -1/4 or d?
-1/4
Let m = 41 - 42. Let n be (-12)/(-1256)*(4 - 56/21). Does m = n?
False
Let d = 32 - 26. Let t(h) = h**3 - 6*h**2 + 2*h - 8. Let b be t(d). Suppose 0 = -4*c + 5*y - 3*y - 8, 0 = b*y - 16. Is c > 2/79?
False
Let s be (4 - 35/14)/(3/4). Suppose 5*a + s*a + 126 = 0. Let j be (-2)/a - 35/(-441). Which is greater: -2/7 or j?
j
Let t be (7/13251)/((-4)/12). Which is smaller: -1 or t?
-1
Let l = -220 - -238. Suppose -l*v + 4*v + 14 = 0. Is -2/39 smaller than v?
True
Let w be 1/((-21)/(-9) - 2). Suppose w*f - 45 = -c, -4*f + 47 + 24 = 5*c. Suppose -25*a = -24*a - 14. Is a at most as big as f?
True
Suppose 5*f + 3*x = -186 - 44, -3*f + 5*x - 104 = 0. Does -51 = f?
False
Let a = 36 - 32. Suppose 28 = a*i - w, -i + 2*w + 20 = i. Let r be (-8)/i*36/(-60). Which is bigger: 2 or r?
2
Let y = -4238/279 + 464/31. Which is smaller: -22 or y?
-22
Let t(o) = -4*o**2 - 25*o - 7. Let p be t(-6). Which is greater: p or -5/44?
-5/44
Let o be -5 - (40/(-8) - 10). Let u be 606/(-505) - (-62)/o. Which is bigger: u or 19/4?
u
Let c = 2598 - 2597. Is -179/4 greater than or equal to c?
False
Let o be ((-1251)/(-91))/((-1)/132*-4). Let t = o - 822/13. Let r = 389 - t. Is -1 bigger than r?
True
Suppose -4*j + 1030 = -3*i + 287, 0 = j - 2*i - 192. Let m be (-9 + j/21)*0. Which is bigger: m or -3?
m
Suppose l + 7*k - 3*k - 190 = 0, 4*l - 2*k - 796 = 0. Let c be (-6)/(-7) + l/112. Let o be (-1)/(2/(-3))*2. Is c less than o?
True
Suppose 23*i - 1993 = -22*i - 148. Is i < 41?
False
Let a = 88829.983 - 89635. Let t = 805 + a. Is 1/6 smaller than t?
False
Let k = 713 - 698. Let r = k + -15.12. Which is bigger: 15 or r?
15
Suppose -1528 = 3*f - k + 69, 0 = -4*f + 5*k - 2111. Which is smaller: -6 or f?
f
Let i = 0.26 - -3.74. Let c = -2.05 - -0.05. Let l = -1 - c. Which is smaller: i or l?
l
Suppose 19193 = -25*z + 4192 - 1449. Are -656 and z non-equal?
True
Let m = 2041 + -2040.13. Does 2/11 = m?
False
Let z = -0.317 + 143.317. Let g = z - 140. Which is smaller: -54 or g?
-54
Suppose -9*h - 1985 = -14*h. Suppose -6*b - h + 385 = 0. Which is smaller: -20/19 or b?
b
Suppose 4*h - 2*q + 6*q = 8, -h = 4*q - 17. Let m = h - -43. Let p be 2 + 42 - (-15 - -20). Does p = m?
False
Let k = -2 + 5. Let n(g) = -g**3 + 3*g**2 + g - 5. Let y be n(k). Let u = -12 + 6. Which is smaller: y or u?
u
Let t be (-1772)/(-34) - 70/595. Let z be (-39)/t + (-1)/6*-3. Is z greater than or equal to 0.78?
False
Let u be 1*(-2 - (-12)/(-3)). Let i = 6 + -6. Suppose i = -14*x - 4*x - 216. Is u greater than or equal to x?
True
Let k be ((-5)/2)/((-4)/8) - 136. Which is smaller: -132 or k?
-132
Let g be (3346/(-717))/(16/3 - 1). Is g at most as big as -2?
False
Let x(l) = -4*l**2 - 195*l - 326. Let d be x(-48). Which is greater: -228 or d?
d
Suppose 0 = -5*k - 5*y - 70, 3*k + 2*y - 4*y = -47. Suppose -68 = -9*q + 22. Let m be (-2)/q - (154/55 - -11). Which is greater: k or m?
m
Let w = 24898.0531 + -24898. Which is greater: -2/31 or w?
w
Let h = 0.157413 + 44.842587. Suppose 0 = -3*z - 0*z - d + 27, 4*d + 28 = 5*z. Is z smaller than h?
True
Let f = -872 - -4457/5. Which is smaller: 18 or f?
18
Let c be (-1194)/(-34) - 14/119. Let g = 86901/7 - 12379. Are g and c unequal?
True
Let z = -7277 - -7277.8. Which is smaller: z or 7.1?
z
Let s be 29*(1 + 1 - 1). Suppose 6*o - 54 + 12 = 0. Suppose 0 = -o*i + s - 71. Is i < 1?
True
Suppose 0 = 548*i - 547*i + 1. Suppose 0 = 4*r - 7*r + 6. Let f be (r/(-6))/(140/12). Is i bigger than f?
False
Let t be ((-2)/(-14))/((-187)/1492238). Let w = 1140 + t. Is -1 < w?
True
Let j be (-20)/21*(660/(-72450) + (-2)/21). Is -1 less than j?
True
Let m = 56 + -56. Let o be 2/(m + 9/(-6) + 2). Suppose 0 = 3*d - 5*r - 2, -3*d - 5*r - o = -4*r. Is d at least as big as -1?
True
Let i(l) = l**3 + 31*l**2 - 47*l - 41. Let n be i(-33). Let w = 775 + n. Are w and 107 non-equal?
False
Let g = -40.93 - -25.93. Which is smaller: 1.8 or g?
g
Let q(i) = 2*i**2 + 20*i + 19. Let c(x) = -13*x + 56. Let l be c(5). Let m be q(l). Which is greater: m or 22/9?
22/9
Let f(d) = -18*d**3 - d**2 + 2*d - 1. Let v = 35 + -34. Let j be f(v). Let i be (-2)/j*-7 - 2/9. Does -5/4 = i?
False
Suppose 21*f = 20*f - 2*p + 10, 3*p = 0. Do f and -10/19 have the same value?
False
Let p(l) = 96*l - 2. Let r be p(-4). Let x be -1 + (-3735)/10 + -5 + 3. Let i = x - r. Is i < 10?
True
Let c = -4 - 15. Let z = c - -19. Let q = -1 + z. Is q not equal to -4/9?
True
Let x(v) = 5*v**2 + 77*v + 41. Let p be x(-15). Let q be (-1)/(-3)*34 + 1. Is p less than or equal to q?
True
Let p = 547 + -1045/2. Let z = p + -121/5. Let a be 1/(-1*(0 + -1)). Is z at most as big as a?
True
Let i = 22735037845/8 - 9065597024423/3190. Let v = i - -633/440. Let g = -213 - v. Are g and -1 equal?
False
Let h(k) = -4 + k + 0*k - 5*k. Let i be h(4). Suppose -22*c + 19*c + 3*n - 42 = 0, -2*n - 12 = 0. Is c at most as big as i?
True
Let r(y) = 2*y - 30. Let h be r(18). Let z be h/(((-10)/(-4) + -3)*3). Let x(n) = -2*n - 3. Let f be x(-2). Which is smaller: z or f?
z
Suppose -5*d - 4 - 28 = 3*j, -4*j - 2*d - 24 = 0. Let p be -2*(j + (-54)/(-12)). Which is smaller: p or 2/63?
p
Suppose -2715*w + 2714*w = -1. Let l = 694 + -217913/314. Which is smaller: w or l?
l
Let l = 495935 + -8914795/18. Let d = 669 - l. Let i(f) = 5*f - 9. Let a be i(2). Which is greater: d or a?
a
Let o(j) = -j**3 + 17*j**2 - 25*j - 9. Let k be o(15). Let i be (-7)/(84/k)*4/(-22). Is i at most as big as -1/346?
False
Let m = 1081 - -2979. Let i be (-2254)/m - (-6)/15. Which is bigger: 0 or i?
0
Suppose -6*o - 12*o - 594 = 0. Let c be -11 + 9 + o/(-1 - 2). Which is bigger: 8 or c?
c
Let b = -52559 - -631843/12. Is 96 <= b?
False
Suppose 3*z + 2*z = 40. Suppose 0 = 2*q - z*q + 30. Suppose -2*c + 12 = 4, -q = -u + c. Which is smaller: u or 10?
u
Suppose -3*x = w - 171, 0*x - 5*w + 206 = 4*x. Which is greater: x or -1.2?
x
Let r = 84 + -86. Let s be (-4 - (r - 0))*-22. Is 44 not equal to s?
False
Let c(d) = d**2 + 5*d + 1. Let r be c(-5). Let m = 7824/3335 - -36/667. Which is bigger: r or m?
m
Suppose 6646*h - 6651*h = 15, 0 = -3*b - 4*h + 11514. Which is greater: 19217/5 or b?
19217/5
Let o = 125.07792 + -0.07792. Is 11 < o?
True
Let c 