r: -3 or m?
-3
Suppose -4*h + 42 = 2*w, -4*w + 66 = -2*h - 18. Let m = w + -21. Which is smaller: -8/15 or m?
-8/15
Let l be 2 + 213/(-39) + 6. Which is smaller: l or 3?
l
Let f be 2/6 + (3594/(-4))/((-405)/(-180)). Which is greater: -385 or f?
-385
Let w(r) = -3*r**2 - 5*r - 25. Let t be w(-4). Let i be t + 56 - 11/17. Is 1 greater than i?
False
Let w(x) = 128*x - 870. Let r be w(7). Do r and 37 have the same value?
False
Suppose -2*u = 3*u. Let s = -1903 - -1922. Suppose -3*w = -8*q + 4*q + s, -3*q - w - 2 = u. Is 12/7 equal to q?
False
Let t be (-44)/3*9/6. Let g be -17 - 1534/(-91) - 999/63. Which is smaller: t or g?
t
Let d be (-36)/(-4)*-2*((-15)/(-2))/5. Let j = -10 - 4. Are j and d unequal?
True
Let d be 56*(336/2)/14. Is d at least as big as 672?
True
Let i = 4025.8 + -4041. Let f = -34 + 49. Let p = f + i. Which is smaller: 0.17 or p?
p
Suppose 5*b = -f - 73, -5*f - 3*b - 2*b = 305. Let v = 4006 + -3963. Let s = v + f. Does -16 = s?
False
Let i(p) = -2*p + 2. Let r be i(2). Let n = -233956 + 2105593/9. Which is smaller: r or n?
r
Let d(s) = 2*s**3 - 15*s**2 + 7*s + 14. Let v be d(7). Let f be (-12)/(-28) - (-22)/v. Suppose f*z = z - 3*i + 59, 1 = i. Is z < 55?
False
Suppose 18 = 6*w + 6. Suppose -3*n - w*x = -5511, 0 = -4*n + 5*x + 2917 + 4408. Let h = -177993/97 + n. Is h bigger than 0?
True
Let x = -7.64 + -863.36. Which is smaller: -6 or x?
x
Let n(q) = -2*q - 40. Let m be n(-20). Let v be m - (-2 - -2) - 3. Let a be (-105)/3 - (-3)/v. Is 1/4 <= a?
False
Suppose -t + 15 = 4*t. Let i = -70 + -178. Let n = i - -236. Which is smaller: n or t?
n
Suppose 139*b - 15 = 136*b. Let f be (b/(-2))/(60/(-492)). Which is smaller: 22 or f?
f
Suppose -4*r - 25 = -0*v - v, 3*v + 2*r - 75 = 0. Let m = -27 + v. Let o be m/3 + (-296)/(-120). Is 3 != o?
True
Let i(z) = -z**2 - 4*z + 3. Let a be i(-5). Let j = a + -5. Let r(w) = 71*w + 135. Let g be r(-2). Is g less than or equal to j?
True
Let n(r) = 3*r + 77. Let m be n(5). Let y = m - 92. Is 1/29 bigger than y?
True
Suppose 0 = -13*u + 18*u + 90. Let d(r) = r**3 + 17*r**2 - 16*r + 41. Let h be d(u). Let g be -15*((-10)/(-6) - 2). Is h less than g?
False
Let a = 4.119 - 54.919. Which is greater: 2/5 or a?
2/5
Let t be (1 - 35/(-25)) + 14. Is -0.2 at least t?
False
Let i be -9385 - (0/(-1) - (-55 - -57)). Are -9383 and i nonequal?
False
Let f(p) = p**3 - 5*p**2 + 9*p + 9. Let d be f(4). Suppose d*x - 31*x = -30. Suppose 4*v = 3*v - 1. Which is greater: v or x?
x
Suppose -4 = x + x. Let b = -59 - -126. Let p be b*(-2)/90 + (-138)/(-230). Which is smaller: p or x?
x
Let x(z) = 22*z**2 - 416*z + 64. Let q be x(18). Is q smaller than -296?
False
Let l(c) be the third derivative of c**4/12 + 8*c**3/3 + 27*c**2. Let f be l(-7). Let h be ((-17)/34)/(13/f). Does 1 = h?
False
Let a(d) = -d + 23. Suppose -561*z - 36 = -565*z. Let r be a(z). Let t = 21 - 9. Which is bigger: t or r?
r
Suppose -23 = -i + 4*w, -3*w = 3*i - 4*w - 14. Let p(r) = 6*r**3 + 3*r**2 - r + 5. Let u be p(i). Which is smaller: 192 or u?
u
Suppose 361 = -8*m + 369. Which is smaller: -14/1363 or m?
-14/1363
Let v = -1.021 + -0.019. Let u = 4.04 + v. Suppose 2*a + q - 25 = 0, 3*q + q = 5*a - 56. Is u less than or equal to a?
True
Let s(i) = -35*i**3 + 3 + 44*i**3 - i - 1 + 2*i. Suppose 3 = -0*d - 3*d. Let o be s(d). Are -7 and o non-equal?
True
Let h = -1843/150 - -73/6. Let k be (16/40)/(5/250). Suppose 12 = -5*z - 3*f, -3*z + 5*f = -5*z - k. Which is greater: z or h?
z
Let l be 40/(-3 - -7) + -2. Let r be (2 - 0)/(l/56). Suppose 13 = -13*x + 14*x. Do r and x have different values?
True
Suppose -x - k = 3 + 4, 0 = -2*x + 4*k + 16. Let h be 74*(x + 4/(-8)). Are h and -187 nonequal?
True
Let l = 7080.8637 + 0.1363. Is -0.1 > l?
False
Let n = 157.1 + -156.71. Which is bigger: 0 or n?
n
Suppose 5*p - 4*b = 34, 14 - 3 = p - 5*b. Let k(y) = -y**3 + 7*y**2 - 7*y + 7. Let j be k(p). Let g be (j - (-22)/8)*(27 + -23). Which is bigger: g or 16?
16
Let a = -5 - 49. Let t = a - -102. Let q = t - 47.8. Which is smaller: 27 or q?
q
Let h be 3234/756*879/(-2). Let z = 1875 + h. Are z and -4 unequal?
True
Suppose 5*t + 17*z = 15*z - 2163, -2*z = t + 431. Let o = t + 496. Are 319/5 and o non-equal?
True
Let q be 10/(-5 - -6 - -1). Suppose -2*k + 2*m - 168 = 0, -177 = -2*k + 4*k - q*m. Let y = k - -107. Is y > 27?
False
Let q = 6.19 + 0.31. Let r = q - -1.5. Let p = -1/5 + -13/10. Which is greater: r or p?
r
Suppose -5*z - 5*l = -1643 - 2447, -z + 5*l + 830 = 0. Let b be (-40)/z*(-2)/(-12)*-1. Which is bigger: b or 1?
1
Suppose 9*j - 13*j - 5*s + 1249 = 0, s = -5*j + 1556. Suppose 6*r + 4*x = 67 - j, -3*x = -15. Which is greater: r or -2?
-2
Let k be 29801/(-14 - 3) - 5. Which is greater: -8/3 or k?
-8/3
Let h(s) = -192*s + 190. Let g be h(-33). Which is bigger: 6524 or g?
g
Let o = 127 - 121. Suppose -3*r = -o - 0. Is r equal to 0.26?
False
Let d be (-70)/90*9 - (-51006)/7287. Which is smaller: -1 or d?
-1
Let j be ((-6)/(-8))/((-8)/(208/78)). Is -31/75 less than or equal to j?
True
Suppose -8*g + 4*g + 5*u - 143 = 0, -4*u = 20. Let t = -104 + 64. Are t and g nonequal?
True
Let d be (-10 + (141 - -70))*-2*134/(-12). Is d at least 4489?
True
Let a = 2869185 + -20049961/7. Let c = a + -4919. Let n = c + 1385/91. Is 2 smaller than n?
False
Suppose -30*r - 36*r + 40 = -26. Which is smaller: 5/616 or r?
5/616
Let y(p) = 3*p - 8. Let i be y(14). Let x = i - 32. Suppose 0 = -6*v + x*v. Is -2/157 at least as big as v?
False
Let r = -152 + 149. Let y be (r - (-50)/(-1))*(-16)/(-16). Suppose 5*t - 3*t + 108 = 0. Is t bigger than y?
False
Let d be 2/(-5) + 1/(30/1932). Let v = 39 - 103. Let c = d + v. Which is smaller: c or -6?
-6
Suppose -132*s - 14938 = -66*s + 128*s. Which is smaller: -1738/23 or s?
s
Let h = -267.3 + 267.2. Which is smaller: 153 or h?
h
Let v be 3/9 + (-40)/3. Suppose -5*f = 3*p - 40, -4*p = -3*f + 5*f - 30. Suppose p*q + 11*q + 176 = 0. Which is smaller: q or v?
v
Let n be 4/10*-1 + (-3270)/75. Let v be (188/(-6))/(-2) + n/(-132). Let s be 2/(-9) + 584/36. Is s less than v?
False
Let u(r) = 49*r + 20. Let p be u(-1). Let i be (6 - 2)*p/(-18). Is 5 greater than or equal to i?
False
Let p = -144 + 140.36. Let v = 6222 - 6218. Let r = v + p. Is r less than -1?
False
Let t = 0.321 + 262.679. Let z = -329 + t. Is 0.1 smaller than z?
False
Suppose -4*s = -k - 4, 4*s - 5*k = 3*s - 18. Suppose -z = -s*z - 13. Let o be 2 - (11 + -2) - 7. Which is smaller: z or o?
o
Let v = -3.99816 + -0.00184. Which is bigger: -288/5 or v?
v
Let v(f) be the third derivative of -f**5/20 + f**4/12 - 4*f**3 - 24*f**2. Let l(y) be the first derivative of v(y). Let m be l(-1). Is m not equal to 9?
True
Let p = 17571/7 - 2517. Suppose 5*f - f = -28. Which is greater: f or p?
p
Let a = 14140 - 494848/35. Let w = a + -361/455. Which is greater: w or 1?
1
Suppose 50*m + 114789 + 18511 = 0. Which is bigger: m or -2665?
-2665
Let n = -48659/8 - -6082. Suppose -4*v = -4*a - 20, 2*v + 2*a + 15 = -a. Does n = v?
False
Suppose 0 = s - 3*x - 0*x + 2, 14 = 4*s - x. Suppose -2 = -s*y + 14. Let f be ((-108)/(-24))/((-7)/y). Is -4 at most f?
True
Let i(j) = j**3 + 11*j**2 + 20*j + 31. Let u be i(-9). Suppose 2*d = 8*d + 6. Is d less than or equal to u?
True
Let i be 311432/17028 + 8/36. Is i less than or equal to 19?
True
Let b be (595/357 + 146/(-84))/(20/(-14)). Which is bigger: 261 or b?
261
Let x = -11.78 + -117.92. Let r = -124 - x. Let g = -13.3 - r. Is -1 bigger than g?
True
Let h(n) = -5*n**3 + n**2 + 16*n + 59. Let m be h(-4). Let p = m - 711. Which is smaller: -381 or p?
-381
Suppose -i = -5*d + 17, -4*i - 2 - 6 = 0. Suppose -3*l - d*l + 36 = 0. Let y be (-4)/l - 4/12. Which is smaller: y or -1/52?
y
Suppose 174*y - 141 - 32 = 1. Which is smaller: y or -2/59715?
-2/59715
Suppose -3*g - g = 3*u - 177, -236 = -4*u - g. Let z be ((-2)/1 + 185)*(-10)/(-30). Let s = z - u. Which is smaller: 21 or s?
s
Suppose 3*p + 13 = t - 71, -12 = -4*t. Suppose -2*v = 108 - 42. Is p != v?
True
Suppose 2*o - 8 = 0, u - 15 = 910*o - 914*o. Is u < 18/425?
True
Suppose 4 = -2*k - 0*k - 2*y, 2*k + 3*y = -7. Let t be (-11)/(5709/(-6))*-90392. Let r = -1045 - t. Which is smaller: k or r?
r
Let m = 1 + -1.1. Suppose 61*d + 4556 = -357*d - 2968. Is d at most m?
True
Let o be 110/(-4)*(9 - 17765/1957). Whic