+ 12. Suppose -48 = 4*u - 3*s, -3*u + 0*u - 4*s - 61 = 0. Are l and u equal?
False
Let f(y) = y**2 + 75*y + 9. Let s(n) = 2*n**2 + 225*n + 29. Let r(g) = -7*f(g) + 2*s(g). Let u be r(-25). Which is greater: u or -7/2?
-7/2
Suppose 0 = -4*t + 3*t + 5*s - 4, -5*s = -3*t + 8. Suppose 28 = 11*k + t. Which is smaller: k or 1?
1
Let v(i) = -i + 3. Let b(a) = 20*a + 216. Let w(k) = -b(k) - 8*v(k). Let s be w(-7). Is -158 <= s?
True
Let t(y) = y**3 - 41*y**2 - 183*y + 2. Let n be t(45). Is n at least as big as -138?
True
Let f be 56/(-112) + 30/4. Suppose -5*z + 20 = -0*z. Suppose 0 = -5*j + z*j + 3. Which is bigger: f or j?
f
Let f = 52 + -294. Let o = f + 239. Let b = 0.1 + -0.1. Is o at least as big as b?
False
Let d = -4703/22 + -74/11. Which is smaller: d or -220?
d
Suppose -10*n + 3991 = -909. Let i = 518 - n. Suppose -4*z + 29 = 4*q - 71, -3*z = -5*q - 91. Which is smaller: z or i?
z
Suppose -3*v + 5*m + 406 = -0*m, -2*v + 270 = -4*m. Let u = v - 138. Let s be (8/10)/(14/(-25)). Is u at least s?
True
Let h = -454 - -454.46. Which is smaller: 10 or h?
h
Let y(l) = l**2 + 13*l + 12. Suppose 0 = -2*d + 4*p - 20, -3*d - 5*p = -6*d - 31. Let q be y(d). Which is greater: 20/21 or q?
20/21
Let l = -1389241/8721 + 3027/19. Let t = l + -4918/18819. Which is smaller: 0 or t?
t
Let q = -17383/881640 - -2/7347. Is q equal to 1?
False
Let l be (-3)/(3/(-374)) + 8/14. Let p = -374 + l. Is 2 at most as big as p?
False
Let w(c) be the first derivative of 4*c**2 + 391*c + 277. Let q be w(-54). Is 3 >= q?
True
Let p be -6 + 26/247 + 112/19. Which is greater: 1/136 or p?
1/136
Let b = 10 + -22. Let f = -170 - b. Let i = f + 478/3. Is 2 at most i?
False
Let v be ((-24)/(-20))/(249/727910). Is v greater than 3507?
True
Let m(k) = k**3 + 7*k**2 + k. Let x be m(-6). Let r = x + 16. Let v(l) = -97069*l - 97022. Let i be v(-1). Which is bigger: r or i?
i
Let y be (-17 - 0)*-358*(-10)/(-20). Let a = 12097/4 - y. Is a >= -18?
False
Let k be 27/(-204) + 2/8 + (-1610)/3570. Is 87 smaller than k?
False
Suppose -4*n = -131*o + 135*o + 8876, -4*n + 4*o - 8828 = 0. Is n greater than -2210?
False
Let n = -27 - -28. Let l be -2 - -4 - 5 - (n - 10). Let o be l/(1/(21/(-6))). Is o <= -21?
True
Let p be 126/(-21) + (2 - -6). Suppose 468 = p*q - g, 3*q - 249 = 5*g + 439. Is q bigger than 236?
False
Let j = 202 - 132. Suppose 0 = 179*r - 188*r + 630. Is j <= r?
True
Let y(b) = -54*b**2 - 5*b + 3. Let z be y(1). Let j = -84 - z. Let u be (6/36)/((-1)/j). Is 6 at most as big as u?
False
Let n be ((-48)/(-16))/(2 - (-14)/(-6)). Is 44 equal to n?
False
Let l(c) = -12*c - 17. Let i(o) = o**2 + 35*o + 51. Let h(x) = -2*i(x) - 7*l(x). Let n be h(8). Is n at most 1/55?
False
Let o = -5505 - -5504. Is o greater than 2/21129?
False
Let o = -13 + 6. Let j(p) = 14*p - 115. Let a be 1702/207 + 4/(-18). Let y be j(a). Is y greater than o?
True
Suppose -6*b + 8*b - 54 = 0. Suppose -3*w + 3*v - 18 = 0, -5*v - 7 - b = 3*w. Let x be 3 - (19 + (-28)/4). Which is greater: w or x?
w
Suppose 447*g - 350 = 437*g. Is 536/15 greater than g?
True
Let j = 19479/728035 - -3/3355. Let m = 788/12803 - j. Is -7/5 at least m?
False
Suppose s + 1 + 0 = 0. Let t be (-4)/14 + 321*(-2)/(-42). Suppose t*m + 55 = -50. Is m <= s?
True
Let d = 327 + -175. Suppose -8*n = 11*n + 1805. Let x = d + n. Is x less than or equal to 57?
True
Let k be 122/6 - 4/(-6). Suppose 5*h - 3*x - 2*x = -230, h = -4*x - k. Suppose -5*n - 25*g + 24*g = 211, -3*g = -3*n - 123. Is h bigger than n?
True
Let n = 6079 - 6999. Does -3685/4 = n?
False
Suppose -2*s - 4 = -3*s. Suppose 3*t - h - 14 = 0, s*t - 16 = -0*t + 2*h. Suppose -m = -t*m + 10. Is 2 at most as big as m?
True
Let v = -3388.9277 - -3389. Which is smaller: v or -1?
-1
Let c be ((-2)/(-6))/(3/9)*111. Which is greater: c or 114?
114
Suppose 4*l = 198 + 222. Let u = -25880 - -25879. Which is bigger: u or l?
l
Suppose 22506 = -9*p - 0*p + 6801. Do p and -1745 have different values?
False
Suppose -232 = -47*n + 43*n. Let q = -168 + n. Which is greater: -108 or q?
-108
Let p(x) = x**2 - 8*x - 9. Let m be p(10). Let k(g) = -g**2 + 13*g - 24. Let w be k(m). Are -22/15 and w nonequal?
True
Let h be (17121/1035)/13 - (-2)/(-6). Let y = h - 488/69. Let l = y - -34/5. Is 2 bigger than l?
True
Let r = -715.12 - -703. Let i = -12 - r. Let s = -0.08 - i. Is 2/31 less than or equal to s?
False
Suppose -3*w - 227*n = -222*n + 804, 3*w + 750 = 4*n. Which is smaller: -265 or w?
-265
Let d be (3/(-9))/((-50)/3). Let f be 272/(-10)*(-12 + 7). Suppose 0 = -f*g + 132*g. Are d and g nonequal?
True
Suppose 5*t + 2*s = 274, -10*t + 104 = -8*t - 2*s. Suppose 28*w - 30*w = -t. Are 30 and w equal?
False
Let i = -13 - 3. Let m be -39*8/24 + (-30)/15. Which is smaller: i or m?
i
Let a = -14454 + 205059/14. Let r be (3 - 36/8)*(-772)/(-6). Let h = r + a. Is 1 greater than h?
True
Let j(g) = g**3 + g**2 - 4*g - 3. Let b be j(-2). Let a = 16 - 15. Let u be a/((-12)/(-63)) - (-9)/(-3). Which is smaller: u or b?
b
Suppose 100*w + 28697 = 10155 - 29758. Is w at least -485?
True
Let t = 144566 - 144565.9. Let a(s) = -7*s**2 + 5*s - 17. Let j(q) = 3*q**2 - 2*q + 8. Let x(b) = -4*a(b) - 9*j(b). Let n be x(4). Which is smaller: t or n?
t
Let m = 35650 - 1817806/51. Is 8 < m?
False
Let b = -4390 - -4391. Is b greater than -5/189?
True
Let s = -0.057 - 47.943. Let j = s + 59. Let c = j - 10.9. Which is smaller: -2/5 or c?
-2/5
Let n = 1.8617 + -283.8617. Is -4 greater than n?
True
Let r = 0.03741 + -33.03741. Which is smaller: -1/69 or r?
r
Suppose 0*f + 1 = -f. Suppose -6*s - 153 = -75. Let o be 104/s - (-11 - -3). Which is smaller: f or o?
f
Let b = -2534 - -2542. Which is greater: b or 122/17?
b
Let w = -86 + 94. Let h be (w/(-42))/(6/21). Is h equal to 0?
False
Let v(f) = -10*f**2 - 370*f + 458. Let g be v(-39). Are g and -322 equal?
True
Let c = -21816142/941 + 23184. Let b(o) = -o - 2. Let l be b(-3). Is c > l?
False
Let z(t) = t**2 + 98*t. Let j be z(-98). Which is bigger: j or -2/2251?
j
Let t = 0.332 + -1.202. Let y = t + -134.13. Which is smaller: -2/5 or y?
y
Suppose 168 = 15*j - 6222. Let w = j + -448. Which is bigger: w or -13?
-13
Let x(r) = r**2 - 5*r - 22. Let o be x(8). Suppose 33 = o*a + 39. Is -3 equal to a?
True
Let r be 1*3/(12/20) + -2. Let i(q) = 2*q - 32. Suppose -3*w + 32 = -w. Let t be i(w). Which is greater: r or t?
r
Let i be 265/(-1325) + (-11)/(-30). Which is greater: 801/2 or i?
801/2
Let j = -9325 - -9312. Do -81/7 and j have the same value?
False
Suppose -5*o + 55770 = -5*t, -356*o + 358*o - 22299 = -t. Do o and 11152 have different values?
True
Suppose 4*t + 114 = -3*g - 83, 2*t - 311 = 5*g. Let k be 1*(4/10 - g/105). Is k at least 5/8?
True
Suppose -2*c = c - 21. Let f = 960 - 957. Suppose -f*q + 70 = c*q. Which is smaller: q or -0.2?
-0.2
Let x = -0.0213 + 0.0213. Let t be (-4)/(-3)*(-12)/2. Let g = -2 - t. Is g greater than x?
True
Let t(l) = -52*l - 48. Let v be t(-1). Suppose 0 = 35*f - 31*f + v. Is 436 at least as big as f?
True
Let k = -77.11 + -2.89. Let r = -55 - k. Is 2/7 smaller than r?
True
Suppose -4*v = -2*b - 700, 4*v - 4*b + 3*b = 700. Let d = v + -213. Which is smaller: d or -35?
d
Let g = -38.90756 + -0.09244. Which is smaller: g or -3.5?
g
Let a = 10924 + -10922. Which is smaller: -729 or a?
-729
Let y be (-1 + 3 - 413)/(-2 - 1). Let a = y + -135. Which is smaller: a or -10?
-10
Let y = -2621.72 - -2514. Let b = 108 + y. Which is bigger: b or 1?
1
Let k(f) = -f**3 - 16*f**2 - 29*f - 6. Let b be k(-14). Let v be ((-687)/12)/(2/b). Let a = -2517/11 - v. Which is smaller: a or -0.15?
-0.15
Let x be (-19 + 870/42)/(316/(-14)). Let u = 0 - 0. Which is bigger: u or x?
u
Suppose -15788 = -50*z + 3962. Is z > 395?
False
Suppose 0 = -80*j + 40*j - 240. Is j greater than -106/15?
True
Let h = -82 - -18. Let j = 67 + h. Suppose -7*v + j = -4. Is -1 bigger than v?
False
Let v be (698/(-2229412))/(1 + 6/(-8)). Which is bigger: v or 1?
1
Let i = 86.15 + -82. Let t = i + -0.25. Let f(s) = s**3 - s**2 - 3*s - 2. Let p be f(-1). Which is greater: p or t?
t
Let z(c) = 34*c**2 + c - 1133. Let p be z(0). Let w = p + 1144. Let k(v) = 11*v**2 - 2*v - 1. Let h be k(-1). Which is smaller: h or w?
w
Let j = -8 - -13. Suppose 4*v - 5*c + 111 = 0, j*v + 3*c = -2*c - 105. Which is bigger: v or -20