 be (-2 - 1/(-2))*2. Let z be (1 + (-77)/(-138))/(4/(-6)). Let k = -44/23 + z. Are k and v unequal?
True
Let d = 255 + -250. Let z be 15/(-20) + (0 - 131/(-20)). Which is greater: d or z?
z
Let q be 1/(6/10 - 12/(-30)). Which is smaller: q or 41/33?
q
Let s = -0.129 - -133.129. Let r = s + -133. Which is bigger: -80 or r?
r
Let m be (-8)/36 - ((-168)/27 + 2). Suppose m*n + 27 = 7. Let j = n - -9. Is j <= 4?
True
Let j be (-14)/3*7254/(-273). Do j and -2/13 have the same value?
False
Let l(r) = r**3 + 52*r**2 + 108*r + 490. Let t be l(-50). Is t at least as big as 78?
True
Let o = 989 + -894. Let h = o - 95. Is -134/3 at most h?
True
Let c = -980 - -1715. Suppose -4*l - 17*l = -c. Are 33 and l unequal?
True
Suppose -7*c - 32 = -18. Let y = 3109272 + -40442912/13. Let d = 1720 + y. Is c < d?
True
Let h(o) = -50*o**2 - 2*o + 102*o**2 + 47 - 53*o**2. Let a be h(5). Suppose -a*v = 166 + 38. Is -16 < v?
False
Let l = 472 - 470. Which is greater: l or 0.3713?
l
Let b(h) = -7*h + 5. Let l be (1 - -1)/((-20)/(-50)). Let s(n) = 11*n - 7. Let j(f) = l*s(f) + 8*b(f). Let d be j(13). Is -8 < d?
False
Let v = -3994809189/946 + 4222842. Let f = 17/10 - 353/215. Let q = f + v. Is 0 at least q?
True
Let z = 52669 + -85271121/1619. Which is greater: z or 1?
1
Let n be 228/66 - (1 - 0). Let u be 13/13 - 3/(9/(-6)). Is n bigger than u?
False
Suppose 464 = 3*w - 4*n, 3*w - 777 + 337 = n. Which is smaller: 123 or w?
123
Let w = -9630 + 9630.027. Do w and -4.4 have the same value?
False
Let t(s) = -s + 5. Let a(w) = -w**3 + 3*w**2 - 4*w + 9. Let q be a(0). Let j be t(q). Let l = 171/2 + -89. Is l less than j?
False
Suppose 2*u - 95 = -3*r, 0 = 4*u - 5*r - 58 - 77. Let a = u - 44. Let n be a + 32/12 + 2/6. Is 2/91 at least as big as n?
True
Let l(b) = b**2 - b - 27. Let m be l(0). Let z(f) = f**3 + 9*f**2 + 8*f + 15. Let h be z(-6). Let y = -101 + h. Which is smaller: m or y?
m
Let v = -85.35 - 1.45. Let i = -84.65 - 1.35. Let m = v - i. Is 4 less than m?
False
Let q be (-146)/(-60) + (-21)/((-1428)/(-170)). Which is smaller: q or 0.58?
q
Let l = -43675 + 6245497/143. Which is smaller: -1 or l?
-1
Let p = -3971 + 492407/124. Suppose 2*o + 3 = -o. Which is smaller: p or o?
o
Let k = 71.08 + -48.15. Let c = 22.9 - k. Which is greater: c or -2/9?
c
Suppose 3*o = 5*y + 176 + 75, 0 = 4*y - 8. Suppose -12*a + o = 75. Which is smaller: 124 or a?
a
Let c = -1364 - -1363.79. Let l = -8 - -9. Which is smaller: c or l?
c
Let v = -1462.8 + 1462.6. Is v >= -4617?
True
Suppose 3335 = -183*k - 1400 - 755. Do 78 and k have the same value?
False
Let k = -248 + 81. Let p = -249 - k. Is -1 equal to p?
False
Let u(l) = -l**3 - 10*l**2 + 56*l + 49. Let w be u(-16). Let g = 748 - w. Do 61 and g have different values?
True
Let l be (-1)/(5/(-10)) + 394/(-6). Suppose 64 - 1 = -r. Let w = r - l. Which is bigger: w or -2/3?
w
Let c be ((-27)/(-6))/(1/(-2)). Let i = -99 - 90. Let s be 0 + (-3)/(-2) - i/(-18). Is s less than c?
False
Suppose -24*a + 24*a - 46 = -46*a. Let o = -700/39 - -52/3. Which is greater: a or o?
a
Let g(u) = -u**3 - u**2 + 73*u - 147. Let l be g(2). Let f(q) = -q**2 - q - 8. Let w be f(0). Which is smaller: l or w?
l
Suppose -1282 = -39*y + 4139. Let g be (-834)/(-9)*3/2. Is y less than g?
False
Let m = 203.5 + 54.5. Let u = -257.8 + m. Is u at most 2/41?
False
Let r = -736 - -244. Let k = 86595/176 + r. Is k less than 1?
True
Let m = 233.2 + 1.8. Let a = -235.123 + m. Is a <= -0.1?
True
Suppose -23*i + 78*i + 3740 = 0. Which is bigger: i or -62?
-62
Let o = 51 - 51.055. Let c = -0.155 - o. Which is greater: c or -0.37?
c
Let l = -102 - -107. Let i be (-2)/(10/l) - -1. Let p be (-9 - -1)/(4 + i + -2). Is 1 less than or equal to p?
False
Let m(c) = -2*c**3 + 22*c**2 - 3*c + 33. Let h be m(11). Suppose 2*v - 2*f = -h*f - 456, -v - 232 = f. Which is bigger: -229 or v?
-229
Let u = -136951085 + 12462322871/91. Let a = 2482 + u. Suppose 0*x - 4*s = -4*x + 20, -4*x = 2*s + 10. Are x and a nonequal?
True
Let t be (-1142)/(-5918) - ((-69)/230)/(99/(-60)). Is t greater than 0?
True
Suppose 309 = 2*l - 4*h - 287, 0 = 2*l + 5*h - 632. Suppose -31*n - l = -49*n. Are n and 23 equal?
False
Let h be ((-40)/70)/((-2)/(-14)). Is h < 7?
True
Let u = -9506 - -7697. Do -1 and u have the same value?
False
Let i(j) = -4*j + 36. Let y(d) = -1. Let t(f) = i(f) + 12*y(f). Let s be t(8). Let o = 104235/13 + -8025. Which is smaller: o or s?
s
Let c = -4524.2 - -4524. Which is smaller: -80/3 or c?
-80/3
Let f = 52 - 157. Let x = -4008 + 3903. Do f and x have the same value?
True
Let n = 138 - 80. Let p = -57.5 + n. Let v = -9/10 + 2/5. Which is bigger: p or v?
p
Suppose 0 = 3*l + 1 - 157. Let y = l - 33. Suppose -113 - 121 = -13*u. Which is bigger: u or y?
y
Let u be 30/2*((-12)/6 - -9). Let z be ((-8)/(-12))/(308/u - 3). Which is greater: -24 or z?
z
Let f be -52*((-30)/(-40) - 3/(-2)). Let s = 158 + f. Is 41 smaller than s?
False
Suppose 4*d - d + 96 = -3*s, -s = 2*d + 62. Let m be 140/8*(-56)/10. Let x = -128 - m. Is d at most x?
True
Let t = 0.9 + -0.3. Let y = -97 - -97. Suppose y*d - d = -2. Are d and t equal?
False
Let t be 15/12 - 52707/612. Let r = t + 505/6. Suppose 3*z = -o - 2*z + 3, -o + 4*z - 6 = 0. Is r less than o?
False
Let m be (20/15)/((-2)/3)*3. Suppose -8*g - 18 - 6 = 0. Let k(b) = -2*b**2 - 6*b - 6. Let y be k(g). Is y > m?
False
Let z = 4305 - 4367. Which is greater: z or 15?
15
Suppose -849 + 2550 = -7*a. Let f = -345 - a. Is -102 < f?
False
Let v = -119 - -614. Suppose -3*j - v = -3*t, 0*t - 628 = -4*t - 4*j. Let n = t + -838/5. Is -8 at least as big as n?
False
Let y = 3/1960 + 17601/25480. Suppose -2*t + t - 14 = 4*z, -3*t = -3*z - 18. Suppose 7*c + t = 9*c. Is c smaller than y?
False
Let o = 111.1 + -113.1. Is -0.0285 smaller than o?
False
Let x(s) = -18*s + 155. Let z be x(8). Suppose 5 = z*k + 49. Let n = -7 - -1. Are k and n nonequal?
True
Let f be 5/(-38)*27*(-220)/132. Is f smaller than 6?
True
Let d = -475 - -483. Let k be -2 + (d - 5) - 486/3. Is -162 < k?
True
Let p = 660 + -8578/13. Let y be 2*1 + (-375)/156. Let v = p + y. Which is greater: v or 8/5?
8/5
Let s(g) = -5*g**3 + 7*g**2 - 14*g + 6. Let j be s(3). Let q be 3/9*(-2 + -325). Are q and j unequal?
True
Let b = 7761 - 7763. Which is greater: -48/71 or b?
-48/71
Suppose 2*v - 6*v + 2 = -2*z, 3*z + 3 = -5*v. Let k(x) = -8*x - 5. Let o be k(-1). Suppose -o*i - 5*d = 16, 4*d + 0*d + 12 = -2*i. Which is smaller: i or z?
i
Let a = 2/1887 - 5665/3774. Let v = 22.88 - 22.9. Which is smaller: v or a?
a
Suppose 4*b - 7 = 89. Let f be 1 - (-4 - (-122)/b). Let g = 33.8 + -34. Do f and g have different values?
True
Let l = 3573.6 + -3572. Which is smaller: 86.4 or l?
l
Let x = 1 - -5. Suppose v + 6 = 0, 11*l + 72 = 16*l - 2*v. Let n = x - l. Are n and -8 unequal?
True
Suppose -6 = -2*y - 0*y. Suppose -2*r + 4*n + 36 = 0, 0 = 5*r - y*n + n - 74. Suppose r = -2*q + 10. Is q smaller than 1.3?
True
Suppose 0*p + 85 = -5*p. Let f be -25*(-5 + (8 - 4)). Suppose 2*l - 3*o = -f, 3*o = -4*l - 63 - 14. Is p > l?
False
Let j = -59 + 64. Suppose -m - 85 = -4*x, 0*x - 3*x - 310 = j*m. Let c be ((-13)/m)/((-2)/4). Which is smaller: c or 0?
c
Let z be ((-608)/(-10))/(1841/1315). Do z and 44 have the same value?
False
Let c(b) = -2*b - 1. Let o be c(-2). Let v be 1 - 2 - (o - -13). Let h = -24 - v. Which is smaller: -31/5 or h?
h
Let s = -1611.5 - -1608.5. Suppose 6 = 3*k, 3*v - 2 = -k + 6. Let m be 6/12*v/7. Is s greater than m?
False
Let v = 0.052 - -494.948. Let c = v - 494.8. Is c less than 55?
True
Suppose 2*t + t - 4 = -2*f, 8 = 4*f - t. Suppose -3*k - a = -9 - 7, -a = 5. Suppose -f*n = -k*n + n. Are n and -1/9 non-equal?
True
Let m be 10/(-25) - 14/(-10). Suppose 0 = 6*v + 54 + 42. Let l be m/(-6)*(-24)/v. Which is smaller: 0.07 or l?
l
Suppose 504 = -205*m + 212*m. Let l = 90 - m. Which is greater: 20 or l?
20
Suppose 0 = 163*j - 167*j - 2*d - 12, 5*j + 17 = -3*d. Which is smaller: j or 13/2330?
j
Suppose 0 = 3*k - 3*y - 105, 3*k - 3*y - y - 100 = 0. Suppose 26*x - k = 18*x. Which is smaller: -0.9 or x?
-0.9
Let u be -5*(-24)/20 - (-66)/1. Let j be ((-3)/12)/((-45)/u). Which is greater: j or 202?
202
Suppose 0 = 4*g - 723 + 663. Let v be (-9666)/15 - (-6)/g. Do -645 and v have different values?
True
Let d = -7977 + 103703