-4?
False
Let f = 7 + -11. Let r be 5*2/f - -2. Suppose 40*x - 47*x = 0. Is x less than r?
False
Let g = 18 + -15. Let v = g + 0. Does 3 = v?
True
Suppose -u = -1 + 2. Let j be (-1 - 6/(-8)) + (-17)/(-4). Let g be j - (2 - 47/(-24)). Which is greater: g or u?
g
Suppose -4*c + 4*j + 26 = 2*j, -4*c = j - 11. Let y be (c/(-8))/(2/(-4)). Let r be 1/7*(7 - 5). Is y bigger than r?
True
Let j be 3/3 + -3 - -4. Let f(d) = -d**2 - d - j*d - 6 - 2*d. Let n be f(-5). Is -5 at most as big as n?
False
Let k = 43/21 - 10/3. Let w(g) = -8*g**3 - 4*g**2 - 5*g - 2. Let m(n) = 7*n**3 + 3*n**2 + 4*n + 2. Let d(c) = -6*m(c) - 5*w(c). Let y be d(1). Is k > y?
False
Suppose -t = 4*t - 10. Let d(a) = 10*a - 6. Let x be d(7). Let m be (x/(-12) - -2)/(-1). Is t >= m?
False
Let b = -1568 - -1567. Is -125 >= b?
False
Suppose 0 = -12*g + 5*g. Suppose 3*w + 0*w - 2*r - 2 = g, -2*r + 4 = 0. Is w at most 20/7?
True
Suppose 5 = 8*z - 13*z. Let u = -37/9 + 4. Which is smaller: z or u?
z
Let n = -1347/5 - -34847/130. Which is smaller: n or -1?
n
Suppose 4 + 1 = -5*t + 3*z, 2*z - 10 = 0. Suppose 0 = t*k - 4, 4*k - 97 = -2*j - 19. Is j greater than 35?
False
Let g = 61/221 + -6/17. Suppose -15*a + 8 = -11*a - 4*i, 0 = -5*a + 3*i + 8. Which is bigger: a or g?
a
Suppose 50 + 514 = 12*k. Which is greater: k or 48?
48
Let n = 21 + -31. Suppose -3*s = 4 - 31. Suppose -s = 2*w + 9. Which is bigger: n or w?
w
Suppose -4*v = -5*m - v + 15, 5*v + 25 = -m. Let t be (3 - (-200)/(-72))*-1. Which is smaller: m or t?
t
Let m be (-4 - -2)*3 + (-25)/(-4). Let k be ((-1)/(1/(-10)))/9. Is m at most as big as k?
True
Let c = -3.55 + 3.58. Which is bigger: c or 7?
7
Let d(m) = -m**3 + 12*m**2 + 2*m - 25. Suppose -2*a + 4*l + 4 = 0, -5*a - 3*l + l = -70. Let z be d(a). Which is greater: 19 or z?
19
Let y(x) = -x**3 + 9*x**2 - 7*x + 4. Let f be y(8). Suppose 2*v = f - 8. Let g be (-2)/((-2)/(-3 + v)). Which is smaller: 1 or g?
g
Suppose 0 = -9*y - 8 - 1. Let w be y/(11 + -4 + 3). Let i(j) = -j**3 - j - 1. Let n be i(-1). Which is smaller: n or w?
w
Let g be ((-32)/(-36))/(-2)*6. Let n = -28.3 + 28. Let p = 0.3 + n. Are p and g non-equal?
True
Let j(u) = -u**3 + 8*u**2 - 15*u + 14. Let k be j(6). Let p be (-1)/3*(-13 + -2). Suppose 1 = -2*s - p. Which is smaller: k or s?
k
Let x = 393.9 - 444. Let r = x - -50. Is 0.36 less than r?
False
Suppose -w - 5*w = -18. Let f(p) = -w*p + 5 + 0*p - p**2 + 6*p + 12*p. Let q be f(15). Is -2 less than or equal to q?
True
Let g = 5 + -38. Let v = g - -42. Does v = 8?
False
Let u(j) = 19*j - 191. Let y be u(7). Is -8 less than y?
False
Let o = -32/3 + 230/21. Let y = -1.06 + 0.06. Let m = y - -2. Is m equal to o?
False
Let c be 15*(54/(-15) - -4). Suppose c*q + 0 = -18. Suppose g = 3*g + 4. Are g and q equal?
False
Let p = -109 + 113. Suppose 3*c + 36 = 6*c. Suppose 5*b + 3 = i, 2*b = 7*b - p*i + c. Are -2/17 and b nonequal?
True
Let q be (1/(-2))/(2 + (-165)/80). Is q < 85/13?
False
Let s = -8586/19 + 452. Let q be (-99)/4 - 18/72. Let r = 24 + q. Which is smaller: r or s?
r
Let b be 4 + 0 - (-4)/(-2). Suppose -b*f + f = 0, 0 = -2*y - f. Suppose 7*g + 7 = -y. Is -3 less than g?
True
Let n(p) = p**3 - 14*p**2 + 13*p - 19. Let l be n(13). Let d = 21 + l. Which is bigger: d or -10?
d
Suppose -10 = x + 5*c, 3 = -2*c - 1. Is 40/37 at least as big as x?
True
Suppose 5*b = 5*f, 8*b = -f + 7*b. Is -2/93 equal to f?
False
Let i(o) = o**2. Let q be i(-10). Suppose 5*d - q = d. Let a = d - 25. Which is greater: -10/11 or a?
a
Let o be (3/2)/(-2 - 472/(-233)). Let y = 57 - o. Is y > -3?
True
Let t = -5770 + 5774. Let d(v) = 2*v - 1. Let l be d(6). Which is smaller: l or t?
t
Let t = 0.02 + -19.02. Let z = 18.85 + t. Let g = z - -0.03. Which is smaller: 0 or g?
g
Suppose 2*u - 5 = -0*u - 5*o, o = 3*u - 16. Suppose -u*b = 3*d - 4*b - 345, 3*d - 333 = 3*b. Let i = d - 459/4. Which is smaller: i or -1?
-1
Let k = -29.7 - -32.7. Is k > -0.7?
True
Let c = 47 + -5. Let p be (c/9*5/(-15))/(-2). Which is smaller: p or 2?
p
Suppose 75*w - 69*w = 0. Is -79/2 smaller than w?
True
Let f = -1.892 - -1.9. Let o = -6.008 + f. Is 0 greater than or equal to o?
True
Let x(b) = -7860*b**3 - 2*b**2 + b. Let t be x(1). Let k = 31219/4 + t. Let i = -56 - k. Which is smaller: 9/5 or i?
i
Let z = -1.32 - -1.49. Which is smaller: z or -1?
-1
Let x be 3 + ((-75)/(-27))/(-1). Let z be 33/(-5)*60/(-4). Let q be (-2)/9 - (-22)/z. Which is bigger: x or q?
x
Let l = -0.53 + 105.53. Let q = 95 - l. Which is smaller: 0.1 or q?
q
Let t = 323 - 326.98. Let i = 34 - 34.02. Let j = i + t. Is j greater than -0.1?
False
Let c = 37 - 37. Suppose c*w = w + 8. Which is greater: w or -9?
w
Let a be 8/(-18) + (-2)/(-9). Let o = 0.1 - -0.67. Let q = o + -0.77. Is q greater than a?
True
Suppose -1 = 4*v - 4*r - 5, -4*v + 2*r = -2. Suppose 5*k + 10 = -5. Let o be (-57)/28 + -4*k/42. Is o less than or equal to v?
True
Let s be (0 - -3) + 4/(-4). Let f(m) = 3*m**s + 7*m - m**2 - 14*m + 4 - 3*m**2. Let g be f(-8). Which is smaller: -3 or g?
g
Let f = 14 + 97. Which is bigger: f or 110?
f
Let h(p) be the first derivative of 2*p**3/3 + 27*p**2/2 - 16*p - 30. Let g be h(-14). Which is bigger: g or -5/6?
-5/6
Suppose -3*y - 2*y - 3*p = -130, -p = -5*y + 110. Suppose -4*i - 3*c = -9*i + y, 4*i = -5*c + 48. Let b(j) = 3*j - 15. Let g be b(i). Which is smaller: g or 3?
3
Suppose 4*u - 5*h - 53 = 0, 0 = -h - 4 - 1. Suppose 4*s = u*s. Is s <= -1/15?
False
Let r = -10 - -16. Suppose 0 = 2*u - 3*p - 8, 2*p + 0*p = 2*u - r. Let k = -3159 - -22115/7. Is u smaller than k?
False
Let q be (-165)/(-66) + 1887/(-750). Which is bigger: q or 1?
1
Let h = 0 + -1. Let k = 596 + -1787/3. Which is bigger: h or k?
k
Let f = -68 + 120. Let w be f*3*33/(-6). Let n = -47188/55 - w. Is n != 0?
True
Suppose 3*x - 4*t - 35 - 11 = 0, -5*x - t = -46. Let r = x + 2. Suppose -4*f = r, 61 = 4*m + f + 4*f. Which is smaller: 18 or m?
18
Let c(q) = q**2 + 5*q - 7. Let u be c(-6). Let z = 8593 + -59960/7. Let d = -29 + z. Is u <= d?
False
Let d(c) = -2 - c - 3 + 0*c**3 + 6*c**2 - c**3. Let u be d(5). Suppose 5*f = 2*o - 14 + 84, -60 = -5*f + 4*o. Which is smaller: u or f?
u
Suppose 0 = -29*q - 9*q + 21508. Which is smaller: 567 or q?
q
Let i = -2.99 - -3. Let c be (-3)/(-9)*45 + -4 + -10. Do c and i have different values?
True
Let j(v) = v**3 - 4*v**2 - 5*v + 3. Let b be j(5). Suppose -z + 3*w = b*z + 7, 0 = w - 1. Suppose -5*k - 5 = -0*k. Is z smaller than k?
False
Let a be (-57561)/(-56)*4/(-54). Let i = a - -309/4. Let d = 90 - 89. Is i > d?
True
Let l be -2*((2 - -4) + (-2)/(-4)). Which is smaller: -15 or l?
-15
Let w = 55511/216 - 257. Which is smaller: w or 1?
w
Suppose -2*t = 5*s - 0*t - 349, 4*s = 3*t + 270. Let w be (-2)/8*46/s. Which is greater: w or 0?
0
Let d(s) = s**2 - 2*s. Let o be d(6). Suppose -31*p + 27*p - 12 = -2*k, -5*k = -4*p - 12. Is o >= k?
True
Let i = -3.3 + 3. Suppose 54*p - 4*p = -100. Is i != p?
True
Suppose -5*a = 5*j + 315, 3*a = 4*a - 1. Let b be j/(-10) + (-12)/30. Suppose h + b = -2*k, 14 = -2*k - 0*k - 5*h. Which is smaller: k or -4/7?
k
Let d = -2483 + 2470. Which is bigger: 30 or d?
30
Let s be (241 - -9) + 0 - -10. Is 259 at most s?
True
Suppose -3*n + 2 = -2*n. Let t be ((n - 1)*(4 + -7))/(-1). Which is smaller: 5 or t?
t
Let s(h) = -9*h - 1. Suppose w + 4*n - 2 = 14, -32 = 3*w - 4*n. Let y(i) = -i**3 - 5*i**2 - 3*i + 3. Let j be y(w). Let o be s(j). Which is bigger: o or 7?
o
Let x = 58 + 5. Let y = 44 + -95. Let z be 1/7 + y/x. Is -0.5 bigger than z?
True
Let w = 24 + -19. Suppose -5*d = g + 9, -d = -4*g - w - 10. Are d and -6/47 equal?
False
Suppose -4*m = 6*m + 7*m. Which is bigger: m or -7/27?
m
Let x = -11332 - -11316. Let v = 0.1 + 0. Let q = -0.2 + v. Which is bigger: q or x?
q
Let i(g) = 3*g**2 - 2*g + 11. Let v be i(10). Let n be 32/(-48) + 200/v. Is -1 <= n?
True
Let v = 1/942 + -2173/272238. Which is greater: v or 0.3?
0.3
Suppose -149*l + 147*l = 2. Which is greater: l or -8?
l
Let l = -0.7 + -0.3. Let z(h) = 30*h + h**2 + 1 - 8*h + 1 + 2*h**2. Let m be z(-7). Is l >= m?
True
Suppose 0 = -3*a + 7*a + 2*v + 588, 0 = 3*a - 2*v + 427. Is -145 smaller than a?
False
Let x be (-195)/(-6)*((-16)/(-5) + -4). Which is smaller: x or -29?
-29
Let i(m) = 22*m - 148. Let o be i(10). Which is smaller: o or 4?
4
Let j(z) = -z