= -41 - -13. Is l > p?
True
Suppose -2*p = 5*x + 3301, 5*x = -4*p + 731 - 7358. Which is smaller: p or -1659?
p
Suppose 50 = 17*s + 254. Let r = -41 - -44. Let c(m) = m**2 - 5*m - 3. Let j be c(r). Which is smaller: j or s?
s
Let r(h) = -2*h + 22. Suppose -116 = 19*n - 15*n. Let m = n + 40. Let a be r(m). Are -1 and a non-equal?
True
Let q be ((-1)/(-6) - (-33)/(-99))*-6. Is q smaller than -10/2659?
False
Let q = 0.01575 + -0.31575. Which is smaller: q or 113/3?
q
Let t = 9807 + -9743. Is 1 bigger than t?
False
Suppose -2*k + 5 = u, 0 = -8*u + 5*u - 3*k + 9. Suppose -2*d + 3*d = -174. Do d and u have the same value?
False
Let i = -12 - -20. Suppose -b + 2*a = -12, -25*b + 3*a = -30*b + 21. Which is greater: b or i?
i
Let s = -153.1 - 4.9. Let a = 156 + s. Is -64 > a?
False
Suppose -1065 = -w - 14*w. Suppose -w + 182 = -3*a. Is -2 less than or equal to a?
False
Let n be -1*10 + (-134343)/(-177). Which is bigger: n or 748?
n
Let o = 81 + -116. Let m = -73/2 - o. Let d = m - -2. Is d at most as big as 0.06?
False
Let r(q) = -q**3 + 6*q**2 + 7. Let g be r(8). Let v be ((-144)/(-4))/(21/(-70)). Which is smaller: v or g?
g
Suppose 2*h - 104 = -96. Suppose -25 = -h*m - m. Suppose 0 = -q + 5*f - m + 1, 0 = -q - 4*f + 5. Is -1 at most q?
True
Let s = 100 + -99.8. Let g = 3270.068 - 3277. Let d = g - 0.068. Is s greater than or equal to d?
True
Let u = 1933 + -1934. Let c be (7 + -5 + 6)/(-41). Which is greater: u or c?
c
Suppose -119*k = 674 + 278. Let n(o) = 2*o**3 + o**2 - 3*o - 2. Let f be n(-2). Is f >= k?
True
Let v(o) = 52*o + 1453. Let u be v(-28). Which is greater: 1393 or u?
1393
Suppose 0 = m + 3*t - 2, -7*m + t = -5*m - 39. Let q = 796/7 - 2003/21. Is q < m?
False
Let t(g) = -g - 2. Let d be (4/(-5))/((-36)/450). Let h be t(d). Suppose 117 = -47*z + 38*z. Which is smaller: z or h?
z
Let p(n) be the third derivative of n**4/4 + n**3/6 - 3*n**2. Let v be p(0). Let b be (40/(-70))/(2/(-7)). Is b greater than or equal to v?
True
Suppose 0 = 5*o + 2*w + 335, -70 = o - 0*o + w. Let k be 22/110 + (-167)/o + -1. Which is smaller: k or 3?
k
Suppose 4*c + 2*c + 9*c + 8*c = 0. Which is bigger: -1.922 or c?
c
Let m(b) = 175*b - 700. Let o be m(5). Which is greater: 19 or o?
o
Let r = -0.03539 - -1253.03539. Which is smaller: -0.3 or r?
-0.3
Let v(m) = 269*m**2 - m + 1. Let f be v(-2). Let r = 239/6969 - -413541253/383295. Let c = r - f. Which is greater: c or -1?
c
Let z(i) = -i**3 + 13*i**2 - 47*i + 153. Let c be z(9). Which is bigger: 12 or c?
c
Let m(a) = -47*a**2 + 59*a + 168. Let h be m(-3). Which is bigger: -435 or h?
h
Suppose 12*t + 72 = 8*t. Let u = -20 - t. Let l = 0.128 + 0.022. Which is smaller: l or u?
u
Let n be 11 - -13 - (1 - -5). Let r(f) = 6*f**2 + 2*f + 1. Let t be r(2). Let j = t - n. Is 12 != j?
True
Let r be 10/(-6) - (-464)/12. Suppose 3*v + r = 2*y, 3 = -v - 2. Let l be y/(-9) + 4/(-16)*-4. Does l = -5?
False
Let x(i) = 49*i**2 + 5*i + 4. Let v be x(-1). Let q be 1/(-1 - v/(-44)). Which is greater: q or 5?
q
Let i be -3 - 9/(-1 + 2). Let a be (-7)/i*(-14)/(-49). Let w = -145.25 + 143.25. Is a > w?
True
Let r(x) = -x**2 + 60*x - 1880. Let v be r(0). Which is smaller: v or -1879?
v
Let f = 427 - 424. Suppose f*q + 28 = -q - 4*r, 2*r - 2 = 2*q. Which is smaller: q or 8?
q
Let j(x) = -x**3 + 12*x**2 + x - 14. Let l be j(12). Let r be 185/165 - l/6. Let k = r - 70/33. Which is smaller: k or -1?
-1
Let a = -1309/57 - -449/19. Is a not equal to 1510?
True
Let n(i) = -28*i + 275. Let l be n(16). Which is greater: l or -179?
l
Let c = 2903 - 2903.07. Is c at least as big as -1/155?
False
Let j = -123 + 273. Let v be j/(-35) + 4 - 57/21. Is -0.026 > v?
True
Let i = 0.133 - 0.273. Let f = i - 0.86. Is 110 less than or equal to f?
False
Let u be (0 - 0) + (-2)/(-5). Let j = 176819 + -530462/3. Is j less than u?
True
Suppose 5*x + 4*v = -200, 3*x + 142 = -4*v + 6*v. Is x less than -1248/29?
True
Suppose -7*s = -4*s - 102. Let f = -42 + s. Let p be -1*(8 + -4 + 3). Is f not equal to p?
True
Suppose -82*t - 14730 - 276 = 0. Let i be (46/23)/(2/(-184)). Which is smaller: t or i?
i
Let k(m) = -m**3 + 57*m + 38. Let w be k(-6). Which is greater: w or 43?
43
Let c be (((-24)/(-16))/(42/7700))/((-1)/13). Which is greater: -3573 or c?
-3573
Let k be 108288/14 + 4/28. Suppose -k = -43*h - 29020. Is -495 != h?
False
Let i be 101/(-14) + 1 + -23 + 26. Let g be (3/2)/(1/(-2)). Which is greater: i or g?
g
Let u = -68 + 77. Let h be ((-12)/27)/((-3)/u). Which is smaller: h or -24?
-24
Suppose 287 = -4*c + t, -t - 178 = 5*c + 192. Suppose 0 = 5*k + 292 + 68. Which is bigger: k or c?
k
Suppose 47*i - 46*i = 3. Let z be -12 + (-28728)/(-1918) - i*1. Which is bigger: z or 0?
0
Suppose 131*q = 130*q + 5*l + 3, 12*q + 3*l + 342 = 0. Is 2.4 bigger than q?
True
Let y be 1768/85*10/(-2). Let a = -1 - y. Is a less than 417/4?
True
Let y(i) = 4*i + 85. Suppose -5*r - 5*s = 70, 4*s - 15 = s. Let u be y(r). Which is bigger: u or 8?
u
Let k be ((-36)/42*131)/((9/21)/3). Which is bigger: k or -3145/4?
k
Let s = -0.024 - -38.024. Let u = s - 29. Let n = 1.19 + -1.79. Is n at least as big as u?
False
Let r = -114 + 117. Suppose -r*q - 2*x = -5*q, q + 5*x = 0. Suppose -t - 10 = -2*p + 1, q = -2*t + 2. Which is smaller: p or -1?
-1
Let s be (2/(-3))/((-28)/(-114)). Let y(g) = -g**2 - 6*g + 4. Let n be y(-5). Let o be n/15 - 13/5. Which is smaller: o or s?
s
Let b = -326283411/126009568 - -143/212854. Let a = b - -90/37. Let j(r) = r**2 - 15*r - 35. Let k be j(17). Which is greater: a or k?
a
Let b = 199 + -122. Suppose -83*c + 366 = -b*c. Is c not equal to 2?
True
Let b be 6*(11*1 + 11/((-99)/93)). Suppose 5*k - 149 = -19. Suppose 2*x + 5*i + 28 = 5, 5*i + k = x. Is b != x?
True
Suppose 1069*s = 1058*s - 176. Is -133/8 bigger than s?
False
Suppose -28*l = 126*l - 2478683 - 257435. Which is bigger: 17768 or l?
17768
Let x(u) = 2*u - 861. Let f be x(-79). Is f smaller than -1016?
True
Let i = -42200627/734 + 57494. Is 1 <= i?
False
Let x be (-147)/6*210/(-147). Let u be -6 + x/7 + 2. Which is bigger: u or 2/83?
u
Suppose -52*p + 20384 = -59*p. Let m be (-6)/(-5)*(0 + -15). Let d be p/(-12051) + 4/m. Which is greater: -1 or d?
d
Let p(g) = -1275*g + 599. Let m be p(2). Which is bigger: -1948 or m?
-1948
Suppose -572 = 8*r - 580. Let s = -298662/55 + 5430. Which is smaller: s or r?
s
Let a = 6/449 - -1281/4939. Is -0.3 smaller than a?
True
Let y be (-30)/25 - (965526/(-27720))/29. Do y and 0 have different values?
True
Let s(d) = 95*d - 15010. Let h be s(158). Let f = 1883 + -297513/158. Which is smaller: f or h?
h
Let r(x) = -213*x**3 + 4*x**2 + x. Let o be r(-1). Let u = o - 155. Which is greater: u or 60?
u
Let u = -10892 + 10877. Which is greater: u or -2/285?
-2/285
Let g = -67 - 203. Let z = 193 + g. Let p = -80.1 - z. Is 1 smaller than p?
False
Let d = 441 - 131. Let t = d + -310.2. Let c = 0.1 + 0.1. Which is smaller: t or c?
t
Let y be 4/1165*(-5)/2. Let g = -2220 + 2220. Which is bigger: g or y?
g
Let g = -370.8269 + -0.1731. Let i(f) = f - 3. Let j be i(2). Which is smaller: j or g?
g
Suppose 2*d - d + 3*s = -3, -3*s = -5*d - 15. Let y be -1 + 4 - (4 + d + 82). Let c be (6/(-10) + 0)*y/(-300). Is 1 less than or equal to c?
False
Let a = 16 + -13. Let b(h) = 22*h**2 + h**a + 5 - 4*h**2 - 4. Let s be b(-18). Do s and -1 have different values?
True
Let i = -8.8 + -6.1. Let w = -13.9 - i. Are 1/3 and w equal?
False
Let p = 16012.4 + -16012. Let s be 6/(-27)*2/6. Which is smaller: s or p?
s
Let y be (-4)/6 + (-452)/(-3). Suppose -17*j + y = -12*j. Which is bigger: j or -1?
j
Let b(r) = 2*r**3 - 2*r**2 - 4*r - 2. Let x be 1*-4*(-6)/(-24). Let m be b(x). Which is smaller: m or -0.06?
m
Suppose 2*x = -4*h + 6, -2*h + 10 = -14*x - 38. Do -26/9 and x have different values?
True
Suppose 5 = 3*k + 4*o, -2*k + o - 2 = 2. Let w = 145/11 + -13. Let l = w - 37/143. Is l less than k?
False
Suppose -3*w + 29 = -4*a, -8*w + 3*w + 11 = -2*a. Are 9/1651 and w unequal?
True
Let v(s) = s**3 - 11*s**2 + 15*s - 5. Let n be v(9). Let l be -13*((-33)/(-22))/((-42)/n). Which is greater: 2/5 or l?
2/5
Suppose -644*j + 680*j = -8748. Is -244 <= j?
True
Let u be (76/(-16) + 4)/3. Let q = -213.57 - -70.57. Is u not equal to q?
True
Suppose r = -3*n + 184, -79*r = 2*n - 81*r - 120. Let j be (-9)