*c. Let r = -38722/141 + s. Are r and -1 unequal?
True
Let j be (1 - 3)*(-85)/(-35) + (1 - -4). Is -4 equal to j?
False
Let d be 1*((-1272)/(-48))/53*(-4)/(-6). Let l(t) = t**3 + 9*t**2 + t - 8. Let v be l(-7). Which is greater: d or v?
v
Let b = -2158431 + 3207381. Let k = 57682626/55 - b. Let j = 175 + k. Which is smaller: 1 or j?
j
Let a = 379793/256 - 209/256. Is a at most as big as 1484?
True
Let k be (-19874)/(-14) - (9/(-189)*-12 + -1). Which is smaller: 1419 or k?
1419
Let n be 141379/(-532) - (0 - 10). Which is smaller: n or 0?
n
Let u = -19 - -56. Let y = -1156 - -1118. Let b = u + y. Are b and 17 equal?
False
Let l be (1 + -1 - -4) + 43/((-6708)/79599). Which is greater: -507 or l?
l
Let c = -24.88 + 27.9. Let h = -19.02 + c. Which is greater: h or -4?
-4
Suppose -32994 = -40*o + 48926. Which is bigger: 2047 or o?
o
Suppose -t - 19 = -w, 4*w - w - 57 = -2*t. Let h = -44 + w. Suppose 133 = -6*d - 11. Does d = h?
False
Suppose 2*h + 3 = -3*l, -2*h - 2*l - 2 = 2*h. Suppose h = 18*u - 14*u + 884. Which is greater: u or -220?
-220
Let m = 507 - 485.84. Which is bigger: 0.5 or m?
m
Let t(b) = 6377*b + 39. Let v be t(-1). Which is smaller: -6339 or v?
-6339
Let x = 1 - 2. Let z = -7087/5 + 1417. Which is bigger: z or x?
z
Let s(o) = o**3 - 14*o**2 - o + 19. Let g be s(14). Suppose 5*y - 26 - 92 = -2*u, 3*y = g*u - 233. Let p = u - 90. Are p and -41 unequal?
False
Let o = -4517611/4 - -1136718. Which is smaller: 7314 or o?
7314
Let k = -575 - -1027. Let d = 183 - k. Does d = -269?
True
Suppose -8118*p = -8131*p - 481. Is -4/7 less than p?
False
Let o be 10/6 + 3454/(-314). Is o at most 7?
True
Let n = -0.7 - -3.5. Let q = 4.2 + n. Let j = -9.2 - -9. Which is bigger: j or q?
q
Let o = -199 - -199. Let g be 394/(-11) - 2/11. Let x be (g/(-150))/((-8)/(-10)). Are x and o equal?
False
Let u be 468/(-1377) - (114/(-27) - -4). Do u and -16/29 have different values?
True
Suppose -5398 = -41*n - 5357. Is n less than 7/2572?
False
Let u = -8141 - -8125. Which is smaller: 85 or u?
u
Suppose 0 = 5*x - 4*l - 23721, -5*x + 12139 + 11574 = -2*l. Which is smaller: 4738 or x?
4738
Let l be 2/6 - 26/240. Let j(a) = -a**3 - 2*a**2 + 14*a + 28. Let k be j(-2). Is l <= k?
False
Let k(d) = -154*d + 6145. Let c be k(92). Is c > -8024?
True
Let h(f) = -3*f + 4*f - 3*f - 28*f**3 + 5*f**2 + 2 + 27*f**3. Let v be h(2). Let m = 5 + 7. Which is bigger: m or v?
m
Let z = -37 - 94. Let i = 11824 - 59772/5. Let t = z - i. Is -1 at least as big as t?
False
Let r = -1659 - -1655. Which is smaller: 2064 or r?
r
Let u = -1150 + 1149. Let h be (189/48)/7 + -2. Is u != h?
True
Let c = -1 + 4. Let m = -12335 + 12333. Which is bigger: m or c?
c
Let v = -428 - -393.8. Let h = -4.2 - v. Let f = h + -26. Do f and 0 have the same value?
False
Suppose 0 = -5*p - 4*a + 237, -5*a = 5*p - 145 - 95. Suppose 13*j + 6 = p. Let m be (-6)/8*(-1 + -3). Is m equal to j?
True
Let q = -83 + 82.978. Let z = -462 + 462. Is z >= q?
True
Let f = 88.417 + -88.4. Is 7/4 equal to f?
False
Let i = -10 - -234. Do i and 224 have different values?
False
Let h(k) = -26*k - 24. Let i(l) = l - 5. Let q(f) = h(f) + 3*i(f). Let u be q(-18). Which is greater: u or 373?
u
Suppose 3*s = -375 + 24. Let n be (s - 28) + 1*2. Is n less than or equal to -143?
True
Suppose -5*m + 687 = -p - 447, -3*m = -3*p - 3306. Is p at most -1094?
True
Let u = 0 + -7. Let h(n) = n**3 + 7*n**2 + 4*n - 18. Let o = 120 - 126. Let a be h(o). Which is smaller: u or a?
u
Let j(c) = -10*c**3 - c**2 - 3*c - 1. Let k be j(-1). Suppose -i = k - 17. Let y be (-44)/(-3)*i/4 + 0. Is 21 greater than y?
False
Let m = 0.171 - -1.289. Let n = -465 + 464. Which is smaller: m or n?
n
Suppose 45 + 87 = 2*r. Let w be (-45)/(-187) + r/(-363). Which is greater: w or 0?
w
Let h = 1.68 + -2.22. Let w(o) = -6*o + 70. Let a be w(12). Is h > a?
True
Suppose -63 = 2*f + q, 5*f - 4*q = 2*f - 111. Let h = -52 - -55. Suppose p + 128 = -h*p + 2*k, 76 = -2*p - 2*k. Which is bigger: p or f?
f
Let j be (2/18)/(1/3)*(-12)/(-44). Do j and -241 have the same value?
False
Let y = -4 + 86. Let o = y + -69. Suppose o*b + 10 = 23. Which is smaller: 0 or b?
0
Let g = 229331/1960 - 32/245. Let s = g - 380529/3256. Which is bigger: s or 1?
1
Suppose -6669 + 534 = 2045*r. Let n be 1 + 1 + 108/(-22). Are r and n nonequal?
True
Let l = 477 + -8909/19. Suppose 14 = a - 2*t, t = -a - 3 + 8. Which is smaller: a or l?
a
Let f = -323.9 + 277. Let b = f - -53.8. Is b greater than or equal to 1?
True
Let i = 10 + 8. Suppose -3*o = -o + i. Let t be (-2 + 1)*(32/o + 3). Which is smaller: 2 or t?
t
Let d = -65/9 + 3499/477. Let w be ((-4 - 0) + 2)/(12 - 10). Which is bigger: w or d?
d
Let v(p) = p**2 + p - 1. Let f(w) = w**2 + 5*w. Let k(u) = -f(u) + 2*v(u). Let a be k(4). Suppose 5 = g, 12 = 2*m + 2*g - 2. Is a smaller than m?
False
Let v = 21 + 33. Which is bigger: 166/3 or v?
166/3
Let u(a) = -2378*a + 9483. Let l be u(4). Suppose -8*b + 5*b = 0. Which is bigger: b or l?
b
Let f(h) = 17*h**3 + 359*h**2 - 44*h + 5. Let r be f(-24). Which is greater: r or -27164?
r
Let x = 3 + -18. Let w be (x/(-5) - 13) + -1. Suppose 0 = -5*d - 3*t - 60 - 20, -2*d + 3*t = 11. Which is bigger: w or d?
w
Let k be ((-4)/14)/(282/(-154301)). Is 157 equal to k?
False
Let a = -1515 - -1514.9. Is a less than or equal to 3457/4?
True
Let l = 6608429/106302 - -2/17717. Is l not equal to 62?
True
Let w = -2656 + 2657. Is w < -2846?
False
Let i = 0.033 + 1.897. Let c = -0.47 - i. Let s = -0.1 + c. Is s at least -0.1?
False
Let f(i) = -653*i + 12871. Let u be f(22). Which is smaller: u or -1491?
u
Let m = 140 - 153. Let r = m - 7. Which is smaller: -24 or r?
-24
Let q = 1640 + -5065. Let v = q + 3483.97. Let z = 59 - v. Are z and -3/4 nonequal?
True
Let m be (100/3300)/((-5)/(-2)). Which is greater: m or -3?
m
Let t = 18 - 17.981. Let x = 38.429 + -35.61. Let i = x - t. Which is bigger: -1/2 or i?
i
Suppose 0 = 5*p - 4*i + 88, 2*p + 73 = 5*i + 48. Is p < -30?
False
Let u = 29.844 - 30.4. Let g = -1 - -0.944. Let l = g - u. Which is greater: l or -0.2?
l
Let x be (((-1404)/(-24))/39)/(6/41). Which is bigger: x or -0.102?
x
Suppose -13*g = -z - 579, -93*g + 2*z + 78 = -91*g. Is g < -11?
False
Let t be -2*1/(-1188)*-4. Suppose -34*y + 15*y + 25*y + 6 = 0. Which is smaller: y or t?
y
Let p(g) = g**3 + 32*g**2 + 157*g + 7. Let w be p(-6). Suppose -4*c = -2*c. Let v be (-2)/485*(c + -5). Which is smaller: v or w?
v
Suppose 16*b - 44488 + 1736 = 0. Which is smaller: b or 2671?
2671
Suppose 5238 - 5568 = -5*w. Does 26 = w?
False
Let b = 325841 + -5544250/17. Let m = -291 - b. Let a = 6 + -7. Is m < a?
False
Suppose -4*u + 1163 + 1181 = 0. Let s = 612 - u. Is 33 > s?
True
Let m be 1/(-5)*(-2 + -13). Let d(q) = -2*q**3 + 8*q**2 - 15*q + 4. Let p be d(m). Does p = -12?
False
Let d = 5909 + -5284. Is 1 bigger than d?
False
Suppose 3*n + 164 = 5*n. Suppose -8*l - 46 - n = 0. Let o be ((-32)/(-6) - 1) + l/48. Which is smaller: 2/9 or o?
2/9
Let n = 442.53 + -604.3. Let k = n - -161. Let s = 0.17 + k. Does 0.5 = s?
False
Let b be ((-150)/(-22) - (-4)/22) + -4. Suppose b*k = 42 - 39. Is k greater than 2/287?
True
Let t = -82 + -19. Let d be 2/(-9) - 7256/72. Is d > t?
False
Let r = -3487788 - -24371328/7. Let o = r - -6159. Is -11 at most as big as o?
True
Let r = -0.3079 + 179.4079. Let x = r + -173. Which is greater: x or -1/4?
x
Let y = -12813 + 12683. Which is smaller: -0.8 or y?
y
Let f = 25.52 - -1.31. Is f at most as big as -2/3?
False
Let j(l) = -121*l**2 - 5*l - 5. Let r be j(-1). Are -121 and r non-equal?
False
Let i = 37 - 39. Let x be (i + (-48)/(-9))*-9. Let d be x/(-3)*(-10)/4. Is d greater than -25?
False
Let r = 6924/7 - 991. Let h be (-3)/(-3)*-2 - -1. Are r and h equal?
False
Suppose -2*c - d = -5, 4*d - 6*d + 10 = c. Is c bigger than -7/1321?
True
Let p be -3990 + 31/((-31)/(-6)). Is -3984 smaller than p?
False
Let m = -46633 + 1819009/39. Is m <= 9?
True
Suppose -55*g + 59*g = 0. Suppose -3*v + 7*v + v = g. Which is bigger: 1/62 or v?
1/62
Let v = -60552.05 + 58454. Let o = v + 2181. Let k = 83 - o. Which is smaller: k or -3/7?
-3/7
Let w = -0.13 - -0.33. Let h = -8898.5 + 8880. Which is smaller: w or h?
h
Let p = -62.06 + -1.94. Let r = 37 + p. Let u = -21 - -103/5. Which is greater: u or r?
u
Let b = 16/16