/19 + r. Are z and 0 non-equal?
True
Let r = -32.4 + -7.6. Let j = -36 - r. Suppose -3*z - 9 = 0, 4*l + 12 + 7 = -z. Which is smaller: j or l?
l
Let m = 172597/46397 - 160/43. Which is smaller: m or 1?
m
Let c = 872.453 + -873. Let k = 0.453 - c. Suppose 50 - 175 = 5*t. Which is bigger: k or t?
k
Let t = 704 + -437. Suppose t*r = 273*r + 1650. Which is smaller: -274 or r?
r
Let u be (22/(-55))/((-52)/5620). Which is greater: 42 or u?
u
Let f = -12143738/2421 - -5016. Are 1 and f nonequal?
True
Suppose 4*u + 5*m = -96, 1 - 121 = 5*u + m. Let f(k) = -k**3 - 8*k**2 - k - 7. Let w be f(-8). Let n be w/((-1)/4) - 20. Is u greater than n?
False
Suppose -4*k = -0 + 4. Let y = -31.289 - -31.324. Is y at most k?
False
Let j = -530 - -739. Is j bigger than 201?
True
Let h(b) = -2*b + 1. Let l be 1 - (-2)/(-3 + 2). Let k be h(l). Let q be ((-54)/(-22))/(8715/9130). Is k not equal to q?
True
Let u = 299487/10 - 29920. Is 30 smaller than u?
False
Suppose 3*v - v = -72*v - 74*v. Suppose 2 + 2 = -4*s. Let k be 1*(2/79)/s. Which is bigger: v or k?
v
Let j be (-1)/10 + 60/120. Let q be (-18)/7*(-6 - 1). Let y be 8/(-84)*q - -2. Is j equal to y?
False
Suppose 33*p - 8*p + 43 = -507. Which is greater: p or -2?
-2
Let i = 6610 + -6611. Which is greater: i or -1/4362?
-1/4362
Suppose -7*k = -2*k + 485. Let p(z) = -z**3 + 36*z**2 + 5*z - 276. Let m be p(36). Is k at most m?
True
Let i = -251 - -250. Let g be i + (-660)/(-655)*1. Which is bigger: 0 or g?
g
Let i = 13 + -13.04. Let l = -0.96 + i. Let z = -132 + 132.1. Is l greater than or equal to z?
False
Suppose -11*d = -6*d - 2*h - 279, 12 = 4*h. Let z = d + -60. Which is smaller: -46/13 or z?
-46/13
Suppose 0 = 4*b - b - 99. Let r be (-94)/(-4) + -15 - 1/2. Let l be r/32 - b/324. Which is bigger: 0 or l?
l
Let r = 4629.0097 + -4629. Are r and -1/3 equal?
False
Let k be (4 - 12)/8 + 257. Let r = 876 - 621. Are r and k equal?
False
Let t = -933875 + 7482175/8. Is t equal to 1397?
False
Let k(b) = -153*b - 3595. Let y be k(-47). Is 3596 at most as big as y?
True
Let c(d) = 3*d**2 + 83*d - 1806. Let u be c(-42). Let l be ((-3)/(-356))/((-2)/(-8)). Which is bigger: u or l?
l
Let m = 541 - 120. Suppose 60467 - 595 + 156614 = 513*j. Which is greater: j or m?
j
Let f = 2 + 11. Suppose 48 = 4*r + a + f, -5*a - 55 = -3*r. Suppose 0 = 5*n + 2*q - 42, 4*n - 20 - 28 = 2*q. Do n and r have the same value?
True
Let q be 3 - (528/12)/(-1). Which is bigger: q or 49?
49
Let i be 46/((-8)/(-70) - (-20)/70). Let w be i/35 + -3 + (-26)/238. Are w and -2 unequal?
True
Suppose 0 = 12*o - 1947 - 3345. Suppose -6*z - 2037 = -o. Is z at least -266?
True
Let k be 6 - 7 - ((-111436)/37140 + 2). Is k at most as big as 1?
True
Let b be -3*(-2)/1 + (-93 - -90). Let y(t) = t**3 + 6*t**2 - 8*t - 4. Let v be y(-7). Let d be ((-8)/(-100))/((v + 3)/b). Which is smaller: d or 1?
d
Let k = 0.1136 - 0.2716. Which is smaller: k or -0.4?
-0.4
Let r = 9/17 - 79/85. Let g be (-126)/(-6930)*(22/6 - 2). Is r at least g?
False
Suppose -2*p + b = 1, 2*p - 4*b + b + 11 = 0. Let l be p*(-2)/(12/3)*-2. Let k be l/3 - (-46)/3. Which is smaller: 17 or k?
k
Let v = -9327480 + 2145316337/230. Let x = -88/5 - v. Suppose -i - 4 = -5*i. Do x and i have the same value?
False
Suppose 24*z = 21*z + 1842. Which is smaller: 613 or z?
613
Suppose -4*j - 4 = 9*i - 5*i, j + 17 = 3*i. Suppose 19 = i*a - 169. Suppose -a + 15 = -2*y. Is 15 greater than y?
False
Suppose -s + 58 = 50. Suppose 0 = -2*f - s*y + 10*y, -2*f + 5*y = 0. Which is greater: f or -309?
f
Let m(k) = -k**3 + 43*k**2 + 353*k - 150. Let u be m(50). Which is greater: u or -1671?
u
Suppose -123*i + 167*i - 44 = 0. Is i at least as big as -4/377?
True
Let i be 10/25 + (3048/30 - 4). Which is smaller: i or -19?
-19
Let r be (-6)/((9/(-6))/1). Suppose 0 = r*v - 30 - 26. Let u = 0.1739 + 0.0261. Which is smaller: v or u?
u
Let d(i) = i**3 + 19*i**2 + 21*i + 13. Let o be d(-18). Let k = -52 - o. Let a be ((-2)/4)/((-3)/2)*2. Is k at least as big as a?
False
Let h = -5717 + 5750. Which is smaller: 11 or h?
11
Suppose 0 = 5*h + 4*o + 10175, h + 2034 = -2*o + o. Let v = -8452943543/4145694 - 477/28202. Let d = h - v. Is -1 >= d?
False
Let q be ((-17875)/(-30) - 2/(-12))/(-9 + 4). Which is smaller: -119 or q?
q
Let t(b) = b**2 - 3*b - 63. Let v be t(9). Let u be (-2547)/v + (-3 - -1). Which is smaller: u or 282?
u
Let r be (-13)/(-1) + (16 - 19). Suppose r*x - 137 - 73 = 0. Does x = 25?
False
Let a = 97.9 + -28. Let f = -2.1 - a. Let h = 71 + f. Are -5 and h non-equal?
True
Suppose 82 = -m - 2*s, -5*s = -2*m - 208 - 1. Let t = m + 94. Let c be 4/14*(3 - t). Does c = -9?
False
Suppose -10*t + 17651 + 6772 = -1327. Which is smaller: 2574 or t?
2574
Let w be (92/(-69))/(1/(-66)). Let d = w + 5. Is 93 > d?
False
Let q be 370/4505 - (-321)/(-1819). Which is smaller: q or 44?
q
Let g = -20 - -59. Suppose 0 = -3*t + 24 + g. Let z be 5/(25/20) - t. Is -18 at least as big as z?
False
Let q be -43 - (-16 + 13 + -6). Which is smaller: q or -0.22?
q
Let t = 262 + -249. Let o = -0.051 - -21.051. Let h = o + -17. Are h and t nonequal?
True
Let i be (18/9)/(-8 + -4 - -35). Which is bigger: i or 9/28?
9/28
Let g = 225.98 + -211.4. Which is smaller: g or -1?
-1
Let k be 6/(-21) + 359820/372372. Let j = k + 4/341. Let y(m) = m**2 + 3*m + 2. Let f be y(-3). Are j and f non-equal?
True
Let w = 29693/5955 - 21/397. Which is smaller: w or -3?
-3
Let u = -417 + 170. Let y = u + 247. Let c = 13 + -90/7. Is y at least c?
False
Let a = -38 - -41. Suppose 22*r = a*r + 3*r. Is r at most 2/83?
True
Suppose 0 = -5*r - 15*r - 60. Let y = -7 - -1. Let h = y + 11. Which is greater: r or h?
h
Suppose 18*a - 26*a = 2272. Suppose -11*q - 20*q - 8804 = 0. Are a and q unequal?
False
Let b = 7.294 + -11.294. Is -1/20 >= b?
True
Suppose 919 + 412 = -44*x - 561. Do -25 and x have different values?
True
Let l = 27 + -19. Let m = -30 + 23. Let q be 5*4/(-5) - m*2. Do q and l have different values?
True
Let g be 97/(-9) + 4/(-18). Let r(y) = 10*y - 381. Let i be r(36). Are g and i nonequal?
True
Suppose 0 = -2*q + 2, 7*z - 5*q - 47 = 3*z. Let y = 1523 - 1536. Let v = y + z. Which is greater: -0.17 or v?
v
Let m = -99 + 99.48. Let p = m - 0.68. Do -0.8 and p have different values?
True
Let h = -110868221/4241 - -26142. Are h and -1 equal?
False
Suppose 30*j = -p + 28*j - 4323, -j = 5*p + 21624. Is p smaller than -4326?
False
Let u = 385 - 386. Let p be ((-858)/(-130))/(u - 6/(-5)). Which is smaller: p or 37?
p
Let f = 10479 - 10790. Is f greater than -307?
False
Suppose 0 = -34*p + 335 + 1467. Let b be (-254)/9*-2 + 84/(-189). Which is smaller: p or b?
p
Suppose -15*y + 52 - 7 = 0. Let s = -33 + 36. Let b be (s - 7)/16*(3 - y). Which is bigger: b or 5/6?
5/6
Let i = -28424 - -19975. Is -0.1 > i?
True
Let r be 8 - (82/246 + (-30776)/(-4026)). Is 1 at most as big as r?
False
Let c be (1582/406 + -2)/(2/2). Is c at most -2/7?
False
Suppose 14*i = 2*i - 1236. Let g = i + 103. Which is smaller: g or 30/49?
g
Let m(z) = -56812*z**2 + 6*z + 7. Let w be m(-1). Let t be ((-15)/w + 0)*6110/117. Let i = t - 4/653. Which is bigger: 0 or i?
i
Let c = -0.007 + -36.193. Let v = -36.1 - c. Are v and -69 unequal?
True
Let t = 71 - 85. Let a = -83 - -46. Let d = a - -22. Is d greater than t?
False
Let r be (2 + 1)*2/6. Let q = 66917/2470 + -271/10. Which is bigger: q or r?
r
Let l be 3 + -3 - 30/(-19). Let b = 11446 + -11443. Is l >= b?
False
Suppose -2*s + 2*n = -580, -4*s + 254 = -3*n - 906. Let u(d) = 38*d**2 + 8*d - 27. Let x be u(-3). Is s != x?
True
Suppose 3*u = -2*b - 16 - 39, -3*u = -9. Let y be 0 + (-130)/b + 632/(-158). Is -5/6 less than or equal to y?
True
Suppose -i + 492 = -a, 1736 = -5*a - i - 742. Let r = a - -497. Is 10/13 at most r?
True
Let s = -836 - -869. Let n be (-1 - 1)*583/s. Suppose 0 = -5*b - 2*x - 167, 0*b - b = -x + 39. Is b smaller than n?
False
Let w be (20/8 + -1)/(3 + (-27)/6). Does 2/18587 = w?
False
Suppose 604 = 46*f + 17302. Is -369 bigger than f?
False
Let b(u) = -11*u + 22*u**2 + 62 - 23*u**2 + 75. Let r be b(-18). Which is bigger: r or 5/6?
r
Let i be 335*(48/(-20) + 3). Let t = 202 - i. Do t and -5/13 have the same value?
False
Let o be (-4)/6 + (240/(-660) - (-4)/6). Is o >= 0.23?
False
Let p(d) = d**3 + 20*d**2 + 20*d + 19. Let g be p(-1