18. Let p = -62 - r. Which is smaller: p or -11?
-11
Let g = -43 - -64. Suppose 2*s = 2*d - 30, 47*d - 5*s = 46*d - 13. Is g less than d?
True
Let h = 155 - 155.4. Let z = 0.4 + h. Which is greater: z or 57?
57
Let x(c) = 27*c - 2411. Let v be x(86). Are -1172/13 and v equal?
False
Let q = 158 + -170.79. Let c = -1.91 + q. Is c less than or equal to 0?
True
Let c(m) = -m**2 - 21*m - 35. Let l be c(-18). Suppose 5*n - 35 = -3*u, -3*u + l + 0 = n. Let h be (5 - 3) + 8 + -1. Which is smaller: u or h?
u
Let t(r) = 36*r - 38. Let w be t(0). Let l(s) = 3*s + 113. Let f be l(w). Let j = -68 - -1283/19. Which is smaller: f or j?
f
Let p = -482.8 + 482.9. Let v = -13.4 + -192.6. Are p and v unequal?
True
Suppose 13*r - 10*r - 18 = 0. Let v be (303/r)/((-5)/10). Let s = v - -102. Is 15/23 at most as big as s?
True
Let x be (-271*(-6)/9)/((-82)/123). Is x bigger than -275?
True
Let r(t) = t**3 - 45*t**2 + 5*t + 30. Let q be r(45). Let u = 256 - q. Which is smaller: u or -2/855?
-2/855
Let m = -179/645 - -169613/612105. Which is smaller: -1 or m?
-1
Let w(j) = j**2 + 22*j - 31. Let h be w(-25). Suppose 5 - h = i. Let k = i - -32. Is -7 greater than or equal to k?
True
Let k(u) = -u - 11. Let f be k(10). Let v be f/45 + 4/6. Suppose -12*h - 250 = -82. Is v != h?
True
Let b = 0.3 - 0.2. Let v = 95.5 - 19.5. Let n = 96 - v. Which is bigger: n or b?
n
Let m = -17743 + 7381073/416. Which is smaller: m or -1?
-1
Suppose 34*z = 245 - 245. Let h be -1*((-71)/(-74) + -1). Which is greater: z or h?
h
Let y be 1925/10*64/40. Let p = 307 - y. Which is smaller: -1/197 or p?
p
Let d be 90/14 + 52/(-20) + (-1976)/(-910). Is 206/39 < d?
True
Let v = -3 + 2.7. Suppose -u - 842 = u - 3*x, x + 1241 = -3*u. Let h = -2896/7 - u. Which is bigger: v or h?
h
Let j = 4441255023/4918814 + 3/2459407. Let s = j + -903. Suppose 17*p - 3 = -r + 21*p, 1 = 3*r - 4*p. Is s != r?
True
Let i = -9.052 - -300.052. Is i greater than 1/9?
True
Let h(f) = -f**2 - 8*f + 179. Let m be h(10). Let k be (-1 + 2/4)/((-3)/(-6)). Let z be (k + ((-38)/(-20) - 3))/3. Is z greater than m?
True
Let c be (-6 + 5)/((-1)/(-35)). Let r = c + 41. Let z be (5/((-55)/(-2)))/((-4)/r). Is z greater than or equal to 0?
False
Suppose -4 + 0 = t. Let r be (3/12)/((-2*16)/t). Let i = 1 + 0. Which is smaller: r or i?
r
Let g = -31683 + 31683. Let z = -7281/17 - -428. Is g at most as big as z?
False
Suppose 12 = 4*x, -x = 3*o - 109 - 254. Let j = -145 + o. Is -25 > j?
False
Suppose -169*f = -8093 - 7286. Which is bigger: f or 1014/11?
1014/11
Suppose 2*b - 4*z = -5*z - 23, 3*b = -z - 32. Is -195/19 != b?
True
Let k be (1016/(-10))/(253/55 - 5). Let b = -35 + 290. Is k < b?
True
Let r be 2 + 6517794/1428*(-8)/10. Let m = r + 25537/7. Let a = m - -15/17. Which is bigger: a or -2?
a
Let x = -1338.2 - -1579. Let u = x + -220. Let d = u + -21. Which is smaller: d or 1?
d
Let s = -70 - -86. Let k be 25*1 + -16 + s. Which is bigger: 11 or k?
k
Let s = -3021 + 2933. Let h = 190 + -272. Let j = s - h. Is -0.5 at least as big as j?
True
Let s = 8.858 + -8.68. Is -2.5 greater than s?
False
Let g be 145/174 + (-62)/(-12). Suppose 4*d = -2*a - 0*a + 52, 4*d - 2*a = 60. Which is smaller: g or d?
g
Let b be 59/(-6) - (-3)/2. Let a(t) = -5*t + 267. Let l be a(55). Which is greater: b or l?
l
Let m be (5617/624 - (4 + -3 + 3)) + -5. Is -0.2 <= m?
True
Let n = 2489.7 + -2489. Let k = 5 + -2. Is n less than or equal to k?
True
Suppose 7*r = -819428 + 819435. Let n = -150 - -5849/39. Is n at most as big as r?
True
Suppose 2*n - 9 = -g + 10, n = 2. Suppose 3*y - 3*t + 12 = 0, -g = 2*y + 4*t + t. Let d be (-30)/(-15) - (-7)/y. Is d greater than or equal to 1?
False
Suppose -5*c - 13 = -3*n + 3, -3*n - 4*c = 2. Let m(b) = 53*b - 8. Let j be m(n). Is 97 greater than j?
False
Suppose 2*a = -n + 111, 5*n - 2*a - 525 = 3*a. Suppose -y + 2*j - 35 = 0, -4*j - n = 3*y - 9*j. Let w = -60 - -20. Which is greater: y or w?
y
Let y be ((-342)/(-72) + -4)*(-4)/3. Does y = 17/47?
False
Let x = 4.872 - -17.479. Let r = -0.451 + x. Which is smaller: -0.1 or r?
-0.1
Let c = 13 - -3. Let d = -9058.9 + 8652. Let z = d - -407. Are z and c unequal?
True
Let i be (-22 + 20)*(-7465)/10. Is i at most as big as 1494?
True
Suppose -3*q - 1 = 4*c - 0*c, 3*q + 2*c - 1 = 0. Let j be 42/(-14) + (-3)/(-546)*534. Let u = -55/546 + j. Which is bigger: u or q?
q
Let u = 33/38 - 5/6. Let g(n) = 40*n**2 - 1. Let a be g(-1). Suppose -a = -5*d - 44. Is d at most u?
True
Let u be (1 - (-3)/6)*(-72)/(-27). Suppose -2*q + 6 = -u. Suppose 16 = -t + 4*b, -q*t + 0*t + 4*b = 48. Are -3 and t unequal?
True
Let t be (-1558)/(-369) + (0 - -1) - (1 + 5). Which is smaller: t or 365?
t
Let t be (1/(-3))/(-5 - 92/(-18)). Let o be -2*1/6*t. Let j be 8/(-176)*(2 - o)*10. Which is smaller: j or -1/3?
j
Let c = -8070 - 247. Is c greater than or equal to -8318?
True
Let z be 35/((-51)/(-24) - 2). Suppose -z = 14*g - 70. Is g >= -9?
False
Suppose 413300 + 93166 = -166*g. Is -3051 at most g?
True
Let n(a) = 131*a - 74. Let z(b) = -134*b + 74. Let k(p) = -5*n(p) - 4*z(p). Let g be k(3). Is g <= -285?
False
Let i(o) = -2*o - 3. Let c be i(5). Let d = -4342 - -4332. Is d at least as big as c?
True
Let a be -9 + (6/10 - (-48592560)/5784900). Is 1 bigger than a?
True
Let n = -46.8 - -25.2. Let b = n - -21.7. Is 7.3 at least b?
True
Suppose 9*b - 351 - 63 = 0. Suppose -b*q + 12408 = -13*q. Is 377 > q?
True
Let y(m) = -66*m + 5157. Let j be y(112). Is -2232 > j?
True
Suppose 3*y - 7*y + 3*w - 614 = 0, 4*w - 768 = 5*y. Let x = 1062/7 + y. Let b = 98 + -62. Is b >= x?
True
Let t = -78 - -86. Are t and -0.5 nonequal?
True
Let d be (5/3)/(-6*(-5)/(-90)). Let o be d/10*-12 + -5. Do -2 and o have different values?
True
Let m be 13/26*(-4 - -1966). Which is smaller: 989 or m?
m
Suppose 3 + 3 = 3*n. Let a be 16/3 - n*(-3)/(-18). Suppose 0 = -a*m + 4*d + 60, -4*m + 3*d + 55 = m. Which is greater: m or -1?
m
Let m(x) = -x**3 + 11*x**2 - 6*x - 18. Let w be m(7). Let k = 272 - w. Which is smaller: k or 135?
135
Let f be (-2703)/5400 + (3 - 188/60). Let r = f - -2/225. Do -2 and r have the same value?
False
Let g be ((-59700)/(-8250))/(2/15*9). Is 7 at most g?
False
Let h = 15.102 + -15.002. Is -12645 > h?
False
Suppose 2*x = l - 176, 5*l - 128 = x - 31. Which is greater: x or -91?
x
Let o = -22101/100 - -885/4. Is -14/5 greater than or equal to o?
False
Suppose 19 + 5 = 3*o. Let g be 10/o*9/(-15). Let h = -599 + 598. Which is smaller: g or h?
h
Let s = 32493 - 21149. Is 11344 smaller than s?
False
Suppose 0*g + 2*g = -2*z - 22, -5*z = 2*g + 40. Let s(j) = 73*j - 12. Let m be s(z). Let r be -6 - -1 - m/110. Which is bigger: 0.2 or r?
0.2
Let a(s) = s**2 - s - 1. Let f = 14 + -16. Let j be a(f). Suppose -j*o + 10*o = -10. Which is bigger: o or -1?
-1
Let o be 700/(-21100)*2/77. Is -1/2 < o?
True
Suppose -4*p - 42 + 10 = 0. Let s be (32/p)/(0 + 2). Let h be s - 6*(3/2)/3. Is -2 at most as big as h?
False
Suppose -12*y - 4*n + 4028 = -8*y, 0 = -3*y - 4*n + 3016. Suppose 2*u - y = -4*w, -18*w - 2*u = -16*w - 506. Is w less than or equal to 254?
True
Let s = -5.738 + 7.738. Let v = -25.3 - -24.27. Let g = v - -1. Which is greater: g or s?
s
Suppose 2*g = -2*g. Let v = 4 - g. Let p = -81531 + 81536. Which is bigger: v or p?
p
Suppose 0 = 2*j + 6*j + 11*j. Which is smaller: j or 36/109?
j
Let v = -482 + 249. Let f = -233.4 - v. Which is smaller: 2/3 or f?
f
Let d = 12083.07 - 12083. Which is smaller: d or -0.05?
-0.05
Suppose 0 = -2*x - 0*x - 6, 4*g + 5*x = -2967. Let f be (g/45)/(4/(-10)). Which is smaller: 38 or f?
38
Let a = 11831 - 12971. Are a and -1141 unequal?
True
Let d(g) = g**3 + 2*g**2 + g + 1. Let p be d(-2). Let f be (-8 + 19)/154*6/4. Which is bigger: p or f?
f
Let n = -10141 + 10171. Is n < 24?
False
Let f(o) = -o**2 + 6*o - 2. Let a be f(5). Suppose 0 - 6 = a*w. Suppose 42*p - 45*p - 39 = 4*u, 4*p = -u. Is w >= u?
True
Suppose -4*x + 2*v + 89 = 9, -4*x + 80 = -v. Let y = 0 + x. Let k = 58 - 59. Is k greater than or equal to y?
False
Let h(w) = 6*w + 95. Let g be h(-31). Let k = g + 92. Is 1/224 less than or equal to k?
True
Let m = 293/1521 + 5/169. Let g = -157.09 + 157. Which is smaller: m or g?
g
Let b(q) = 16*q**2 - 9*q - 21. Let a(p) = -2*p**2 + 2*p + 1. Let z(w) = 6*a(w) + b(w). Let j be z(-4). Do j a