r: d or h?
h
Let q be 1*(8 - 879) - 10. Which is bigger: -4398/5 or q?
-4398/5
Suppose 30 = o + 4*t - 51, -3*o - 3*t + 198 = 0. Is o <= 59?
False
Let c(j) = j**3 + 27*j**2 + 23*j + 83. Let l = -495 - -468. Let g be c(l). Is g > -538?
False
Let f(k) = k**3 + 75*k**2. Let z be f(-75). Do 1/4482 and z have the same value?
False
Let y(o) = -2*o**3 + 5*o + 18. Let s be y(-6). Let n be (s/2765)/((-1)/(-3)). Is -1 not equal to n?
True
Suppose -34*z + 31 + 173 = 0. Let r be ((-99)/(-330))/(87/z). Which is greater: 1 or r?
1
Suppose 5*t + 2120 = -y, -9*y = -11*y. Is t greater than -417?
False
Let r be 1/29*(0 + -1). Let i be 18/(-36) + (-675)/6. Let c = -114 - i. Which is smaller: r or c?
c
Let h = 2987.9 + -2988. Which is smaller: h or 3008?
h
Let q be -1*((-10)/6)/((-90)/54). Which is smaller: q or -16/23?
q
Let a = 47 + -47.1. Let o = 204.4 - 204.7. Which is smaller: o or a?
o
Let r = 24768/136103 - 2/12373. Does r = 709/3?
False
Let d = -22776 + -920. Which is smaller: d or -23695?
d
Let q = -118.17 + -0.83. Let f = 119 + q. Is 122 less than f?
False
Let s = -1850 + 1853. Is s less than 2/19?
False
Let a = -106915/52 - -2056. Let f(k) = k**3 - 8*k**2 - 9*k + 1. Suppose 3*x - 13 = 14. Let b be f(x). Is a smaller than b?
True
Let a = -59 + 53. Let i = a + 8. Suppose 0*p - p - 67 = -i*v, -157 = -5*v - p. Is 0.2 bigger than v?
False
Let j = -2574 + 2636. Is j less than 4/15?
False
Suppose 31932 = 4*l - 2*s, 61*l - 58*l + 3*s - 23967 = 0. Which is greater: 7983 or l?
l
Let u = 415 - 408. Suppose -u*t - 402 = -t. Which is greater: t or -273/4?
t
Let g(w) = w**3 + 8*w**2 + 7*w + 3. Let u be g(-7). Suppose 0 = -4*a + 5*n - 49, 0*a + u*a = -4*n - 60. Is a less than 3?
True
Let h = 7879 - 7847. Which is greater: h or 0?
h
Let q = 2/19 + -5/589. Let h = -218 - -241. Suppose 19 + 4 = h*v. Which is smaller: v or q?
q
Let k = -439763/195 - -11287/5. Is 2 at most k?
True
Suppose -7 + 466 = 9*g. Let o be (-15)/18 + (-2)/(-6). Is g smaller than o?
False
Let x be (-2830)/22*636/1590. Is x less than or equal to -52?
False
Let w be (-15)/8*(-6)/(-15). Let n = 460 + -459.638. Let z = -0.638 - n. Which is smaller: z or w?
z
Suppose -5*f - 146 = -4*p, -352*f - p = -353*f - 28. Which is bigger: f or -102?
f
Let x = -4/163 + 307/5868. Which is smaller: 0.2 or x?
x
Suppose -2*f = 3 - 1. Let v = 1575 + -3069/2. Let h = v - 727/18. Which is bigger: h or f?
h
Let l(i) be the third derivative of -i**6/120 + 3*i**5/20 - i**4/2 + 7*i**3/6 + 2*i**2. Let q = 68 - 61. Let k be l(q). Is 21 at most as big as k?
True
Let y = 1.82 - 2.5. Let r = y + 0.8. Suppose -5*k + 10*k - 5*z - 20 = 0, -3*k - 3*z - 6 = 0. Which is greater: k or r?
k
Suppose -h - 4*h + 967 = -m, 2*m + 969 = 5*h. Suppose 4*u - 784 = -4*v, u - 4*v = 346 - 160. Which is greater: h or u?
u
Let o = -1.3839 + 0.3839. Is o less than 6693?
True
Suppose s - 7*m = -11*m + 25, 0 = 2*s - 2*m. Suppose -r + 4 = r. Suppose -s*v - 15 + 0 = r*b, 3*b - 9 = 3*v. Does b = -2/59?
False
Let w = -1482.27 + 4.27. Let r = -1478.06 - w. Let j = -22 + 16. Which is smaller: j or r?
j
Suppose 9959 = 96*d + 27047. Are -208 and d equal?
False
Suppose 141 = 3*k - 522. Let z be ((442/(-51))/26)/(0 - 129/(-85581)). Let j = k + z. Which is smaller: j or 1?
j
Let d = 9/16447 - -35657051/82235. Let j = -437 + d. Let v be 2*(-1)/(2/4). Do j and v have the same value?
False
Let a(t) = t**3 - 7*t**2 + 21*t - 76. Let v be a(6). Suppose 6*z + 286 = -v. Do -50 and z have the same value?
True
Let t be 1/(-10 - -7 - -2). Let l be (51/6)/((-110)/20). Let v = l - -279/209. Which is greater: v or t?
v
Let w = -15 - 1. Let x = w + 28. Suppose 38*l + 40*l = 83*l - 55. Which is greater: x or l?
x
Let r = 23 + -22. Let g be 1/(-535)*77 - 12/(-36). Let p = -6/107 + g. Is r at most p?
False
Let z = 912949911/217 + -4207135. Let m = z + 26/31. Suppose -2*p + 29 = x - 6*p, 0 = -5*x - 5*p + 20. Is m bigger than x?
False
Suppose -122*j = l - 123*j - 4, 0 = -3*l - 2*j + 32. Suppose -10 - 10 = -s. Let m = s - l. Are 12 and m nonequal?
False
Let k(y) = y**3 + 4*y**2 - 4. Let g be k(-4). Let v be 2118/(-531) + (-3 - g)*4. Which is bigger: 0 or v?
v
Suppose -3*s = -j - 80, 0 = -4*j - 204 + 196. Is -0.08 at most s?
True
Let k = -12563 + 125679/10. Which is smaller: k or 5?
k
Let d be 2/(-22)*2 - 480/(-11088)*-42. Is d equal to -1.15?
False
Let r = -0.55 + 0.5. Let b = 36 + -55.5. Let m = 19.4 + b. Which is smaller: r or m?
m
Let s = 173 + -173.454. Let v = s + -65.546. Which is smaller: 2 or v?
v
Let a = -128.9 - -128.8. Which is bigger: a or -19.23?
a
Suppose -x = 3*u - 29, -x + 2*u + 477 = 478. Do 4 and x have the same value?
False
Let z(r) = -r**2 - 5*r - 1. Let a be z(-5). Let u = 12 - -26. Suppose 0 = -6*g - u - 10. Which is smaller: g or a?
g
Let h(t) = t**2 - 11*t - 126. Let y be h(-7). Let l be (-4)/6 - (-6)/9. Is y at least l?
True
Suppose 0 = 2*j - 36 + 78. Let v be (-2 - 1) + (1 - -1). Let w be (14/j)/(v/(-21)). Which is bigger: w or -13?
-13
Suppose -3*d + 5 = 2*a - 42, -2*d = -a + 41. Let f = -0.16 - -0.48. Let r = 0.68 + f. Which is greater: r or a?
a
Let j = -30.8661 - 0.0339. Let i = j - -39.9. Is i greater than or equal to -1?
True
Let o be 8 + (-49 - -54 - (-54)/(-4)). Is -0.668 at least as big as o?
False
Suppose 0 = -10*w + 11*w - x, -5*w + 3*x - 2 = 0. Let m be (2 + -5)*(-1)/(-17). Which is smaller: w or m?
w
Suppose w + 1 = 3*i + 6, 2*w = 4*i + 10. Suppose 0 = -0*v + v + w*d - 2, 11 = -4*v - d. Is v at least -14?
True
Let v = 7606 - 7605. Which is bigger: -8/567 or v?
v
Suppose 2*v + 3*b - 10 = 0, -19*b + 12 = -22*b. Suppose u - 3*i + 608 = 0, v*u + 3*i + 1216 = 9*u. Which is smaller: -607 or u?
u
Let d = -568 + 1151. Let k = 641 - 641. Which is smaller: k or d?
k
Suppose 126*w - 5*u = 122*w + 29, w - 4*u - 21 = 0. Is w greater than -14/899?
True
Let m be (-392)/(-4 + 0) + 3. Let c be m/7 + 6/(-14). Suppose -4*q = -2*o - 56, -5*q + 8*q - 3*o - 45 = 0. Which is smaller: q or c?
q
Let k(d) = -3*d**2 + 79*d - 16. Let c be k(26). Suppose -4*w = b - 27, -2*b + w + 8 = -c. Which is smaller: b or 2?
2
Let f be ((-24)/(-162))/(678/9). Do 1 and f have different values?
True
Let m = -3030 - -221192/73. Which is greater: m or 1?
1
Let z(k) = -16*k**2 + 70*k + 404. Let f be z(-5). Is f greater than or equal to -3798/11?
False
Let d be (-7 - (-1539)/220)/(3/20334). Let p = -339/10 - d. Which is bigger: -3 or p?
-3
Let f = -0.28 + -0.02. Let w = 270 + -338.2. Let j = w + 68. Which is smaller: f or j?
f
Suppose 5*h - 2*w = 153, -593*w - 128 = -4*h - 590*w. Which is smaller: -34 or h?
-34
Let b(a) = a**3 - 8*a**2 + 15*a + 6. Let g be b(5). Let c = 131 + -122. Which is bigger: g or c?
c
Let i = -18 + 198. Let c = -179.4 + i. Is 6 greater than c?
True
Suppose 4*h - 2*p = 6, -2*h - p + 25 = 3*h. Suppose f - h*a + 14 = -0*a, -5*a + 7 = 4*f. Let k be 4 - f/2*-8. Is -1 smaller than k?
False
Let n be (-4)/(-4*5) + (-7852)/(-40). Let h be (4/6 - 1)*(-90 - 501). Which is greater: n or h?
h
Let v(l) = l**2 - 19*l - 2526. Let w be v(0). Is w bigger than -2526?
False
Let p = -29 + 56. Suppose 0 = -4*k - 5*a + 2, -2*k - 47*a + 2 = -44*a. Let t be k/4*(25 + -75). Is t at least as big as p?
False
Let q be 17 - 1 - (4 - (-3 - (-15 + 4))). Let w(t) = 2*t**2 + 4*t + 4. Let m be w(-4). Is m at least q?
True
Let j = -200 + -196. Let a = -395 - j. Which is smaller: a or 119?
a
Let r(j) = -3*j + 16. Let i be r(6). Let z be i/(-10) + (-1834)/420 + 5. Is z at least 1/4?
True
Suppose -13*r = -12*r + 38. Let g = r - -40. Suppose -a - 5*h - 6 = -g, h - 4 = -5*a. Which is greater: 1/131 or a?
a
Let z = -2327/3036 + -71/132. Suppose -3*m = -0*m, 5 = -5*a - 4*m. Are a and z non-equal?
True
Let t be -9 + (-21 - -42 - 13). Is -10/1283 > t?
True
Suppose -10*z = -7*z + 570. Let l be z/4*28/10*-1. Do l and 133 have the same value?
True
Let w be -2*(-2)/4 - -4. Let x be -1*(-40)/15*(-3)/(-2). Suppose -14 + 6 = x*d. Is w < d?
False
Let q be (-35)/(-14)*(-2805)/(-1375). Which is smaller: q or 16/3?
q
Let s = 32337.8 - 32345. Let i(a) = -a - 15. Let n be i(-13). Is s equal to n?
False
Let x = -63562 - -1207948/19. Is 15 at least x?
True
Let x(b) = -2*b**3 + 7*b**2 + 2*b + 2. Let j be x(-2). Let n = 22 - j. Is -22 < n?
True
Let z = -357314552/1565 + 228316. Which is greater: -1 or z?
z
Let r = -2 + 4. Suppos