 is smaller: c or -1/15?
c
Let h be -18 + 17 + (0 - -1). Which is greater: h or 1/1081?
1/1081
Let x(h) = 63*h - 493. Let a be x(7). Is a less than or equal to -6?
True
Let x be (3/10)/(3/(-28)). Let o = x + 13/5. Let m(l) = -l**2 + l + 2. Let d be m(2). Is o at least as big as d?
False
Let s be 9/(-3) + 588/4. Which is smaller: s or 136?
136
Suppose r - 6*r = 0. Which is smaller: -1/161 or r?
-1/161
Let h = 6711 + -416073/62. Is h less than -1?
False
Let p be (((-33)/96)/(-11))/((-9)/6). Suppose 2*z = 4*z - d - 1, 5*d = -2*z - 17. Which is bigger: p or z?
p
Let j = -383 + 181. Which is greater: j or 1?
1
Suppose -18 = -3*y - 2*h, -5*y - 3*h = 2*h - 25. Does y = 10?
False
Suppose 2*p + 349 + 32 = l, 2*l = 5*p + 760. Suppose 3*a = -4*b - 231, 5*a - 2*b + 0*b + l = 0. Does -77 = a?
True
Suppose -q + 16 = -5*c, q - 5 = c - 1. Suppose 14*t - 13*t + 5 = 0. Is t less than or equal to c?
True
Let k(j) = -2*j**2 - 35*j - 18. Let z be k(-17). Which is bigger: 15/31 or z?
15/31
Let h = -19289/1563 - -4/521. Let t = 95/6 + h. Which is greater: 0.2 or t?
t
Let f = 0.065 + 10.235. Let z = 10 - f. Is z < 0.05?
True
Suppose 8 = 2*v - 0*v. Let t = v - 14. Is -9 greater than t?
True
Suppose -3*s + 12 = 3*x, -4*x + 142 = -s + 126. Which is smaller: -817 or s?
-817
Let p(d) = -d**2 - 3*d + 7. Let z be p(-4). Suppose 2*i - t - 7 = 0, 1 - 6 = -z*i - 4*t. Which is bigger: 4 or i?
4
Suppose -3*h = 4*k + 1204, -511 = h + 2*k - 107. Which is bigger: -394 or h?
-394
Let x = 167 + -166. Are 1/281 and x unequal?
True
Let t(z) = 3*z + 21. Let c be t(-7). Suppose -2*l + 42 = 5*n + 7, 5*n - 30 = -l. Suppose 2*q + 2*d - 10 = 0, -25 = 2*q - q - l*d. Is c at most as big as q?
True
Let d be 730/(-4) - (-7)/14. Let w be d/(-90) - (5 - 3). Which is smaller: w or 0?
0
Let q be (-42)/(-399) - (-50)/(-114). Suppose n = 3*n - 4. Suppose j = n*j. Which is bigger: q or j?
j
Suppose -3*t - 785 = 2*t. Let z = -4241/27 - t. Suppose 4*h = 2*p - 0*p + 10, 4*p + 20 = -3*h. Is z at most as big as h?
True
Suppose -43 = -3*q + 5. Let y be (0 - (-18)/8)/((-3)/q). Which is smaller: -10 or y?
y
Suppose 3*p - 2 = p, -20 = -5*k + 5*p. Suppose 0 = b - 4 + k, -2*f - 3*b = -21. Suppose -2*o + 0*o = -f. Is 1/5 at least as big as o?
False
Let w = 133.6 - 108.3. Is 1/2 at least w?
False
Let g = 1054 - 669. Which is smaller: 386 or g?
g
Let l be 626/(-412) - -1 - (-3)/6. Let r(o) = 3*o + 54. Let s be r(-18). Is l < s?
True
Let g = -477 + 476. Which is smaller: g or 15/32?
g
Let x(o) = o**3 + 13*o**2 + 18*o - 92. Let l be x(-9). Is 1/5 > l?
False
Suppose 44 = 6*n + 5*n. Let d be 3/2 - n/8. Suppose 0*c = -c + 4*m + 22, -2*m = 10. Which is smaller: d or c?
d
Let n(p) = 9*p - 86. Let r(t) = -3*t + 29. Let j(d) = 2*n(d) + 7*r(d). Let s be j(10). Is -84 greater than s?
False
Suppose 2*l = -3*d + 7*l + 18, 0 = 2*d + 4*l + 10. Which is smaller: d or 25/7?
d
Let c = -941/1320 - -51/88. Let m = -4 - -2. Let d be 1/2 - (-3)/m. Does d = c?
False
Let q = -22 - -16. Let h(x) = x**2 - 12*x - 4. Let d be 770/63 + 6/(-27). Let p be h(d). Which is bigger: p or q?
p
Let j be (-2 - -1)*(-2)/(-70). Suppose 48*v = -4*v - 21*v - 73. Is v at most as big as j?
True
Suppose 0 = 5*x + 4*i - 18, -2*x + 0*i - 4 = -4*i. Let v be -2 - 1/(x/(-4)). Suppose 5*j + 2*d + 16 = 0, 37*j - 3*d = 36*j - 10. Is j at least v?
False
Let c(j) = -j**2 + 23*j - 42. Let n be c(21). Let k be 0/(4 + n) - 2/(-18). Let y = -0.1 + 2.1. Which is bigger: k or y?
y
Suppose 0 = 5*b - 4*b. Suppose b = -4*s + s - 3, 0 = 3*q + 5*s + 2. Which is greater: 9/5 or q?
9/5
Suppose -260 = 2105*y - 2079*y. Let x be (2 - 0)*-1 - -23. Suppose 1 + x = -2*k. Is k greater than y?
False
Suppose 2*w = -56 + 8. Let t be -7 - -11 - (-94)/w. Let j(n) = -n**3 - n**2. Let o be j(0). Is t bigger than o?
True
Let u = 12.7 + -16.7. Which is smaller: u or 17?
u
Suppose 5*j + 4*b = 868, -713 = j - 5*j + 3*b. Is 175 at least as big as j?
False
Let f be 2*-2*3/(-3). Suppose -4*v - 7 = -s + 4, -f*s + 16 = -2*v. Let y be 2/9 - (0 + (-22)/(-18)). Is v < y?
True
Let c = 5 - 4.56. Let z = c - 0.64. Is z less than or equal to 15?
True
Suppose 3015 = 9*i + 7956. Let y be (4/(-24))/(0 - (-3)/i). Is y > 32?
False
Suppose 15*g - 171 = 324. Which is greater: -4 or g?
g
Let v be (12/8 - 2)*(-2 - -4). Suppose 0 = -2*f - 6, 2*p + 2*f + 7 = p. Is v at least p?
True
Let t(x) = x**3 + 17*x**2 + 16*x - 2. Let j = -26 - -10. Let q be t(j). Let f be 9*q/4*2. Is f >= -9?
True
Let f = 2149/4 + -534. Let t = 3 - f. Do -32 and t have different values?
True
Let h(o) = 44*o**3 + o**2 + o + 1. Let z be h(-1). Let t = -13 - z. Let f = t - 28. Are 5 and f unequal?
True
Let m(s) = s**3 + 13*s**2 + s + 18. Let h be m(-13). Let l = h + -3. Is 3 < l?
False
Let f be 24/(-1170) - 6*9/405. Is f >= 97?
False
Let r be (9/(-18)*772)/(6/(-3)). Is 193 less than or equal to r?
True
Let z be (2 - -6)/(-4) + 4. Let l = 5 - z. Suppose -t = -0*t - 4. Is t at least as big as l?
True
Let a be 32/(-60)*12/16. Is 22 greater than a?
True
Let k = -11 - -8. Suppose 7*c = 3*c + 24. Suppose -o + c*o = -2*q - 12, 2*o = 2*q - 2. Which is smaller: k or o?
k
Let m(q) = -4*q + 2. Let p be m(11). Let w = p + 0. Let y be 2 - w/(-9) - -2. Which is bigger: y or 5?
5
Let b be 5 - (8 - (6 + -2)). Which is smaller: b or -5/53?
-5/53
Let c = 50 + -46. Let o = 13 - c. Which is smaller: o or 0.3?
0.3
Let u(j) = j**3 - 6*j**2 + 5*j. Let h be u(3). Let l be (-25)/5 - (0 - 2). Let f be (6/h)/(l/6). Which is smaller: 3/5 or f?
3/5
Let w = 263 - 271. Do -7 and w have different values?
True
Let j be (70/49)/((-2)/(-28)). Let a be (j/(-12))/(10/(-4)). Which is smaller: 1 or a?
a
Let a(q) = 2*q**2 - q - 4. Let k be a(2). Suppose 12 = -2*u - n, 0*u - 12 = k*u - 3*n. Let i be (4/u)/((-18)/(-27)). Which is smaller: 0.3 or i?
i
Let q = -0.0101 + 0.1101. Which is greater: 111 or q?
111
Let q = 1.289 - -4.711. Is -3 < q?
True
Let c be ((-1)/4)/((-1)/27). Let d be (-8 - -7)*(1 + (-1 - 7)). Suppose 4*z - 13 = -3*l, -2*l = 2*z - d - 3. Is l smaller than c?
False
Let j = -281 + 543/2. Suppose 3*m + 36 = 9*m. Let h(x) = x**3 - 5*x**2 - 6*x - 9. Let t be h(m). Which is smaller: j or t?
j
Suppose -6*m + 96 = -2*m + 3*u, 3*u + 66 = 2*m. Suppose -13*q = -80 - 284. Is m less than q?
True
Let y(t) = -17*t - 18. Let m be y(0). Which is bigger: -83/5 or m?
-83/5
Let q be ((-58)/78)/(15/(-45)). Is q >= 1?
True
Suppose 0 = n - 5*x + 16, -4*n + 5*x = 1 - 12. Let y = 2 + 0. Suppose -y*d - 2*m + 8 = -5*m, -m - 6 = -d. Is n greater than d?
False
Suppose 0 = -0*z - z + 5*m - 80, -4*m + 76 = -z. Let p be (3*-1)/(z/(-8)). Let w(x) = -x**3 - 2*x**2 + 2*x - 2. Let v be w(-3). Which is smaller: p or v?
p
Let o be (-1)/(-3) - (-8)/(-24). Which is smaller: o or -11/9?
-11/9
Let f(l) = l**3 - 9*l**2 + 5*l + 22. Let x be f(7). Are -40 and x equal?
False
Suppose a + 2120 = t, 96*a = 97*a + 5. Which is greater: t or -1/2?
t
Suppose z = -3*k - 24, 4*k + k = -2*z - 41. Which is smaller: -11 or k?
-11
Let u = 41 - 60. Let y = u - -4. Is -1/2 equal to y?
False
Let t = 14 - 9. Suppose -q = -5*q + 20. Suppose 0 = q*m - 7*m + 12. Which is bigger: m or t?
m
Suppose -z + 3*q + 4 = 0, 9*z - 3*q + 4 = 4*z. Which is bigger: z or 3?
3
Suppose -3*a - 41*j + 44*j = -27, -15 = -5*j. Let f(p) = 2*p**2 - 3*p - 1. Let t(d) = -d**2 - 4*d + 3. Let s be t(-5). Let n be f(s). Which is greater: a or n?
n
Let z be (0 + 18/(-8))*(-8)/3. Let x be 29/(-5 + 33/z). Is 58 smaller than x?
False
Let s be 4/(3/(114/4)). Let b be (6 - 4) + (-77)/s. Let z(t) = t**3 - t**2 - 2*t. Let q be z(0). Which is greater: q or b?
q
Let x be ((-60)/14)/(-1*2/(-14)). Let p = -30 - x. Is -2/9 bigger than p?
False
Let f be (-428)/(-16) - 2/(-8). Let w(y) = 3*y**2 + 12*y + 12. Let r be w(-5). Is r bigger than f?
False
Let g = 4.4 + -6.5. Let v = g + 2.38. Let u = 1.98 - v. Are u and 1/2 nonequal?
True
Let b = 1899 - 607681/320. Is b > -1?
True
Let i(o) = -2*o**2 + 8*o - 6. Let p be i(3). Suppose q - 2 = -p*w - 3*w, w + 3*q = 14. Let f = 1 + -1. Are w and f unequal?
True
Let s = -9839 + 9887.07. Let p = s + -48. Which is smaller: p or 0.1?
p
Suppose -3*f - 2*f + 3*u = 39, 2*f + 21 = 3*u. Let d be 3/f - 222/12. Is d bigger than -19?
False
Let c = -28.9 + 2.9. Let a = -23 - c. Which is smaller: a or -4?
-4
Let b = 31 + -33. Let o be b/10 - 670/25. Is -2