 - 2.84. Which is greater: 2/11 or r?
2/11
Suppose 0 = 3*n - 1 - 2. Suppose 3*v - 4 = 3*h + h, 2*v = h + n. Which is bigger: -3/22 or h?
-3/22
Let h be (4/16)/(5 - 23/4). Let c = -188.79 + 190. Let g = -1.3 + c. Is h less than or equal to g?
True
Let b(h) = 21*h + 94. Let z be b(-7). Is -211/4 at most z?
False
Let b = 713 + -708. Which is bigger: 17 or b?
17
Let s be (-2)/4*(-2)/1. Let y = 0 + s. Let o = 331/55 - 31/5. Is y at least as big as o?
True
Let q = -0.555 + -0.075. Let j = q - -0.73. Is -1/80 smaller than j?
True
Let v be 4 - (-5)/5 - -4. Suppose 13*k = v*k - 32. Which is smaller: -10 or k?
-10
Let a = 4.6 - 6. Let j = 1.44 + -0.04. Let o = j + a. Which is greater: o or 3/14?
3/14
Let p be (-327)/(-12) + (-11)/44. Which is greater: 23 or p?
p
Let r = 445 - 380. Let c = -1 + 0.9. Is r less than c?
False
Let n = 926/3 + -305. Let l(d) = -d**3 + 2*d. Let t be l(-2). Is t greater than or equal to n?
True
Let g be 19 - 21 - (0 + -6). Let c be g/(-16)*70/7. Which is greater: c or 2?
2
Let p = -915 + 1031. Which is smaller: p or -2?
-2
Suppose 2*k = -3*q - 200, 0 = -3*q + 8*q - 5*k + 325. Which is greater: q or 9?
9
Suppose 0 + 50 = 2*i. Suppose -i = 5*c + 5*f, 2*f = -c - 0*f - 10. Are 0.026 and c equal?
False
Let a(r) = 3*r + 9. Suppose 11*g - 6*g = 0. Let p be a(g). Is p at most as big as 11?
True
Let l be (-148)/(-20) + -8 + (-48)/(-5). Which is smaller: l or 30?
l
Let a be (-1 - -187 - -4) + 15/3. Which is bigger: a or 194?
a
Let l be 1766/(-470) + (-1)/((-4)/(-12)). Let o = l - -34/5. Do 1 and o have the same value?
False
Suppose -2*r - 20 = 2*p, 5*p = 6*p - 2. Let s = -9 - r. Suppose 3*b - 9 = 3. Is b > s?
True
Suppose 26 = p - 5. Is 29 < p?
True
Let x = -502 + 503. Are 2/3 and x equal?
False
Suppose -58*h - 5*k = -59*h + 78, -5*h + 3*k = -302. Is h > 58?
False
Let j be (3/5)/((-2)/(-10)). Suppose -w = j*w + 128. Let q be (w/(-10))/((-1)/(-5)). Which is bigger: q or 17?
17
Let n(j) = -j + 19. Let o be n(24). Let y be ((100/(-6))/o)/((-5)/60). Which is smaller: 2/3 or y?
y
Let p = 20.83 - 20.83. Which is smaller: -2.97 or p?
-2.97
Let b be (-5)/15*(-8 - 1). Suppose -g + b*c - 4*c = -32, -4*g + 4*c + 104 = 0. Which is smaller: 27 or g?
27
Let u = -15 - -5. Let s = -53 - -63. Let v = s + u. Is 0 at least v?
True
Let m = -105 + 365. Suppose -y + m = y + 2*r, 0 = 3*y - 4*r - 362. Let q be 26/y + 4/18. Is q at most -1?
False
Let b be 0 + 1 + 168/8. Suppose -5*f + b = -23. Suppose -3 = -4*i + f. Does 3 = i?
True
Suppose 3*g = -0*g - 12. Let s(o) = o**3 + 2*o**2 - 8*o - 1. Let f be s(g). Let k = -24/7 + 19/7. Which is greater: k or f?
k
Let j = 45/68 - 1497/2108. Is 1 equal to j?
False
Let l = -76/5 + 87/5. Are 2/15 and l nonequal?
True
Suppose g - 3 - 31 = 0. Do g and -4/3 have different values?
True
Suppose -12*t = -5*t - 3080. Let a = -5285/12 + t. Which is smaller: a or 0?
a
Let b = 0.1 - 0.2. Let d = b - 3.9. Let q = -0.0215 + 0.1215. Which is smaller: q or d?
d
Let y be 3 - -2*(-2)/4. Suppose 2*q = -2*c, -3*c - 4 = y*q - 5*c. Which is smaller: q or 1/85?
q
Suppose 0 = 2*j - 5*r - 15, 5*r + 68 - 23 = -4*j. Let c = 0.069 - -0.131. Is c < j?
False
Suppose -7 = -92*z + 93*z. Which is greater: -10 or z?
z
Suppose -2*i + 0 = 2. Let g be ((4/300)/(107/(-6)))/(22/110). Is i < g?
True
Let j = 35.1 + -35. Is j greater than -3?
True
Suppose -h - 2*f = -2, 3*h = -0*f + 2*f + 14. Let n be (h - 6)*4/8. Which is bigger: n or 5?
5
Suppose -4*f + 5*f = 3*d - 97, -4*d + 356 = -4*f. Is -85 != f?
False
Let v(b) = -16*b + 17. Let c be v(2). Let x be (241/(-32))/(3/6). Let p = x - c. Which is smaller: -1 or p?
-1
Let x(r) = -r**2 + 6*r - 9. Let h = 11 - 11. Let g(a) = 2*a + 4. Let b be g(h). Let w be x(b). Which is greater: w or 1/4?
1/4
Suppose -4*n - 137 = -2*z + 3*z, 15 = -3*z. Does -33 = n?
True
Let j = 3778/1165 - 10/233. Let m = 17 + -14. Which is greater: m or j?
j
Let o(f) = 6*f + 20. Let j be o(-4). Let y(x) = -x**3 - 4*x**2 + 5*x. Let k be y(-5). Let t be k + -10*3/12. Which is smaller: t or j?
j
Let i be 4/(-8) - 6/(-9). Let f(p) = -p**3 + 4*p**2 + 6*p - 3. Let j be f(5). Let n be 0 - (j/(-1) + 3). Which is smaller: i or n?
n
Let b be 4/(-2) - (0 - 2). Suppose -z + 3*z = -3*x + 3, b = -4*x - 5*z - 3. Let c be (8/(-12))/(1/x). Is c equal to -2?
True
Suppose 14*p = -4*p - 36. Which is smaller: p or 5?
p
Suppose 0 = -3*m - m. Suppose 10*b = -5*b + 45. Suppose -b*w - 3*w = -12. Which is greater: m or w?
w
Suppose 17*x - 120 = 14*x - 4*m, -5*m = 4*x - 159. Is 33 less than x?
True
Suppose -4*p = 3*p - 28. Is p greater than or equal to 40/13?
True
Let t(d) be the second derivative of 1/6*d**3 + 13/2*d**2 - d + 0. Let x be t(-12). Is x > 5/3?
False
Suppose 96*o - 2272 = 100*o. Are o and -568 non-equal?
False
Suppose 5*o = 2649 - 2624. Let d = 4 + -3. Let h = d - -5. Which is smaller: h or o?
o
Let u(m) = -m**2 + 48*m + 167. Let d be u(53). Let w = 5 + -5. Which is smaller: d or w?
d
Let x(w) = w**3 + 7*w**2 - 8*w - 3. Let h be x(-8). Let j be (-5 - h)*15/6. Let b = 4 - j. Which is greater: b or 10?
10
Suppose 5*a = 3*g + 5 + 2, -4*a - 4 = 0. Let d be (-8)/(-2)*g/(-8). Let z = 1627 - 1624. Is z less than d?
False
Suppose -4*w - 105 = -5. Which is smaller: -0.1 or w?
w
Let q = 221/9 + -24. Let c = 52 - 22. Suppose -29*y = -c*y + 2. Which is smaller: q or y?
q
Suppose 0*j = -4*j + 2*l - 14, 5 = 5*j + 2*l. Let d be (-11)/11*j/(-39). Suppose 2*g = 4*g. Which is greater: d or g?
g
Let x(j) = 9*j - 5. Let q(l) = -l - 1. Let d(s) = 3*q(s) + x(s). Let g be d(1). Which is smaller: g or -12/11?
g
Let j = 1.342 - 1.4. Let r = -0.072 + j. Which is bigger: 0.1 or r?
0.1
Let s be 322/7*1 + -5. Is 41 at least s?
True
Suppose -20 = 2*p + 4*v + 56, 3*v = -p - 34. Are p and -48 non-equal?
True
Let a be (-1)/(7/8 - 1). Let q = 10 - a. Suppose 3*h - n = q*n + 15, -5*h = -n - 9. Is 1 > h?
False
Let g(c) = -c**2 + 12*c - 48. Let k be g(8). Which is smaller: k or -33/2?
-33/2
Let d = -922 - -932. Which is smaller: -2/9 or d?
-2/9
Let p = 17/50 + -139/350. Suppose 0 = 5*w - 15. Suppose c + 4*c = 2*z + 13, 2*c = -w*z + 9. Do p and z have the same value?
False
Suppose -5*k + c = -632, 3*k - 387 = 4*c - 6*c. Do k and 126 have the same value?
False
Let u = 1.8 - 4. Let m = 0.016 - 0.216. Let b = u - m. Is -5 not equal to b?
True
Let q = -3 - -2. Let y be 21/(-6) - 848/(-32). Which is greater: y or q?
y
Suppose 18*f - 88 + 70 = 0. Which is bigger: f or 11/29?
f
Let f = 2572 + -100297/39. Is 1 not equal to f?
True
Let h = -158472 + 13311971/84. Let y = h - 88703/22260. Let m = y + 1/159. Which is bigger: 1 or m?
1
Let y be (-8 + 4955/620)/(2/(-40)). Do y and 1 have the same value?
False
Let n(f) = 4*f**3 - 2*f**2 + 2*f - 1. Let b be n(1). Suppose -b = -5*h + 7. Suppose -3*p + 24 + 12 = -h*k, k - 2*p + 18 = 0. Is k equal to -17?
False
Suppose f + 7*c + 18 = 3*c, 0 = 4*c + 20. Which is bigger: f or 0.114?
f
Let v be 1/(-4) + 34/8. Suppose 2*g + 4*j = 14, 5 + 4 = 2*g - j. Suppose -d - 2 = v*r, g*r + 0*d + 5*d + 10 = 0. Which is smaller: r or -0.3?
-0.3
Let q = 1.52 - 0.28. Let h = 0.54 - q. Let n = 0 - 2. Is h bigger than n?
True
Suppose -4*v = 4*f + 4, 0 = 2*v + 5*f - 5 - 2. Let j(o) = 3*o - 12. Let n(w) = -2*w + 11. Let k(q) = v*n(q) - 3*j(q). Let a be k(-8). Is -1/5 < a?
True
Let b be (-4 - 145/(-20))/(2/(-8)). Let h = 35/3 + b. Is h smaller than 0?
True
Suppose 4*l - 105 = -9*a + 4*a, -l + 2*a = -10. Suppose 7*d = 3*d - l. Let m(g) = g**3 + 6*g**2 + 5*g - 5. Let n be m(d). Which is smaller: -8 or n?
-8
Let m be 208/(-15) + (-6)/45. Let z = 17 + m. Let a = -2 - z. Is a equal to -3?
False
Let d = 16 + -10. Let f = 77 - 71. Let z = f - d. Which is smaller: -0.02 or z?
-0.02
Suppose 0 = 5*l - y - 129, -4*l - 4*y + 49 + 59 = 0. Let i be (5 - -4) + (-104)/(-6). Which is greater: i or l?
i
Let h = 773 + -1110. Which is smaller: h or -339?
-339
Let o(r) = -r**3 + 17*r**2 + 23*r - 10. Let v be o(19). Is v not equal to -294?
True
Let d = 5039 - 1899705/377. Is d > -1?
True
Suppose -4*z - 12 - 13 = 5*m, 2*z + 6 = 4*m. Let p = 6 - 12. Which is greater: z or p?
z
Let v be ((-17)/102)/(5/9). Are -1 and v equal?
False
Suppose 0 = l - 0*y - 2*y - 9, 2*l - y = 6. Let z be (2/4)/(l/(-2)). Let g = -4 - z. Which is bigger: g or -0.1?
-0.1
Suppose n - a = -2 + 1, -3*a + 3 = -5*n. Suppose n = 2*c + 2*