*r - 4*b + 4. Which is smaller: s or r?
r
Let v = 9 + 38. Let s = 7 + 460. Let d = s + -419. Is d greater than or equal to v?
True
Let y be (14 - (-27)/15)*35. Is y smaller than 552?
False
Suppose -4*x - 141 = 4*k + k, -x - 54 = 2*k. Let g be (3/16)/(-1)*k/(-3). Is -2 >= g?
False
Let c(m) = -m**3 - 5*m**2 - m - 4. Let j be c(-5). Let s(v) = -36*v**2 - 5*v + 3. Let h be s(j). Let d = 40 - 79. Which is smaller: d or h?
d
Let r be (64/(-42))/(94/148896). Which is bigger: r or -2415?
r
Let d = 14852 + -14853. Let h be (-1)/(-4) + 126/(-1464). Which is bigger: d or h?
h
Let a = -1229 - -1214. Let x = 12 - 20. Is x < a?
False
Let c(j) = -4*j + 55. Let w be c(4). Let k(y) = 2*y**2 - 85*y + 36. Let z be k(w). Are z and -236 equal?
False
Let s = -317 + 316.942. Let x = s - -12.058. Let t = 1 + -2. Which is smaller: x or t?
t
Suppose -5*r - 2*h + 26 = -9, 0 = -r - h + 10. Suppose 102 = -2*p + r*p + 4*c, -3*p + c = -87. Suppose -p = -10*f + 7*f. Do f and 11 have different values?
True
Let t = 0.2538 + 53.7662. Let m = t - 1.02. Let f = -61 + m. Which is bigger: f or 0?
0
Let l = 348143/36756 - 341/36. Which is greater: l or 1?
1
Let d = -280 - -229. Let k be (19/(-3))/((-17)/d). Which is smaller: -88/5 or k?
k
Let l = -6443 - -6433. Which is smaller: l or 215?
l
Suppose 5*l = -3*o - 11892, 12*l - 4*o + 9488 = 8*l. Is -2377 >= l?
False
Let x = -454.601 - 0.399. Let j = x + 454.9. Is 342 at least as big as j?
True
Let z be (0 - -5) + -6 - -5. Suppose z*g - 2*g - 5 = -h, g = 5*h + 8. Which is bigger: h or -6/101?
-6/101
Let z be 7*-2 - 6630/(-459). Let a = -0.6 + -0.1. Is z bigger than a?
True
Let w = 101365402/25161 - 40/8387. Do w and 4029 have the same value?
False
Let b(z) = -31*z + 13 - 8 + z**2 - 9*z**2. Let j be b(-4). Is j less than 8/141?
False
Let o = 842 + -886. Is o less than or equal to -44?
True
Let c be 6*((18 - 0) + -6). Let n be (-12)/(-2)*c/(-48). Is -7 > n?
True
Suppose 30*f + 59*f - 89 = 0. Is f greater than or equal to 1/873?
True
Suppose 0 = 258*v + 28*v - 6578. Let l(o) = -22*o**3 + o**2 - 1. Let c be l(-1). Is c less than v?
True
Let w be (-11)/(231/609) - -29. Let k = 95799/100 + -958. Is w less than k?
False
Let j = 67 + -66. Let v be ((-18)/(-21))/((-9)/(-42)). Suppose 0 = -b, -15 = -v*n - 3*b + 29. Which is smaller: j or n?
j
Suppose -4*n + 0*n + m - 51 = 0, -3*n = 4*m + 24. Let u = -30 - -66. Let d be n/6 + 51/u. Which is bigger: 0 or d?
0
Let h be 12/516*(-10)/4. Is h greater than 1?
False
Let z = 94.15 - 119.15. Let n = 670 + -1972/3. Let o = 112/9 - n. Which is bigger: o or z?
o
Suppose -k + 5*l + 10 = 0, -2*k - 7 + 19 = -2*l. Suppose p - 2*a + 64 = 4*p, k*p - a = 111. Suppose -3*q + 8*q + 48 = c, 20 = -4*q. Which is greater: p or c?
c
Let m(a) = -a**2 + 5*a + 31. Let v be m(8). Suppose v*j + 5 = 6*j. Which is bigger: j or -7?
j
Let z(s) = s**3 - 13*s**2 + 9*s + 7. Let f(d) = d**2 + 1. Let y(a) = 2*f(a) + z(a). Let b be y(10). Let x be (-115)/100 + 3/4. Which is greater: b or x?
x
Let i = 12 - 11.968. Let o(g) be the second derivative of -13*g**3/6 - 33*g**2 + 14*g - 3. Let t be o(-5). Which is bigger: t or i?
i
Let f = -688 + 843. Do 155 and f have different values?
False
Let n(c) = -42*c**3 - 106*c**2 + 431*c - 4. Let a be n(4). Is -2663 less than a?
False
Let g be -5*(-8)/(-19110)*-5*(-39)/(-130). Is -27 < g?
True
Let k be 32/(-2) + 22/(-11). Let w be 2/(-6) + 496/(-24). Is k at least as big as w?
True
Let p(j) = 8 + 3 - 6 - j**2. Let w be p(0). Suppose w*v = -5*i + 15, 12 = 2*v + 2*v. Which is greater: i or 10/23?
10/23
Let k = -173 - -375. Let f = -203.09 + k. Let j = -0.99 - f. Do j and 85 have the same value?
False
Let y = -150446/75 - -2006. Let c = 1839 + -1838. Is c less than y?
False
Let a be (-4)/(560/1262) + (-305)/(-122). Do a and -8 have the same value?
False
Suppose 285 = s - 2*i, 4*s - 3*i = 1222 - 87. Let f = -377 + s. Which is smaller: -93 or f?
f
Let z = -631 - -1313/2. Suppose -303*x - 882 + 3527 + 5108 = 178. Is z at most x?
False
Let b be 2*16 + (-3837816)/120020. Suppose -i + 0*i = 0. Let h be (-1 - -2)*(-1 + i). Which is bigger: b or h?
b
Let n be (24/(-60))/(18/(-15))*(-3060)/(-5). Is n greater than 54?
True
Let u = -1490 + 1491. Is u bigger than -74?
True
Let s be ((-18)/(-72))/((-3 - -2)/(-8)). Suppose 136 = -s*a - 80. Is -108 bigger than a?
False
Let m = 21441 + -21634. Which is greater: m or -186?
-186
Let x(a) = -1754*a - 3920. Let g be x(-2). Which is greater: -401 or g?
-401
Let w = 92 + -52. Let c = -39.9 + w. Let g(n) = 6*n + 12. Let j be g(5). Which is bigger: c or j?
j
Let z = -812 + 262. Let w = z + 613. Is -2 greater than or equal to w?
False
Let m be (-2695)/(-462)*(-3)/(-1134). Which is greater: 0 or m?
m
Let m = 191 - 292. Let n = -97 - m. Let u be (-6 - -10)*n/66. Do 1 and u have different values?
True
Let m = -472 - -481. Suppose 39*w - m*w = 2940. Which is smaller: w or 99?
w
Let z = -21/814 - 8639/12210. Let o(i) = 2*i + 2. Let y be o(-2). Which is greater: y or z?
z
Let p = 27810 - 27561. Is -18 > p?
False
Suppose 15*h + 2304 = -4*c + 19*h, 4*c = -h - 2344. Which is smaller: c or -569?
c
Let o = 16363/8525 + -8/775. Let n = 98 + -95. Is o != n?
True
Let n = 1 - -1. Suppose -5*g - 3 + n = y, -g = -3*y - 3. Let c = -587 - -6443/11. Which is bigger: g or c?
g
Let q = -4 + -7. Let k = -0.3686 - -0.9686. Which is bigger: k or q?
k
Let j = 11 + 24. Let n = 21 - j. Let w = 18 + n. Does 0 = w?
False
Suppose 5*o + 662 = 3*p, 7*p = 9*p - 5*o - 453. Is p not equal to 208?
True
Let s be (0 - 42/20)/((-156)/325). Let i be (128/(-80))/(4/(-10)). Which is smaller: s or i?
i
Suppose -2*f - 278 = -f - 770. Which is greater: 494 or f?
494
Let f(n) = n**3 + 7*n**2 + 10*n + 2. Let v be ((-5)/(-3))/((-69)/(-9) - 8). Let c be f(v). Which is smaller: 0.053 or c?
0.053
Let i = -3.16 + 3. Let o be (-5 + 4)/((-682)/(-44)). Are i and o nonequal?
True
Let l = -2.3015 - -2357.9015. Which is smaller: -0.1 or l?
-0.1
Let k = -4133 - -318235/77. Which is smaller: -4 or k?
-4
Let q = 303 - 9387/31. Suppose -2*l - 8*l = 70. Let j(o) = o**3 + 8*o**2 + 7*o + 1. Let x be j(l). Which is greater: q or x?
x
Let f(q) = -q - 8. Let w be f(-7). Let r = -1004 + 1007. Which is smaller: r or w?
w
Let b(y) = y**2 - y - 54. Let c be b(-6). Let u be 1/(-2) + 12*c/180. Is u at least -2?
True
Suppose -g = 3*n - 157, 3*n - 2*g = -7*g + 149. Suppose n*z - 534 = 51*z. Is 268 at most z?
False
Let t = 5030 + -5685. Is t not equal to 0.02?
True
Let x = 145 - 141. Suppose d - 46 = -x*q, -64 = -d - 2*q + 7*q. Which is bigger: 56 or d?
56
Let a = -3 - -6. Let x = -79 + 76.25. Let y = x + 2.45. Which is smaller: a or y?
y
Suppose -i + 6*x - 773 = 0, -2*i + 4*x - 9*x - 1648 = 0. Is i smaller than -813?
False
Suppose 6*x = -4*y - 10, -8 = -2*x + 5*x + 5*y. Which is smaller: -3/1151 or x?
x
Suppose -10*j + 38 = 28*j. Let s = -223/5 - -14029/315. Is j equal to s?
False
Let f = -286.0148 - -0.0148. Let z = f + 286. Is z less than or equal to 30.6?
True
Let z(d) = d**3 - 65*d**2 + d - 64. Let k be z(65). Let l be (12/536)/(1/(-2)). Let b = 9/4690 + l. Is b greater than k?
False
Let n(y) = 1269*y - 1258. Let s be n(1). Which is smaller: s or -92/13?
-92/13
Suppose 44*x + 52*x - 8309 - 619 = 0. Is x at most 2/7?
False
Let t = 0 + 4. Suppose g - 4*m - m - 23 = 0, -28 = t*g + 4*m. Let y = 12 + -12. Is g at least y?
False
Let l = -406/365 + -14117/3650. Which is smaller: l or -5?
-5
Let c be (6/(-4))/(((-270)/84)/15). Let z be ((-3)/2)/(c/14). Do z and 1 have the same value?
False
Suppose -91 + 125 = -n + 379. Is n >= 346?
False
Let o be (-15)/4*120/45. Let w be ((-4)/10)/((-158)/o). Let g(d) = -3*d - 25. Let b be g(-8). Is b smaller than w?
True
Let l = 2587.79 + -2588. Let m = -9064 - -26947/3. Let v = m - -81. Which is smaller: l or v?
v
Let k be -7 + 4 - 0 - -17. Let u = k - 11. Let t = u - 13. Which is smaller: t or 0?
t
Let i(b) = b**3 + 24*b**2 + 46*b + 52. Let s be i(-22). Let f(t) = -2*t**2 + 14*t - 5. Let c be f(s). Which is smaller: -17 or c?
c
Let b = -22996 - -23371. Let c be (-4)/(-4) - (-9)/(-7). Are c and b equal?
False
Let r = 8.466 + -8.786. Are r and -2/25 unequal?
True
Let w be (-79)/711 + (-2)/(-18) - (-35 + -1). Does w = -79?
False
Let s(b) = -3*b**3 + 2*b**2 - 6*b. Let u be s(2). Let h be (u/12)/(24/(-9)). Let a = -1/8 + 2