 13. Let n = -3.45 - o. Is 0.1 at least as big as n?
True
Suppose 2*b = -b. Let y be (-4 - -22)*(1 - 1838/6). Let m be (-2)/y*-4*-6. Which is greater: b or m?
m
Suppose 19*t - 6*t = 0. Is 1/5260 smaller than t?
False
Suppose 4*l = 20*l + 96. Let g be (-3 + 4 + 3)*3/l. Let o be g/(-7 - -5)*-56. Which is bigger: -57 or o?
o
Suppose 119*v + 45 = 128*v. Let d(y) = 13*y - 43. Let j be d(v). Which is smaller: j or 24?
j
Let m = 204 - 140. Let s = 3 - 66. Let u = s + m. Which is smaller: u or -6?
-6
Let t(b) = b**2 - 9*b + 21. Let d be t(5). Let u be (-30)/4*(-12)/15. Let n be (-1720)/2670 - (-4)/u. Is d at most n?
False
Let c be 1 + 11 - (8 - -2) - (-475 - 2). Which is bigger: 1 or c?
c
Let j = 244 + -487/2. Let f(b) = -b**3 - 13*b**2 + 14*b + 3. Let u be f(-14). Suppose u*h - 14 = -65. Is h < j?
True
Let a(p) = p**3 + 5*p**2 + 3*p + 7. Let n be a(-6). Let q = -0.0676 + 0.3176. Let z = -0.05 + q. Is z bigger than n?
True
Suppose -4*u - 2556 = 3*j, 1278 = 664*u - 666*u - 2*j. Is -639 less than u?
False
Let g be (-2)/(-4)*1 - 48156/144. Let c = g - -334. Let y = 11 - 15. Is y at most c?
True
Suppose -2447 + 2421 = 13*o. Let j be ((-16)/(-24))/(4/18). Is o greater than j?
False
Suppose h - 4 = -3*h. Let t be ((-69)/2)/((-11)/22). Suppose -150*a + 147*a = t. Which is bigger: h or a?
h
Suppose -4*l + 3836 - 1336 = -4*h, -4*h + 2532 = 4*l. Are l and 629 nonequal?
False
Let m = 9413 + -6281. Which is greater: 18785/6 or m?
m
Let z be (-7)/(2/12 - -1*429/(-2682)). Do z and -1040 have different values?
True
Suppose -a - 346 = -104*p + 101*p, -5*a - 1610 = 5*p. Which is smaller: -2 or a?
a
Let a(y) = -2*y + 16. Let l be a(6). Let q be (l/10)/((-24)/(-600)). Which is smaller: q or -1/6?
-1/6
Let b = 983/2 - 492. Which is greater: 587 or b?
587
Suppose -810 = 47*y - 45*y. Let v = -3010 - -2604. Which is smaller: y or v?
v
Let k = -16138.74 - 401.26. Which is smaller: k or -0.1?
k
Let x = -2071/3 + 699. Let t(a) = 10*a + 44. Let p be t(-6). Let m(h) = -h**2 + 265. Let v be m(p). Which is bigger: v or x?
v
Let q = 1357 + -1357. Is q bigger than 7/1719?
False
Let t = -196 - -206. Suppose -u - 17 = -3*l, -5*l + 55 = -3*u - 0*u. Let g = 31 + u. Do t and g have different values?
True
Let g be (33/(-15))/((-9)/(-504)). Which is smaller: g or -122?
g
Let h = -1.6088 + 1.8088. Is 12/511 > h?
False
Let o(s) = 247*s - 2994. Let v be o(3). Is -4507/2 equal to v?
False
Let r be (-10360)/110 + 6/33. Let h = 95 + r. Is 24/13 at least h?
True
Let x(y) = -149*y. Let q be x(-3). Let c = 31291/70 - q. Suppose -o = -2*p - 5, -10*o + 13*o - 2*p = 3. Which is bigger: c or o?
c
Let f be (1 - 3) + 0 + 2. Let l be (-528)/(-24) - 372/16. Which is smaller: l or f?
l
Let d = -111420 - -3006956/27. Which is greater: -51 or d?
-51
Let j be -454*(-610)/(-2240) - (-7)/(98/(-6)). Which is greater: -123 or j?
-123
Let x = -153 + 144.2. Let y = x + 7.8. Is y >= 13?
False
Let l be ((-22)/33 + (-460)/(-825))/((-1)/(-2015)). Do l and -220 have the same value?
False
Let a(g) = -g**3 + 30*g**2 - 250*g + 155. Let p be a(20). Which is smaller: p or -843?
p
Let m(g) = g**3 + 4*g**2 + 76*g + 596. Let k be m(-7). Which is smaller: k or -335/4?
-335/4
Let l = 191 - 409. Let h = l + 5885/27. Does h = -1?
False
Let x = -0.4131 + 0.2088. Which is smaller: 0.1 or x?
x
Let n = 219/11 - 20. Let x = -867 + 677. Let u be 1/(((-2)/15)/(304/x)). Which is bigger: n or u?
u
Let a be (210/(-9))/5*-141. Suppose 3*d + 5*n = -2*d + 785, -4*d + a = -2*n. Is 159 smaller than d?
True
Suppose 5*a - 4*a + 44 + 16 = 0. Is a <= -29?
True
Let r = -2/9647 - 67509/96470. Let v(h) = -h**3 + 2*h**2 + 2*h + 3. Let l be v(3). Let f = 0 - l. Are r and f unequal?
True
Let n = 7562 - 3082. Which is smaller: n or 4479?
4479
Let u = -12075/3152908 - -1/5764. Let h be 1/(10/(-4)) - 18/30. Which is smaller: u or h?
h
Suppose 4*p + 9*p - 144 = p. Which is bigger: -59 or p?
p
Suppose -2*m - 4 = 0, -3*m + 3968 = -h + 1419. Which is smaller: -2556 or h?
-2556
Let u be (-1)/(-1) + 44/(-10). Let i(m) = 532*m**2 - 1594*m - 10. Let t be i(3). Is u not equal to t?
True
Let k = 36913 - 25405. Which is smaller: 11510 or k?
k
Let i = -1071 - -1082. Which is smaller: i or 10?
10
Let q = -79820 - -53798695/674. Which is greater: 1 or q?
1
Let o = 5.72 + -4.72. Are 9122 and o equal?
False
Let q be (46 - (72 - 34)) + -10. Let y be (1 + (-3)/2)*8. Let t be (y/3)/(14/12). Is q equal to t?
False
Let i = 247704/391 - 11602/17. Do i and -48 have the same value?
False
Let n(h) = -2*h**2 - 4*h + 5. Let a be n(-4). Suppose 5*w + 53 = 4*z, -4*w - 130 + 72 = 2*z. Do w and a have the same value?
False
Let g be (-323)/266 + (-3)/(-14). Which is smaller: -1/10853 or g?
g
Let b be (-263)/(-483) - ((-393)/(-262))/((-7)/(-2)). Is b bigger than 0?
True
Suppose 2*z - 22 = t, 0 = -5*z + 5*t - 22 + 97. Let b be -1*2 - (-16 - -3). Let q = -7 + b. Is q not equal to z?
True
Suppose 4*k + 29*y = 26*y - 9, 0 = -3*k + 4*y + 12. Is -2/663 smaller than k?
True
Let a be 1*9*(-9)/(-81). Let o be (-4644)/486*a/2. Is o less than or equal to -4?
True
Let l = 12854 + -12858. Is 871 greater than or equal to l?
True
Let u be (-203)/(-748) - (-2)/(-8). Let p(z) = 2537*z + 63425. Let x be p(-25). Are x and u nonequal?
True
Let q = 0.08 + -0.1. Let i = q + -1.98. Suppose 3*w - 61 = 5*b - 0*w, 19 = -2*b + 3*w. Which is bigger: i or b?
i
Let o(r) = -2*r + 0*r**3 + 7 - 2 + 10 + r**3 - 9*r**2. Let a be o(9). Let n be 4/6 - 7/a. Which is bigger: n or -4?
n
Let f(p) = 1269*p + 8872. Let w be f(-7). Which is smaller: w or 0.0672?
w
Let b = -3637.3 + 3620.3. Which is greater: b or 74?
74
Let v = 1.42 + -18.42. Let m = -20 + 0. Let x = -23 - m. Which is bigger: v or x?
x
Let o(m) = -m**2 - 8*m - 11. Let p(s) = s**2 - 19*s + 8. Let i be p(20). Let h = i - 34. Let z be o(h). Which is greater: z or -3/7?
z
Suppose 79 = -4*q - 577. Let c = -92 - q. Let p be (-8 + c/8)*(-18 + -1). Is p <= 3/2?
True
Let a = -3151/3 + 1036. Let m = 19 + -8. Suppose -5*l + m = 81. Which is greater: a or l?
l
Suppose 23*a - 21*a - 78 = 0. Let u = a + -41. Let y be -1 + u + 5 + 915/(-15). Which is greater: y or -58?
-58
Let c be (1/(-2))/((-7)/42). Let a(j) be the first derivative of -j**4/4 + 5*j**3/3 + 7*j + 1. Let y be a(c). Which is greater: y or 23?
y
Let d = 6.98 - 3.27. Let f = -2.71 + d. Is -123 at most f?
True
Suppose 3*r = -5*a + 800, 4*a - 20*r + 15*r = 640. Which is smaller: a or 148?
148
Let q = 21 - 9. Let r = 262 + -76. Let m = -183 + r. Which is greater: q or m?
q
Suppose -109*y + 25*y - 17136 = 0. Which is bigger: -1021/5 or y?
y
Let u = -28.9586 - 0.0414. Which is greater: u or 0.049?
0.049
Let b = 106.1 + -100. Let q = -67.9 - b. Let f = q - -73.9. Is 26 equal to f?
False
Let t = -7 - -11. Let l = 0.0078 - -0.2952. Let j = 0.433 - l. Which is smaller: j or t?
j
Let k(p) = 65*p - 104. Let v be k(6). Suppose 7*d - v = 20*d. Which is greater: -11 or d?
-11
Suppose 4*a + a - 445 = 0. Suppose -3520*g + 89 = -3519*g - 2*s, -4*s = -3*g + 269. Which is smaller: a or g?
a
Let b = 6.482 + 14.518. Which is bigger: 2/175 or b?
b
Let c be (-22)/(-40)*(-28)/((-20608)/115). Is 1 <= c?
False
Suppose -41 = -8*l - 65. Let o be (-87)/58*(l/9 - -1). Is o < -3/44?
True
Suppose -m + 3*k + 2*k = 11, 32 = -5*m + 2*k. Let u(i) = -7*i + 1. Let n be u(m). Let z be -1 + 393/9 + 8/(-12). Which is bigger: z or n?
n
Suppose o = -4*r - 8567, -277 = 2*o - 16*r + 16881. Is -8570 less than or equal to o?
False
Let r = 191 - 199. Let u(p) = -19*p - 92. Let t be u(r). Which is bigger: 62 or t?
62
Let x(z) = -22*z - 630. Let h be x(-5). Which is smaller: -521 or h?
-521
Suppose 0*v - 465 = -2*v + 1281. Are v and 1 equal?
False
Let u = -0.09 - -70.65. Let n = u + 3.84. Which is bigger: 1 or n?
n
Let w = -681 + 686. Let x be (576/45 - -2) + 1/w. Is 180/11 != x?
True
Suppose -483644 = 1242*o - 1270*o. Is o bigger than 17273?
False
Let w = 3649 + -3694. Which is bigger: -600/13 or w?
w
Let u = 4101.8376 + -4102. Is -1/5 at most u?
True
Let p = -90 - -85. Let s = p - 16. Let b be (-94)/34 + s/(-7). Are b and 1 unequal?
True
Let v(d) = 6*d + 220. Let c be v(-16). Let k = 220 - c. Is k smaller than 95?
False
Let x(z) = z**3 + 11*z**2 - 318*z + 43. Let b be x(21). Is b at most as big as 7475?
False
Let b be 2/(-11) + (-467)/33. Let x = 140 + -69. Suppos