r: f or 2/3?
f
Suppose 11 - 5 = -g. Let t be 24/(-20)*(-15)/g. Let u = 41 + -40. Which is smaller: t or u?
t
Let p = 20 + 10. Let l = p + -33. Which is smaller: l or -4?
-4
Let m = 501021/112100 + 91/2242. Let t = m + -13/50. Which is bigger: 5 or t?
5
Let s = 0 - 3. Let r be (5 + 12)*s/(-2). Let c = r + -26. Which is smaller: -1/6 or c?
c
Let u be (-15)/20 + ((-1835)/(-60) - -4). Which is smaller: u or 34?
u
Let p(r) = -r - 5. Let a be p(-4). Let t be (-2 + 3)/(48/(-15) + 3). Which is smaller: t or a?
t
Let p = 50/11 + -630/187. Do 0 and p have different values?
True
Let x = -133/23 - -3497/207. Which is greater: x or 11?
x
Let a = -162 + 164. Suppose 4*h + 44 = a*h. Is -22 bigger than h?
False
Suppose 5*v - 29 = 4*m, 7*m + 11 = 6*m + 2*v. Are 66 and m equal?
False
Let a = -17.8 - -17.76. Is 1/14 not equal to a?
True
Suppose -2*m - 12 = -6*m. Suppose m*d - 14 + 2 = 0. Suppose -2*x - x = -12. Is d smaller than x?
False
Let m = 5/144 + 3/16. Let v = 212/165 - 22/15. Which is greater: m or v?
m
Let x be 2 - 2 - -1 - (-6)/(-4). Which is smaller: x or -8.6?
-8.6
Let r(q) = q**2 + 2*q - 5. Let i be r(3). Let t be (-182)/(-490) + (0 + 2)/i. Is t greater than or equal to -1?
True
Let x(l) = 8*l + 13. Let m be x(-7). Let p = -42 - m. Is p not equal to 1/48?
True
Let k(t) = -t**3 + 23*t**2 + 25*t + 44. Let c be 6/((-120)/(-476)) + (-1)/(-5). Let s be k(c). Is 67 at least as big as s?
False
Let u be (-4)/(-2) - (0 + 0). Suppose 0 = -11*t + 4*t + 56. Suppose -5*y - u = t. Which is bigger: y or -3?
y
Let u = 267 + -331. Is u equal to -64?
True
Let q = -18623 + 18623. Let r be ((-1)/3)/(28/6). Is q at least as big as r?
True
Let k(w) = -9 + 6 - 2*w**2 + 0 - 5*w. Let l be k(-3). Is l > 0?
False
Let q = 12 + -9. Let p be ((-4)/2 - -2) + q. Suppose -v = 2*f + 9, 2*f + 29 = 4*v - p*f. Which is bigger: -2/9 or v?
v
Let h(q) = q. Let m be h(-1). Let p = -88489/11 - -8043. Which is greater: m or p?
m
Let p be (-20)/(-5) + (-1 - 0). Suppose -5*z = -4*z - b - 15, 0 = -p*z - 2*b + 30. Let u be 18/z*2/(-3). Is u less than -4/5?
True
Let x(p) = p**3 - 8*p**2 - 11*p + 25. Let y be x(5). Is y bigger than -105?
False
Let d = -1/4678 + -2881643/23390. Do d and -124 have the same value?
False
Let l = -19 + 19.218. Let s = 0.008 - l. Let n = 0.11 + s. Is n at least -1?
True
Let o be ((3 + 5)*5)/(2/(-3)). Let s = o + 65. Is s at most as big as 2?
False
Suppose 3 = -p + 7. Suppose p*d - 653 = 167. Let v be d/45 - (-6)/(-2). Is 1 bigger than v?
False
Let v = -2 + -5. Suppose z + 3*w = 5, 2*w + 3 = 3*w. Let r be -10 - ((z - -5) + -4). Are v and r equal?
True
Let w be (-5887)/116 + (-24)/(-32). Let q = -119 - -69. Are w and q non-equal?
False
Let o be (1/236)/(137/(-12) + 10). Is 0 greater than or equal to o?
True
Let n = -59 + 31. Let x = n - -29. Is 19 > x?
True
Let w = -878 - -687. Is w greater than -191?
False
Suppose -4*g + 4*f = -12, -4*g + 0 = 5*f + 24. Is g bigger than 2/17?
False
Let w = 41876/43 + -974. Which is bigger: w or -1?
w
Let q = -616 - -616. Is q greater than or equal to -5/111?
True
Let l be (-40)/30*9/(-6). Which is bigger: 10 or l?
10
Let k = -12.66 - 2.34. Which is smaller: -10 or k?
k
Suppose 0 = -2*y + 1 + 5, 4*h - 19 = 3*y. Let i(g) = -g**3 + 8*g**2 + 7*g - 5. Let c be i(h). Is c at least as big as 92?
True
Let l = 25977.447 + -25963. Let q = 0.047 - l. Let j = 14 + q. Which is bigger: 2 or j?
2
Suppose 8 = 3*h + 53. Let q be h/250*(0 - -2). Let i(r) = r**3 + 15*r**2 - 1. Let x be i(-15). Which is greater: q or x?
q
Let x(f) = -3*f + 6. Let l(b) = 3*b + 8. Let h be l(-5). Let s(d) = 5*d - 12. Let m(t) = h*x(t) - 4*s(t). Let k be m(-4). Which is bigger: k or 4/3?
k
Let g(q) = 19*q + 76. Let u be g(-4). Is -2/35 smaller than u?
True
Let r = 177.02 - 177. Which is greater: r or -49?
r
Let z = -0.138 - -84.138. Let o = z + -85. Which is bigger: o or -11?
o
Let k(q) = q**3 + 9*q**2 + q + 10. Let p be k(-9). Let a be -1*(1 + 0 + (-3 - p)). Let f(d) = -d**2 - 9*d - 10. Let m be f(-8). Are m and a nonequal?
True
Suppose 3*c - 18 = 6*c. Let x be 100385/61425 - c/(-14). Let k = 2/351 - x. Which is smaller: k or -1?
k
Let h = -45 + 53. Which is greater: 10 or h?
10
Suppose 5*a = 3*c + 2*c - 10, 2*c = 5*a + 13. Which is greater: -25 or a?
a
Suppose -g + 6*m + 16 = 2*m, -2*g = -m - 4. Are g and 6/295 equal?
False
Let u(k) be the second derivative of k**5/20 - 5*k**4/6 - k**3/6 + 9*k**2/2 - 2*k. Let f = 133 - 123. Let r be u(f). Which is smaller: r or 1/11?
r
Let r be (2 + -4)*3/(-2). Let c be (r/(-14))/(54/24). Which is greater: -1 or c?
c
Let a = 4 - 2. Let o be (-27)/(-6) + a/(-4). Suppose -o*u = u. Is u bigger than 0?
False
Let c(n) = -n**3 + 9*n**2 - 7*n - 5. Let d be c(8). Let v be (-3 - -2) + (d - -1). Suppose 4 - 10 = -j - 2*g, -v*j - g = -23. Is j less than or equal to 8?
True
Let a = 4 - 20. Let j = a - -16.15. Let i = -6.15 + j. Are i and 1/4 equal?
False
Let r = 2264 - 2264. Which is greater: -4/301 or r?
r
Let y be 15/(((-33)/55)/(8/(-70))). Let f(o) = -o**3 + 13*o**2 + 16*o - 24. Let d be f(14). Which is greater: d or y?
d
Suppose -4*i + 8 = 4*c, -4*i + 5*c + 8 = -3*i. Suppose 85 = i*z + 130. Are z and -29/2 equal?
False
Suppose -3693 = -13*o - 105. Which is smaller: 277 or o?
o
Let h be (18/(-27) - (-22)/6) + 1. Suppose h*i - 9 + 1 = 0. Which is greater: i or 12/13?
i
Let t = -88 + 78. Let r = t - -10. Which is bigger: r or -11?
r
Let l(i) = 5*i - 62. Let s be l(18). Let b be 3/15 + (-14)/(-5). Let g be s/(-160) - b/15. Is g at least as big as -1?
True
Let b be (-6)/24 - (-69)/4. Let c = b - 7. Is c <= 9?
False
Suppose -5*d = -f - 3, f - 3*d + 12 = 5. Is f at most as big as -63/5?
True
Suppose 18 = 4*b - 3*q, q + 2*q = -b + 12. Suppose b*g - 5*g = 4. Let n be 4*(-2)/g + -3. Do -4 and n have the same value?
False
Suppose 41*k = 37*k. Which is greater: k or -9/106?
k
Suppose 647*g = 642*g + 105. Which is greater: g or 24?
24
Let q = 282967579/134692026 + 3214/52573. Let w = q - -2/427. Which is smaller: w or 1?
1
Let g = 505 + -470. Which is bigger: 26 or g?
g
Let y(g) = -g**3 + 10*g**2 + 4*g - 35. Let z be y(10). Which is greater: -2 or z?
z
Suppose -3*p + 85 = -4*p. Let a be (-82)/(-60) + 17/p. Are 0 and a non-equal?
True
Suppose 10 = -3*y + y. Let q = -29 - -32. Suppose k = q*k. Are k and y unequal?
True
Let k = -45 - -40. Let l be 2*3/((-6)/k). Let g = 6 - 2. Is g at most as big as l?
True
Let z(v) = -27*v**2 - 24*v**2 + 16*v - 8*v - 6*v. Let u be z(1). Is u not equal to -50?
True
Suppose -8*b = 337 - 1. Let v = -116 + 73. Which is smaller: b or v?
v
Let t be ((-6)/(-23850))/(4/(-12)). Is -1 < t?
True
Let u = -0.0036 - 44.7564. Let x = 45 + u. Which is bigger: 2 or x?
2
Let a(o) = o**3 - 9*o**2 - o + 13. Let t be a(9). Suppose -4*h + 20 = 4*w, 2 - 7 = -h - 5*w. Which is smaller: t or h?
t
Suppose 0 = -449*n + 437*n. Which is smaller: n or -3/368?
-3/368
Let n be 555/35*35/10. Which is greater: n or 57?
57
Let m = -42591668/495 - -949210/11. Let s = m + -248. Is -1 smaller than s?
True
Let h = -20 - 335. Is h at least as big as -355?
True
Let t be (4/(-8))/(2/(-4)). Let z(i) = 33*i - 96. Let q be z(3). Are q and t non-equal?
True
Let l be 5/(-3 + 4) - -2. Suppose 14*m = l*m. Let q = -133/8 + 1157/72. Is m bigger than q?
True
Let w = 578.9 + -579. Are -391/2 and w nonequal?
True
Suppose 22 = l - 12. Let f be 94/((-7)/4 - 1). Let g = l + f. Which is smaller: 0 or g?
g
Let a = 463 - 462. Is a <= 1/4?
False
Let o = 1/14 - -3/14. Let k(p) = -p**2 + 26*p - 94. Let m be k(20). Which is smaller: m or o?
o
Suppose 26 = 7*p - 30. Let x(n) = n**2 - 3*n + 4. Let w be x(3). Let r(i) = 3*i - 5. Let q be r(w). Does q = p?
False
Let r be (3 + 0)/(1/5). Let l(p) = -p + 14. Let q be l(r). Which is smaller: 3/14 or q?
q
Suppose 0 = -5*x + 3*c + 31, c + 21 = 3*x - 2*c. Suppose -4*q + 4 = 0, 3 = -2*w + x*q + 4. Are 0 and w unequal?
True
Let r be (-1*(2 - 2))/3. Let y(p) be the first derivative of -p**4/4 - p**3/3 - p**2/2 - 2*p - 8. Let f be y(r). Is f at least -3/4?
False
Let j = 17 + -17.12. Let x = j + 6.12. Is -3/4 at most x?
True
Let j(p) = -p**3 + 4*p**2 - 4*p + 2. Let m(u) = -u - 6. Let v = -25 + 17. Let f be m(v). Let w be j(f). Which is bigger: 3 or w?
3
Suppose -2*o + 163 = -w, -44*o = -39*o + 3*w - 435. Are o and 84 unequal?
False
Let t(c) = -c**2 + 10*c 