 37 + b. Suppose -k*g = -4*g - g. Which is smaller: g or -1.4?
-1.4
Let j be (36/(-2385))/(539/15 - (-7)/(-21)). Which is smaller: 1 or j?
j
Let t = -6178 - -4471. Which is smaller: t or 5?
t
Let v(z) = -326*z - 2935. Let g be v(-9). Are g and -225 non-equal?
True
Suppose 21*z + 23*z - 28*z = 16. Which is bigger: z or -1/279?
z
Let z be 0/(-6 - (-12 - -5)). Let c be 35/9 - (0/8 + z). Which is bigger: c or 1?
c
Let q = 920 - 856. Suppose q*f + 10959 = 103*f. Which is smaller: 280 or f?
280
Let u be 4 - (-19)/((-65436)/13594). Which is smaller: u or -1?
-1
Suppose 7*v = -16*v + 23. Let q(h) = h**2 - 4*h - 1. Let k be q(4). Let l be (-18 - -19)*v/k. Which is smaller: 1/3 or l?
l
Let i = -185/108 + 25/12. Let v = -190 - -191. Which is smaller: v or i?
i
Suppose -p - 105 = -99. Let r be -57*((-20)/(-3) + p). Let v be (1 - 1) + -1 + -36. Is v at least as big as r?
True
Suppose -2 = -72*n + 73*n. Let s(i) = 2*i**2 - 3*i - 9. Let c be s(n). Suppose 2*x - 349 = c*u, 2*u = 6*u - x + 281. Is -72 greater than or equal to u?
False
Let c = -467/6 + 4211/54. Suppose 5 + 4 = 9*x. Which is smaller: c or x?
c
Let z(h) = 4*h - 32. Let k be z(9). Suppose -b = 12 - 16. Suppose -b = -3*v + k*v - l, -3*v + 5*l = 16. Is -9/7 equal to v?
False
Let r = -4 + 3.7. Let l = -416 + 203. Let m = l + 206. Is m > r?
False
Let y = -59777197/138480 + -1/46160. Let l = 432 + y. Let z = -77 + 122. Is l less than z?
True
Let r be (2/(-4))/(24/(-48)). Let u be r*8/(-12) + 40/33. Let g = -26 + 26. Is g equal to u?
False
Let i = -308 - -287. Let n be (6 - (-102)/i) + (-1)/7. Which is greater: n or -12/47?
n
Let l(k) = -77 + 40 - 65*k + 12*k - 19 - 3*k**2. Let u be l(-17). Is -106/5 > u?
True
Let d(h) = 5*h**3 - 222*h**2 + 89*h - 106. Let z be d(44). Is -57 greater than or equal to z?
True
Let u = -3.4 - -23.4. Let m = 11 - u. Which is bigger: m or -0.2?
-0.2
Suppose -1321 = 3*c + 5*y, 0 = -5*c + y + 1241 - 3452. Which is smaller: -441 or c?
c
Let o = 4133.01 - 4133. Which is greater: o or -1/25?
o
Let g = 14 - 13. Let o = -2787 + 36229/13. Which is smaller: g or o?
o
Let p be (-896)/560*(-10)/410104. Is p > 0?
True
Let v(m) = 71*m**2 + 7*m + 16. Let u be v(-3). Suppose -36*d + u + 698 = 0. Which is bigger: 34 or d?
d
Suppose 24 = 180*q - 156*q. Which is smaller: q or 2/7197?
2/7197
Suppose -104 + 26 = -3*o. Suppose -m - 5*r = -o, 3*m - 7*r + 11*r = 23. Which is bigger: 6/133 or m?
m
Let q = 52106 - 30333. Which is greater: q or -2/5?
q
Suppose -2*m + 3 = 7. Let f be (-1097)/(-3)*(-6)/8. Let p = f + 273. Is m >= p?
False
Suppose 0 = 3*q - 4*t - 38, -q + 14 = 2*t + 8. Suppose 4*h - 4*i - 64 = 0, -q*h + 4*i = -15*h + 71. Is h at most 16?
True
Suppose 0*q = 5*q + 4*k - 4, -3*q = k - 1. Let z = -13507/1023 - -414/31. Are z and q non-equal?
True
Let v be (-2)/(-3)*370412/420. Let y = v + -588. Which is greater: 0 or y?
0
Let n = -8669 - -8672. Which is greater: n or 206?
206
Suppose -6632 - 2786 = -34*v. Suppose v*y + 265 = 272*y. Let o be (-1)/((-2)/4) - 54. Are o and y nonequal?
True
Let v = -25.58 - -23.8. Which is bigger: -19/2 or v?
v
Let g(u) = -3*u**2 + 9*u - 7. Let z = 6 - 8. Let k(q) = q**2 - 3*q + 2. Let x(i) = z*g(i) - 7*k(i). Let h be x(3). Which is bigger: -7 or h?
h
Let y(u) = 182*u - 35823. Let n be y(197). Suppose -2*x = 3*d - 19, -2*x = -6*d + d + 53. Are d and n unequal?
True
Suppose 3*g - t - 33 = -278, -95 = g - 3*t. Let s = 3 - 84. Let z = g - s. Which is greater: z or -4/45?
z
Let p(a) = a**2 + 6*a - 13. Let v be p(-8). Let g be (-6 - 3)/v + 14/2. Suppose 5*i - 2*u = -96, -3*i = -g*i + 4*u - 12. Is -19 equal to i?
False
Let z = -21.8 - -11.7. Let i = 0.276 - -10.824. Let o = z + i. Do o and 0.2 have different values?
True
Let x be 1 + 4/(-3) + 1. Let q = -930 - -1752. Let i = 824 - q. Is i greater than or equal to x?
True
Let h be (-42580)/42 - (-570)/5985. Is h <= -1013?
True
Suppose -z = -2*g + 15, -3*g + 28 = 503*z - 499*z. Which is greater: 188/101 or z?
188/101
Let a = -11711 + 11702. Which is smaller: 319/6 or a?
a
Let d be 99/660 + 8/(-28) + 4/(-35). Is -0.121 less than or equal to d?
False
Let c = -181.62 - -3.62. Let l = c - -177.9. Let g = -104914/79 - -1328. Which is smaller: l or g?
l
Let z be (196/490)/(-2*(-1)/10). Let q = -4.2 + 77.2. Which is smaller: z or q?
z
Let x be -15*(-6)/300*((-139)/3 - -1). Are -4 and x equal?
False
Let i be ((-262)/(-206))/(3/(-2505)). Let y = 1062 + i. Suppose 5*d = -w - 19, 15 = -w - 3*d - d. Is w > y?
True
Let r = 77087/55055 + -2/11011. Which is greater: r or 757?
757
Let m be -2*-14*-1*2/8. Let k(b) = 3 - 2*b - 5 - 2*b - 19. Let q be k(m). Is q > -3?
True
Suppose 0 = -715*j + 694*j + 546. Are 0 and j non-equal?
True
Let o be ((13 - 16) + 2 + -1)*1. Let i = 0.433 - 202.433. Is o less than or equal to i?
False
Suppose 510 = w - 2*b + 329, 0 = -4*w - 2*b + 704. Which is smaller: w or 181?
w
Let g = -1795 + 1795. Let i be 20/(-70) + 76/70. Do i and g have different values?
True
Suppose -2*t - 2315373 = -3*m - 91484, 0 = -3*m - 3*t + 2223864. Let d be m/62356 + -12 - 4/(-34). Is -1 at least d?
False
Let j be 2*188/126 - 1. Let t = j - 14/9. Let l = 11/65 + 3/13. Which is bigger: t or l?
t
Let b = 24001 + -24004. Which is smaller: b or 2154?
b
Let c be 0 + 1 - (72/(-6) + -2). Suppose 2*q - 11*s + 20 = -c*s, 50 = -5*q + s. Is q != -32/3?
True
Suppose 3*k + 8*k - 55 = 0. Suppose -3*n + k*l + 55 = 0, -3*l + 27 = 4*n + 2. Suppose -4*b + 0*y = -5*y + n, -5*y = 5*b - 10. Is b bigger than -5/7?
True
Let c(v) = v**2 + 31*v + 167. Let w be c(-18). Are -471/7 and w equal?
False
Suppose -888*j + 885*j + 3*d - 237 = 0, 2*j + 5*d + 151 = 0. Are j and -92 nonequal?
True
Suppose 455*c = 110547 - 818527. Is c at least -1551?
False
Let d = 4378 - 6736. Let s be 428788/(-182) + (4 - 6). Let q = s - d. Which is smaller: q or 1?
q
Let r be (-176220)/(-197370) + 8/(-68). Which is smaller: r or 0?
0
Let s(h) = 15*h**3 + 2*h**2 + h - 2. Let j be s(1). Which is smaller: j or -41?
-41
Let m be -2 - -5 - (-11 + 12). Let x = 4 + -2. Suppose y - 4*y = m*w - 11, -w - 5*y = -x. Which is smaller: w or 19/3?
19/3
Let x = -0.0438 - -5.2938. Let h = 5.15 - x. Which is smaller: h or 152?
h
Let o be (-245)/(-28035)*6/21. Is -1 < o?
True
Let q be (2/(-4))/((-2)/2). Let u = -5.77 - -5.6. Let s = u + 0.15. Is s at most as big as q?
True
Let v = 20477 + -20474. Let u(l) = l**3 + 5*l**2 - 5*l + 5. Let b be u(-6). Which is smaller: v or b?
b
Let x = 26578270/19819399 - -2/114563. Which is smaller: 2 or x?
x
Let u be 3 - 54/12 - 21/14. Let x be 20/(-24)*22/10. Which is smaller: u or x?
u
Let d be 804/10 + 4/(-10). Let v = 307 + -303. Suppose -553 = -3*x - v*x. Which is bigger: d or x?
d
Suppose 4*k - 12 = -r, 3 = -4*k - 5*r + 15. Let t(h) = 12*h - h**2 + k + 0*h**2 - 2. Let o be t(9). Is o bigger than 28?
False
Let h be (-10)/(-25) - (-38)/5. Suppose -q - 63 = -5*p, 2*p = -11*q + 6*q + 36. Suppose 2*x - p = -z, -z + x + h = 4. Which is greater: z or 2?
z
Let a = -90 + 448/5. Let c = 9.1 - 9.02. Let k = c + 0.03. Is a bigger than k?
False
Suppose -42 = 2*x + 2*o, -5*o - 44 - 46 = 4*x. Which is smaller: x or -10?
x
Let o = 1010 + -886. Which is bigger: o or 126?
126
Let s = 9374 + -9384. Is -23 at most as big as s?
True
Suppose 48*n - 2 = 47*n. Suppose 2*y - z = 0, -n*z = 2*y + 2 + 4. Are y and -2/153 non-equal?
True
Let j = -2.3776 - 72.6224. Is 74 less than or equal to j?
False
Let v(t) = 58*t + 183. Let x be v(3). Which is greater: 362 or x?
362
Let d be 4 + 1036/(-276) - (-22)/253. Is d greater than or equal to 5/7?
False
Let s be (12 - (-333)/(-27))*(1 - 118). Suppose -s*v = 1146 + 5718. Which is smaller: v or -177?
-177
Let d = -41231/7 + 453815/77. Which is smaller: d or 4?
d
Suppose 936 = f + 17*f. Let j be f/(-26)*(-6)/(-5). Is -2 smaller than j?
False
Suppose 6*s + 794 + 34 = 0. Let o = 98 - 101. Are o and s equal?
False
Suppose -y + 14 = 2*h + y, 23 = h + 5*y. Suppose -5*z - 20 = 0, -h*z + 134 = 5*l - 744. Which is bigger: l or 177?
l
Let x be 44/14 + ((-175)/(-637) - 8/(-52)). Is -8 less than x?
True
Let l(g) = g**3 + 233*g**2 + 104*g + 24332. Let z be l(-233). Suppose 0 = -0*c - c - 3. Let d be (-2)/c - 903/(-9). Which is smaller: d or z?
z
Suppose -21 = -20*y - 1. Let g = 1/2403 - -1831/1374516. Are g and y nonequal?
True
Let j be (-248898)/(-32) + (-27