 Is j < 48?
True
Suppose -44*n + 3061 - 13709 = 0. Is -242 >= n?
True
Let a(w) = w**3 + 8*w**2 - 1. Let v be a(-8). Let i(f) = -32*f + 1. Let j be i(v). Let m = 32 - j. Does m = -8?
False
Suppose 0 = -6*k - 277 + 289. Which is bigger: k or 0?
k
Let k be 163140/600 + 5/(-2). Is 268 at least as big as k?
False
Let n(z) = -3*z**2 - 9*z - 13. Let k = 98 + -102. Let p be n(k). Let r be 75/6*2*-1. Is p > r?
False
Let y = 112 + 42. Are 155 and y equal?
False
Let j = -1.6462 - 0.3538. Let h = 1.636 - 1.6. Which is bigger: h or j?
h
Let v be 9 - (54/1 - 8). Which is greater: -24 or v?
-24
Let l be (1 - (-42)/(-38)) + 484852/(-8930). Is -55 <= l?
True
Let u be 7/(-21)*-2 + -1. Which is smaller: -99 or u?
-99
Suppose -3*z = -3*p - 51, 0*p - 2*p - 30 = 2*z. Let f be (0 + p)/4 + 15. Which is greater: f or 12?
12
Let p(o) = -5*o + 13. Let s be p(-7). Let v = s - 49. Which is smaller: 0.058 or v?
v
Suppose 5*i - 13 = -2*k - 2*k, 6 = k + 4*i. Is k != 2?
False
Let t(u) = u**3 + 18*u**2 - 19*u + 27. Let m be t(-19). Let i be 6/130*18/m. Is i less than -1?
False
Let i = -70/99 + 16/33. Suppose s - 1 = d + 2*d, 5*s = 3*d - 7. Which is smaller: i or d?
d
Suppose 0 = -198*b + 195*b + 3. Is 2/7 bigger than b?
False
Let x = 3.4 - -0.6. Let z = -7703 - -7703. Which is smaller: x or z?
z
Let a = -1.143 - 0.857. Is -53 greater than or equal to a?
False
Let f be (-4)/14 + 18/14. Suppose 5 + 5 = 2*o. Suppose 1 = -q + 4*q - k, -o*q - k + 15 = 0. Which is greater: f or q?
q
Let s = 45 + -47. Let u be -1 - (5 + 2) - 2*s. Let j be -3*(-1 + 2 - 0). Is u smaller than j?
True
Let r = -14 - -10. Let b be 1 - -3 - (-73)/r. Is 0 greater than b?
True
Suppose 2*v - 93*v = 3458. Is -52 less than or equal to v?
True
Let u = 0 + 2. Suppose 2*f - 4 = f + 4*j, 0 = 4*f - 2*j - 44. Let d be ((-8)/f)/(u/(-12)). Is 6 != d?
True
Suppose 5*f = 4*f. Let l = 40/3 - 988/75. Let b = l - 41/100. Is b <= f?
True
Let w be (52/(-6))/((-114)/27 + 4). Let b be 41 + -1 + -3 + 1. Is w bigger than b?
True
Let y = 657 + -401. Is y greater than 256?
False
Let p(k) be the second derivative of k**3/3 - k**2/2 - 3*k. Let q be p(2). Let t(n) = n**2 - 5*n + 3. Let s be t(q). Is s equal to -3?
True
Let w = 110 - 78. Suppose -2*x + w = 4*p - 6, -5*p + 58 = -x. Is p < 12?
True
Let a be 905/55 - 12 - 5. Which is greater: 8 or a?
8
Let p = -852 + 836. Which is smaller: p or -18?
-18
Let j(q) = 3*q - 3. Let z be 2/(24/(-15) - -2). Let w be j(z). Suppose w = s + 7. Is 5 greater than or equal to s?
True
Let b = 3 - 5. Let u = -5/14 - -139/7. Is b at most as big as u?
True
Suppose -2*w + q = 4*q - 113, -143 = -2*w + 3*q. Is w < 62?
False
Suppose -27 - 19 = y. Let z be (-6)/3 + (12 - 4) + -51. Is z > y?
True
Let q(d) = -3*d**3 + 9*d**2 - 5*d - 11. Let s(p) = -p**3. Let w(t) = q(t) - 2*s(t). Let c be w(8). Suppose c = 2*m + 11. Which is smaller: m or -3/13?
-3/13
Let f(l) = -l**3 + 6*l**2 + 5*l + 15. Let o be f(7). Let x be -2 - 0*o/(-3) - 4. Is x at least 0?
False
Let q be (-6)/(-39) - (-1048)/(-52). Suppose 15 = -3*w, -5*p + 4*w - 25 = 9*w. Which is smaller: q or p?
q
Suppose 45 = 5*o - 0*o. Let y = o - 11. Let c be -3 + y + (-110)/(-16). Which is greater: 2 or c?
2
Let w = 15.14 + -15.04. Which is greater: w or 4/103?
w
Let y = -67 - -66. Is y less than 2/493?
True
Suppose -5*u + h - 25 = -h, 3*u + 3*h - 6 = 0. Let z be (27/(-21) - u)*-1. Let w be (-2)/(-2)*1*-2. Which is bigger: z or w?
z
Let r(z) = -4*z**2 + 40*z - 1. Let l be r(10). Let b = 4787 + -2379137/497. Which is bigger: b or l?
b
Let y be -3 - 0 - (-32 + -1). Let f = y - 27. Suppose -30 = -0*z - f*z. Are 10 and z nonequal?
False
Suppose 452 = g - 4*g + 5*i, 0 = -g - 3*i - 132. Let a be ((-32)/g)/(16/(-6)). Which is smaller: 0 or a?
a
Let w be (-4 - 3)*(-4)/(-14). Suppose 2 = -2*t + 4*z, -z - 13 = t - 6*t. Let n be t/15*(0 + w). Which is smaller: n or 0?
n
Let z be -10*92/(-336)*-118. Let h be ((-38)/3)/((-2)/(-51)). Let t = h - z. Which is smaller: t or 0?
0
Let q = 3107 + -9182/3. Let l = 47 - q. Let r be (117/52)/((-6)/4). Which is bigger: r or l?
l
Let u(w) = 5*w - 31. Let t = -75 - -82. Let j be u(t). Which is bigger: 3 or j?
j
Suppose 0 = 3*h - 6*h - 12. Let w be (-18)/15*30/(-18). Suppose 4*u = -w*a - 0*u - 8, -4*u + 16 = -4*a. Is a not equal to h?
False
Let k(o) = o**2 + 10*o + 12. Let w be k(-8). Let x be w - (-1*15 - -1). Is 8 less than x?
True
Let i be -4 + 4 - 3 - (-4 + 1). Let a = 354 + -194. Let b = a - 1123/7. Which is smaller: b or i?
b
Suppose 4*n - n - 339 = 0. Suppose -121 = -9*v + n. Do 27 and v have the same value?
False
Suppose -5 = -5*p, 0*b + 2*p + 6 = -2*b. Let y be 12/b + 1 + 3. Which is greater: y or 0?
y
Let c = 5.64 + 1.26. Let p = c + -8.1. Is p less than or equal to 0.2?
True
Let b = 1/291 + -320/8439. Is -1 >= b?
False
Let k = -36021501644 + 19919882867869/553. Let o = 13637 + k. Which is greater: o or 1?
1
Let w be -2 - (11/5)/(-1). Let u = -810 + 1154. Let s be (-8 - u/(-40)) + (-8)/5. Which is smaller: s or w?
s
Let w be (-2235)/(-60) - (-12 + 6). Which is smaller: 42 or w?
42
Let s = 1 + -1. Let u = -1349/56070 + 1/4005. Which is smaller: u or s?
u
Let v = 73 - 65. Which is smaller: -4/7 or v?
-4/7
Suppose 125 = t - 6*t. Suppose -n - 330 + 307 = 0. Which is smaller: t or n?
t
Suppose -4*b = -2*b + 142. Let s = 51 + b. Let d = 19 + s. Which is bigger: -1/11 or d?
-1/11
Suppose 0 = -0*h + 4*h - 16. Suppose 4*m - 25 + 9 = h*b, 3*m - 12 = 4*b. Suppose -l - 2*d = -7, -m*l + d + 2*d - 27 = 0. Do l and -4 have different values?
True
Let n = -893 + 804. Is n bigger than -87?
False
Let f = -20.6 + 20.5. Are f and 12/7 nonequal?
True
Let h = 21.15 - 20.75. Let l = -0.11 + 0.91. Which is bigger: l or h?
l
Let f(z) = -z + 46. Let w be f(39). Which is bigger: -114 or w?
w
Let i = 537 + -536.8. Is i less than 2/63?
False
Let n be (-1610)/406 - (1 - 6). Which is smaller: n or 0?
0
Suppose 2*v = 3*v - 2. Suppose 0 = v*p - 12 + 2. Suppose -p*h + 16 = -h. Which is smaller: 2 or h?
2
Let k(q) = q - 4. Let v = -7 + 15. Let c be k(v). Suppose 3*i = 5*d + 18, -3*i - 15 = c*d + 21. Which is bigger: d or -5?
-5
Suppose -3*m - 4 + 21 = -5*b, -4*m + 19 = -3*b. Suppose 8*g - p + 14 = 3*g, -8 = -m*g - 4*p. Let a be g/(-3)*(-3)/2. Which is smaller: -6 or a?
-6
Let u be (-436)/1744*(-5)/(50/(-96)). Let x be 4 + (-1 - 1) + -3. Which is smaller: x or u?
u
Suppose -33*c = -46*c + 91. Is c less than 7?
False
Let h be (7 + (-10510)/1510)/(-10). Which is smaller: 0 or h?
h
Let i = -1/2209 - -9089/558877. Are i and 0 non-equal?
True
Let c = 3 + -3. Suppose -5*p + 22 + 58 = 0. Let r be 6/p*(-12)/18. Which is smaller: r or c?
r
Let h be 1/6*3/16. Let o = -727 + 726. Which is greater: h or o?
h
Let q = 224/3 - 84. Let j = 29/3 + q. Which is smaller: 5 or j?
j
Let c = 3 - 15. Let g be (-21)/(-10)*(c + 8). Which is smaller: g or -9?
-9
Let w be (-7)/((-343)/77) - (-3)/7. Suppose -4*k = -7*k. Suppose 5*y - 3*y + w = k. Are 2 and y nonequal?
True
Let w = -8 + 6.9. Let g = 0.75 - 0.05. Let p = g + w. Which is greater: p or -2?
p
Let w be ((-58)/6)/(11/33). Let h = w - -235/8. Which is greater: h or 0?
h
Let q = 301/13 + -23. Suppose 0 = -9*p + 6*p + 3. Let u = 0 - p. Is u less than q?
True
Suppose -506 = 4*p - 614. Is 132/5 < p?
True
Let w(u) = -u**2 + 9*u + 4. Let z be w(9). Suppose -4 = 2*d + 3*o + o, -2*o = 5*d + 18. Let v = d + z. Which is smaller: 2/3 or v?
v
Let a be (-13 - -12)*(-2)/(-39)*3. Which is bigger: -1 or a?
a
Let l = -217 + 2385/11. Suppose 3*b + 5*z + 27 = 6*b, -10 = -4*b - 2*z. Suppose b*x = -2*c, x - 3 = c - 0*c. Is l greater than x?
False
Let j(m) = -4 - m**2 + 4*m + 4 + 2*m**2. Suppose -15 = 5*s + 5. Let r be j(s). Which is bigger: -1/15 or r?
r
Let y(c) = -c - 6 + 3 - 1 + 1. Let a be y(-4). Let d be 3 - 1 - 159/81. Which is smaller: a or d?
d
Let q = -18 + 18.2. Are 70 and q unequal?
True
Let g be ((-483)/322)/(1/76). Is -112 at most g?
False
Let h(a) = -125*a - 1. Let s be h(-1). Suppose -b - l + 4 = 0, 0 = -0*b - b + l + 14. Suppose -5*m = -b*m + s. Are 30 and m equal?
False
Let p be (-20)/16 + -4 + 2 + 2. Suppose -9 - 3 = -4*z. Let h = 2 - z. Is h less than or equal to p?
False
Suppose -j + 2*j = -3*c + 308, -3*c + 3*j + 312 = 0. Which is greater: c or 726/7?
726/7
Suppose 3049 = 4*h - v - 1276, 0 = 2*h + 5*v - 2157. Which is greater: 1082 