 13. Suppose 0 = -3*i + 3*d + 12 + 24, -3*i + 61 = v*d. Let j = 0.2 + -0.3. Which is bigger: j or i?
i
Suppose 0 = 2*y - 7 + 19. Let r be (-3)/4*(-68)/y. Let m(z) = -z**3 - 19*z**2 - 77*z + 3. Let t be m(-13). Which is greater: t or r?
r
Suppose -9*g + 1991 = 488. Is g bigger than 167?
False
Let y = -105 + 169. Suppose -l + 5*n = 5 - 33, 4*l - 4*n - y = 0. Which is smaller: 10 or l?
10
Let u = -5 - -2. Suppose -44 = -5*l + 16. Let v = l + -12. Do u and v have the same value?
False
Let z(l) = l**3 - 9*l**2 + 13*l + 7. Let t be z(7). Suppose t = 5*f - 8*f - 4*w + 7, f + 1 = -2*w. Do 10 and f have the same value?
False
Let r be -13 + 12 + (-10)/14. Let m = 0.8 + -0.8. Which is bigger: m or r?
m
Let c = -339389/249 + 1363. Is 0 at most as big as c?
False
Let h = -14 + 22. Let y(n) = -n**2 - 11*n - 21. Let q = -2 - 5. Let v be y(q). Which is greater: h or v?
h
Let x = 25 - 23. Suppose x = 3*k - 1. Which is smaller: 2 or k?
k
Let s be (-203)/(-435)*(-106)/12. Let q be 1 + (-59)/10 - -1. Let c = s - q. Which is smaller: c or 0.1?
c
Let p(a) = -a**3 - 2*a**2 + 3*a + 2. Let g be p(-2). Let h = 2/217 - 1523/434. Which is smaller: h or g?
g
Let x be (-2)/(-5) - (-43)/5. Let p be x/15 + (-4)/(-10). Which is bigger: p or 12/11?
12/11
Let w = -36 + 30. Let b(c) = -3*c - 11. Let m be b(w). Suppose m = -5*q + 32. Is 5 at least q?
True
Let f = 53 - -10. Let b(d) = -5*d + 15. Let m be b(-6). Let y be (-10)/m + (-4)/f. Which is greater: -1 or y?
y
Let m be 38/20*(23 + -17). Which is greater: m or 10?
m
Let q be (6 + -2)/(-1 - (-13)/11). Suppose 22 - q = 7*y. Is -2/45 greater than or equal to y?
False
Let j = 1741 + -1792. Is -672/13 at least as big as j?
False
Suppose 0 = 5*d - 26 + 6. Suppose -4 = d*v + 4. Let c be ((-4)/(-9))/((-16)/24). Which is smaller: c or v?
v
Let g be (-1228)/(-2898) - (-78)/(-182). Which is bigger: g or 1?
1
Let w be (6 + -8)/(2/9). Let h(u) = u - 1. Let b be h(w). Which is smaller: -8 or b?
b
Suppose 4*p = 3*p + 20. Let s be 4/(-6)*(-6)/p. Which is greater: 1/2 or s?
1/2
Let h be 199 + 1 + (-220)/(-110). Which is bigger: h or 201?
h
Let c = 1210750 + -15724008/13. Let k = -1210 + c. Which is smaller: 1 or k?
k
Let i = 2365 - 11831/5. Suppose 0 = 4*b - 5*q - 4 - 3, -4*b + 13 = q. Suppose -k - 5*v = -5, -2*v = -b*k - 6*v + 4. Which is smaller: i or k?
i
Let a be (4/(-2))/(1 + (-25 - -11)). Let u be (-2)/(-9) + 14/18. Is u greater than or equal to a?
True
Let y = 23 - 23.29. Let t = y + 0.3. Are 0 and t unequal?
True
Let y(i) = 4*i - 24. Let w be y(9). Suppose 2*n + 6 = b - 2*b, -3*b = -4*n - w. Let s be -3*(9/8 - 1). Is b at least s?
True
Let o = 1270 - 1267.4. Which is smaller: o or -13?
-13
Suppose -d - 7 = -5*b - 42, 3*d + 4*b - 200 = 0. Is d >= 62?
False
Let m(u) = u**3 - u**2 - u - 9. Let k be m(0). Let h be k/(-3)*(-14)/6. Which is smaller: -6 or h?
h
Let y be 19/(418/(-624))*5/10. Which is bigger: y or -15?
y
Suppose t = 3*t. Let m be (-2 - 603/(-306))/((-1)/(-24)). Which is smaller: m or t?
m
Let m be -2 - (-4 - 2/1). Suppose -4*y - 5*w = -w - m, -y = -w - 11. Suppose y*u - 4*f = u + 32, 3*f = u - 2. Which is greater: u or 3?
u
Let x = 2.4 - 0.4. Let t = 0.13 - 3.43. Let j = t + 4.1. Which is bigger: x or j?
x
Let l(h) = -6*h + 6. Let r be l(3). Let p be r/30*445/(-2). Is p > 89?
False
Let t = -6221622/677 - -9190. Which is bigger: 0 or t?
t
Let t = -7 + 13. Let i = t - -7. Let w = i + -13. Which is bigger: 4/7 or w?
4/7
Suppose -4*d + q + 3*q - 102784 = 0, 3*q = 2*d + 51387. Let u = d - -385234/15. Let t = u + 55/3. Is -0.4 <= t?
True
Let u be (-66)/(-4)*46/23. Suppose 6*o = -3*w + o - u, 0 = 3*w - 5*o + 3. Is -26/5 at least w?
True
Let n be 4*-1 - (-7)/((-28)/(-12)). Let p = -179/5 + 36. Is p greater than n?
True
Let d be 65/52 - (14 - 4). Suppose -32 = 4*j - 4*b, -2*j + b = -2*b + 16. Which is bigger: j or d?
j
Let m = 328 - 992/3. Which is smaller: 2/19 or m?
m
Let l = 8.29 - 0.39. Let m = -8.1 + l. Which is greater: -7 or m?
m
Let t(z) = -z**2 - 16*z + 22. Let a be t(-17). Suppose q + 4 = 2*v - 0, 5*q - a*v + 10 = 0. Which is smaller: q or -1/9?
-1/9
Let h be 3/12 + (-575)/3500. Is -1 at most h?
True
Let w be 35 + -38 + 2/((-2)/(-3)). Which is smaller: -116 or w?
-116
Let k = -24 + 355. Which is smaller: 329 or k?
329
Suppose 2007 - 189 = -9*o. Which is smaller: o or -200?
o
Let l(a) be the first derivative of a**3/3 + 2*a**2 + a - 1. Let y be l(-5). Let b be ((-2)/y)/((-1)/(-33)). Is -12 at least as big as b?
False
Suppose 666 = -18*h - 234. Is h <= -47?
True
Let b = 3.426 + -0.026. Let g = 2.4 - b. Which is greater: -0.5 or g?
-0.5
Let g = -36.7 - -37.7. Are g and -6 unequal?
True
Let j be 22/(-8) + 273/84. Which is bigger: j or -103?
j
Let a = -0.28 + 14.28. Let r = -0.01 + 0.01. Let p = r - 0.1. Which is bigger: p or a?
a
Let y be 283/19 + -15 + 19686/19. Which is smaller: y or 1034?
1034
Let b = -1499 + 1728. Are 227 and b equal?
False
Let g = -980 + 966. Are g and -27 non-equal?
True
Let u = -1.04 - 0.16. Let o = u - -6.2. Let g = o + -8. Is 0 at least as big as g?
True
Let n(s) = 2*s**3 + 3*s**2 - 8*s - 13. Let t be n(-3). Which is greater: -17 or t?
t
Let q be ((-44)/(-3036))/((-22)/(-54)). Which is greater: 0 or q?
q
Let x = 1921.479 - 1919. Let c = x + 13.591. Let d = -16 + c. Are d and 0 non-equal?
True
Let a be (15/5 - 3)*1/(-3). Which is smaller: a or -7/146?
-7/146
Suppose -65 = 3*y - 4*q + 313, 604 = -5*y - 2*q. Let j = 101 + y. Which is smaller: j or -22?
-22
Suppose 20*v = 17*v - 141. Which is bigger: -50 or v?
v
Let l(c) = -c**3 - 22*c**2 + 24*c + 23. Let m be 1*-23*(-11)/(-11). Let d be l(m). Which is smaller: d or 3?
d
Let r = 2109/455 - 61/13. Is r smaller than 0.1?
True
Let l = -11 - -13. Suppose -t - 3*w + l = 0, -5*w = 5*t - 3*w + 3. Which is greater: -2/49 or t?
-2/49
Let c be ((-14)/(-294))/(3/(-9))*44. Which is smaller: -7 or c?
-7
Suppose -4*a + a - 5 = -5*r, 3*r - 5*a + 13 = 0. Suppose -3*k + 0*q + 3 = 2*q, 0 = r*k + 4*q - 8. Are 0 and k equal?
False
Suppose v + 7 = 2*c, -4*v = -6*v - c + 11. Which is smaller: -11 or v?
-11
Let n = 0.0073 - -0.9927. Do -125 and n have the same value?
False
Let w(s) = s**2 + 12*s - 13. Let x = -82 - -76. Let l be w(x). Which is bigger: -48 or l?
-48
Let p be 10 - (-10)/(-280)*7*84. Let q = 0 + -10. Which is bigger: p or q?
q
Let j = 36 - 44. Let c be j/32 + (-11)/4 + 3. Is c <= -9/8?
False
Let y = 2310 + -2408. Does -98 = y?
True
Let d = 376.8 - 377. Let i = -19.951 + -0.049. Which is smaller: d or i?
i
Let y be (-157225)/58356 + (-2)/(-1). Let m = y + -1/4863. Let w = m + 1/36. Which is bigger: 0 or w?
0
Let z(t) = -38*t - 267. Let p be z(-7). Which is smaller: p or 4/69?
p
Let p(f) = 2*f**3 - 20*f**2 + 47*f - 13. Let y be p(5). Which is smaller: y or -12?
y
Let k(y) = 5*y + 29. Let p be k(-5). Let i = 8 - 7. Is i > p?
False
Suppose 4 = -3*b + 10. Suppose -20 = -v + 4*y, -2 = -v + y + 3. Let n = v - b. Which is smaller: -3/5 or n?
n
Let d(n) = -27*n - 1. Let b be d(-1). Let a = 3008 + -8945/3. Let f = b - a. Which is bigger: f or -1?
f
Suppose 5*w - 161 = 269. Let v be (-3)/15*12/w. Let g = -56/1075 + v. Is -1 at most g?
True
Let r(a) = 20*a + 199. Let v be r(-10). Is -0.058 != v?
True
Let g be -1 - -3 - (31044/(-84))/13. Is 29 at least g?
False
Let m be (138/30 - 5)/((-4)/160). Is 17 greater than m?
True
Let r(t) = 3*t**2 + 24*t - 27. Let s be r(-9). Which is bigger: s or -2/307?
s
Let a = 681/3190 - -2/145. Which is smaller: 1 or a?
a
Suppose 0 = 2*t - 2*x + 6*x, t - 6 = x. Let s be (19/(-2))/((-2)/t). Which is bigger: 18 or s?
s
Let s be 220/(-16)*(28 + -4)/6. Is s smaller than -714/13?
True
Let w be -6956 + 4 + (-2 - -1). Let i = -56015/8 - w. Let g = i + 49. Is 0 less than or equal to g?
True
Let g be 11/6 - (-1)/(-2). Let s(m) = -2*m**2 - 8*m + 17. Let h be s(-5). Suppose -5*f - 7 + h = 0. Which is smaller: g or f?
f
Let s = 25 - 18. Suppose m - 25 = x, -11*x - 3*m - 65 = -s*x. Does -19 = x?
False
Let r(l) = -l**3 + 70*l - 68. Let v be r(1). Let i be (-3)/2*(-4)/(-3). Is v < i?
False
Let f = -203 + 2643/13. Which is smaller: f or -5?
-5
Let u = -2/1235 - 1221/8645. Is u less than 4?
True
Let p be (5 - 4) + -5 + 1. Is 0.07 greater than or equal to p?
True
Let m = -677/88 - -86/11. Is m at most as big as -4?
False
Suppose -11 = 4*k + 13. Let j = -95 - -9