Is -11 <= p?
False
Let j = -21 - -57. Let d = j + -33. Suppose 2*c = a + 12, a + 20 = 2*c + 2*c. Are c and d equal?
False
Let a = 95 + -95.1. Which is smaller: -1/43 or a?
a
Let n be (18 - 15) + (-18)/2. Let w be 2/n*(-96)/72. Let j be (2/(-4))/(4/(-8)). Is j greater than w?
True
Suppose 0 = 32*a + 226 + 222. Which is greater: -0.03 or a?
-0.03
Suppose -5*y + 15 = -0*y. Let q = 43 + -37. Suppose 0*z = y*z + q. Which is smaller: z or -6/11?
z
Let o = 21 + -1. Which is smaller: o or 8?
8
Suppose 0 = f - 3*j - 11, f + 4*f + 3*j = -17. Is 4/745 <= f?
False
Suppose -581 = 5*f + 4*l + 458, 3*f + 4*l + 617 = 0. Does 0.5 = f?
False
Let u = -37 - -127. Are u and 92 unequal?
True
Suppose -5*g - 60 = -5*b, 4*b - 65 - 1 = -2*g. Which is bigger: b or 1/8?
b
Let w = 25 - 21. Let s be -4*w/(-4) - -1. Let j be ((3 - s) + 1)*-11. Do j and 10 have the same value?
False
Let d = -241185/13 - -20961307/1131. Let p = 58/3 + d. Let b = -4 - -5. Is b greater than p?
True
Let o be 8 + -16 - (-15 - -799). Is -792 less than o?
False
Let n = 4791.7 - 4792. Let b(j) = -j + 4. Let c be b(5). Let a be 3/(-15) + c + 1. Which is greater: a or n?
a
Let f(d) = -d**3 - 3*d**2 - d - 3. Let b be f(-3). Let n be (-15)/(-8)*(-5)/315. Let w = -11/24 - n. Is b at least as big as w?
True
Let r(t) = t**2 - 7*t - 9. Suppose 6 = 4*l - 18. Let y be r(l). Which is greater: -27/2 or y?
-27/2
Let s(k) = k**3 - 6*k**2 + k + 22. Let o be s(5). Let b be ((-28)/49)/(o/7). Is -27/10 at least b?
False
Let m = -14.7 + 14.7. Which is smaller: m or 0.32?
m
Let x(l) be the second derivative of -l**4/12 + 7*l**3/6 - 11*l**2/2 + l. Let z(c) = 76*c + 308. Let f be z(-4). Let q be x(f). Are -2 and q nonequal?
True
Let n(p) = -p**2 + 2*p + 1. Suppose -4*r - 2*s = 2, -3*r + 2*s - 3*s - 3 = 0. Let u be n(r). Let k(t) = 3*t + 4. Let v be k(-4). Which is bigger: u or v?
u
Let v be 185/(-225) + 1 + 0. Let a = 10565347934/1935 - 5460128. Let y = v - a. Is y at most as big as 0?
False
Let z = 7466/5 - 1506. Let y = 438/35 + z. Let x = 7 - 1. Is y at most as big as x?
True
Let m(j) = j - 4. Let w(p) = 1. Let q(t) = m(t) - 4*w(t). Let x be q(4). Let z be x - (1 - 3)*2. Does z = -4/13?
False
Let n = 503 - 501. Which is greater: n or -136?
n
Suppose 4*n + 3276 = -0*n. Let d = n - -9021/11. Is 0 at least d?
False
Suppose 0 = 3*j - 8*j + 65. Which is smaller: -1/6 or j?
-1/6
Suppose -z + 0 + 3 = 0. Suppose -51 = 3*r - z. Is -15 greater than r?
True
Let y = -13 + 12. Let o be y + (48/21)/2. Suppose -2*u - 3*h = 0, 0 = 4*u + 2*h - 6*h. Which is bigger: u or o?
o
Let i = -17.37 - -0.17. Let f = -16 - i. Let y = 1 - f. Which is greater: 2/7 or y?
2/7
Let h(f) = -38*f + 4. Let r be h(1). Let q be 247/(-7) + 2/7. Is q >= r?
False
Let b = 518 - 517.8. Is b < 127?
True
Let q be 4/10 + (-3)/(-5). Let r(d) = 4*d. Let p be r(1). Let z be 22/(-28) + 2/p. Which is greater: q or z?
q
Let h = -2 + 1. Let i be (4/10)/((-1)/h). Let a(c) = -11*c + 10. Let l be a(1). Is l smaller than i?
True
Let l be 1 - (1 - 2/(-757)). Is l > 0?
False
Let k be 4*(-2)/(-20)*-5. Let w be 8/56*4*k. Suppose 4*j + 1 = 4*d - 3, 2*j = -6. Is d bigger than w?
False
Let g = 10 - 9.6. Let h = g + 0.8. Let q = -1 + h. Does q = -1?
False
Let i be (6/2)/1 + 3. Suppose -2*t - 5 = 5. Let m be ((-12)/t)/((-12)/(-30)). Is i equal to m?
True
Suppose -3*j - 7*h + 331 = -3*h, -4*j + 3*h + 458 = 0. Let u = j + -113. Which is smaller: u or 1/35?
u
Suppose 4*n = 20 + 20. Let s(k) = k + 6. Let u be s(5). Suppose n*x = u*x. Which is smaller: 1/2 or x?
x
Let g(y) = -y - 21. Suppose -14 - 118 = 6*c. Let n be g(c). Which is greater: -119 or n?
n
Let m = -11 - -6. Let k be 30/12*8/(-5). Let f be m/4 - k/16. Which is bigger: f or 2?
2
Let i be 187311/225 - 3*5/45. Let f = i + -832. Which is bigger: 1 or f?
1
Let o = 10.36 - 9.26. Does 10 = o?
False
Let u = 1 - 1. Suppose 5*f - 7*f - 2 = u. Let t be -11 - ((1 - f) + -3). Which is smaller: t or -11?
-11
Let z = 1333/56 + -107/8. Is z > 10?
True
Let w(n) = -2*n**2 + 3*n + 38. Let i be w(7). Which is smaller: -32 or i?
i
Let o = 263/3 + -88. Let m = -28 - -29. Which is bigger: o or m?
m
Let m = -30.9581 + 0.0581. Let d = -4.9 - m. Let t = -25 + d. Are t and 3/5 unequal?
True
Let g(h) = h**3 - h**2 + 3*h + 27. Let y be g(0). Is -5 <= y?
True
Let k(o) = 9*o - 136. Let z be k(15). Which is bigger: z or -4/47?
-4/47
Let n(y) = y**2 + 5*y - 6. Let b be n(-5). Let x be ((-36)/(-10))/(b/20). Which is bigger: x or 1?
1
Let f(d) = -d**3 - d**2 + 8*d - 1. Let c be f(3). Let g be 1 - 28/c - (-6 + 9). Suppose -h - 8 = -5*w + 10, -6 = h - 2*w. Which is smaller: h or g?
g
Let l = 0.05 + 11.15. Let c = l - 11. Which is smaller: c or 2/7?
c
Let l = 425 - 426. Which is smaller: l or -14/9?
-14/9
Suppose 0*v - 3*v - 9 = 0, -12 = -3*u + 5*v. Let f be ((-25)/(-495))/u - 2/9. Let y = 0 + 1. Which is smaller: y or f?
f
Suppose 50*g - 54*g = -160. Let o = 36 - g. Is -0.5 at most as big as o?
False
Let i(x) = x**2 + 6*x - 1. Suppose 3*m - 4*m - 6 = 0. Let b be i(m). Let l = -301 + 293. Is l bigger than b?
False
Let w be 1 - (-66)/(-54) - (-2860)/(-9). Is w at least as big as -319?
True
Let z = -16.4 - -12.7. Let i = -7.7 - z. Which is greater: 0.1 or i?
0.1
Let v be -2*((-21)/(-24))/((-8)/(-32)). Suppose 5 + 3 = 4*n. Suppose -n*s = 2*s. Is s != v?
True
Suppose -4 = -5*s + 4*q + 8, -15 = 3*s + 5*q. Which is greater: 4/239 or s?
4/239
Let u = 96 + 4. Suppose -7*p - u = -3*p. Let f be 1323/(-56) - 12/32. Is f greater than or equal to p?
True
Suppose 0 = -i - 2*i + 63. Let w be ((-9)/(-84))/(i/(-12) + 2). Suppose 0*v = 4*v + 5*p - 14, -2*v - p + 4 = 0. Which is bigger: v or w?
v
Suppose 11 = -2*m - k - 37, -3*k - 52 = 2*m. Let d = 23 + m. Which is smaller: -5/9 or d?
-5/9
Suppose -5*s - 1 = 5*q + 44, -2*s - 13 = q. Let z = s + 9. Suppose 0 = -3*p + 5*j, 4*j = -z*p - 0*p. Is 3/8 at most p?
False
Let l be (-1)/((-30)/1876) + 15/9. Is l smaller than 65?
True
Let w = 645 + -613. Which is smaller: -5 or w?
-5
Let t = -6.1 + 18.6. Let p = t - -0.5. Let s = p + -7. Which is greater: s or 1?
s
Let t = -241/1920 - 1/128. Let m be 22/55 - 26/(-10). Suppose 0*u + m*u + 3 = 0. Is t less than u?
False
Let r be (-10)/((-280)/54) - 2. Let b = -2 + 1. Which is smaller: b or r?
b
Let x(l) = l + 3. Let z be x(-3). Let o = 3190/1271 + -91/41. Let y = 145/713 - o. Are z and y non-equal?
True
Let k be (-214)/(-2) + -2 + 4. Let o = -331/3 + k. Suppose 3*x - 17 = -5*z, 2*x = -15*z + 10*z + 18. Which is smaller: x or o?
o
Let l(f) = f**3 + 7*f**2 + 5*f + 4. Let h be l(-5). Let u = h - 71. Let d be 4/(-15)*(-140)/u. Do d and 0 have the same value?
False
Let g = -73.9 + 77.9. Is 1/171 > g?
False
Let f = 17 + 7. Which is smaller: f or -3?
-3
Let g(k) = -2*k**2 + 25*k - 23. Let n be g(8). Is n greater than or equal to 50?
False
Let v(h) = h**2 - 3*h - 69. Let g be v(10). Which is smaller: g or -2/581?
-2/581
Let d = -3 - -3. Let u(k) = -2*k - 3. Let x be u(-4). Suppose -4*t - 5*j - 18 = 0, -x*j + 1 = -t + 9. Which is greater: d or t?
d
Let c = 185/721 - -3/103. Let u be (-4)/16 - 51/(-12). Suppose 0*q - u*q - 81 = m, -5*q - 5*m = 120. Is c >= q?
True
Let i = -7 - -9. Let p = -0.34 - -4.34. Let g = i - p. Are g and -1/3 non-equal?
True
Let i(g) = -2*g + 4. Let h be i(4). Let q = 0 - h. Suppose 0 = -6*r + q*r. Which is smaller: -8/7 or r?
-8/7
Let h be -1 + -1 + 55/11. Suppose -6 + 0 = -2*u - x, 2*u - 6 = 5*x. Does u = h?
True
Let m = -6.9 + 0.9. Let x(d) = -23*d - 113. Let p be x(-5). Which is greater: p or m?
p
Suppose -244 + 620 = -4*z. Let q be 3/2*(-71 - -9). Is z at least q?
False
Let i be (-2)/3 - 84/63. Which is smaller: -8/11 or i?
i
Let i(t) = -2*t**2 + 43*t + 120. Let n be i(24). Is n less than -5/176?
False
Let j = 702.7 + -692. Is 1 > j?
False
Let g be ((0/(-1))/(-1))/(110/110). Is g greater than 6/77?
False
Suppose 0 = 3*o - 1 - 2. Let u be o/(-14)*18 + (-4)/(-14). Which is smaller: u or 2/5?
u
Let g be 1/1 - 1 - -1. Let r = 35/458 - -1199/2290. Which is greater: r or g?
g
Let l(t) = -t**3 + 5*t**2 - 3*t + 7. Let s be l(5). Let v be s/(-5) + -1 - (-6)/(-10). Are v and -0.001 nonequal?
True
Let u = -1604 + 1586. Which is smaller: u or 0.7?
u
Let h(o) = o + 3. Let k be h(-3). Let v be 1 + (k/(-2) - 11). Let z be ((-432)/120)/(-9) - (1 - 47/(-5)). Is v bigger than z?
False
Let 