j = -23.77 + c. Is -0.5 less than or equal to j?
False
Suppose -9*s + 13*s = 11*s. Let n be 1/(s - (-3)/243). Are n and 81 unequal?
False
Let y(i) = -i**3 - 8*i**2 + 22*i - 115. Let k be y(-11). Is 164 not equal to k?
True
Suppose -4*o - 11*z = -15*z + 4096, -2*z - 3092 = 3*o. Is -1028 bigger than o?
False
Let x be (-545)/(-25) + (8/10)/(-1). Let h = x + -6. Let o be 1*-5*(-3)/h. Which is bigger: o or 12/29?
o
Suppose 5*y + 59*b = 60*b - 595, -3*y - 2*b = 344. Is 1/11 bigger than y?
True
Let g be ((2 - (2 + 2)) + 2)/(126 - 128). Which is smaller: g or 2/12337?
g
Let i = 21351936/19 - 1123395. Let m = i + -391. Let c be (1 - (-22)/(-12)) + 4/(-6). Which is smaller: m or c?
c
Suppose 0 = g - 3*t - 14, -16 + 4 = 3*t. Let d be -3 + -88*6/(-84). Which is smaller: d or g?
g
Let b(d) = -2*d**2 - 108*d + 1281. Let r be b(-64). Is 21/100 greater than r?
False
Let r(l) = 300*l + 2030. Let o be r(-6). Which is greater: 686/3 or o?
o
Let l = -21 + -28. Let d = -49.07 - l. Let x = 0.1 - 0.2. Is x <= d?
True
Let k = 9.7 + -8. Let h = k + 2.5. Let o = h + -6.2. Is o at least as big as 0.2?
False
Let o be (6/(-12))/(3/(-720)). Let n = 105 - o. Which is smaller: n or -0.12?
n
Let c be (58/(-6))/(36/10152). Which is bigger: -2727 or c?
c
Suppose 2*h - 5 = 167. Suppose h = -3*k + 26. Is -19 bigger than k?
True
Let g = -33 - -19. Let s = 724/969 + -11105/13566. Which is smaller: s or g?
g
Let a(l) = l**3 - 3*l**2 - 8150. Let k be a(0). Which is smaller: -8149 or k?
k
Let k(l) = l**2 - 22*l + 81. Let x be k(18). Let u be (-12)/90*-5 - 15/x. Is u bigger than -2/111?
False
Let n be 4*(-9)/(-12) - (-2 - -7). Let d(c) = -15*c + 17. Let m be d(n). Suppose 5*h - 253 = 4*v, 6*h + m = -v + 4*h. Is v <= 1?
True
Suppose 0 = 4*o + 2*j + 14, -2*o - 11 = -o + 2*j. Let k be (-124)/3*9/(-21). Let f = -3610/203 + k. Which is smaller: o or f?
o
Let y be (-2 + (-4)/(-5))*170/(-51). Let q be (-102)/(-4)*y/(-10). Let k be 3/4*-1*12. Is k less than or equal to q?
False
Let i = 131 + -247. Let z(p) = 4*p**2 - 45*p. Let d be z(4). Is i >= d?
True
Let w be -6 - -3 - -1 - (5 + -101)/(-6). Which is smaller: 0 or w?
w
Let x be 1989/(-1977) + 4 + 1 + -4. Let n = x + -71/96873. Which is greater: n or 0?
0
Let k be (-156)/(-16) - (-6)/(-8). Let z be (-103)/18 + 2/k. Suppose -5*w + 5*n + 11 = -3*w, 0 = 4*w - n + 23. Do z and w have the same value?
False
Let u = 4402 - 4403. Which is smaller: 77/19 or u?
u
Let h be (-5)/60 + (-15)/(1800/110). Which is smaller: h or 21/128?
h
Suppose -3826 = -32*w - 79*w + 273119. Which is smaller: 2497 or w?
w
Let b = 2283 - 6848/3. Is -0.1499 != b?
True
Let d be (4830471/(-60))/((-9)/(-2)). Let j = d + 17888. Let f = j + -37/10. Which is greater: f or -7?
f
Let v be -2*4*1*(-13483)/(-388). Let n = 274 + v. Is n not equal to 2?
True
Let p be (-3533)/(-11) - (-6)/(-33). Suppose -5*o - 117 = -3*u + p, -3*u = 5*o - 438. Are 147 and u non-equal?
True
Suppose -35*y = 231*y + 8*y. Is 3/8677 >= y?
True
Suppose -28*o + 31*o - 11*o = 8. Which is bigger: o or -22?
o
Let v = -4363/10010428 + -5/4876. Let m = v - -41129/47219. Is 1 less than m?
False
Suppose -2*l = -5*j - 105, 0*l - 3*l - 15 = 0. Let q = j + 27. Suppose 72 - 232 = -q*d. Which is greater: 41 or d?
41
Let c = -338/15 - -307/10. Is 8 smaller than c?
True
Let r = 0.05794 + 0.04206. Is -17/128 equal to r?
False
Let p = 252 - 252. Let q = 44 - 20. Suppose 0 = -q*a + 27*a. Do a and p have different values?
False
Let r = -6113/66 - -547/6. Suppose 0 = -28*a + 9*a - 11457. Let y = -603 - a. Is y at least r?
True
Let m = -271369000/8299 - -32699. Is m less than 0?
False
Let a be ((-2)/(-12))/((-163)/(-51834)). Let d = -101 + 154. Is d not equal to a?
False
Let h(c) = c**3 - 8*c**2 - c + 15. Let v be h(8). Let a be 100/2 + -6 + 4. Suppose -9*t + a = -v*t. Is t not equal to 23?
True
Let t = 2.364 - 2.4. Let v = -101.036 - t. Let d = -78 - v. Is d >= 2?
True
Let z be (31/12 + (-460)/368)/62. Let j = 0 - 1. Which is smaller: z or j?
j
Let k be 2*2/(-22) - 2607/(-363). Let s be -6 + 61/7 + k. Which is bigger: -0.1 or s?
s
Let z be 2*3/(-2) - 112*48. Let l = z + 285095/53. Is l at least -1?
True
Suppose -76*f - 230 = -990. Which is bigger: -29 or f?
f
Let t be 3/(-9) + (-64)/(-12). Suppose 4*h - 5*r - 156 = 0, t*h - 5*r + 0*r = 200. Let d = 3790 - 3746. Is h at most d?
True
Let f be 6/(-8) + 350/40. Let i(z) = -4*z + 14. Let q be i(f). Let s = 15 + q. Which is bigger: 1 or s?
1
Let n(l) = -l**2 + 29*l + 135. Let m be n(-4). Suppose 12 = -48*u + 49*u + 4*h, -3*u + m*h - 9 = 0. Let i = 23/4 + -73/12. Which is smaller: i or u?
i
Suppose 0 = 4*f - 16, 2*x - 4*f - 22 = -258. Let q(g) = -2*g**3 - 16*g**2 - 33*g - 164. Let m be q(-6). Is m equal to x?
True
Let j = 3699 - 372. Is 3327 at least as big as j?
True
Let l(a) = -3*a - 111. Let i be l(-23). Let k be (i + 39)/(128/131 + -1). Which is greater: k or 130?
k
Let p be (-23)/46*2*(-3 + 1). Suppose a = -5, -3*a + 0 = -p*f + 13. Let i = -168 - -500/3. Is i less than f?
True
Let c be -158 + (3 - (-18)/(-6)) + (0 - -1). Which is bigger: c or -1417/9?
c
Let c = 4798 + -3432. Is -1 not equal to c?
True
Let k = 1821 + -1360. Which is greater: k or 2/5?
k
Let p(w) = 2*w**2 + 144*w - 816. Let k be p(-77). Which is smaller: k or -57?
-57
Let a(u) = u - 7. Let r be a(9). Let t = 1 + r. Suppose t*k + 5*x + 56 = 0, 1 = x - 1. Which is greater: -21 or k?
-21
Suppose -6 = 2*m, 0 = -2*a + 2*m + 309 - 271. Let g be (34 + 2)/((-2)/(-1)). Is g <= a?
False
Let c be -1*(27/5 + 0). Let i(x) be the second derivative of 7*x**5/20 - x**4/12 - 2*x**3/3 - x**2 + 8*x - 8. Let s be i(-1). Is c != s?
True
Let d = -140023/75 + 1867. Let l = -1006725 + 1006719. Which is smaller: d or l?
l
Suppose 3*t + 29*a = 26*a + 162, 372 = 7*t + 4*a. Which is smaller: t or 35?
35
Let j be (-61 - -8477)/(1 - 3) + 9. Which is bigger: -4197 or j?
-4197
Let c be -5 + ((-6724)/(-36))/(4/36). Is c equal to 1674?
False
Let h be 36/(-27)*((-6321)/(-1266) - 5). Do h and -1 have the same value?
False
Let l = -1908/319 + 116100530/19410831. Are l and 0 nonequal?
True
Let a be (-3)/(-33) + 1524/(-308). Which is smaller: a or -0.13?
a
Let g be ((2/(-5))/2)/((-18)/((-2448)/2)). Let a(z) = -z**3 + 8*z**2 - 10*z + 7. Let v be a(7). Is v < g?
True
Let z(t) = -t**2 - 10*t + 16. Let l(u) = u**3 + 2*u**2 - 5*u. Let w be l(-4). Let d be z(w). Let j be (-48)/36 - d/15. Which is smaller: j or 1?
j
Let v(p) = -p**2 + 4*p - 2. Let z be (0 + 0)/(3/(-1)) + 3. Suppose -z*y - 3 = b, 3*b = 3*y - 4*y + 7. Let d be v(b). Which is bigger: 12/19 or d?
d
Suppose -5*j + 3*k + 56 = 0, 2*j - 10 = 12*k - 17*k. Is -32 > j?
False
Let t = 10420.1 - 10420. Does t = -1.343?
False
Let q(r) = -r**2 - 16*r - 18. Let k be (-9)/6*(-238)/(-21). Let w be q(k). Let f = w - -23. Is -11 at most as big as f?
False
Let r be (-93)/9 + 2 + 0. Suppose 0 = 17*s - 8*s - 9. Suppose -5*p - s = 34. Which is greater: r or p?
p
Let z = 4.71 + 1.77. Which is smaller: 5 or z?
5
Suppose -1159 - 2645 = -12*p. Suppose p - 65 = 9*a. Which is bigger: 22 or a?
a
Suppose 0 = -4*r + 17*r - 598. Suppose -6*n + 40 - r = 0. Does -1/283 = n?
False
Let u(c) = 10*c - 5. Let k be u(1). Suppose 3*a = k*a - 2. Are a and -4.8 nonequal?
True
Let v = -1685/298893 - -2/301. Do -1 and v have the same value?
False
Let h = 387.48 - 385.48. Let g = -210 + 316. Which is smaller: g or h?
h
Let j = -548 - -557. Let s be (j + -25)/8 - 36/2. Is s > -13?
False
Let b = 1128 - 1024. Let u be 6/(-8)*(-8 - -4). Suppose 5*x - 2*x + u = 0. Which is bigger: b or x?
b
Let y be (-37)/(-333) - (-1150)/18. Let n be (1 + 3 + 825)/(-13). Let c = n + y. Which is smaller: 0 or c?
0
Suppose -5*b - 15 = -3*x, -220*x - 5 = 5*b - 221*x. Which is greater: 16/229 or b?
16/229
Let u = -2923/20 - -146. Let m be (42/(-9) - -5)*0. Is m bigger than u?
True
Let d = -31 - -147. Let a = -117 + d. Which is bigger: a or 1/110?
1/110
Let r = 18070 + -17937. Is 9 not equal to r?
True
Let b be (2 + -18)/(-2)*-1. Let o be ((-2)/16)/(2/b*-11). Is 2 < o?
False
Suppose -11*c - 15*c - 78 = 0. Let q be (-3)/((-175)/(-7) + c). Do q and 0 have the same value?
False
Let w = 11220392/783 + -14330. Is 1 bigger than w?
True
Suppose -s = -3*v - 67 + 328, 4*s = 2*v - 994. Is -246 equal to s?
True
Let i = 233/20 - -39/20. Let q = 260404/17115 - 650/489. Let h = 