or equal to 148?
True
Suppose 0 = 3*x - 5*a + 1295, -14*a + 10*a = 8. Is x <= -435?
True
Let u be 2*(-6)/4 - 12/3. Let s be -5*2*(u + -1). Let r be ((-162)/(-24))/(-3)*s/(-78). Are 1 and r equal?
False
Let h be 18/(-38) - 187/(-561). Which is smaller: h or 1?
h
Let w be (-14 - 138/(-15))/((-15)/14). Is w less than or equal to 1/4?
False
Suppose -4*a - 257 = b, b + 8*a = 16*a - 185. Which is smaller: b or -234?
-234
Let i be 2 + 98/2 + -1. Suppose 2*q - 2*m = 96, -9*q + 136 = -6*q + 5*m. Let l = i - q. Which is bigger: 5 or l?
5
Let r = -2.11 - -3.11. Which is smaller: r or 2110?
r
Let s = -837 - -838. Let n be -1 + ((-21)/40)/(255/(-476)). Does s = n?
False
Let v = -0.048385 - -70.891385. Let b = v + 0.157. Is 2 at most as big as b?
True
Let n(w) = w + 6. Let s be n(-5). Let q(r) = r**2 + 3*r - 801. Let b be q(26). Are s and b non-equal?
True
Let n(t) = 24*t + 5 + 3 + 0*t**2 - 3 + t**2. Let i be 5 + -9 + -15 - 5. Let b be n(i). Is 4 at most b?
True
Let f = 397/7 + -57. Let q be (8 - (-369)/(-45))/((-1)/5). Which is greater: q or f?
q
Suppose -y - 68*r = -69*r - 1, -5*r - 53 = 3*y. Suppose 3*j = -7 - 8. Let o = -9 - j. Is o less than or equal to y?
False
Let z = -121 + 121. Suppose -5*v + 10*w - 11*w + 225 = 0, -3*w = z. Which is smaller: 44 or v?
44
Let d be 35/6 + (-9)/(-54). Suppose -d*b = -4*b - 4. Suppose -2*r = 2*q - b, 3*q + 4*r - 2 = 2. Is q >= 1?
False
Let v be (-91)/(-28) - -2*3/(-24). Let h(f) be the third derivative of -f**4/24 - 5*f**3/6 - 4*f**2. Let s be h(v). Is s not equal to -7?
True
Let i be 10 + 189110/10*7/(-21). Is -6295 > i?
False
Suppose 2 = -98*x + 1 + 1. Let b = -1608911/199 + 8085. Which is bigger: b or x?
b
Suppose 0*p - 5*p = 2*t - 66, -2*p - 5*t + 18 = 0. Let h be (0 + 1)/(p/(-14)). Let o be ((-34)/16)/(-17) + (-21)/40. Is o at least as big as h?
True
Suppose -5*q + 2*c = -c + 10, -5*q - 5*c + 30 = 0. Let w = 41 + 147. Let i be 948/w - (8 + -3). Is q < i?
False
Let f = -343.082 - -2.082. Which is smaller: f or -0.4?
f
Suppose -5*f - 266 - 191 = -2*h, -5*h - f + 1210 = 0. Suppose 242*k - h*k + 74 = 0. Are -71 and k equal?
False
Suppose 8*k = 3*k + 900. Suppose -4*j + k = -44. Let i be (12/8)/((-6)/j). Which is smaller: i or -13?
i
Let r = -101 - -2627/26. Let z = 0.03679 - 0.13679. Which is smaller: z or r?
z
Let l(p) = 3*p**3 - 10*p**2 - 2*p + 5. Let v be l(5). Suppose -2*t + 5*m + 63 = 0, -9*t + 5*m = -4*t - v. Is 1 at most as big as t?
True
Suppose -3463 = -9*f + 5348. Are f and 6855/7 equal?
False
Suppose 19*s + 22 = 8*s. Let z be (2 + s + 3)*(-128)/(-12). Suppose 0*i - z = 4*r + 4*i, -4*r - 2*i = 30. Which is smaller: r or 2/3?
r
Let h = 59 + -59.36. Let l = -21.64 + h. Let q = l - -21.8. Which is smaller: 3/2 or q?
q
Let q = 48.62 + -50.62. Is q greater than or equal to 49/25?
False
Suppose 30120 = -2981*z + 2969*z. Do -2510 and z have the same value?
True
Suppose 3*n + 2*j = n + 28, 4*n - 41 = j. Suppose 4*r + n - 51 = 0. Let t be (-192)/(-80)*r/3. Which is greater: t or 17/2?
17/2
Let u = -2/73463 - -79939/237873194. Which is bigger: -1 or u?
u
Let i = 1865844/113 - 16512. Let x(z) = z**3 - 19*z**2 + 16*z + 36. Let v be x(18). Which is greater: v or i?
v
Let n = -4.5 - -4.4. Let x = 11489 - 11576. Are n and x equal?
False
Let n = 0 + -2. Let t = 11.5 - -21.8. Let d = -13.3 + t. Is n less than d?
True
Suppose 18*c = 19*c + 348. Let b = -398 - c. Which is greater: -48 or b?
-48
Let s(g) be the second derivative of 5/6*g**3 + 1/2*g**2 - 20*g + 0 + 1/4*g**4. Let m be s(5). Does m = 102?
False
Let h be ((8/(-30))/(1638/(-15)))/(-4). Is h less than 1?
True
Let r be (71/5)/((-6)/(-30)*1). Let m = r - 352/5. Which is bigger: m or 1/8?
m
Let a = 0.01589 - 9.11589. Is -31/8 less than a?
False
Suppose -2*k + 528 = 14*k. Suppose -3*v + k = 18. Suppose 2*d - 3*h + 8*h = -15, -v*d + 6 = -2*h. Do 1/95 and d have different values?
True
Let s be 135/((-2 + 3)/5). Let b be ((-4)/3)/((-36)/s). Is 31 at most as big as b?
False
Let l = -3 - -2. Let y(h) = -h**3 + 12*h**2 + 11*h + 10. Let c be y(12). Let r = 165 - c. Which is greater: l or r?
r
Suppose -21*j = 145*j + 156206. Is j greater than -5647/6?
True
Let b = -2122 + 2121.972. Which is greater: -0.16 or b?
b
Let p = 49924 + -49944. Suppose -14 = -3*k + 1. Suppose i - k*x + 23 = 0, -8*i + 4*i + 3*x - 75 = 0. Which is smaller: p or i?
p
Let o = -14411 + 14410. Which is smaller: o or 7043?
o
Let i be (-103 + (-4)/2)*22/(-55). Suppose k - i = 3*x - 15, 0 = -k. Is -2 greater than or equal to x?
True
Suppose u + 2*o = 2*u - 336, 5*u = o + 1662. Let g be 30/6 - 1668/u. Which is bigger: 1 or g?
1
Let n = -15 + 19. Suppose -n*z + 6 = -z, 3*h = -5*z + 85. Suppose 0 = -4*a + 20, m - 5*a + h = -3*m. Which is smaller: m or -2/29?
-2/29
Let g(h) = -8*h + 1 - 11*h + 13*h + 1. Let d be g(-1). Let r = -17 - d. Which is smaller: r or -26?
-26
Let j be 1*((-75)/(-10))/5*16/(-3). Which is smaller: -28/3 or j?
-28/3
Let s = -0.4021 + 0.457. Let h = s - 0.1549. Which is smaller: 118 or h?
h
Let q = 110 + -106. Let o be (-336)/(-64) + (-1)/q. Let u(g) = -g**2 + g + 14. Let v be u(o). Which is smaller: v or -1?
v
Let j be -908*(54/36 - (-4 - -5)). Do -443 and j have the same value?
False
Let d = -16800/53 + 317. Suppose 5*u + 5*g - 31 = 8*g, -5*g = -2*u + 1. Let q be (-5 - (2/2 - u))/(-2). Is q < d?
True
Let b = -0.217 - 0.037. Let s = b - -0.628. Let m = 0.064 - s. Which is bigger: m or 0.1?
0.1
Let c(s) = -s**2 + 5*s + 3. Suppose -19 = -7*d + 16. Let u be c(d). Let x be u*(-2)/6 - 4. Which is bigger: -7 or x?
x
Let x = -850 + -639. Which is bigger: x or -1/3?
-1/3
Suppose -128284 = 87*l + 150899. Which is smaller: l or -3207?
l
Let v be (4 + (4 - 5))*(-538)/(-120) - 3. Is 9 != v?
True
Let h(l) = l**3 - 6*l**2 - 7*l. Let z be h(7). Which is smaller: -2/5529 or z?
-2/5529
Let m(u) = 361*u + 7581. Let y be m(-21). Which is bigger: 2/24733 or y?
2/24733
Let u = -13961.4 + 13966. Are 39 and u non-equal?
True
Let l = 1779.35 - -44.65. Are l and 2/3 nonequal?
True
Let r(c) = 238*c + 955. Let o be r(-3). Which is greater: 252 or o?
252
Let r = -96 + 135. Let z be (-7209)/r - (-18)/(-117). Is z at most as big as -186?
False
Let t = 6143/3 - 2008. Which is smaller: t or 41?
t
Let x(b) = 3*b**3 - 2*b + 1. Let o be x(1). Suppose 117*p - 19633 + 6485 = 41*p. Which is smaller: p or o?
o
Let x be ((-1103476)/14332)/(-11) + (-7)/1. Do x and -1 have different values?
True
Let f be (-1)/(-3) - 161/483. Which is smaller: f or 1/19781?
f
Let a = -96.65915 + -0.07085. Let l = -2.27 + a. Is 0.1 <= l?
False
Suppose 18*z - 90 = 72. Let n be (-3)/(z/(-7)) - 8/4. Is 57 less than or equal to n?
False
Let t = 5442 - 5746.3. Let f = t + 317. Let i = f + -11.7. Is i < -3/22?
False
Let x(p) = -p**2 - p + 2. Let o(s) = -s**3 - 9*s**2 + 22*s - 3. Let j be o(-11). Let f be x(j). Are f and 0.14 equal?
False
Let m = 76 + -42. Suppose -4*n = -2*s - 58, 0 = 2*n + 5*s - s - m. Let p be 259/(-35) - ((-6)/n - 0). Which is bigger: p or -9?
p
Suppose 5*f + 2 = 3*f. Let c = -72.5579 + -356.4691. Let n = 429 + c. Which is smaller: f or n?
f
Let w(u) = u**3 + 23*u**2 - 22*u + 40. Let r be w(-24). Let d be 108 - (6 + r - 0). Which is bigger: d or 109?
d
Let o = -0.0245 - 97.9755. Which is greater: 2/3 or o?
2/3
Suppose 11*y + 14 = 2*s + 7*y, 5*s = -3*y + 9. Suppose s*g = 2*j + 11 + 45, 0 = -j + 3*g - 31. Is j smaller than -25?
False
Let x = 4.47 - 4.3. Let w = -191.5 - -189. Let j = 0.5 + w. Which is greater: j or x?
x
Let l = -217 - -224. Let v(i) = 8*i - 70. Let j be v(l). Which is smaller: 3 or j?
j
Let y = -2508 - -2550. Is 3 at least y?
False
Let j(f) = -4*f**2 - 179*f + 128. Let d be j(-52). Is d greater than or equal to -1379?
False
Suppose -77*n = -40*n + 133*n - 12920. Which is bigger: 56 or n?
n
Let x = 7.881 + -2.581. Which is greater: -34 or x?
x
Let s(p) = -2*p**3 + p**2 - 5*p + 1. Let r be s(0). Let n(q) = -q**2 + 4. Let g be n(-3). Let c be (g - -5)*(0 - r). Is c smaller than 2/87?
True
Suppose 11*f = -2*g + 75, 5*g - f - 20 = -32. Which is smaller: g or 22?
g
Let v = -272209/149339 - -276/151. Which is smaller: v or 1?
v
Let p(s) = 62*s**2 + 46*s + 19. Let c be p(-6). Does c = 1977?
False
Let g be (-2772)/1468*9 + 17. Are g and 0 unequal?
True
Suppose -5*h = -4*v - 170 + 230, -4*h = -4*v + 56. Let o = 6 - 4. Which is big