 14.72. Let h = 15 + i. Which is greater: h or -0.1?
-0.1
Let q = -94 + 92. Which is bigger: q or -4/3?
-4/3
Let r = -1 + 1.4. Let d be (-6)/30 + 1/110*-23. Let t = 1/11 - d. Is t != r?
True
Let p(j) = j**3 - 7*j**2 - j - 8. Let w be p(6). Let f = 66 + w. Is f smaller than 14?
False
Let a = -109 + 323. Which is smaller: a or 213?
213
Suppose -4*p = -18*p - 252. Which is greater: p or -20?
p
Suppose -72 - 268 = -5*c. Let n = c - 23. Let x = 185/4 - n. Is x <= 1?
False
Let t = 225/8 + -2733/104. Let b = 670/377 - t. Let v be (-15 - -15)*1/(-2). Is b < v?
True
Let f = 714 + -94961/133. Is f bigger than 0?
True
Suppose 80*c = 83*c - 546. Is 181 less than or equal to c?
True
Suppose -13*w = -13*w - 16*w. Is w at most as big as 2/53?
True
Let j = 1182.3 + -1113. Let f = j - -3.7. Is f greater than or equal to 1?
True
Let d = -68.6 - -58.6. Are -3.1 and d non-equal?
True
Let p = 3303/2 + -1652. Let i = 3.07 + -3. Let c = i - 1.47. Which is bigger: p or c?
p
Let x = -2.44 - -2.44. Is x greater than 217?
False
Suppose 33*b - 168 + 564 = 0. Which is greater: b or 2?
2
Suppose 3*f + 6 = 3*o, -5 = 4*o - 5*f - 15. Let h be (-4)/8*46*(o + 1). Which is bigger: h or -109/5?
-109/5
Let u = -2562 + 2555. Let x = -2 - 7. Which is greater: u or x?
u
Let m(x) = -x - 2. Let o be m(-4). Suppose o*a = -3*a. Let g be ((-10)/9)/(-2)*(-501)/(-835). Which is smaller: a or g?
a
Let n(m) = -m**3 + 5*m**2 - m + 4. Let q be n(5). Let v = 42/155 - -4/31. Which is greater: q or v?
v
Let a(j) = 4*j + 4. Let u be a(-2). Let f(v) = -v - 4. Let q be f(u). Is -1/7 at least as big as q?
False
Suppose 17 = -5*s - 3. Let x(t) = 2*t**2 - 5*t - 8. Let o be x(4). Suppose -n + 20 = -4*a, -2*a - o*n - 4 = 3*a. Is s less than a?
False
Let t = 0.11 + -0.11. Let u = 18 + -26. Let m be ((-9)/4)/(15/u). Is t less than m?
True
Let h(m) = m - 1. Let p be h(2). Let b(a) = -10*a**2 + 5*a - 3. Let v be b(-3). Let j = v + 538/5. Which is bigger: p or j?
p
Let s be 2/13 - 1512/3744. Is 11/2 at most as big as s?
False
Let z = -281.1 - -303. Let p = z - 3.9. Let f = -17.7 + p. Which is smaller: f or -1/5?
-1/5
Let t(s) = 21*s - 67. Let u be t(7). Which is smaller: u or 84?
u
Let k(g) = g**2 + 6*g + 6. Let r be k(-3). Let n be 4/r*1 - 88/(-66). Let h = 433/1043 - -2/149. Is n < h?
True
Let k = 0.64 - 0.43. Let h = -0.43 + k. Let r = 0.12 + h. Which is smaller: -24 or r?
-24
Let y = 42537/620 - 343/5. Is -1 at least y?
False
Let a = 2479672/42493 - -34/3863. Which is bigger: a or 58?
a
Let u be -130 - -133 - (-39)/(-41). Is u greater than 1?
True
Suppose 0 = j + 17 - 7. Let x be (2/4)/((-5)/j). Is x >= 2/7?
True
Let q(m) = -m**3 + 10*m**2 - 16*m. Let l be q(8). Which is smaller: -16/23 or l?
-16/23
Let c = 1 - 1. Suppose 5*w + t + 105 = c, 0*t + 49 = -2*w + t. Let n = 5874 + -5897. Which is smaller: n or w?
n
Let o(j) = -37*j + 4. Let k be o(-1). Let i = -46 + k. Is i at least -1?
False
Let v = -7 - -7. Suppose -9*t + 6*t + 3 = v. Which is smaller: t or -2/49?
-2/49
Let j be 63*((-126)/27 - -4). Let x = -70 - -28. Is j equal to x?
True
Let o = 44 + -44. Suppose o = -3*q + 4 - 1. Which is smaller: q or 2/91?
2/91
Let y be -1 - (4 - 2) - -7. Let v be ((-13)/y)/1 + 3. Suppose 4*b - b = 0. Which is smaller: b or v?
v
Suppose -91 = 24*r + 53. Let i be 6/(-7)*(-69)/(-9). Which is bigger: r or i?
r
Suppose -5*d + 14 = -3*d + 2*b, -9 = -2*d + 3*b. Suppose 5*j + 5*f = 110, -7*f + 42 = j - 2*f. Suppose 7*p = 66 - j. Is p at least as big as d?
True
Let s be (-3)/(-1)*164/(-6). Let h be 74/s + 8/28. Let f = -4/41 + h. Are f and -2 non-equal?
True
Let d(h) = 2*h**2 + 19*h. Let x be d(-10). Suppose x*k + 50 = 5*k. Which is greater: k or -4?
-4
Let m(h) = 2*h**2 - h + 1. Let b be m(1). Let d(u) = b + 1 - 1 - 1 + 5*u**3. Let y be d(-1). Which is smaller: -14/3 or y?
-14/3
Let q be 62/(-6)*(-4 + 2 - 1). Suppose q*u = 29*u + 40. Is u greater than 19?
True
Let d(r) = -r**2 + 7*r - 2. Let b be d(7). Let j = 5 - b. Let u(o) = -o**2 - 15*o + 23. Let k be u(-16). Is j > k?
False
Suppose 0 = 5*k - 10, k + 903 = -4*c - 183. Let o be 306/c*4/(-66). Do o and -1 have the same value?
False
Let a(t) = 2*t**2 - 28*t + 6. Let d be a(14). Let k(g) = -2*g**3 + 10*g**2 + 2*g + 10. Let o be k(d). Is o equal to -1?
False
Suppose -2*h = -6*h + 5*a - 20, 0 = 3*h + a - 4. Suppose -37*q + 36*q - 1 = h. Is -4 at most q?
True
Suppose 30*d + 199 + 2171 = 0. Is d at least as big as -77?
False
Suppose -3*n + 3442 = -2249. Let j = 5633/3 - n. Which is smaller: -19 or j?
j
Let b = -970 - -47532/49. Let y be 13*(-5 - 528/(-104)). Is b greater than y?
False
Let s be (-21)/(-9) + 2/(-6). Let f = s + -2. Is f greater than or equal to -1/39?
True
Suppose 3*r = -71 + 44. Suppose -p + 36 = -4*p. Which is bigger: r or p?
r
Let p = 3 + 5. Let x be (86/(-3))/(p/(-12)). Is 44 at least x?
True
Suppose 5*a = k + 98, -k = 4*k + 15. Let u = 21 - a. Is u less than or equal to 1?
False
Let v = 6.8 - 5.8. Are v and -129 non-equal?
True
Let z = 0.112 + 11.888. Which is smaller: 6 or z?
6
Let w be 208/(-56) - 4/14. Let x be (-2 - w)/((-5)/(30/(-24))). Is x smaller than 2?
True
Suppose -h + 1 = -2*n + n, -4*n + 20 = 0. Let t(k) = 9*k**3 + 2*k**2 - 2*k + 2. Let v be t(1). Suppose v*g = h*g - 10. Is g bigger than -0.1?
False
Let i be -1 - ((-4)/34 + 638/(-2958)). Suppose -24 = -2*b - b. Do i and b have different values?
True
Let h = -24611 + 24612. Let u be (-6)/32*-2*1. Is u at least h?
False
Let p(h) = -h + 5. Let c be p(9). Let s be 68/448 - c/14. Is s < -1?
False
Let a = 562 + -1167. Let s = a - -601.09. Let x = s + -0.09. Which is greater: 0 or x?
0
Suppose -4*f - f = 4*y - 99, -4*f - 2*y = -78. Suppose f = s + 22. Which is bigger: s or 8?
8
Let r = -113 - -130. Is r equal to 17?
True
Let z be ((-22)/(-165))/(4/34158). Let h = z - 1133. Which is smaller: 7 or h?
h
Let r be (-971)/579*-1 + (-4)/(-24). Let w = -4670/3667 - -24/19. Let g = r + w. Which is bigger: g or 3?
3
Let y be -1*(1 - 1) + 752. Let l be y/48 - ((-4)/3 - -1). Which is smaller: l or 15?
15
Suppose -3*g - 5 = -2. Suppose 2*s - 2*a + 38 = -7*a, -3*s + 4*a - 11 = 0. Which is smaller: g or s?
s
Suppose -5*o - 3 = -223. Is o < -1?
False
Let h = -447 + 447.2. Let j = -1.84 + 1.8. Which is smaller: h or j?
j
Suppose 0 = -5*v + 4*o + 19 - 5, -4*o = 5*v - 46. Let q be v/(-20)*(-4)/(-3). Let m = 11/6 + -7/3. Which is greater: m or q?
q
Let q = 493611/20 - 24688. Let l = -1/4 - q. Is l at most as big as 8?
True
Suppose 560 = 160*k - 150*k. Which is smaller: 61 or k?
k
Let s(d) = -2*d**3 - 4*d**2 - 2*d - 3. Let m be s(-3). Let u be 7/(m/(-18)) + 3. Let a be (-10)/25*(-5)/4. Which is bigger: a or u?
a
Let q = -158882/72831 + -2/6621. Suppose -2 = 16*w - 14*w. Do w and q have different values?
True
Let d be 786/837 + 3*(-10)/(-135). Which is smaller: 0 or d?
0
Let n(g) be the first derivative of -g**2 - 10*g - 3. Let b be n(-5). Suppose -3*z = -2*d - 3*d + 2, -3*d = -3. Which is bigger: z or b?
z
Suppose 0 = -4*o + 3*o - 8. Let c be ((-2)/20)/(o/10). Let a be (-1 - 0) + -4 + (5 - 3). Which is smaller: a or c?
a
Let r = 15/2 - 37/6. Suppose 5*y = 4*p + 30, -5 + 29 = 2*y - 4*p. Is r smaller than y?
True
Let t(q) = -63*q - 919. Let r be t(-27). Which is greater: r or -0.1?
r
Let t(n) = n**2 - 6*n - 3. Let x(w) = -2*w**2 + 7*w + 4. Let y(g) = -3*t(g) - 2*x(g). Let d be y(-5). Suppose 0 = d*p - p - 45. Are p and 9 unequal?
False
Let w = 0.034 + -28.034. Let b = 27.8446 + -0.0146. Let z = w + b. Is 1/4 < z?
False
Let d = 27.9 + -24. Let b = d - 2.9. Is -11 less than b?
True
Suppose -3*h - s = -50, 4*h = -s + 53 + 13. Let u = -5 + h. Let o = 13 - u. Which is smaller: o or 3/2?
3/2
Let j = 4/59 - 779/177. Which is smaller: -3 or j?
j
Let p be 6/(-39) - (-5376)/637. Let x(b) = -b**2 - 4*b + 6. Let l be x(-3). Is l at most p?
False
Let w = -8 - -8.07. Let x = -341 - -343. Which is bigger: w or x?
x
Let j(u) = u + 1. Let b(s) = 4*s + 8. Let v(o) = -2*b(o) + 6*j(o). Let r be v(-7). Let m be 1 + (4 - 8) + 6. Which is smaller: m or r?
m
Suppose u + 52 = -u - 2*g, 0 = -3*u - 2*g - 79. Let q = u - -12. Is q less than 1?
True
Let x = 21/33875 + 2/271. Suppose 10 = 11*r - r. Which is bigger: r or x?
r
Let g(t) = -t**2 + 2 - 4*t - 12*t + t - 2*t. Let y be g(-20). Which is bigger: -57 or y?
-57
Let n = 25 + -13. Let w be (-1528)/n*