. Suppose 0 = 6*l - l + n. Let s be (3 - (1 - 1))/l. Is -1 != s?
True
Let c be (0 + 1)*1 - (-14)/(-2). Let h be c/(-5)*(150/(-27))/5. Let r = 5 + -4. Is h less than r?
True
Let d be 2 + 1 + (-950)/(-15). Let q = -66 + d. Which is greater: -1/11 or q?
q
Suppose 9*g = 5*g - 164. Which is bigger: -44 or g?
g
Let l = 76 + -71.5. Let a = l - 1.5. Do a and -3 have the same value?
False
Let q(j) = -2*j + 19. Let z be q(-5). Let m = z - 38. Which is smaller: -7 or m?
m
Suppose -2 = 4*h - 10. Suppose -5*g + 4 = -2*l, 5*g + h*l + 3*l + 10 = 0. Is -5/23 at least g?
False
Suppose -19 = 5*a + 1. Let m(s) = s**3 + 5*s**2 + 11*s + 4. Let b be m(a). Is b smaller than -23?
True
Let i be -2 - -2 - (5 + 5). Let w = 15 + i. Suppose 0 = -4*b - 3*b + 42. Which is greater: b or w?
b
Let v = -206 - -207. Is v not equal to 2.05?
True
Let i = 455.5 + -457. Is 6/5 at least as big as i?
True
Suppose 0 = -9*f + 2391 - 114. Which is smaller: -2/5 or f?
-2/5
Suppose 4*n = 3*y - 332, -32*y + 37*y - 415 = 5*n. Which is greater: -582/7 or n?
n
Let c be (-1)/(((-4)/(-488))/(-1)). Suppose -5*u + 0*i = -i - 198, -i + c = 3*u. Suppose 5*n + u = -0*n. Is n >= -7?
False
Let d be 35 + (-3 - 4/(7 + -3)). Suppose 7*v + d = 3. Suppose -2*l + j - 24 = 3*l, 0 = 4*j + 4. Which is greater: l or v?
v
Let m = 164 + -175. Suppose -i = -3*b - 9 - 19, 5*b - 2*i = -45. Is b at least as big as m?
True
Suppose 17*t = 79 - 62. Which is bigger: -1/844 or t?
t
Let n be ((-18)/12 - 0) + 1806/1252. Which is smaller: -1 or n?
-1
Let q = 3 - 8. Let r = -22 + 18. Let g = -2 + r. Is q less than g?
False
Let c = 10429 - 521477/50. Let f = -303/550 + c. Which is bigger: 0 or f?
0
Let h be (-18)/(-8) - 7/(196/35). Which is smaller: 9/82 or h?
9/82
Let b(k) = -2*k**2 - 9*k + 11. Let z be b(-5). Let i = -8 - -11. Suppose 4*d + z = f, -f + d = -0*f + i. Is -6 smaller than f?
False
Let k be 1/((-4)/((-1056)/(-2))). Let t = k + 131. Is t greater than -1/35?
False
Let p = 1078 - 1602. Which is bigger: p or -523?
-523
Let n be (-3)/(3/(-1)) - 2. Is -2/245 != n?
True
Suppose -7*p + 37*p = -30. Is -26/97 at least as big as p?
True
Let x be 4/120*5 + (-395)/2730. Which is smaller: 1 or x?
x
Let n be 164/(-2470) + 18/234. Do 0.1 and n have different values?
True
Let w be 4/58*122730/(-20). Let r = 423 + w. Which is smaller: r or 0?
r
Let f = 11 + -6. Suppose 0 = t - 2*b + 3, -t + 5*b = 4*t. Suppose f*i - t*i = 0. Is -1 != i?
True
Let d be 63568/1908 + (-4)/18. Let k = 22112/1007 + d. Let i = -55 + k. Is 0 bigger than i?
False
Let d be 2670/10872 - 10/40. Is d smaller than -1?
False
Suppose 0 = -c + 17 - 9. Suppose 11*i = -c - 80. Is i at most -6?
True
Let z(b) = 13*b**2 + 111*b - 1. Let i be z(-9). Is 464/9 smaller than i?
True
Let a(u) = -38 - u + 390*u**2 - 389*u**2 + 11 - 23. Let y be a(0). Which is smaller: 1/3 or y?
y
Suppose 4*v + 3*a - 35 - 18 = 0, a + 57 = 4*v. Let k be 12/v*(-8 - -1). Let q be (k/(-12))/(1/2). Is q bigger than 1/11?
True
Let b be (0 + 1)/(3/3). Let j = 387 - 18962/49. Let l = j + 44/245. Which is smaller: b or l?
l
Let b = -610 - -614. Is -100 greater than b?
False
Let r = -3 - 1. Let i be 8/2 + r + 2. Let s be ((-3)/9)/(i/(-4)). Is s smaller than 1?
True
Let z = 17/5 + -23/7. Let t = z - 43/70. Is -0.2 less than t?
False
Let m(r) = -8*r - 4*r + 12*r**2 - 7*r + 18 + 7*r - r**3. Let l be m(11). Is l greater than or equal to 6?
True
Let w = -1724/7 - -12074/49. Which is smaller: -1 or w?
-1
Let x = -1758 + 1858. Which is greater: x or 99?
x
Let y be 0/(-1) - (-20)/16. Suppose r - 1 = -0*r. Let a = 2 - r. Are a and y nonequal?
True
Let q(d) = -d + 1. Let c be q(0). Suppose -2*k = -2*z - 10, z - 25 = 6*k - 11*k. Is z at most as big as c?
True
Let b = 271 - 398. Let a = b - -113. Is a smaller than -12?
True
Let f(c) = -c**3 - 14*c**2 - 12*c + 15. Let l be (-5 - -8)/(6/62). Suppose 2*j + 0*n + l = -5*n, j + 14 = -n. Let i be f(j). Is i <= 2/3?
False
Let f = 116329361/3747 - 31046. Is 1 < f?
False
Let b = 2849/9 + -318. Let q = -83/45 - b. Let g = -4 + 4. Is g equal to q?
False
Let r be -1*3*4/(-30). Let f = -0.421 - -33.321. Let d = f + -33. Which is bigger: d or r?
r
Suppose -5*d = -3*c + 35 - 428, 3*c = -5*d + 417. Let w be d/(-18)*1/2. Which is bigger: -3 or w?
w
Let n(b) = -b**3 - 8*b**2 - b - 34. Let h be n(-7). Let j = -77 - h. Are -2/37 and j nonequal?
True
Let b = 4/283 - 295/849. Let d = 1901/7 - 272. Do d and b have the same value?
False
Let c(m) = 82 + 3*m**2 - 71 - 4*m + m - 4*m**2. Let b be c(-5). Is -2/73 less than b?
True
Let z = -1494 - -49301/33. Which is smaller: 0 or z?
z
Suppose 10*u + 624 = 23*u. Are 46 and u non-equal?
True
Let v = -88 - -87. Let p be (-2)/(-5) + (-57)/180. Are v and p nonequal?
True
Let j = -133 - -45. Which is smaller: 1/3 or j?
j
Suppose w = -3 + 16. Let u = 21 - 19. Suppose x + 2*x + u*l - 36 = 0, x = -l + 12. Is x at most as big as w?
True
Suppose -300 = 19*n - 9*n. Is -31 smaller than n?
True
Suppose -3*i - l = 2*i + 77, 68 = -4*i - 4*l. Let d = -6 + i. Let h = d + 19. Is -5/9 greater than h?
True
Let z = -7090/19 + 49149/95. Which is smaller: z or 143?
143
Let m = 453 + -428. Is 24 < m?
True
Suppose q = 2*q + 44. Let b be 14/11 - ((-124)/q - 3). Is b <= 1?
False
Let x be (-12)/4*(4 - 3). Which is smaller: -37/13 or x?
x
Suppose 0 = -2*f + 3*o - 1607, 3*f + o = 1010 - 3448. Is f less than or equal to -811?
True
Let s be -21 - -17 - 6/(-1*2). Suppose 4*c + 3 = -9. Let k be (15/(-100))/(c/2). Which is smaller: k or s?
s
Suppose 6*y - 2*y - 9 = -3*a, 5*y + a = 3. Suppose -d = -4*p + 14, 2*d + 5*p - 5 - 6 = y. Let l = 59/5 - 13. Which is smaller: l or d?
d
Suppose 0 = -15*b + 18*b - 5*y + 124, -3*b = 4*y + 133. Suppose -4*n = -3*o - 106, 7 + 3 = -2*n. Which is smaller: b or o?
b
Let p be (8/20)/((-1554)/(-310) - 5). Which is bigger: p or 21?
p
Suppose -7*n = -144 + 39. Let j be (27/(-42))/((-9)/n). Which is bigger: 1 or j?
j
Suppose 477*a = 473*a + 36. Let s = 5 + -5.3. Which is bigger: a or s?
a
Let i = -426 - -425. Is -17/20 < i?
False
Let y = -4/343 + -267/6517. Let t be 1 + (1 + -2)*2. Is t at most as big as y?
True
Let w = -1371.9 + 1372. Is w greater than -0.734?
True
Let f be -3*2/3 - -1. Let u = 1/47 + 89/235. Is f less than u?
True
Let b = 34 + -22. Let u be (-2)/25*(-10)/b. Let y be (3 - 1) + 0 + -2. Are y and u equal?
False
Suppose -3*v = -2*d - 7, 5*v - 5*d = 5 + 15. Let c be 0 + 9/v + -1. Let f be (4/9)/(c/(-3)). Which is bigger: f or -1?
f
Let q = -52 - -33. Let w = 32 + q. Suppose -4*g + 3*g + w = 2*o, 4*o = 5*g + 61. Which is smaller: 8 or o?
8
Let f be (-4260)/(-10)*14/378. Do f and 15 have the same value?
False
Suppose -49*b - 19 = -30*b. Which is smaller: b or -19/123?
b
Let x(z) = -z**3 - 22*z**2 + 29*z + 46. Let l be x(-23). Let o be (-4 + (-392)/l)*-2. Which is bigger: o or -1?
o
Let y = 18 - 12. Suppose -6*n - y = 18. Do -1 and n have the same value?
False
Suppose 3*a + 482 = 3*k + 89, -651 = -5*k + 4*a. Let n = -887/7 + k. Let i = -13/6 + 3/2. Is i greater than n?
False
Let w(n) = n - 1. Let v be w(-13). Let q = 17 + v. Is 8/5 equal to q?
False
Suppose 0 = -3*t - 3 - 0. Which is bigger: -1/122 or t?
-1/122
Let t = 247 - 235.7. Let r = -10.94 + -0.06. Let o = r + t. Which is greater: o or 0.1?
o
Let n = 66 - 65.9. Which is bigger: 2/63 or n?
n
Let c = -2 + 12. Suppose -2*t - 5*k = -c, -4*t - 15 = -7*t + 4*k. Suppose -4*x - 10 = -t*x - 3*n, -5*n + 20 = 2*x. Which is bigger: 8 or x?
x
Let z = 464 + -464.21. Which is greater: 0 or z?
0
Let w = 59 - 63. Let s be (6/(-15))/(w/((-20)/(-39))). Which is bigger: s or -1?
s
Suppose -5*f - 3*t - 169 = 0, -4*f - 5*t - 131 = -4*t. Are f and -31 equal?
False
Let z = 0.205 - 4.205. Which is smaller: z or -105?
-105
Let j(p) = p**3 + 20*p**2 + 26*p + 15. Let x be j(-19). Is x >= -119?
True
Let v(i) = -2*i**2 - i - 3. Let t be v(-4). Suppose -12*d = 26*d + 188 + 1028. Which is smaller: t or d?
d
Let a(z) = 0*z**2 + 4 - 3*z - 7*z**3 + 4*z**2 - 5*z**2. Let s be a(1). Let j(b) = b - 7. Let m be j(0). Is m at most s?
True
Suppose 2*k - 222*i + 1 = -223*i, -k + 4 = -4*i. Let o be (-126)/(-610) + (-1)/5. Is o bigger than k?
True
Suppose 3*h = 4*v - 0*h + 60, -5*v - 44 = 4*h. Let o = 24 - v. Suppose 5*z + 6 = o. Which is smaller: 2 or z?
2
Let q = -0.05 + -0.75. Let b = 0.0983 + 0.1017. Is q smaller than b?