/s)/((-5)/15). Which is smaller: b or 8?
8
Suppose 5*h = 12*h + 392. Let q = -72 - h. Let r = -17 - q. Which is greater: -17 or r?
r
Let v(f) = -3*f - 115 + 93 - 2*f. Let g be v(-5). Suppose g*u + 4 = -u. Which is smaller: u or 1/146?
u
Let m = 385 + -494. Let v = m - -109.22. Let s = 3 - 2. Is v smaller than s?
True
Suppose 0 = 3*r - m + 2, 3*m + 0*m = 2*r + 6. Suppose r = -2*n + 46 + 8. Does 29 = n?
False
Suppose -36*h - 42*h = 31*h. Which is smaller: -13/994 or h?
-13/994
Let p = 1022 + -1307. Is -279 equal to p?
False
Let s = 22 - -10. Let t = -10 - s. Let m = -57 - t. Is -15 not equal to m?
False
Let w be (-375 - -5) + 6*18/12. Is w less than 0.1?
True
Let a = -2498 + -307. Is a bigger than -2804?
False
Let v = -4046/1324251835 - -54735125078443489/35309850928440. Let s = -113/2424 + v. Let m = 1549 - s. Is -2 equal to m?
False
Let z = 1.03 + -4.18. Let r = -0.15 - z. Suppose 35*o + 35 = 30*o. Is r equal to o?
False
Let f = -300 + 665.6. Let y = -366 + f. Which is smaller: y or -6?
-6
Let q = 0.073 - 29.073. Which is smaller: q or 15?
q
Let s(w) = -10*w - 50. Let t be s(-17). Suppose 2*y - t = 4*y. Let l = 179/3 + y. Is -0.058 smaller than l?
False
Let z = 1311/2 + -654. Which is greater: 135 or z?
135
Let q(g) = -2*g + 38. Let m be q(19). Let k(w) = -w**3 - w**2 - 2*w + 8. Let p be k(m). Is p at least as big as 7?
True
Let l = -2320 - -2623. Which is greater: 0.4 or l?
l
Let p = 115 - 116. Let s be p + -11 + 5 + 15. Is s less than -3?
False
Let z be (0/(-3))/2 + 1. Let s be ((-1)/(-3)*202)/((-1032)/(-10224)). Let w = s - 667. Is w at most z?
True
Suppose -3*w = -2*p + 59 + 165, -5*w - 372 = -3*p. Let j be (1001/(-35))/(-1)*80/(-32). Is w smaller than j?
True
Suppose -123*m = 57*m + 20340. Is m at least -152?
True
Let u(c) = c**2 - 8*c - 8. Let s be u(10). Suppose s = 4*r - 20. Suppose -8*f = -6*f + 4*y - 18, -f = -4*y - 3. Is f greater than r?
False
Suppose 3 = -5*c + 33. Let m(i) = -c*i**2 - i**3 + 8*i + 3 - 17*i + 2*i. Let k be m(-4). Which is smaller: k or -6/17?
k
Let y = 0.04546 + 2.95454. Which is smaller: y or -3/14?
-3/14
Let j be 5/(-10)*-6 + (0 - -2). Suppose j*s - 14 = -g, 2*g = -s - 3*g + 22. Suppose 1 = s*h - 1. Is h at least -3/22?
True
Let h = -2 + 8. Let v = -19/9380 + 50671/9380. Which is smaller: v or h?
v
Let j = -867.9 + 944. Let p = 5.9 + j. Is -1 at least p?
False
Let j = 0.0323 + -0.2493. Let x = j + 0.017. Is x smaller than -2/11?
True
Let l be (-3)/(-2)*((-16)/(-3) - 5). Which is bigger: l or 99?
99
Suppose -13*j - 8568 = 155*j. Are j and -39 non-equal?
True
Suppose 3359 = 4*l - 5*t, -14*l = -11*l - 5*t - 2518. Which is bigger: 1 or l?
l
Let h be (-56)/(-2*(-14)/84). Which is smaller: h or -155?
h
Let s(p) = 10*p + 42. Let i be s(-4). Suppose f = -i*v + 22, 4*f - 3*v = 129 - 30. Which is greater: f or 23?
f
Suppose 0 = -5*q + o - 176, -q - 3*q = -5*o + 145. Let g = 17 - 16.93. Let r = -0.07 + g. Are q and r non-equal?
True
Let r(b) = 4*b**2 - 236*b + 283. Let q be r(58). Which is greater: -0.007 or q?
q
Let m = -778.08 - -719.3. Let q = 60 + m. Let o = 0.22 - q. Is -0.25 greater than o?
True
Let d = 0.9 - 0.852. Suppose 9*u + 31 = -4*q - 17, 0 = -2*q + 4*u + 10. Which is greater: q or d?
d
Let j = 75454 + -75500. Let r(s) = -16*s. Let k be r(3). Is j at most k?
False
Suppose -54*d + 2602 + 3009 = -1949. Which is bigger: d or 148?
148
Suppose 2*i + 191 = 34*i + 223. Is i < 58/35?
True
Let x(a) be the second derivative of -3*a**3/2 - 3*a**2 + 25*a. Let t be x(-1). Does 33 = t?
False
Let c = -10714 + 10471. Is -10 bigger than c?
True
Let i(x) = -2*x**2 + 8*x + 374. Let f be i(-14). Is f smaller than -124?
True
Let i = 551/24 + -569/24. Which is smaller: 2418 or i?
i
Let l = 919 + -347. Let a = l + -572.1. Is -2/147 <= a?
False
Let s = 7/212 - -38/53. Is -28/3 at least s?
False
Let o be (3 - (-42)/(-18))*-18. Let s be ((-3)/8)/((18/o)/1). Which is smaller: -2/369 or s?
-2/369
Let d(a) = 2*a + 41. Let g be d(-21). Let j = -6468 + 6489. Is g greater than j?
False
Let w = -98 + 99.2. Let v = 62 + -64.08. Let o = v + 0.08. Which is bigger: w or o?
w
Suppose 74*h + 266 = 81*h. Suppose -6*o = -4*o - 2, b = 5*o - 42. Let n = 2 - b. Which is greater: h or n?
n
Let m = 34 + 426. Let o = -459.8 + m. Which is bigger: o or -2/7?
o
Let n = -2196.8 - -2195.6427. Let i = n - -0.1033. Let c = i + 0.054. Which is greater: -2 or c?
c
Let l(r) = 5*r**2 - 121*r + 138. Let v be l(23). Which is smaller: v or 33/247?
v
Let p = 21.69 + -21.69. Which is bigger: 51.14 or p?
51.14
Suppose -1 = 2*x - 5. Let v be (x + 13)/(-3) - -149. Let u = v + -154. Is 5 equal to u?
False
Let b = 6118.111 - 6124. Let u = 6 + b. Are u and -3 equal?
False
Suppose -2*o = -3*c + 209, -30 = 2*c + 3*o - 165. Suppose -3*f = -c - 93. Is 54 equal to f?
True
Let i be -5 + 6 + 5 - 127. Let a = -120 - i. Which is smaller: a or -2/395?
-2/395
Let s = -159.287 + 159.33. Are s and -52 nonequal?
True
Let v be 3*(-2)/873*(7 + -6). Let p = -481/582 + v. Let w(o) = o**3 - o**2 - o + 1. Let k be w(1). Which is smaller: p or k?
p
Let o = 36036 + -36059. Is -362 < o?
True
Suppose 29*n - 62*n = -26*n + 1127. Is n >= -165?
True
Let q = 6221 + -6149. Is 0.076 smaller than q?
True
Suppose 2*h - q = -0*q + 6, -5*q - 4 = 3*h. Suppose 2*d - 107 = -t - h*t, d + 2*t = 56. Suppose 48*a - d*a + 26 = 0. Which is greater: a or 0?
0
Let l(s) = 10*s - 22 - 118 - 34 + 62 + 10*s. Let w be l(14). Does w = 168?
True
Let v = 1263 + -1262.83. Let r = 6.8 + -7.17. Let z = v + r. Does -9/5 = z?
False
Let t(n) = -n**2 - 6*n - 5. Let r be t(-4). Suppose 2 = -r*g - 1. Let i be 6*78/286*(20/(-6) - -2). Which is smaller: i or g?
i
Let t = 3 + -1. Let b(h) = -85*h - 42. Let z be b(-7). Let s be (-8)/(-36) - z/1575*2. Which is greater: t or s?
t
Let n be 12/9*3/2. Let d be 22/(-11) + (-6)/(-50) + n. Which is smaller: 1 or d?
d
Let y = -0.039 + 1.039. Suppose -1300 = -6*w - 19*w. Is w not equal to y?
True
Let b = -884834579/172 + 5144363. Let g = 97/4 + b. Is 1 < g?
False
Let y(w) = -w**2 - 13*w - 2. Let j be y(6). Let z = -376 - j. Let x be z/(-78)*((-4)/(-15) - 0). Is 0 >= x?
False
Let f be (-1)/2 + (-113)/(-10). Suppose 12*d = 3*d + 7533. Suppose d*p = 835*p + 20. Is p greater than f?
False
Let u = -3051 + 852. Are -2197 and u equal?
False
Suppose 3*z = -3*w + 411, 2*z + 325 = 5*w - 388. Let h = 402089 - 401949. Is w at least as big as h?
True
Let r = 49 + 11. Let v = r + -61. Let c = 9.9 + 0.1. Is v at most c?
True
Let a = 40289/7 + -5788. Is -32 < a?
False
Suppose 0 = 60*m + 25 - 10 + 45. Is -759 at least as big as m?
False
Let a = -11439 - -35453/3. Let y = 382 - a. Which is greater: y or 4?
4
Suppose 0 = 13*f - 537 - 1179. Let o = 135 - f. Are 36/23 and o equal?
False
Let y(p) = p**3 + 23*p**2 + 115*p + 47. Let i be y(-16). Which is smaller: -26/27 or i?
i
Let s = -40.066 + 0.066. Let z = 53 - s. Let n = z + -78. Is 1/5 less than n?
True
Let g = -196 + 7057/36. Suppose -102*l - 65*l = 56*l - 43*l. Which is bigger: l or g?
g
Suppose 10*f - 14*f + 612 = 0. Suppose 0 = 3*i + 2*d + f, -d + 0*d + 3 = 0. Let x be (-1 - (-31)/4)*-8. Is i less than x?
False
Suppose -72*m = -69*m - 2*v + 13, -3*m + 5*v = 28. Let p(q) = 4*q + 2*q**2 + 6*q**3 + 2*q - 2*q - q + 2. Let g be p(m). Is g > -11/2?
True
Let w = 91 + -89. Suppose w*k + 116 = 3*l, 0*l - 2*l + 88 = -4*k. Suppose 58*u = 64*u - l. Is 4 greater than u?
False
Let g be -1 + (-12)/(-16) + (14/(-8) - -2). Do g and -4/3369 have the same value?
False
Let n be 222/(-407) + (-1703)/44. Let z = 39 + n. Let h(p) = -2*p + 7. Let f be h(4). Which is greater: z or f?
z
Suppose 3*c + 5*q + 4 = -19, -4*q - 12 = 2*c. Let k = c + 99. Let g = 3323/40 - k. Is 0 > g?
False
Suppose -681*j + 679*j + 86 = 0. Suppose j*r + 2 = 45*r. Which is greater: r or 5/269?
r
Let i = -17 - -17.637. Let c = -0.937 + i. Which is smaller: -2/137 or c?
c
Suppose -4*d - 2*g + 846 = -0*g, -5*d + 1070 = 5*g. Suppose -f + 56 + d = 0. Suppose -5*v + 25 = -m - 5, 5*m - 2*v = -f. Do -55 and m have different values?
False
Let w = 39591 + -19093. Let g be (w/(-111))/((-4)/6). Is g less than or equal to 277?
True
Let c be (-9)/3 - 5*-3. Suppose 2*m + 4*j + c = j, 0 = -5*m - 3*j - 12. Suppose -k = -m*k - 48. Is k less than 49?
True
Let z(n) = -183*n - 104. Let q be z(24). Is -4497 at least as big as q?
Fal