ose 544 = 10*s + 664. Let z be o(s). Is z bigger than -24?
False
Suppose -r + 2*b - 5 = 3*b, r + 3*b = -15. Is r smaller than 60/127?
True
Suppose 4*u - 42 = -2*o, 0 = -3*u - 2*o + 11 + 19. Suppose 4*r - 60 = -b, 9*b - u*b = 3*r - 135. Suppose 0 = -14*w + 9*w + b. Does 6 = w?
False
Let i = -8164 - -8165. Let u be (-6)/166*(-1)/3. Is u < i?
True
Let g be (-1 + (-154)/(-28))*(-2476)/(-105). Let m = g - 740/7. Let j = -14 - -13.76. Which is bigger: j or m?
m
Let c = 221 + -112. Let g = c - 106. Suppose -g*i = -n - 4 + 2, 3*i + 13 = -2*n. Is -1/76 at most as big as i?
False
Let q(l) = -49*l - 1643. Let z be q(6). Are z and -1937 equal?
True
Let r be ((-480)/(-200))/(9/(-5970)). Which is smaller: -7966/5 or r?
-7966/5
Let k = 0.003 - -25.997. Let a = 18 - k. Let l = 1761/4 + -440. Is l less than a?
False
Let p = -5.3 + -29.7. Let x = p - -44. Let t = -0.034 + -0.066. Is t at least as big as x?
False
Let x = 111/2 + -54. Suppose 689*h = 688*h + 7. Let s be (1 + 12 - h) + -5. Are x and s non-equal?
True
Let i = -1185 + -2239. Is i less than or equal to -3424?
True
Let g = 130 - 131. Let j be (-17)/34 - g/(-2). Are j and -5/83 nonequal?
True
Suppose 0 = 16*q - 43*q - 113400. Let x be ((-1350)/8)/1*(-3200)/q. Which is smaller: x or -130?
-130
Let p = 9 - 4. Let f = -3 + p. Let t = 37552 + -300407/8. Is t < f?
True
Let m be 14*16/56 - (-2 - -1*6). Which is smaller: m or 1/2254?
m
Suppose 5*q = -k - 9, -9 = -6*q + 9*q - 3*k. Let f be (-6 + -1)*-1*(q - -4). Is f not equal to 1?
True
Let o = 3478 + -3543. Do -775/12 and o have the same value?
False
Let i = 299 + -914.1. Let l = -615 - i. Which is greater: 512 or l?
512
Let s = 337 + -338. Which is smaller: -8/333 or s?
s
Let x = 1871 - 2062. Is x != -191?
False
Let i = -726 - -597. Do i and -9 have different values?
True
Let s = -15445 - -3938476/255. Is s smaller than 1?
True
Let h(k) = 24381*k + 55. Let w be h(-1). Which is bigger: w or -24325?
-24325
Let j = -434 + 166. Which is smaller: -2 or j?
j
Let i = -46 + -32. Let c = i + 102. Let n be (10/c)/(5/20). Is n greater than -1?
True
Let u(y) = -y**3 - 15*y**2 - 47*y - 64. Let c be u(-11). Which is bigger: 0 or c?
0
Suppose 446 = 5*d + c, 0 = -d + 5*d - c - 364. Let l be (-2)/(-5) + (-1566)/d. Let t(k) = -k**3 + 2*k**2 + 4*k. Let g be t(4). Which is greater: l or g?
g
Suppose -1084*x + 1051*x = 53163. Does 0.1 = x?
False
Let h(q) = -q**2 + 5*q + 2. Let d be h(5). Suppose 21*s - 7 = 77. Suppose 2*b - 11 + 1 = d*a, -2*a = s*b - 14. Is b greater than or equal to 2?
True
Suppose 4*g + 67 = -5*y + 2*g, -3*y - 2*g - 41 = 0. Suppose 4*n = 0, -6*u = -2*u - 2*n - 8. Let o(t) = -6*t - 1. Let f be o(u). Is f < y?
False
Let i be (-675)/75 - (-174)/17. Is i greater than 2?
False
Let i(s) = -623*s + 597. Let o be i(2). Which is smaller: o or -4546/7?
-4546/7
Suppose 17*w = 35*w - 36. Are 40/27 and w unequal?
True
Let b be (-2 - -3)/6*2. Let h = 17213487 - 26371060161/1532. Let o = -2/383 + h. Which is bigger: b or o?
o
Suppose 0 = -3*k + 3*o + 1794, 5*o - 6*o = -4*k + 2377. Does k = 591?
False
Let u = 942 + -513. Let q = -429.2 + u. Are q and 106 nonequal?
True
Let b = 237 - 236. Let j be 4 + -6 + (-29)/(-1). Let c = j - 25. Is c less than b?
False
Let b = -23 + 38.9. Let k = b + -44.9. Let u = -0.2 - -0.1. Which is smaller: u or k?
k
Let g = -59.81 - -62.81. Which is greater: 118 or g?
118
Let d be (0 - 1)/((-11)/(-8)). Let p be (-3 + (-1 - -7))*12/9. Let q be (2/p)/(-10 + (-228)/(-24)). Is d at most as big as q?
False
Suppose 81*l - 78*l - 9684 = -4*z, 0 = -2*l - 8. Which is bigger: 0.1 or z?
z
Suppose 5 = -5*y - 4*h, 4*y = 6*y + h - 1. Let n = -9111 - -9111. Which is greater: n or y?
y
Let x = 311 - 96. Suppose -11*t = 28 - x. Let n be (1 + (-20)/18)*2. Which is smaller: t or n?
n
Let k be -1*(-2*1 + -21). Suppose -23*s + 58 = 12. Suppose 4*m - 96 = 17*p - 15*p, s*m = -p + 44. Do m and k have the same value?
True
Let m be (-18)/(-198) + 72495/(-55). Which is smaller: m or -1317?
m
Let u(n) = 14*n - 57. Let j be u(4). Is j at least 1/1922?
False
Let c(s) = s + 2. Let t be c(-6). Let d = -230 + 377. Let y = d + -147. Which is smaller: y or t?
t
Let o = 108.4 + -114.4. Which is smaller: o or -22?
-22
Let t = -30 + 33. Let b = 69 - t. Suppose 62 = 4*r + 2*a, -8*a - b = -3*r - 3*a. Is r >= 16?
True
Let x = -39679/38 - -1044. Suppose -1 = -m + 4*a + 15, -16 = 4*m + 4*a. Which is bigger: x or m?
m
Let w be (271/2)/(111/(-1628)). Let n = w - -2007. Which is smaller: n or 19?
19
Let d = 515 - 517. Let j = -0.06 - 0.74. Is j less than or equal to d?
False
Let h(g) = -g**3 - 6*g**2 - g - 9. Let i = 84 + -90. Let w be h(i). Is -21/10 equal to w?
False
Suppose -m = -b - 0*m + 542, b + m - 546 = 0. Suppose 3*v - 415 = 4*a, -6*v + 4*a - b = -10*v. Are v and 137 equal?
True
Suppose 95 = 2*z + j + 106, -4*z - 19 = -j. Let a(n) = n**3 + 4*n**2 + n. Let f be a(-2). Let t = f + z. Is 1/28 <= t?
True
Let f = -17 - -5. Let h be (-3)/9*(13 + -10). Let y be (-18)/72 + h/12. Is f equal to y?
False
Let t = -7824 - -7843. Which is smaller: t or 145?
t
Let u be (-6)/(-9)*12 + 2. Suppose u = 2*q + 3*q. Suppose d + q*d = 102. Do 0 and d have different values?
True
Let o(f) = 4*f**2 - 281*f + 360. Let b be o(81). Which is greater: b or 3846?
3846
Let q = 27313 + -382335/14. Which is smaller: q or 4?
q
Let d = -109 - -871/8. Let b be ((-32)/(-10))/(8/1740). Let q = b - 2785/4. Which is smaller: q or d?
q
Suppose -2*j + 3*l - 8 = 0, -3*l = 3*j - j + 32. Let k be (15/(-25))/(2/j). Suppose -t = -11 - k. Which is smaller: 13 or t?
13
Let y = 70 + -52. Let k = 25 - y. Suppose k*h = 2*h + 125. Which is bigger: 23 or h?
h
Let c = 4/1889 + 11314/9445. Let m(l) = -2*l**3 - 1. Let b be -2*(-3)/(-6)*1. Let v be m(b). Which is bigger: v or c?
c
Let w = -4061 - -4059. Does w = 916?
False
Suppose -5*l - 203 = -2*i + 36, 612 = 5*i + 2*l. Suppose -w + a + 3*a = -i, 289 = 2*w + a. Is w less than 142?
False
Let v = 14379/10 - 19282199/13410. Does v = -1?
False
Let h be (-1)/((-12)/(-8) - 1) - -5. Suppose 100 = 5*b - 3*t, -4*b + t + 72 = -h*t. Which is smaller: 24 or b?
b
Let t(g) = -g**2 - 17*g - 1. Let o be ((-1404)/(-21))/(-4) + 4/(-14). Let n be t(o). Let r be -1*(n - 168/(-3)). Is -55 at most as big as r?
True
Suppose -46 - 4 = -2*x. Suppose -5*d - x = -4*d. Suppose 43*o - 42*o = -26. Which is smaller: o or d?
o
Let u = 63 + -70. Let g be (-4 - u) + 3/(-1)*1. Let t be 7525/(-23349) - 1/(-3). Which is smaller: t or g?
g
Let j = 4/2505 + -14311/10531020. Is 0 <= j?
True
Let g(k) = -k**2 - 3. Let w be g(-2). Let l = 8 + w. Let d be 1 - 60/32 - (-2)/2. Which is smaller: d or l?
d
Let b = -22.995 + -0.005. Let a = b + 31. Let w = 8.3 - a. Is 0.04 > w?
False
Suppose 4*p = -2*f + 9 + 19, 2*p - 3*f - 6 = 0. Suppose p*g = 2*g, 2*g - 25 = -d. Are d and 26 non-equal?
True
Suppose 0 = -0*w + 8*w + 64. Let u be (-20)/w*(-14)/5. Is u greater than or equal to -19?
True
Let v = 16224648/1145 - 14170. Is 1 at least v?
True
Let u(x) = x + 22. Let s be u(-22). Suppose -3*g - 60 - 99 = s. Let p = g + 22. Does p = -92/3?
False
Let g be (-384)/(-60) + 6/10. Let h(v) = -3*v + 19. Let p be h(g). Let d be (p/(-22))/((-3)/(-18)). Are d and 1 equal?
False
Suppose -10*t = -8*t + 42. Suppose 9 = -2*s - 33. Is s <= t?
True
Let x = 4271846 + -183715820/43. Let p = x + 615. Suppose -2*h + 98 = 4*z + 88, 3*h + 18 = 5*z. Is h greater than p?
False
Let d(r) = r**3 - 5*r**2 + 3*r - 6. Let v be d(5). Suppose 3*h + 0 - v = 0. Suppose -2*f = 2*f - 2*t + 14, -5*t - 17 = h*f. Is f less than -3?
True
Let y = 5631 + -5619. Is y greater than -77?
True
Let h = -17697 - -17615. Are h and 13 unequal?
True
Suppose -19 = -g - 4*u, -3*g = -g - 5*u + 14. Let v be 2/(125 + g + -6)*-3. Are v and 0 non-equal?
True
Suppose 0 = -5*p - 83*r + 79*r, -r + 15 = 5*p. Is -8 less than p?
True
Suppose -2*h - t = -3*h + 27, 0 = 2*t - 2. Let j be ((-63)/h - -2) + 3279/13020. Which is smaller: j or -1?
-1
Let v = 6298/35 + -180. Let d be -4 - (-1)/1 - 2. Let z be (-1)/2 - d/(-10). Which is smaller: z or v?
z
Let p = -21097 + 21210. Let j be -2 - 0 - 16/(-6). Which is smaller: p or j?
j
Let t = 678 + -803. Let s = t + 373/3. Let v(x) = 2*x + 1. Let u be v(-1). Which is smaller: s or u?
u
Let n = 8 - 6. Suppose -5*h = -2*l - 3*l, 0 = -5*h - n*l + 28. Suppose 2*g - 8*u = -