et p = 1 + -2. Are p and q equal?
False
Let g = 351162 + -3166448/9. Do g and -666 have different values?
True
Let j = 14.9 - 14. Let v = j - 3.3. Let h = 2.4 + v. Which is bigger: h or 8?
8
Let l be (12843/918 + -14)*(-1 + 0). Which is bigger: l or 1?
1
Suppose -2*p - 2300 = -11*k + 6*k, -4*k + 1853 = p. Which is smaller: 0.1 or k?
0.1
Let y(a) = 4*a**2 + 922*a + 7152. Let t be y(-8). Let g(f) = -54*f + 2. Let d be g(-3). Let s = -1474/9 + d. Does t = s?
False
Let i = -6 - -8. Suppose 1261 + 35 = 54*x. Suppose -x = -2*j - 10. Does j = i?
False
Suppose 0 = o - 3, 0*r + 2*r - o = -23. Let s be (15/171)/(r/(-12)). Which is greater: 1 or s?
1
Let n be -42*(2/((-24)/30) - -5). Let k = 103 + n. Which is greater: k or -12/5?
k
Let n = 26.9 - 17. Let l = -11.9 + n. Which is smaller: -12 or l?
-12
Let n = -344.9 - -335. Let f = n + 9.69. Which is greater: -1 or f?
f
Let a be (170/(-20))/((-280)/(-96) - 3). Let j(s) = -19*s + 6. Let b be j(-5). Which is greater: b or a?
a
Let i be 54/126 + (-10247401)/252. Let y = i - -40647. Let s = 208/9 + y. Is 7 less than or equal to s?
False
Let t = 2 + -11. Let r be 16 - (-4 + -16 + 28). Is r < t?
False
Let j be (-19 - 2) + (-15)/(-5). Let w = j + 9. Let x(s) = s**2 + 8*s - 9. Let l be x(w). Is -1/11 <= l?
True
Let h = 210 + -206. Suppose 12*s = -h*r + 17*s + 53, 0 = 3*r - 2*s - 31. Which is smaller: r or 9?
r
Suppose 0 = -2*f - 3*o - 1200, -4*f + 2*o = 384 + 2016. Let r = 4202/7 + f. Is r > 0.028?
True
Let k be -16 + (-13944)/(-564) + -8. Is 1 greater than k?
True
Let s = 415 + -225. Suppose -5*u - 2*n = -s, -7*u - n + 115 = -4*u. Suppose -u = -46*h + 51*h. Are h and -8 non-equal?
False
Suppose -19 = -3*j + 35. Suppose 4*t + 0 - 6 = -3*c, 3*c - 4*t + j = 0. Let l = -199 + 196. Is c < l?
False
Let v = -15267.53 + -423.47. Is v <= 2?
True
Let p be (-6)/(-4)*(4 - 4000/(-24)). Suppose -4*c - 320 = p. Is -144 equal to c?
True
Let o = 15327.155 + -15328. Is o <= -2?
False
Let z(d) = -6*d - 4. Let l be z(-1). Suppose 2*h = -10, h - l*h = -3*x + 8. Suppose -9*i - x = -19. Which is greater: i or 6/5?
i
Let z(v) = 9*v**2 + 21*v - 447. Let t be z(15). Is t greater than or equal to 1893?
True
Suppose 0 = -23*y + 29*y - 210. Let b be (-12 + 11)*-47*1. Suppose 2*m = m - 3*s + b, 4*m - 2*s = 132. Does y = m?
True
Let n(o) = -111*o**3 - 25*o**2 + 3*o + 1. Let y be n(-1). Which is greater: y or 74?
y
Suppose -3*j + 24 = -4*z, -2*z + 32 = 4*j - 4*z. Let a be (92*9/48)/((-3)/(-8)). Suppose -2*k - 2*w = -18 + 6, -4*w = -3*k + a. Which is smaller: j or k?
j
Suppose -94000 - 224407 - 241600 = 189*y. Is -2963 > y?
False
Let o(r) = -8*r + 26. Let y be o(3). Let f be y/((21/(-1085))/((-6)/4)). Which is greater: f or -0.1?
f
Let i be (-2)/1978*3/180*15. Is 1 less than or equal to i?
False
Let h = -3 - -2. Let y = 0.684 + -0.6214. Let t = y - 59.0626. Is t at least as big as h?
False
Suppose 7*n + 7 = -l + 3*n, -2*n = -4*l + 26. Let h be (-17039)/(-114) - (l - 3). Let z = h - 295/2. Is -1 less than or equal to z?
True
Let n be 569439/(-227664) + (-10)/(-4). Is 0 smaller than n?
False
Let v be (-6)/10 - (-2064)/15. Let k = 1505/11 - v. Is k > 13/5?
False
Let j = -103 + -720. Suppose 8*r + 129376 - 34731 = -107*r. Is r > j?
False
Suppose -4*k + 2*y = -7222, y - 3605 = 160*k - 162*k. Is k less than 2?
False
Let p be (-1)/(-621)*(3 - (11 + -9)). Which is smaller: 0 or p?
0
Let a = 0.21545 + -0.01545. Which is bigger: a or -78.1?
a
Let o = 128/7 - 18. Let j = -12.46 - 1.54. Which is greater: o or j?
o
Let y(a) = 6*a**2 + a - 3*a**3 + 4*a**3 + 10*a**2 - 12*a**2. Let v be y(-3). Suppose v = 2*z + 4*z. Which is bigger: -2/5 or z?
z
Let f = 13 + -12.85. Let a = f - 0.25. Let c = -0.0348 + -82.9652. Are c and a equal?
False
Let f(j) = -19*j + 94. Let o(a) = -20*a + 97. Let u(y) = 3*f(y) - 2*o(y). Let w be u(7). Let h = -63 + 31. Which is smaller: w or h?
h
Let i = 13 - 34. Let x = -21 + i. Let j = 40 + x. Is j greater than -1?
False
Let u = -2 + 0. Let n(k) = 3*k - 51. Let y be n(17). Suppose y = l + 5, 5*l + 51 = -2*m - 0*l. Is m less than u?
True
Let a = -39 + 35. Let f(m) = -60*m - 263. Let q be f(a). Which is smaller: q or -9?
q
Let k = 21717 - 21717. Which is smaller: k or 1958?
k
Let v(r) = -6*r**3 + 4*r**2 + 8*r + 4. Let l be v(-1). Let z be l - 158/22 - (-4)/22. Which is smaller: 1/444 or z?
z
Let w = -780.638 + 0.638. Let i = w - -764. Is i at least as big as 3?
False
Let b = 55/81 - -1835/81. Which is bigger: b or 24?
24
Let j(i) = i**2 + 31*i - 18. Let m(l) = 6*l - 26. Let r be m(4). Let q(v) = -8*v + 5. Let w(h) = r*j(h) - 9*q(h). Let y be w(4). Which is bigger: y or 2/163?
2/163
Let z = -20.186 - -19.986. Is -5560 at most as big as z?
True
Let a = 57 + -113. Let z = 55 + a. Is -1/8 smaller than z?
False
Suppose 4*l = 7*l. Let o = 25 + -22. Suppose 16 = o*z + 5*z. Is z less than or equal to l?
False
Let h = 26 + -21. Suppose 0 = b - 2*w + 6, 0*w = -3*b + h*w - 15. Is -2/117 less than b?
True
Let d = 110294188/4591 + -24024. Are d and -1 non-equal?
True
Let i = 747.1 - 747. Which is smaller: i or 95.9?
i
Let a be 20/(-12) - (1 + 65/(-39)). Does -26/95 = a?
False
Suppose 6 = 3*d + 6. Suppose 3*c - 3 = 2*c. Let g be (-3)/c + 122/120. Is g less than d?
False
Let o = 41303 - 41258. Let g = 227 + -47. Suppose -3*k = k - g. Is o less than or equal to k?
True
Suppose -3*y - 4*w - 20 = 204, 4*w = 3*y + 232. Which is bigger: y or -42?
-42
Let w(x) = -3*x - 19 - 4*x + 2*x - x. Let l be w(-3). Let h be -1*(l + -9 + 5). Which is smaller: h or 0?
0
Let r = -1257 - -1255. Is -33.5 greater than r?
False
Let l = -3.93 - -14.33. Let g = l + 9.3. Which is bigger: -0.3 or g?
g
Let d(k) be the second derivative of 0 + 5/2*k**2 + 5/3*k**3 - 13*k. Let z be d(-3). Which is smaller: -26 or z?
-26
Let z be -165845*16/(-572) - 2. Let j = 4637 - z. Which is bigger: 1 or j?
1
Let o = 1097 + -1579. Let m = o - -501. Which is smaller: -2 or m?
-2
Let v = -0.0378 + -0.9622. Let a = 137 + -138.22. Let g = a - -2. Which is bigger: v or g?
g
Suppose -2*g + 6*g - 12 = 0. Let t be (3/g)/(-2 - -1). Let b = 6139519/37 - 165933. Is b > t?
True
Let l = -40412 + 29021. Is l greater than or equal to -11393?
True
Suppose 4*k = 3*k - 3. Let g = k - -8. Suppose -4 = -2*a + 5*i + 3, 3*i = g*a - 8. Which is smaller: a or 2/19?
2/19
Suppose 0 = -5*j - 25, 3*b + 6*j - 12*j = -714. Does 2 = b?
False
Let o = -180.1 + 175. Are o and -8 non-equal?
True
Let f = 73.09 - 1.09. Let o = f - 100. Which is greater: o or 0.3?
0.3
Suppose -3*u = -5 - 10. Suppose p = 5, u*p + 95 = -5*d - 0*p. Let l be (-32)/(-18) - (-26 - d). Which is smaller: l or 3?
3
Let j = -0.12439 + 0.12439. Which is smaller: j or -14714?
-14714
Suppose m = 5*h + 309, h + 0*h - 4*m + 58 = 0. Let y = h + 11. Is y smaller than -53?
False
Let k(u) = u**2 - 4*u - 2. Let s be k(5). Suppose s*a = a - 72. Suppose 7*g + 310 - 65 = 0. Does a = g?
False
Let a = -458 + 581. Let u be -1*a/285 - (-1)/(-5). Are u and 1 equal?
False
Let f be 8/(-12)*-291*108/32. Is 655 less than or equal to f?
False
Let h be (-290)/8 - 28/(-112). Let q be -3 + ((-8)/h - (-196)/9). Which is bigger: q or 75/4?
q
Suppose -5*p = -5*r + 8485, 5*r = -7*p + 4*p - 5059. Which is smaller: -1692 or p?
p
Let k = -485/2 + 243. Let g = -638 + 638.11. Is k less than g?
False
Suppose 2*h = -4*n - 8, -5*h - 16 = -h + 5*n. Suppose 0 = -4*g + 6*g + 4. Let w be 2*(-3 - g) + 105/(-90). Which is greater: h or w?
w
Suppose -167 = 32*i + 25. Which is bigger: -193 or i?
i
Let y(k) = 145*k - 5068. Let w be y(25). Is -1444 less than w?
True
Let h = 10877 - 10878. Is 12/1337 < h?
False
Let b be (28/12)/(42/18) - -11. Let n(o) = -o**3 + 5*o**2 - 3*o + 1. Let k be n(3). Which is smaller: b or k?
k
Suppose 2*m = -0*s + 3*s + 108, m - 3*s - 48 = 0. Suppose 62 = 19*a - 14. Suppose -98 - 12 = -2*j + 4*b, 0 = 2*b - a. Are j and m non-equal?
True
Let c(x) = -2 + 3 + 57*x**2 - 2 - 8. Let n be c(3). Let y be (-1)/(2/(-4)) + n/36. Is y >= 50/3?
False
Let g be ((-510)/(-68))/((-2)/44). Let t(x) = -x. Let k be t(-1). Let l be 663/g - k*-4. Which is bigger: 0 or l?
0
Let b = -1016 + 1014. Let l be 46300/5780 - (6 - b). Are l and -1 equal?
False
Let s = 939546609 + -161602546677/172. Let t = 3081 + s. Is t at most -1?
False
Let j = -1051388/8961 + -12/2987. Which is smaller: -117 or j?
j
Let b 