5 - 4/20. Which is greater: u or p?
u
Suppose -5*n + 2 = 67. Let q = 19 + n. Let k be (2 - (2 + 4)) + 8. Which is smaller: k or q?
k
Let r(a) = a**2 + 10*a + 7. Let u be r(-9). Let d = -14 - -13.97. Let l = d - -0.13. Which is bigger: l or u?
l
Let q = -1988/5 - -353849/890. Is 0 < q?
False
Let b be 10*(-1)/(-2) - -1. Suppose 4*s - 2 - 64 = 5*y, b = y + 4*s. Let v be (-2)/8*4*0. Is y > v?
False
Let m = 98/45 - 11/5. Let q = 41/180 - m. Let w = 1.58 + -1.4. Which is bigger: q or w?
q
Let l be (-3)/(-27)*-6*183. Which is greater: l or -127?
l
Suppose -w = 2*d + 1, w + 6 = 3*d + 15. Let c = -3 - d. Which is smaller: c or -1/31?
c
Let z be (11 + -20 - -9)*(-1)/(-4). Is -10/71 >= z?
False
Suppose -3*r = r + 2072. Let l = -3097/6 - r. Do 2 and l have different values?
True
Let l be (-6 + 3/((-90)/(-156)))*-80. Suppose -u - 31 - 97 = -2*k, -5*u = -2*k + 120. Which is smaller: l or k?
l
Let g = 673/7 + -95. Let x(o) = -o - 11. Let j be x(-8). Let t = j - -5. Which is greater: t or g?
t
Let p be 858/(-30) + 2/(-5). Let a = p + 28. Does 2/21 = a?
False
Let t be 16*((-1629)/36 - 8). Is t < -852?
False
Let d(t) = t**3 + 16*t**2 + 2*t - 7. Let z be d(-16). Which is bigger: -41 or z?
z
Let v be 505/(-35) - (-12)/(-21). Let d be (10/v)/((-76)/6). Is 1 smaller than d?
False
Let k be (12/7)/(2/(-7)). Let v be (42 + 2)*k/12. Does v = -23?
False
Let u = -0.2 + 0.2. Suppose 0 = 2*a + 4, -3*j = a + 2*a + 27. Let f be ((-7)/(-10))/j + (-7)/(-14). Which is bigger: u or f?
f
Let r be -3*((-80)/(-3))/5. Suppose -13 = 3*k + 41. Which is bigger: k or r?
r
Let o = -10.06 - -12.06. Is 1/2 at most as big as o?
True
Let f be (4 + -2)*(-2 + (-158)/4). Let c = f - -124. Which is bigger: 40 or c?
c
Let v = 0.374 - 0.497. Which is smaller: 1 or v?
v
Let c be 32/5 + (6/10 - 1). Let o be -2 - 1 - -1*(-5 + c). Is o greater than or equal to -10/9?
False
Let v be -39*(-5)/3*-1. Which is smaller: v or -265/4?
-265/4
Let t(a) = a**3 + 6*a**2 + 10*a + 10. Let q be t(-4). Let s be (-1)/q + (-136)/(-288). Which is greater: s or -1?
s
Let f = 914 - 949. Which is smaller: -19 or f?
f
Let o = 1 + -1. Let s = 330 + -331. Is s less than o?
True
Let a = -19.6 - 5.3. Let y = 25 + a. Let f = -0.9 - 0.1. Which is smaller: y or f?
f
Let x = 1319 - 1286. Is x at least as big as 27?
True
Let u(a) = -17*a - 357. Let n be u(22). Which is greater: n or -730?
-730
Let k(l) = 6*l - 108. Let b be k(18). Which is smaller: b or -2/921?
-2/921
Suppose -2 = 7*d - 8*d + 4*i, 5*d = i + 29. Let n be -1 + (-5 + 1 - -17)*d. Is 78 at least n?
True
Let c(r) = -r**2 - 21*r - 48. Let w be c(-19). Is -13 at most as big as w?
True
Let a = 18 - 12. Let r be (-6)/(36/15)*a. Let k = 14 + r. Are k and 1/3 non-equal?
True
Suppose 30 = 5*k + 3*y, 0*k + 5*y = -3*k + 18. Suppose 20 = -k*q + 62. Is q at least as big as 8?
False
Suppose -45 = -4*n + 5*j, -4*n + 4*j + 27 + 21 = 0. Suppose 2*b + n - 21 = 0. Suppose 2*d - 9 = 4*d - 5*a, -b*d - 4*a + 21 = 0. Is d at most as big as 5?
True
Let d(w) = -4*w**2 - 53*w - 6. Let x be d(-14). Which is bigger: -3 or x?
-3
Let s = -191 - -190. Is s greater than or equal to -3/73?
False
Let k = 352.8 + -334.01. Let d = k - -0.21. Let u = 1.005 - 1.105. Which is bigger: u or d?
d
Let s(p) = 2*p + 40. Let q be s(-12). Which is smaller: 11 or q?
11
Suppose -i = -3*k - 98, -3*k - 179 = -5*i + 347. Which is bigger: 105 or i?
i
Let c(t) = 6*t**2 + 214*t + 145. Let z be c(-35). Let m be (-1)/(-3)*3/21. Let x = m + -8/21. Which is greater: x or z?
z
Let v = 4/39 - -3/13. Which is smaller: -73 or v?
-73
Let o be (-1)/(1/(-6)) - (-2 + 7). Which is smaller: -1/297 or o?
-1/297
Let b = -1068 - -920. Is b equal to -2/7?
False
Let x = 2267/2697 + -25/29. Is x < 1?
True
Let s = 1.78 + -129.78. Let d = s - -170. Which is smaller: d or 0?
0
Let c = 6 + -4. Let d = 0.028 + 3.972. Which is bigger: c or d?
d
Let m = -14 - -22. Let y = m - 8. Let c = -43 - -47. Which is smaller: y or c?
y
Let l be -1 - (2 + -9 + 1). Suppose -5*c - 12 = -4*v, 4*c - 6 = -2*v - c. Suppose 5*j = -v*j + 16. Is l bigger than j?
True
Let n be 15358/(-48) + 9 + -5. Let f = -316 - n. Do f and 1 have different values?
True
Let b be (522/(-12))/(6/(-4)). Suppose -t + 2*t - 41 = 3*q, 125 = 5*t + 5*q. Is b greater than or equal to t?
True
Suppose -u + 13 = -3*r, 3*u + 17 = 4*r + 76. Is u > 27?
False
Let v = 5827/20321 - 3/2903. Let n = -0.08 + 0.02. Do v and n have different values?
True
Suppose -4*l - f - 7 = 0, 3*l - 2*f + 6*f + 15 = 0. Which is greater: l or -10/53?
-10/53
Suppose w + 8 = -w. Let u be w/(-4) - 128/28. Is u not equal to -4?
True
Let u(a) = -a**2 + 4. Let y be u(0). Suppose -4*p - 5*m = -55, 8*p + 4*m = y*p + 60. Which is greater: p or 15?
p
Let g = -2100850/32039 + 1/4577. Which is bigger: g or 0?
0
Suppose 4*w = -2*i + 224, 15*w - 506 = -5*i + 14*w. Suppose 4*z - 255 = -3*q + 38, -4*q - 5*z = -391. Does i = q?
False
Let d = 2090/3 + -688. Let l(o) = -o**3 + 6*o**2 - 6*o + 2. Let w be l(5). Let v be 12/8*(-16)/w. Which is smaller: v or d?
v
Suppose -o + 5 = 4*o. Suppose 5*j = 4*f + 4*j - 4, f - 2*j = o. Let t(r) = 4*r**3 + r. Let m be t(f). Is 5 less than m?
False
Let q = 1532 + -957. Let k = 312 - q. Let p = 3421/13 + k. Is p < 1?
True
Suppose 3*b - 2*v = 3*v + 5, -5*b - 4*v = 4. Suppose 4*a - 51 = a. Suppose -5*y = l + 6, 5*l - 25 = -y + a. Which is greater: b or l?
l
Let b = -5 + -15. Suppose -26*g = -24*g + 40. Is g bigger than b?
False
Let r = 5.897 + 0.103. Is r not equal to 15?
True
Let m(f) = -f**2 - 17*f + 7. Let s be m(-17). Which is bigger: s or -6?
s
Let g = 1.01 - 1. Let h = 0.09 + g. Is 14 >= h?
True
Let s = 934309 + -63531507/68. Let g = -11/5 - 401/20. Let d = g + s. Is -1/4 less than d?
True
Let i be (-34)/(-68) + ((-285)/142)/3. Which is smaller: -1 or i?
-1
Suppose 150 = -2*o - 90. Let f be (-8)/o - (-3)/5. Which is smaller: -2/13 or f?
-2/13
Suppose -8*l - 2*y + 214 = -7*l, 3*l - 3*y - 642 = 0. Is l bigger than 214?
False
Let g = 2542 - 2538.2. Let k = 2 - 3. Do k and g have different values?
True
Let c(t) = -5 - 7*t - 4*t + 12*t. Let q = 6 - 2. Let h be c(q). Which is greater: -3 or h?
h
Suppose 3*r = -2 + 5. Which is smaller: -1/13 or r?
-1/13
Let q = -1876.7 - -1787. Is -0.1 greater than q?
True
Let m = 12 + -18. Let w = m - -6.3. Let q = 103/3 - 506/15. Which is smaller: w or q?
w
Let f = -0.774 - -0.674. Which is greater: 392 or f?
392
Let j be (-42)/4*16/(-24). Let c = j - 4. Suppose -3*q + c = -18. Is q less than 8?
True
Let r = -205.08 - -205. Is r less than -1/8?
False
Let q = -16171 + 565937/35. Which is bigger: 0 or q?
0
Let r = -236/3 - -80. Suppose 0 = 3*j - 5*j + 4. Suppose 2 + j = 2*a. Which is smaller: a or r?
r
Suppose 0 = 3*q - 5*q + 2. Suppose -45 = -3*y - 2*y. Which is greater: y or q?
y
Let c = 420 + -334. Is 86 at most as big as c?
True
Let l = 12.558 - 0.058. Let u = l + -12.4. Is u smaller than 0.84?
True
Let r be (3 - -15) + 0 + 0. Suppose -r - 16 = -17*a. Suppose -3*s + 6 = 3. Which is smaller: s or a?
s
Let c = 8/344321 - -36814507/1198237080. Let q = c + -1/174. Is 1 at most q?
False
Suppose -17*m + 12 - 63 = 0. Let h be (-1 + (-24)/3)/m. Which is smaller: h or -0.1?
-0.1
Let w(q) = -q**2 + 2*q. Let d be w(2). Let f be (0/1)/(d + 1). Let n = 2 + -1. Which is bigger: f or n?
n
Let j = 542/3 + -1628/9. Is 2/3 greater than or equal to j?
True
Let x = 31 + -30.58. Let b = x - 3.42. Which is bigger: -1 or b?
-1
Let k = -0.0711 - 103.9289. Which is greater: k or 0.1?
0.1
Let w be (-19)/(((-4)/(-25))/(-4)). Suppose 0*l = 5*l - w. Suppose 31 = 4*j + l. Which is greater: j or -17?
j
Let c be (2/(-2))/(3/18). Let w be (-8)/(9/((-27)/c)). Does w = -4?
True
Let i = 446.19 + -451. Let x = 0.19 - i. Is x smaller than 2/3?
False
Let v = 13875768 - 97504326/7. Let p = 53308 + v. Let d = p - -113. Which is smaller: 0 or d?
d
Suppose 4*z + z = -10. Let q be 20/z - (4 + -7). Let x(a) = a**2 + 6*a - 5. Let o be x(q). Are 3 and o nonequal?
True
Let d be -24 + 3 + 2 - 1. Suppose -380 = 13*v - 133. Which is smaller: v or d?
d
Let l be (78/65)/(9/540). Are 567/8 and l equal?
False
Suppose -2*h + 12*h - 30 = 0. Suppose -h*z + 166 = -z. Which is smaller: z or -0.1?
-0.1
Suppose 2*f = -3*u + 223, -16*u - 122 = -f - 21*u. Are 0.06 and f nonequal?
True
Let s be 2/(-4)*48/10. Let h be 7990/(-35) + (-8)