 u(-5). Is j != o?
True
Suppose 5*q + 41 = 3*c + c, 4*c - 31 = 3*q. Let j = 70039/27511 + -1/2501. Which is smaller: c or j?
j
Let h be 1080/(-16335) - 1*(0 + 0). Which is greater: h or -1?
h
Suppose -9*t + 15*t = 78. Let z(q) = -4*q**2 + 25*q - 5. Let g be z(6). Let h be 69/4 - g/4 - 1. Which is bigger: t or h?
h
Let n be ((-49)/((-41160)/2752))/(2/6). Is 11 < n?
False
Suppose -4*m = 20, -170*v = -173*v + 3*m + 12. Which is smaller: 9104 or v?
v
Let o = -44 - -46. Suppose -o*t = 23 - 3. Which is smaller: -100/9 or t?
-100/9
Let p(h) = 9*h - 29. Let o(q) = -6*q + 19. Let k(b) = -8*o(b) - 5*p(b). Let n be k(-9). Let v be 0 - 0 - n/(-1). Is -33 at least v?
True
Let q be (-14)/(-3)*(-8 + 2). Let r be ((-35)/q)/(14/8). Suppose 10*n + 21 = 41. Is n less than or equal to r?
False
Let p(n) = 2*n - 3. Suppose 5*b + 22 = 4*r, 5*r - 11 - 9 = 5*b. Let i be b/4*(3/9 - 3). Let u be p(i). Is 32/7 at most u?
True
Let m = 148/5 + -1627/55. Suppose 19*n - 21 + 40 = 0. Is n at least as big as m?
False
Let m = -2/55437 - 29287/1718547. Which is smaller: m or -4?
-4
Let p(s) = -11*s - 86. Let i be p(-8). Let j = -490 + 490.45. Which is bigger: i or j?
i
Let q(j) = -j**3 + 14*j**2 + 28*j + 19. Let w be q(15). Suppose 22*k = -w - 6. Let h(b) = -b**2 - 5*b + 7. Let f be h(-6). Are f and k equal?
False
Let h(g) = 3*g**3 - g**2 + 40*g - 23. Let p be h(-7). Is p less than or equal to -1380?
True
Suppose 2*p = -2*p + 2*m + 2930, 0 = 4*p - 3*m - 2927. Suppose -4*n - 2*h = -598, -h = -5*n + h + p. Is 146 <= n?
True
Let x = 0.44 + -0.34. Let o = 3.01 - 0.01. Let q = -2 + o. Is x at most as big as q?
True
Suppose 5*g - 24 - 1 = 0, 3*g - 647 = 2*d. Let b = d + 316. Is b smaller than -0.074?
False
Suppose 4*c - 9*c = -5*r, 0 = -2*c - 4. Let q be (30/240)/(r/4). Which is smaller: q or 1.64?
q
Suppose -389*u + 331 + 20 = -38. Is u at most 2/36135?
False
Suppose 2*a - 2*i + 60 = -4*i, -1 = -i. Let n be 9/(-7) - (-15477)/(-539). Is a > n?
False
Let s be (-6)/367 + 8 + -8. Is -1 less than or equal to s?
True
Let b = -226.146 + 226. Let n = -0.346 - b. Is n at most 9?
True
Let d = -297/4 + 13951/188. Let s be (-202)/((-75)/10 + 8). Let f = s - -404. Is f < d?
False
Let k be (((-21)/(-7))/(-3))/(2/12). Let q = 6 + k. Suppose 4*c + 28 = -q. Which is greater: c or -3/5?
-3/5
Let x = -103 + 102.9. Let c = -4.98 + 5. Let u = x + c. Which is bigger: -1/5 or u?
u
Let h(v) = 5*v**2. Let t be h(1). Let w be (94/235)/((-1)/t). Which is smaller: -10/13 or w?
w
Let q be (60/(-8) + -2 + 9)/(1/14). Let m = 69229/213 - 325. Let t = m - 5767/852. Is q less than t?
True
Let v = -3273 + 3435. Which is bigger: 168 or v?
168
Let f = -2103 + 2113. Suppose 4*d - 5*c + 0*c + 6 = 0, -d - 3*c + 7 = 0. Let x be (10/(-25) - (-14)/f)*d. Which is smaller: x or 1/39?
1/39
Suppose -14*l - 585 = -11*l. Let p = l - -196. Is -1/62 >= p?
False
Suppose 3*c = 3*w + 9, 0 = -0*w - 2*w - 4*c + 12. Suppose -p + 4*j - 8 = w, j = -0*p + 4*p + 2. Which is smaller: p or -1/165?
-1/165
Let j = -1/426 - -3415/2982. Let i = 533.0451 + -0.0451. Let n = -534 + i. Which is smaller: n or j?
n
Let i = -138 - -165. Let d = 26.8 - i. Is -23 at least d?
False
Let v be 5 + -7 + (-705)/7. Let g = v + 103. Let i = 52/133 - g. Which is greater: i or 1?
1
Suppose 25*s - 1008356 = -133*s. Do 6383 and s have the same value?
False
Suppose -6*z + 25 = -z. Suppose 2*y + 3*y = -4*h - 22, 0 = -z*h + 3*y - 9. Let g = 28085 - 28087. Which is bigger: h or g?
g
Let s be 24/(-9)*3/6 + (-125932)/(-48). Is 2623 at least s?
True
Let g = 14.1 - -43.9. Let c = -45 - g. Let l = -103.1 - c. Which is bigger: -0.87 or l?
l
Suppose o - 71 = -68. Suppose -2*n - 800 = -5*t + o*n, 4*t - n = 646. Which is greater: 0 or t?
t
Suppose 11 - 3 = -y. Let k be (-590)/(-8)*y/12. Let r = -48 - k. Which is bigger: 1 or r?
r
Let m be 21/((-273)/6032)*-3. Which is smaller: 0 or m?
0
Let r = 823296/7 + -117413. Let m = -198 + r. Which is greater: m or 1/4?
m
Let x be 6816/36*(68/72 + -1). Let o = x - -11608/1107. Which is greater: -1 or o?
o
Let k = -77.91 - -74.91. Which is bigger: -230 or k?
k
Let j(z) = 2*z**2 + 10*z - 4. Let u be j(-8). Let x = u + -30. Let f = -407 + 421. Do x and f have different values?
False
Let f = 201048803/2720 + -73915. Which is greater: 0 or f?
f
Let t = -131987/731023443 + 2/119781. Is t at least -1?
True
Suppose -11 = -d - 4*c - 0*c, 0 = -3*d - 3*c + 6. Let g be (d - -4) + (-3 - 3 - -4). Is -6/23 greater than g?
False
Let n(q) = -q**2 + 10*q + 1043. Let v be n(38). Which is smaller: -63 or v?
-63
Suppose -14*w - 4*w = -3*w - 240. Suppose -3*t + 41 = 5. Which is smaller: w or t?
t
Let r(k) = -14*k + 111. Let u be (2 + (-28)/10)*(-3 - 7). Let v be r(u). Which is smaller: v or 2?
v
Suppose -c + z + 28 = 4*z, -2*z - 95 = -3*c. Suppose -30*k + 289 = -47*k. Let o(x) = -x**3 - 18*x**2 - 19*x - 3. Let v be o(k). Is c bigger than v?
False
Suppose -70*p - 77619 = 60*p - 261179. Do p and 1412 have different values?
False
Let v = 45 - 41. Let l = 16 - 20. Let q be l + v + -3 - -17. Is 14 smaller than q?
False
Suppose 0 = -45*x - 468 + 423. Which is bigger: 40/109 or x?
40/109
Let n be -6 - -4 - (43 + -1). Let g = n - -35. Suppose -28*f = -31*f - 30. Which is smaller: f or g?
f
Let h = 3013/54166 + 1/1022. Let c = h - -20/583. Is 0.9 equal to c?
False
Let o = -183 + 159. Let s be (o/10 - -2)/(8/(-40)). Which is bigger: 5 or s?
5
Let d(o) = -o**2 + 7*o + 13. Let t be d(9). Let i be (-21)/35 - (-87)/t. Is i greater than or equal to -17?
False
Let d = 1000 - 1000. Let i = -17326 - -64755/4. Let p = i - -1125. Do p and d have the same value?
False
Let x(f) = -23*f + 92. Let i be x(4). Suppose -7*b + 10*b + 18 = i. Let n be (-1)/(3*2/36). Are n and b equal?
True
Suppose -2*g + 23 = 81. Let r = g - -29. Suppose -32*z + 35*z - 27 = r. Which is smaller: 7 or z?
7
Let i(x) = x. Let a be i(3). Suppose 2*u + u - a = 0. Let h = -12.41 - -8.41. Are u and h equal?
False
Let u = -6351.9 - -6352. Which is smaller: u or 3134?
u
Let l(h) = 6 + 21*h + 3*h**2 + h**2 + 9 - 14. Let r be l(-5). Which is greater: r or -3?
-3
Let p be 6/21 + 466/(-14). Let z(o) = -4*o**3 + 23*o**2 - 50*o + 5. Let r be z(2). Which is smaller: r or p?
r
Let h(o) = -o**3 - 26*o**2 - 26*o - 20. Let d be h(-25). Suppose -q = -d*w - 5, -w - 2*q + 7*q = 25. Is w at least -8/19?
True
Let o(m) = -14*m + 547. Let v be o(39). Which is smaller: v or -1/251?
-1/251
Let j be 2/(-3)*8/18. Suppose 0 = -3*m - 132*u + 133*u - 5, 1 = m + u. Which is smaller: m or j?
m
Let d = 7206 + 7093. Is d at least as big as 14298?
True
Let p be (-18)/(-8)*36/(-27). Let u(i) = -3*i**2 - 24*i - 53. Let s be u(p). Which is smaller: -4 or s?
s
Let l be (-265)/(-2915) - 116330/1279872. Is -1 > l?
False
Let a = -159.241 + 199.32. Let v = a + -0.079. Is v not equal to 1?
True
Let x = 1/588 + -184/147. Let j = -9229/26 - -355. Which is greater: x or j?
j
Let q be ((-167)/4509)/(1/12). Is -1/161 less than q?
False
Let r = 9939 - 9940. Let z be (-39)/(-14)*1/(-24). Let l = z + -951/1456. Which is bigger: r or l?
l
Suppose 2*d = 431 + 739. Suppose -23*h + d = -18*h. Suppose -2*t - t - 12 = 0, -h = -5*u + 3*t. Is u at least as big as 21?
True
Let a = -10443 - -10444. Is a greater than or equal to -1572?
True
Let s(o) = -24*o + 2. Let w be s(-2). Suppose b - 14 = -w. Let n(t) = 2*t**3 + 2*t**2 - t - 2. Let a be n(-3). Is a at most b?
False
Let w = -38956 + 38942. Let b(x) = -x**2 - 2*x + 2. Let j be b(-5). Is j greater than w?
True
Let m = 0.01922 + 0.38078. Which is bigger: -801 or m?
m
Let p = -19/9 + 247/36. Let t be -2*3*(4 - 3). Let c(g) = g**3 + 4*g**2 - 12*g + 5. Let s be c(t). Is s not equal to p?
True
Suppose y = 2*q - 75, y + 66 = 2*q + 3*y. Let z = -9.22216 + 0.22216. Which is greater: z or q?
q
Let m be 5*(1 - (-1)/(-5)*-4). Let a be m/12*(8 - 6). Is a smaller than -2/5?
False
Let a(z) be the first derivative of -z**4/4 - 10*z**3/3 - 8*z**2 + 6*z + 70. Let i be a(-8). Which is smaller: i or 8?
i
Let w = 2 - 22.97. Let a = 21 + w. Let p = a + 10.97. Which is bigger: -2/7 or p?
p
Let b = 6.4 + -6.28. Let a = -16.52 - -15.52. Is b greater than a?
True
Suppose -3 = 4*q + 21. Let a(r) = 4*r - 28. Let m be a(3). Let p be (-6)/m*((-64)/q + -2). Which is smaller: p or 2?
2
Suppose 0 = 21*y + 10781 + 2155. Let a be 55*(-1 + y/(-600)). Wh