 0 = -2*k + 4*j + 16. Which is bigger: k or d?
d
Let m = 31 - 25. Let l = 27 - 11. Let k be (m/230)/((-24)/l). Which is smaller: 1 or k?
k
Let f = 6357 - 6358.43. Which is smaller: f or 12?
f
Suppose -h + 13 = -2*h. Suppose 4*m = -8, 5*d = -m - m + 66. Let z = h + d. Which is smaller: 0 or z?
0
Let j be (-1*282)/(-16 - -14). Is j < 132?
False
Suppose -360 = a - 6*a. Suppose -a = 2*f + 2*f - 2*h, -3*f = 2*h + 54. Suppose 9 = 3*v, -2*x - 4*v - 6 = 20. Which is bigger: x or f?
f
Let z = 4933 - 1372. Which is smaller: 3560 or z?
3560
Let p be 6 - ((-2)/6)/(2/(-30)). Let l be (-4 - (-3 + 0))*p. Is -17/10 at least l?
False
Let x be 7/((-21)/(-12)) - (-270006)/56. Let k = 4825 - x. Which is smaller: 0 or k?
k
Let f = 287584/5 - 57732. Do -215 and f have different values?
True
Suppose 4*f - 7596 - 13008 = 4*n, -2*f = -3*n - 10307. Which is smaller: f or 5145?
5145
Let g(n) = n**3 + 8*n**2 + 10*n + 7. Let y be g(-7). Let x = y - -19. Suppose -8*k = 4*k - 60. Is k greater than x?
False
Let f = -1055146962/7763 - -135920. Which is bigger: -1 or f?
f
Let i be 92/(-253) - (-2040)/3432. Is i at most as big as -0.008?
False
Let m = -75 + 98. Suppose -4*y + 7 = y + 2*n, 0 = -y - 2*n + 3. Let v = y - m. Which is smaller: -21 or v?
v
Suppose z - 3 - 51 = 0. Suppose -z*u + 4 = -50*u. Which is bigger: u or -7/60?
u
Let g(i) = 23*i + 97. Let f be g(-6). Suppose -2*r + 182 = -4*u, -r = -3*r - u + 172. Let x = r + f. Which is bigger: x or 45?
x
Suppose -689*l = -685*l - 784. Let p = l + -209. Is p bigger than -174/13?
True
Let r = 31881 + -31880. Let w = 0.2 - 0.8. Let z = w + 0. Which is smaller: r or z?
z
Suppose -39 = -l - 8. Let u(p) = 21*p**2 - 11*p + 1. Let j be u(1). Let x be (j + -6)/(-5) - 1. Which is bigger: x or l?
l
Let o be (3 + (-65)/15)/((-3)/2). Let i(g) = -4*g + 3. Let r be i(0). Let k be (5/(5/r) - 2)*2. Which is smaller: k or o?
o
Let k(q) = -q**3 + 3*q**2 + 4*q - 1. Let d be k(4). Let j = -2391 + 274967/115. Which is smaller: j or d?
d
Suppose -18*k - 534 = -19*k + 2*z, 0 = -4*k - 3*z + 2136. Are 533 and k unequal?
True
Suppose 24*a + 9752 = a. Let j = 397 + a. Which is greater: 2 or j?
2
Suppose -3 - 2 = 5*i. Let p be ((-224)/(-88) - 0) + -3. Which is greater: i or p?
p
Suppose 464*o - 212264 = 73332 - 13692. Is 580 at most o?
True
Let x be 21/(30/(-27) + 1). Let n = 1325/7 + x. Let c be 12/(-144) + 4/12. Which is greater: c or n?
n
Let g(j) = -25*j + 27. Let v be g(7). Let z = 1034/7 + v. Which is greater: -1 or z?
z
Let f(m) = -m**3 + 47*m**2 + 3*m + 396. Let p be f(47). Is p at least as big as 0.02?
True
Suppose 2*j - 1370 = p - 3*p, 10 = 2*p. Suppose -128*t = 18*t - 99426. Which is bigger: j or t?
t
Suppose -c = 2*g + 518, 0*g - g = c + 259. Let p = g - -1027/4. Which is bigger: 2 or p?
2
Let y be 10/40*-2 + (-7)/(-2). Let d be 10/2 - y/((-6)/(-80)). Let v = 44 + -81. Which is smaller: d or v?
v
Let x = -58536544385272945602125/1682044 + 34800840159514963. Let v = 3/240292 + x. Let y = -1048 - v. Which is bigger: y or -3?
y
Suppose -5*t - 3*b = 2*b - 930, -b = -2. Let y be 69/t - (-3)/(-8). Is -7/32 bigger than y?
False
Let x be 464/(-58) - 116/(-14). Is x >= 0.97?
False
Let j(r) = -105*r + 204. Let o be j(2). Is o at least 18/103?
False
Let r = -3828 + 3677. Is -0.5 != r?
True
Let q = 12 + -9.9. Let s = 5.9 + q. Suppose 430*k + 285*k + 1623 = 174*k. Which is smaller: k or s?
k
Let o(x) = -x**3 + 21*x**2 - 33*x + 33. Let k be o(20). Let t = -235 - k. Do 1 and t have the same value?
False
Let b = 2 + 1. Let s = 536 - 531. Suppose -279*i + s = -284*i. Which is smaller: i or b?
i
Let c = -0.0936 - -0.1836. Which is bigger: c or 0.6?
0.6
Suppose w = -4 - 1. Let k = -11 - w. Let i be (1235/(-988))/((-2)/(-8)). Are k and i nonequal?
True
Let a be -4*(-7)/(-84)*(-27)/(-60237). Is a less than -1?
False
Suppose -28*a + 71*a + 24855 + 13286 = 0. Is a at least -892?
True
Let s be (-2)/4 + (-642)/28. Let r be 396/(-16) - 54/(-96)*28/21. Is r at most as big as s?
True
Let d(u) = -u**3 - 9*u**2 - 32*u + 17*u - 10 + 14*u. Let a be d(-9). Is -4/47 less than a?
False
Let r(g) = 15*g**2 - 7*g. Let v be r(3). Let s = v + -171. Is s smaller than -57?
False
Suppose 481*a - 505*a = 480. Which is greater: a or -267/14?
-267/14
Let x = -142 - -138.32. Let g = -1.68 - x. Let r be 2 - 27/(-12)*-1. Is r at most as big as g?
True
Let b(s) = 16*s**2 - s - 3. Let c be b(2). Suppose 5*w - c = -5*v + 26, 5*w - 75 = 5*v. Suppose -w*g - 9 = -15*g. Is -62/7 less than or equal to g?
False
Let h be (-4 - (-1023)/24)/(8/(-32)). Let c = 3554/23 + h. Does 0 = c?
False
Let w be 1*(36/54 + (3 + -1)/6). Suppose 3*v = -h - 2*v + 7, -4*h - 2*v = -10. Is h not equal to w?
True
Let k(n) = 3*n**3 + 38*n**2 - 15*n - 285. Let a be k(-24). Which is greater: a or -19508?
-19508
Suppose 32*z - 111328 = -107*z + 27*z. Which is greater: 1001 or z?
1001
Suppose 14*f - 10 = 12*f. Suppose -f*v + 32 = -23. Suppose -24 = v*h - 3*h. Which is smaller: h or -1?
h
Suppose 3*z = -z + 28. Let k(d) = -d + 9. Let w be k(z). Suppose n - 5 = 5*h, -3*n - 2*n = -w*h - 2. Which is greater: n or -2/13?
n
Let v(x) = 237*x + 1026. Let g be v(-4). Is g at most 77?
False
Let w be ((-5 - -5) + 19/(-3))*-3. Suppose n = -5*m - w, -2*m + 5 = 3*m - 5*n. Which is greater: -36/13 or m?
-36/13
Let b = -108 - 272. Let a = -377 - b. Which is smaller: 13/7 or a?
13/7
Let k be (-4)/(-10) - (-9)/15. Let g be (-6 + k)*(-2)/(-5). Let m be ((-6)/4)/(1*3/(-14)). Which is bigger: g or m?
m
Let l = 0.3367 - -2.6633. Is l > 2?
True
Let a = 48.93 + -49.96. Which is smaller: 1.1 or a?
a
Let f = -7/771 + -11348/23901. Which is smaller: -0.6 or f?
-0.6
Let j be 4/(-16)*2*0. Suppose j = 2*f - f - 8. Let k be (-8)/30*(-9)/f. Which is smaller: k or -1?
-1
Let d = -0.2 + 1.2. Let m = -6 + -133. Let t = 128 + m. Is d less than or equal to t?
False
Let b = 3.7 - 4. Let l = 1.1878 + -1.1838. Which is smaller: b or l?
b
Suppose -18 = -2*r - 3*g + 2*g, g + 10 = 2*r. Suppose 7 = -4*x + r. Which is smaller: -2/277 or x?
-2/277
Let a(n) = 12*n - 4. Let h be a(2). Let v(r) be the first derivative of 9*r**2/2 - 169*r - 5. Let q be v(21). Is q greater than h?
False
Let n be (36/10)/((-36)/(-810)). Suppose -43 = -n*v + 82*v. Is -42 < v?
False
Let y = 39730 + -7020. Which is greater: 32711 or y?
32711
Let a(m) = 2*m + 21. Let b be a(-5). Let r be (-840)/(-45)*(-1)/((-25)/15). Is r bigger than b?
True
Let r(q) = 73*q**2 - 189*q - 51. Let n be r(-7). Is 4849 at most as big as n?
True
Let d be (-7 + 6 + -83)/(-2 - -1). Let b be 6/(-10) + 5/(75/d). Is b > 8?
False
Let g = -12120/19 + 31621536/49571. Is 1 greater than or equal to g?
True
Let m = -10752.4 - -10752. Is 80.1 equal to m?
False
Suppose -47 - 63 = 89*i - 79*i. Let t(j) = -j**3 + 6*j**2 - 6*j - 6. Suppose 4*h - 14 - 6 = 0. Let z be t(h). Is z equal to i?
True
Let u be ((-7)/(-35))/(6/(-11131)). Let b = 741/2 + u. Are 0 and b nonequal?
True
Let x be 1212 + (-3 - -7) + (1 - -3). Suppose -x = -12*m - 176. Suppose -5*y + m = 5*p - y, -5*p - 5*y = -90. Which is smaller: p or 14?
14
Let b = 33.124 + -12.071. Let i = -0.053 + b. Let n = 21 - i. Which is bigger: -0.9 or n?
n
Let s be 72*(-2)/14 + (-16)/(-56). Let j(g) = g**3 + 9*g**2 - 14*g - 16. Let u be j(s). Is 250/11 >= u?
False
Let o(l) = -4*l**3 - 173*l**2 - 38*l + 212. Let b be o(-43). Which is greater: b or -8.31?
b
Let g(p) = -2*p**2 - 23*p + 27. Let c be g(6). Which is smaller: c or -182?
c
Let z(w) = w**2 - 2*w - 3. Let r be z(3). Let a(o) = o**3 - o**2 + 2. Let x be a(r). Suppose -7 = m - 5*h, -85 + 70 = -3*m - 3*h. Is x bigger than m?
False
Let z be 189*(-5 - (6 + -10)). Let h(x) = -11*x**2 + 4*x + 2. Let w be h(-4). Which is bigger: w or z?
z
Let k = 710 + -357. Let v = 361 - k. Let f = -0.5 - -4.5. Is v < f?
False
Let t(u) = u**3 + u**2 + u - 21. Let l be t(0). Let a be (-5 - 15 - -21)*3*-5. Which is smaller: l or a?
l
Let g be (-13)/(910/(-470)) + (-7 - 0). Which is smaller: 6/781 or g?
g
Let u be 2/(2/9 + 1880/(-8190)). Let b be u/42*(2 + 0). Suppose 16 = -2*l + l. Which is smaller: b or l?
l
Let b = 31067/1095 + -14/365. Which is smaller: b or 29?
b
Let g = 49.21 + -49. Let r = -0.803 - 347.197. Let n = -349 - r. Is g <= n?
False
Suppose 13*x = 3*x. Suppose x = -10*m - 329 + 69. Which is bigger: -27 or m?
m
Suppose q + 63 = 5*v, 4*v - 42 