r 769?
769
Let z(m) = m**2 + 8*m + 9. Let c be z(-4). Let r be (c/(-56))/((-3)/(-24)). Suppose -2*y + 7*y = 4*l - 33, 5 = -y. Do r and l have different values?
True
Let l = 1919 - 1294. Let x = l - 624.936. Is x greater than 0.2?
False
Suppose -4*w + 25 = -i + w, -2*w = -4*i - 46. Is -1.38 greater than i?
True
Let g be (-1 - -2) + -1 - -273. Let j be (-9)/4 - (g/(-24) + 11). Is j equal to -1?
False
Let x be (((-3)/15)/(13/(-3835)))/(-1). Let i(s) = -3*s + 3*s - 59 - s. Let v be i(0). Are x and v unequal?
False
Let c = 187 + -183. Suppose 5*t = 3*p - 6 - 78, 3*t = -c*p - 62. Which is bigger: -69/4 or t?
-69/4
Let m = 19764 - 19765.127. Is m >= 7?
False
Suppose -36*a = -5*a + 3784 + 463. Is -134 <= a?
False
Let y be -182*1/(-34) - 18/6. Let r be (-1 - -2)*((-6)/(-2) + 0). Are y and r equal?
False
Suppose 65*v + 8877 - 58212 = 0. Which is smaller: 747 or v?
747
Let o(m) be the third derivative of -m**5/30 - 13*m**4/24 + 4*m**3/3 + 88*m**2. Let w be o(-7). Is w greater than -0.91?
True
Let h = 345575/7986 - -1/7986. Are 42 and h unequal?
True
Let i = 4652.8 + -4655.8. Let m = 0.1 + 0.9. Which is smaller: m or i?
i
Let p = 1128752/15771 + 1/15771. Which is smaller: 72 or p?
p
Suppose 0 = 61*i - 53*i - 24. Let d be (-28)/i + 5/15. Are d and -12 unequal?
True
Suppose 0 = 3*i + 26 + 46. Let n = 24 + i. Let w be 3/(-1) + (-16)/(-7). Do n and w have the same value?
False
Suppose -4*v = 2*k + 3252, 0 = -3*k - 4*v - 6306 + 1434. Let h be (((-6)/(-4))/(-3))/(30/k). Let z be (117/h + -5)*(-1)/(-3). Which is smaller: -3/4 or z?
-3/4
Let f(c) = -18*c - 752. Let p be f(-44). Which is bigger: p or -6.6?
p
Let p = 1339 + -17371/13. Let r = p - 174/91. Is -1/5 < r?
True
Let z be (-5 - 5)*3/(-6). Suppose 5*i + z*u + 41 = 4*u, 4*i = -3*u - 24. Let a be 5/(-2)*(-152)/(-40). Is i at least a?
True
Let o(n) = -n**2 - 15*n - 21. Let a be o(-12). Let v = a - -20. Is 0.2 at most v?
True
Suppose 4*g + 20 = 0, 0*i = 4*i - 5*g - 29. Which is bigger: i or 217/4?
217/4
Suppose -4*i = -5*h + 1187, -i - 128 = -h + 168. Which is smaller: -274 or i?
i
Let y = -2549 - -2588. Which is smaller: 60 or y?
y
Let k(t) = t**3 - 4*t**2 + 3. Let u be k(4). Let q = -198 + 118. Let b be (-4)/(q/(-3)) - 1/4. Which is bigger: b or u?
u
Suppose -9*o + 30479 = 30893. Which is greater: -33 or o?
-33
Let q = -149.85 + 150. Let p = q + -21.15. Are 0.5 and p equal?
False
Let h be (39/(-39))/((-2)/10). Suppose 20 = -h*v, 2*c + 4*v + 16 = c. Which is smaller: 1/9 or c?
c
Let r = -1289 - -1182. Let q be 1 + 1 + 0 - (106 - -3). Is r bigger than q?
False
Let p = 14 + -7. Let y = -151 - -166. Suppose v + y*f = 10*f - 5, -v + 3*f + 11 = 0. Is p <= v?
False
Let d = 0.2 - 1.2. Let a = -302.3 - -1818.3. Let f = 1420 - a. Is f != d?
True
Let n(t) = t**2 - 59*t + 318. Let d be n(6). Do 3/712 and d have different values?
True
Suppose -194*t - 18084 = -5*f - 193*t, 2*t - 18102 = -5*f. Which is greater: f or 3617?
f
Let k = -30008 + 719951/24. Let s = -57551/5736 - k. Which is greater: 1/4 or s?
1/4
Let f = -0.0417 - 244.9583. Let p = 207 + f. Is p at least 0?
False
Let s = 189 - 305. Let z = -115 - s. Suppose z = -3*g + 2*g. Which is greater: g or 0.77?
0.77
Suppose -1 = -d + 17. Let q = 20 - 34. Let s = d + q. Is s at least 4?
True
Let k(i) = -111*i - 1. Let y be k(-1). Suppose 38*w - 39*w - 116 = -r, r + w - 100 = 0. Which is smaller: y or r?
r
Let x = 185523 - 5749816/31. Let a(f) = -f**3 + 43*f**2 + 47*f - 87. Let l be a(44). Let g = l - x. Do 1 and g have the same value?
False
Let m = 43 - 31. Let o = -12 + m. Let s = -6/145 + 196/3335. Which is greater: s or o?
s
Let d = 645.5 + -648.3. Let y = -1 - -1. Is d less than y?
True
Suppose -3*n + 30 = 3*q, 5*n + 17 = 5*q - 13. Let y(a) = a**2 - 9*a + 9. Let j be y(q). Let i be 14/28 + (264/64)/(-11). Which is smaller: i or j?
i
Suppose -18*f + 13*f - 5*s = -57425, 3*f + 2*s = 34453. Is 11483 at most as big as f?
True
Let r(h) = -2*h - 4. Let a be r(-3). Let m be a/(-10)*(-6)/(-21). Suppose -3*k = -4*d - 3, 0 = -4*d - 2384*k + 2386*k - 2. Is m smaller than d?
True
Suppose 3*d + 342 = 3*y, 4*d + y + 141 + 335 = 0. Suppose -3*c - 31*x + 32*x = 361, 373 = -3*c + 4*x. Is c smaller than d?
True
Suppose 13 = -c + 2*c + 2*h, c + h = 11. Suppose -z + 1 = 2*p, -2*p - 5*z = -c + 28. Suppose p*d - 5*d = 18. Is d at most -10?
False
Let f = 4357 + -4357. Let n be (-2)/(1 + 4/(-2)). Is f greater than or equal to n?
False
Suppose -j + 442 = -5*f, 2*j = -f + 740 + 199. Which is smaller: 466 or j?
466
Let c = 17 + -10. Let t(h) = h**3 + 15*h**2 + 9*h - 6. Let d be t(-14). Suppose 8*s + 16 = d. Which is smaller: s or c?
s
Let o be (-1)/((-1)/(-9 - -3)). Let d(w) = 15*w - 14*w + 20 + 2*w. Let q be d(o). Which is bigger: q or -4/7?
q
Let m = 2029 - 1439. Let g be -1*(7/(-14))/(3/m). Which is greater: 99 or g?
99
Let p(g) = g**3 - 13*g**2 - 281*g + 4628. Let o be p(16). Is o at most as big as 913?
True
Let q(a) = 95*a - 4375. Let n be q(46). Let s be -8 - (0/(-2) - 0). Is s at least n?
False
Suppose -20 = -b - 4*z, 0*z - 12 = -5*b + 2*z. Let p be 1 - b/2 - (21 - 22). Suppose -12*t - 5 - 43 = p. Is -4 smaller than t?
False
Let a be 4*3/36 + 44/(-6). Let x be a/(-14) - 9/6. Let m = -2/3 - x. Is 0.07 at least m?
False
Let u be (-25713)/(-1629) + (-1 - 7) + -8. Which is greater: u or 1?
1
Suppose 0 = -376*m + 379*m - 5*s + 110, 3*s = 21. Let z = -2 + -5. Which is bigger: m or z?
z
Let d = -8516 + 8522. Which is greater: d or 217?
217
Suppose 0 = w - 0 - 3. Suppose -2 - 1 = w*a, -3*h + 3*a + 15 = 0. Is 4 != h?
False
Let c = -0.96 + 42.96. Let u = 38.5 - c. Let b = u - -3.6. Which is smaller: 11 or b?
b
Let l = -433 + 318. Let z = l - -116. Let d = -6 + 5.84. Is z <= d?
False
Let v = -19019 + 12565. Which is smaller: -6455 or v?
-6455
Let a = -3926 + 3939. Is -12.7 smaller than a?
True
Let t(m) = -15*m - 146. Let c(f) = 6*f + 73. Let y(a) = -5*c(a) - 3*t(a). Let i be y(-6). Which is bigger: -1/5 or i?
-1/5
Let b = 13.89 - 46.89. Is b smaller than -1/5?
True
Let z = 3756.224 - 2399.28. Let y = -1366 + z. Let k = y - -0.056. Is 1 bigger than k?
True
Suppose -10 = -n - c, -154 = c - 159. Let r be -2 - 11*(-1)/2. Is r <= n?
True
Let z(j) = -5*j**3 - 15*j**2 - 8*j. Let r be z(-9). Let g be -5*(r/(-50) - (-1)/1). Let x = -246 + g. Do 0 and x have different values?
True
Let b = -6/95 - -244/855. Let h = -1 + 10.1. Let w = h - 9. Which is smaller: w or b?
w
Let c(j) = 33*j - 8. Let y be c(-14). Let s be 437/92*72/y. Let k = s - -6/47. Are k and 0 equal?
False
Let r be 3603/12 - 9*(-12)/(-36). Which is smaller: r or 1?
1
Suppose 6*l + 861 = 9*l - b, -870 = -3*l + 4*b. Is 0.4 greater than or equal to l?
False
Let o = 20377/78342 + -3/1187. Which is greater: o or -3?
o
Suppose 35*y - 11 = 199. Let u be ((-1218)/(-35))/6 - y. Is u at most as big as -16?
False
Suppose 39 = 9*h - 41 + 71. Which is bigger: h or 150/127?
150/127
Let v(m) = m**2 + 2*m + 4. Suppose -g - 1 = -3*j, -9*j + 5*j + 2*g = -2. Let d be v(j). Let w be (-2024)/(-483) + 0 + 2/14. Is d <= w?
True
Let t be (4 + -2)/((-8)/112). Let o = t + 39. Suppose -4*d = -s - 15, -5*s + 4*d + 0 - o = 0. Which is smaller: s or -2/13?
-2/13
Let g be 1/(-2) - 21125/(-42146). Which is bigger: 0 or g?
g
Let s(p) = -3*p**3 - 2*p**2 + 15*p - 7. Let y(i) = -7*i**3 - 4*i**2 + 32*i - 14. Let b(t) = 5*s(t) - 2*y(t). Let x be b(2). Which is bigger: -72/11 or x?
x
Let j = 24.146 - 24.04. Is j less than or equal to -1/2?
False
Suppose -o + x = -x - 11, -20 = 5*x. Let l be (2/(-22))/(1/o). Suppose 4*k + 6 = 5*f, 0*k - k - 5*f = -11. Is k at most as big as l?
False
Let h = 7/2988 - -687191/20916. Is h <= 34?
True
Let r = -89 - -84. Let m = 36.5 - 36. Is m equal to r?
False
Suppose 126*c + 66444 = 578*c. Which is smaller: 148 or c?
c
Let n = -5961 - -339767/57. Which is smaller: 0 or n?
n
Suppose -2*d - 3*c = -478, 2*c + 0*c = -5*d + 1206. Let z be (337/21)/1 - d/(-363). Which is smaller: z or 18?
z
Let s = 731 - 339. Let m = s - 11761/30. Let l = 5119 - 5117. Are l and m non-equal?
True
Let a = -104 - -91. Let v(r) = r**3 - 10*r**2 - 15*r + 39. Let u be v(11). Is u <= a?
False
Let r be -4 - ((-124)/(-16) + -9). Which is smaller: r or -2/49?
r
Let y(c) = c**2 - 15*c - 10. Let k be 4/20 + 158/10. Let l be y(k). Let o be (-186)/(-342) - 2/l. Which is smaller: o or -