 = u, m = -p - 19. Is p > -16?
False
Let r(h) = 7*h - 22. Suppose 0 = -4*a + 4*f, 3*f + 9 = -0*f. Let s be a/(-3)*16/4. Let t be r(s). Which is smaller: t or 29/5?
29/5
Let u(l) = 2*l**3 - 6*l**2 - 24*l - 226. Let n be u(-11). Is n at most as big as -3347?
True
Let f be (-76 - -10)*(4 - 1 - 2). Let q be ((-705)/6)/(1/(-2)). Suppose 7*x + q = -227. Is x greater than or equal to f?
True
Let d = -75 + 138. Suppose 307*w = 17550 - 51. Which is smaller: w or d?
w
Let g be (8/2)/(36/1611). Let k = 185 - g. Which is smaller: k or 1?
1
Let d = 56 + -40. Suppose 0*l + 8 = -4*p - 2*l, 2*p + 4*l + d = 0. Which is smaller: p or -3/13?
-3/13
Suppose 0 = 68*x - 14353 + 3881. Is 611/4 less than or equal to x?
True
Let i be (-9)/6*(2 - 20/15). Let d(n) = -30*n**3 + 2*n**2 - 19*n - 20. Let v be d(i). Are 29 and v nonequal?
True
Let v be (-1 + 118)/(-3) + -1. Let d be v/(-7) + 6/21. Suppose -4*z + 10 = -2*z + 2*n, -3*z = -2*n - 30. Which is bigger: z or d?
z
Let n = -0.8052 + -0.0149. Let r = -0.1199 + n. Let x = 2 + -1.9. Which is smaller: x or r?
r
Let m = 1136363/35 + -32463. Which is smaller: m or 4?
4
Let q = -52 + 51.82. Let y be (-66)/((12/(-20))/(6/(-15))). Let l = 43 + y. Which is bigger: q or l?
q
Let r = -19195/6 - -3202. Suppose 5*y + 6 = 2*y. Let p be (12/(-9))/(y/3). Which is smaller: r or p?
p
Let o = -1860 - -1952. Let y = 196 + -105. Which is smaller: o or y?
y
Let y = 170 - 171. Let m be 5/(-485)*3/((-9)/(-12)). Which is smaller: m or y?
y
Let k be 8 - 24/(-14)*(-154812)/29754. Is k less than or equal to -2?
False
Suppose 2*d + f + 0*f = 6, 2*d - f = 2. Let z be (36/(-18))/(d/39). Let v be 2/(36/z + 1). Are v and 26 equal?
True
Let r(x) = -x**2 - 10*x - 5. Let o be r(-6). Let n(p) = -p + 17 - o + 10. Let y be n(13). Which is smaller: y or -4?
y
Let j be (-3)/6*((-45)/(-5) - 5). Let o be 966/12208 + j/16. Is o greater than or equal to -1?
True
Let f = -40 - -103. Let l be (-72)/f*2/12. Suppose -2*j + d = 4, -3*j = d - 4 - 0. Does l = j?
False
Suppose -82*u - 90 = -79*u. Let g = -122 + u. Which is smaller: -151 or g?
g
Suppose 10*n = 42 + 88. Suppose -3*x + n = -8. Let c = -2 - -11. Which is smaller: x or c?
x
Let g = 22623 + -610616/27. Which is smaller: g or 9?
g
Let k = 11317 - 11310. Which is greater: k or 294?
294
Let p = 261/14 + -55113/2954. Suppose -10*g - 22*g + 27*g = -34*g - 38*g. Which is greater: p or g?
g
Let a = -8237 - -7251. Is 0.4 at least a?
True
Let z = 29631 + -29573.25. Is z equal to -0.2?
False
Let l be (-81784)/6838*-4*8/(-320). Let b = 77/65 + l. Which is bigger: 1 or b?
1
Let g = 39862.01 - 39862. Is 3598 at least as big as g?
True
Let u be (-2936217)/(-40161)*3*15/(-25). Let t = 1/13387 + u. Let r = t - -1323/10. Is 1 smaller than r?
False
Let s = 136 + -19. Let w = s - 117.2. Is w at most -6.7?
False
Let k(n) = 2704*n - 2526. Let z be k(4). Is z less than or equal to 8289?
False
Let q = 14493 + -14590. Which is smaller: q or 5/14?
q
Let z be ((-690)/(-40))/(2/120). Suppose -7*s - z = 2*s. Is -114 >= s?
True
Let i(z) = z**3 + 3*z**2 + z - 1. Let k be i(-1). Suppose -3*f + 6 + 3 = k. Suppose -155 = f*d - 4*n, -3*n + 16 = 1. Which is greater: -46 or d?
d
Let t = 125/8 - 3827/248. Let w(i) = -i**2 - 3*i + 41. Let o be w(-15). Let y = o + 140. Which is smaller: t or y?
t
Suppose 5*q = -29*c + 31*c - 350, 4*c = q + 70. Is -496/7 at least as big as q?
False
Let u = -19.77491 + -0.22509. Is u greater than or equal to 182?
False
Let c(g) = -4*g**2 - 17*g + 2. Let f(u) = -u**3 - 27*u**2 - 28*u - 60. Let h be f(-26). Let i be c(h). Let q = i - -125. Is 1 < q?
True
Let v = -1470 + 1468. Are v and -5/43 nonequal?
True
Suppose 21*l = -56 + 98. Let c = -2069801/8 - -258036. Let k = 691 + c. Which is smaller: k or l?
k
Let p(o) = -2*o**3 + 7*o**2 - 35*o + 78. Let g be p(3). Is g not equal to -545/29?
True
Suppose t + 4 - 7 = 0. Let u be (78/65)/((-236)/(-5)). Let f = u + 2581/590. Which is bigger: t or f?
f
Let c = -5067.115 + 5013. Let t = c - -0.115. Let z = 30 + t. Which is smaller: -1/3 or z?
z
Let k = 2.43 + 0.57. Let c = -0.28 + 2.28. Let b = -1.8 + c. Is k != b?
True
Let d(i) = 49*i**2 + 2*i. Let g be d(2). Suppose -4*b = b + g. Let a = 107468 - 107509. Which is bigger: b or a?
b
Suppose 4*y + 19 + 28 = 5*b, 3*b - 12 = -3*y. Let s be b + 3 + -8 + (228 - 2). Is s at least 229?
False
Let j = -30.79 - -31. Let l = 49 + -49.11. Let x = j + l. Which is bigger: x or -31?
x
Let o = -1380 - -1376. Let l = -0.46 - -0.464. Are o and l equal?
False
Let v = 602.3 - 600.3. Is v at least as big as 551?
False
Let c be (1528089/(-11544))/1 - 3/(-1). Let n = c + 1035/8. Which is greater: -1 or n?
n
Let v = 26560/3 + -126167/15. Which is greater: v or 442?
v
Let w = -3.298 - -3.098. Do w and -678 have different values?
True
Let t = -0.1906 + 0.2206. Is 168 <= t?
False
Let x = 4/87 + -205/6351. Let v(t) = t**2 - t. Let u be v(-1). Suppose -3*q = -i + u*i + 14, -3*q = 15. Which is greater: x or i?
i
Suppose -868520 = 869*v - 829*v. Is v at least as big as -21713?
True
Let c = 2988 - 2877. Is -0.1 at least c?
False
Let s be (192/120)/((-2)/(-5)). Suppose 0 = 2*x - s*l - 2, -3*x = -x + l - 2. Which is smaller: -40 or x?
-40
Let r = 185/68 + 23/204. Suppose -5*g + 4*l = -10 - 0, 0 = -4*g - 5*l + 8. Does r = g?
False
Let v = 11693/6 - 1962. Let z be -1*14/210*6/1. Do v and z have different values?
True
Suppose -5*u = -25, 4*u - 6*u + 6 = -b. Let y be 15/(-3 - (2 - b)). Do y and -9 have different values?
True
Suppose 5*p - 3*f = 2*p - 6, -3*f + 6 = 3*p. Let k be (-15)/33*(15/9)/5. Is k at most as big as p?
True
Let o be (-6)/(-10) - (-78)/(-30). Which is smaller: o or -2/35?
o
Let c = -1.87 + 8.07. Let o = c - 12.2. Is 0 at most as big as o?
False
Let i = -0.18 - -0.1244. Let j = -88.7444 + i. Let q = j + 89. Is q greater than or equal to 2/3?
False
Let l(h) = h**2 - 6*h - 10. Let j be l(8). Let f(g) = g**3 - 5*g**2 + 2*g - 18. Let u be f(j). Let o = -17 + u. Is 0 less than or equal to o?
True
Let l = -0.38 - -33.38. Let f = 33.4 - l. Let p = 0.3 - f. Is p less than or equal to 1/11?
True
Let f = -0.77 - 360.23. Let x = -359 - f. Which is greater: -0.76 or x?
x
Suppose -5*u - 2*n = -6*u - 44, 2*n + 220 = -5*u. Let j = u + -42. Let l be 16/104 - j/(-52). Is l less than or equal to -3?
False
Let x be (-16 - 102452/(-168)) + (14/12 - 1). Is x at most as big as 601?
True
Let p = -2/40517 - -37923922/202585. Is 186 at most p?
True
Let a be 3 + -2 - (-13)/(572/(-1184)). Is -26 <= a?
True
Let n = 100 + -253. Let s = 1523/10 + n. Let p = s - -29/70. Is 1 < p?
False
Let q be (-2)/8 + 13/4. Let h(f) = 7*f - 21. Let u be h(q). Is u < -2/153?
False
Let z(r) = r**2 - 21*r - 26. Let d be (-5)/((-100)/430) - 2/(-4). Let a be z(d). Which is greater: -2/69 or a?
-2/69
Let y be ((-2 - -2) + 0)*(3 - 2). Which is bigger: 11.6 or y?
11.6
Let t = 53891 - 53463.61. Let l = 427 - t. Which is smaller: 1 or l?
l
Let h(f) = -f**3 + 33*f**2 - 112*f - 14. Let y be h(29). Which is smaller: y or 142?
y
Let p(t) = 2*t**2 + 15*t - 14. Let z be p(-9). Suppose -14*f - 36 = -z*f. Let o(s) = s**3 + 13*s**2 + 14*s - 12. Let h be o(-12). Is h at least f?
True
Let f(a) = a**3 + a**2 - 11*a - 12. Let n be f(-3). Suppose n = 10*u - 27. Which is smaller: u or 1?
1
Let p = 1386 - 92860/67. Suppose 32 = 4*l - 0*l. Suppose l*r = -r + 2*r. Is r equal to p?
False
Let j(x) = -4*x - 4. Let q be j(-3). Suppose -t = -4, s - t - 2*t + q = 0. Suppose s*b - 15 = -39. Is -5 at least b?
True
Let v = 25 - 32. Let o(p) = -30*p - 46. Let f be o(v). Let s be (-2)/4*8/f*-2. Is s not equal to 1?
True
Suppose 0 = 2*f + 3*f - 3*l - 158, 3*f - 3*l = 96. Suppose f - 37 = -2*u. Suppose 2 = -5*q - k, -2*k + 3 = -u. Which is smaller: q or 7/17?
q
Let l = -40 - -182. Let o = l + -141. Is -1/9 at least as big as o?
False
Let y be ((-3)/(-2))/(1/2)*-13. Let l = 39 + y. Let b be -2 - l - (-3)/3. Which is smaller: -1/44 or b?
b
Suppose -2*l + 5 + 21 = 0. Let y = -257 - -258.47. Let h = y + -2.47. Are l and h equal?
False
Suppose -j - 13*j + 434 = 0. Suppose 2*p - 3*m - 120 = 0, -4*p = -2*m + j - 263. Which is greater: 55 or p?
p
Suppose 0 = -20*d + 26 + 54. Suppose -3*b - 2*x = -16, 7 - 31 = -5*b - d*x. Which is greater: -7 or b?
b
Let x = 78.0098 - -0.3202. Let q = x - 0.33. Let f = q + -76. Which is smaller: f or 0?
0