/(-12))/((-13)/(-3)). Let h = g - 192/65. Let b be 40/160 - (-34)/(-8). Is h < b?
False
Let d(m) be the third derivative of -1/120*m**6 + 0*m + 17/60*m**5 + 7/3*m**3 + 13*m**2 + 0 - 3/4*m**4. Let f be d(16). Is f at most as big as -18?
True
Let i be 6 - (853/4 - 22/88). Are i and -206 unequal?
True
Let f(m) = 5*m**2 + 10*m - 29. Let p be f(5). Is 147 at least as big as p?
True
Let a = -61 - -117. Let m = a - 47. Which is greater: m or 11?
11
Let d = 66.22 - 66. Let i = d + 0.78. Are 28 and i equal?
False
Suppose -i + 6 = 1. Suppose -58 = i*z - 63. Let t be (-4)/9 + 2/6. Is z smaller than t?
False
Let h = -38518/9 - -4340. Let q = -60 + h. Is q at most as big as -2?
False
Suppose 47*i + 19 = -169. Suppose t = 4*x - 4, 2*x - x = -5*t + 1. Let l be x*(i + 1) + 5. Are 4/3 and l equal?
False
Suppose 0*q - 4*q + 32 = -4*n, -5*n + 4*q - 36 = 0. Let w be (0 - n/(-4))*-16. Let r = -15 + w. Which is smaller: r or 0?
0
Let g = 1142 + -21692/19. Is g less than or equal to -3?
False
Let m be (-18)/(-48)*-2 - (-123)/4. Which is smaller: m or 29?
29
Suppose 3*h + 24 = 5*n + 313, 15 = -3*n. Which is bigger: h or 93?
93
Let g = 0.898 - -0.102. Let a be (-1)/(-5) + 1347/15. Let s be 4/a*(0 - -5). Is g != s?
True
Let w be (-18)/(-8) + (2 - 4). Let u = -4.7 + 11.7. Are u and w equal?
False
Let j(i) = i**2 + 4*i + 6. Let z be j(-3). Suppose -2*y = z*y - 510. Let r be (-4)/18 + y/216. Which is smaller: -6 or r?
-6
Let h = -6/227 - 436/681. Is -1/645 >= h?
True
Let l = -5 + 11. Let y(u) = u**3 - 7*u**2 + 5*u + 12. Let c be y(l). Suppose -g = -c + 1. Is g greater than 4?
True
Suppose 12 = -789*r + 793*r. Are -16 and r equal?
False
Let c(h) = 2*h - 23. Let n be c(-6). Are -38 and n equal?
False
Let c be ((-6)/(-4))/((-45)/(-60)). Let y be 0/(-12) + (-30)/4*c. Are -15 and y unequal?
False
Suppose 5*s + 2 = -3*u - 11, 4*u + 5*s + 24 = 0. Which is smaller: -19 or u?
-19
Let n be (3 + 0)/(-3)*19/(-95). Is n < 6/5?
True
Let r = 20 + -19. Suppose -r = w + 2. Let d be 3 + 2 + (-219)/33. Is d smaller than w?
False
Let i = -117.61 - -117. Let q = -2.61 - i. Is q less than 4/7?
True
Suppose 0 = -0*y + y + 4*j - 17, 3*y + 3*j = 51. Let l be (16 - y)/(109/(-55) + 2). Is -54 equal to l?
False
Let s(q) = -10*q + 1. Let y be s(0). Which is bigger: y or -194?
y
Suppose -4*f + 194 = -9*f + 2*q, 4*q = 2*f + 68. Are -43 and f equal?
False
Let m be ((-15)/9)/((-5)/(-60)). Let i = m - -14. Let y be (-5)/2 - 2/4. Is y at least i?
True
Suppose -4 = -5*l + l. Let a be (957/66)/(l/2). Which is smaller: a or 28?
28
Suppose -5*s + 215 = 5*k, 3*s - 40 - 129 = 5*k. Let f be 4*-3*(-4)/s. Suppose c - f + 2 = 0. Is c equal to -1?
True
Let f be (-31)/(40/(-6 - -16)). Which is smaller: f or -7?
f
Let h = -36.2 - -46. Let w = 10 - h. Is 1/5 equal to w?
True
Let a = 230 + -230.8. Is a smaller than -3/2?
False
Suppose 3 = 2*g - 5. Let i be 1*(0 + 4/g). Let b be 13 - i/(-4)*-4. Which is bigger: b or 13?
13
Suppose -12*l = -4*l - 3*l. Is l smaller than -11.2?
False
Suppose 0 = -5*k + 3*q + 9, 71 = 2*k - 5*q + 56. Does -2/267 = k?
False
Let o = -253 - -254. Is o equal to -6/73?
False
Let z = -2/593 - -611/5337. Which is bigger: -15 or z?
z
Let b = -1.285 - 0.375. Is -0.1 != b?
True
Let y(d) = d**3 - d**2 - 2*d + 36. Let p be y(0). Let c be (-8)/p - (2922/(-27) + -3). Is c not equal to 0?
True
Let b be (-3784)/(-8140) - 6/10. Which is greater: -1 or b?
b
Let t be 2 - 492/84 - 2/14. Which is smaller: -46 or t?
-46
Suppose -4*p - 40 = 2*q, -3*p + 2*p + 4*q = 10. Let o = p - -28. Which is smaller: 17 or o?
17
Let g = 24.59 + -1.49. Let v = g + -11.1. Which is smaller: -0.2 or v?
-0.2
Let c = 19 + 241. Is -1 >= c?
False
Let z(n) = 7*n + 42. Let v be z(-8). Let y be 46 - (v/(-4) + 6/(-4)). Do y and 44 have the same value?
True
Let f = 0.34 + -0.94. Which is bigger: 31 or f?
31
Let i be 2/26*1625/(-125). Which is bigger: -13/20 or i?
-13/20
Suppose 5*t - 27 = 6*y - 2*y, 3*y = -2*t - 3. Suppose -9 = -2*m - t*k, m - 4 = -2*k + 1. Let h be m*(8/(-3) - -3). Which is bigger: -1/26 or h?
h
Let f = 89 + -88.89. Let l = -5/3 + 28/15. Is f at least as big as l?
False
Let b(j) = j**3 + 6*j**2 - 43*j - 7. Let q be b(-9). Are q and 138 equal?
False
Suppose 3*t = 5*z + 2*t + 76, 4*t + 71 = -5*z. Let n be -9*(-3)/z + 2. Let k = -3.49 - 0.51. Which is smaller: k or n?
k
Let s = -48 + 99/2. Let i(x) = 15*x**2 - x + 1. Let q be i(-1). Suppose 0 = 5*z + 20, 0*z - q = 3*d + 5*z. Are s and d equal?
False
Suppose 21*g = 16*g - 5. Is -1/6 equal to g?
False
Let x(y) be the third derivative of y**6/120 + y**5/10 + 5*y**4/24 - 5*y**3/6 - 7*y**2. Let q be x(-4). Is 7 at least q?
True
Suppose -3*h - 3 = -3. Which is smaller: h or 4/3?
h
Let n be 10/(-55) + (-24)/(-11). Suppose n*j = -3*i + 20, -5*j + 2 + 18 = 0. Suppose -4*p = -4*t + 64, 0 = -5*p - i*t - 0*t - 53. Is -12 > p?
True
Suppose -38 = 3*b - 2. Let w = -54329/4046 - 3/4046. Do w and b have different values?
True
Suppose -162*w + 28 = -163*w. Is -198/7 less than or equal to w?
True
Let y be (140/(-224))/((-15)/(-6)). Let m = -0.11 - 5.89. Is m at most y?
True
Let p(i) = i**3 + 9*i**2 + 4*i + 9. Let r be p(-9). Let b be 22*1*6/r. Let g = 131/36 + b. Do -1 and g have the same value?
False
Let b(o) = -4*o - 3. Let y be b(-2). Suppose y*l + 34 = -41. Let i be 2/(-6) - 65/l. Is i less than 0?
False
Let t(p) = -25*p**3 + p**2 + 3. Let r be t(2). Is -193 greater than r?
False
Let y be ((-1)/2)/((-2)/48). Let x be (-6 - -12 - 7)/(2/(-6)). Suppose 8*k + 8 = x*j + 3*k, -j = k - 16. Which is bigger: y or j?
y
Let r(f) = f**2 - 10*f + 30. Let a be r(9). Suppose -9*y = 4*z - 13*y + 36, z = -5*y + a. Is z at least -3?
False
Suppose -3*h = 4*g - 19, 0 = 3*g - 0*h - 5*h - 7. Suppose g*v + 0*v - 5*z - 14 = 0, 5*v + 5 = -5*z. Are v and 2/207 non-equal?
True
Let x(s) = 2*s**2 - 18*s + 6. Let a be x(8). Let k be 6/a*10/15. Is -4 at least k?
False
Suppose 4*k + 427 = t, -133 = -3*k + 4*k + 5*t. Let i = 539/5 + k. Which is bigger: i or 2/7?
2/7
Let c be ((-21)/(-9))/((-21)/63). Which is smaller: 0.16 or c?
c
Suppose 4*o + 3*i = 16 + 13, 43 = 5*o - 3*i. Let h be 7/(-5 + 6 + 0/3). Is h < o?
True
Let l be -2 - (311/(-3) - (-2)/3). Is 100 greater than or equal to l?
False
Suppose -4*l = 4*z + 28, z - 6*l + 5*l + 11 = 0. Is z < -6?
True
Suppose -2*r = -6*r + 148. Let g = r + -38. Is g at least as big as 0?
False
Suppose -459 - 833 = -q. Let f be q/(-209) - 2/(-11). Is f smaller than -6?
False
Suppose s - 10 - 1 = 4*j, -2*j - 18 = 2*s. Suppose 32 = 2*y - 4*y. Let z be (1/(-90))/(j/y). Is 1 at least z?
True
Suppose -3*r = -r. Suppose r = 2*c - 5*g - 11, -g - 5 = -2*c - 2*g. Which is smaller: 5 or c?
c
Let q(i) = -2*i**2 + i. Let n be q(1). Let k = 0.43 + -27.43. Let a = k + 19. Is n at most a?
False
Let j be -1 - (1 + 0)*0. Let g be ((-2)/4)/((-16)/(-32))*6/20. Which is greater: j or g?
g
Suppose 3*k = 6*k. Suppose 0 = -9*p - k*p + 9. Is 5/9 equal to p?
False
Let m be (0 - 4)*27/(-36). Suppose 0*i = -i + 2*a - 6, m*i + 3*a = 0. Let z be (4 + -10)*-4 - i. Which is bigger: 25 or z?
z
Let g(t) = 4*t + 22. Let n be g(-10). Suppose 2*r = -3*r + 55. Suppose -2*m - 9 = p, 2*p - 3*m + 64 - r = 0. Which is smaller: n or p?
p
Let v = -9 - -12. Let y = -5 - 5. Let k be 2/4*y/(-3). Is v bigger than k?
True
Let j(o) = 280*o**2 + 1. Let s be j(-1). Let m = -60 - s. Let b be ((-33)/m)/((-3)/(-2)). Is 1 smaller than b?
False
Let v = 1 + -7. Let g be (-34)/(-9) + v/(-27). Let d be (-2)/9 - (-4 + g). Which is greater: d or 1?
1
Let u = 3 - 10. Let t = -6 - u. Suppose -3*g - t = -7, -b = -3*g + 3. Which is bigger: 14/5 or b?
b
Let p = 1505 - 1549. Which is greater: p or -22?
-22
Let r = 49/9 - 340/63. Let c = 0.04 - -0.96. Is c > r?
True
Let g(l) = l**3 + 22*l**2 + 26*l + 3. Let z be g(-21). Are 2 and z equal?
False
Let b = 889 + -854. Which is smaller: 1/6 or b?
1/6
Let v(s) = s + 14. Let w be v(-12). Suppose 0 = -3*c - w*c - 35. Which is smaller: c or -13/2?
c
Let z be (-27)/(-36) + (-942)/8. Which is bigger: z or 1?
1
Let h = -7.99 - -6.19. Which is smaller: h or 16?
h
Let z be 93 - 36/(0 - -4). Are z and 82 equal?
False
Let h(w) = w**3 + 12*w**2 - 10*w + 19. Let i be h(-13). Let c = i - -20. Which is smaller: -3 or c?
-3
Let s = -1 + 10. Let m = s - 4. Let t be ((-4)/10 + (-26)/(-40))*(-193 - -187). Is m less than or equ