smaller: y or -12?
-12
Suppose 6*x - 9*x = 0. Let h be (-128)/(-9) + (-18)/81. Let n be h/(-32) - (-8)/16. Which is smaller: n or x?
x
Let f be (335/120)/(8/1). Let x = f - 1/64. Let i = 0.304 - -60.696. Which is smaller: i or x?
x
Let k be (-2 - -1) + (0 - 8). Let l(v) = -2*v - 12. Let b be l(k). Let o be (-28)/49*(-210)/25. Which is greater: b or o?
b
Let s = -57 + 73. Let w = 239/2 - 119. Is w less than or equal to s?
True
Let u = 0.38 - 2.01. Let i = u - -1.23. Are -26 and i equal?
False
Let z(h) = h**2 - 8*h + 26. Let i be z(5). Suppose -i*c + 16 = -3*c. Suppose -3*k + 13 = 2*f + c*k, -19 = 4*f + k. Is f <= -9?
False
Let t = 416 + -272. Suppose t = 14*h - 2*h. Which is smaller: 11 or h?
11
Suppose -19*x = -16*x - 3, 3*x = 4*q - 277. Which is bigger: q or -0.02?
q
Let o be (-6 - -4 - -9) + 1143/(-1). Are o and -1135 equal?
False
Suppose -5*r = -5*i + 15095, 3*i + 2*i = -4*r + 15095. Is i less than 3019?
False
Let n = -211 + 211. Suppose n = 5*d - g + 5, 3*d + 29 - 4 = 5*g. Is d greater than or equal to -36/31?
True
Let a = 3361 - 3360.99. Which is smaller: -55 or a?
-55
Let c be 51/(-549) + (-2)/6. Suppose -234 = -569*i + 335*i. Is i > c?
True
Let m = -18.51 - 1.49. Let a = -30 - m. Is a >= 2/7?
False
Let p = 2915 + -2927. Which is bigger: p or -1.69?
-1.69
Let k(s) = s + 3. Let y(v) = 56*v - 372. Let r(j) = 4*k(j) - y(j). Let f be r(10). Which is greater: -273/2 or f?
f
Let i = -8735/84 - -104. Let j = 1/12 - i. Suppose z - 4*z + 12 = 0, 3 = -f + z. Is j smaller than f?
True
Suppose 4*v + 52 = 4*u, -4 = 2*v + 3*u + 12. Let p = 105 + -107. Let k be (9/p)/(-5 + (-44)/(-8)). Which is greater: k or v?
k
Let q = -0.475 + 0.5032. Let d = q - 157.0282. Which is smaller: -0.3 or d?
d
Let a = 17336 - 9739. Which is greater: 7596 or a?
a
Let z(m) be the first derivative of -m**3/3 - 9*m**2/2 + 6*m + 41. Let n be z(-7). Is n greater than or equal to 20?
True
Let f be ((-1405)/(-2) + 1)/((-893)/(-564)). Let z = f - 444. Which is bigger: -0.1 or z?
z
Let h be (-5 - (-39)/9)/(20/201360). Which is bigger: h or -6711?
-6711
Let d be 26/39*(-159)/2 - 2. Let z(c) = 2*c**2 + 7*c - 4. Let s(o) = 3*o**2 + 6*o - 3. Let p(f) = -3*s(f) + 2*z(f). Let w be p(3). Is d bigger than w?
True
Suppose -3*a + r + 15 = 0, -5*a - r + 3*r + 24 = 0. Suppose -15 = q + 3*l, -a*l - 73 = 3*q - 4*l. Is -1 greater than or equal to q?
True
Let u = -2163 - -71435/33. Which is greater: 1 or u?
u
Let c = -8 - 34. Let i be (54/c)/((-8)/(-14)). Let q(s) = -s**3 - 7*s**2 + s + 5. Let v be q(-7). Which is bigger: i or v?
v
Let m = -26.06 + 26.05. Is 13.7 >= m?
True
Let f(p) = 513*p - 3071. Let z be f(8). Which is bigger: 1035 or z?
1035
Let i(o) = -6*o**2 + 17*o - 11. Let p be i(12). Let x = -4851 - -4181. Which is greater: p or x?
x
Let g = 26456 - 21532. Are g and -2/3 nonequal?
True
Suppose -3*i = -5*d - 5646, 3*d + 3405 = 43*i - 47*i. Is d greater than -1131?
False
Let v = -36341269/115 - -316009. Which is bigger: -2 or v?
-2
Let w be (15/(-115))/((-7)/14). Let f(x) = x + 6. Let q be f(-7). Which is smaller: q or w?
q
Let k = -1 + 0. Let u = -3 - k. Suppose 5*j = -35, -2*j + 73 - 162 = 5*l. Which is smaller: l or u?
l
Let x be (241 - -2)*(-33)/99. Let t be -3 + -79*x/2151. Are 0 and t equal?
False
Let s = 2.683 + 22.317. Let d = -7/5 + 33/20. Is s greater than or equal to d?
True
Let l = 0.816 + 0.184. Which is greater: -106/7 or l?
l
Let c be 4/145*(-147010)/4. Suppose 6*k = -5*a + 2*k - 5050, -a = 3*k + 999. Let h = a - c. Does h = 0?
False
Let f = 339.54 - -12615.46. Which is greater: 1 or f?
f
Suppose -3*z - 98 = 112. Let c = z - -98. Let v be (116/c + -4)*24. Is 2 equal to v?
False
Let p = 9152 + -8846. Are p and 313 equal?
False
Suppose 0 = -p - 2*i + 62, -4*p + 0*i + 5*i = -300. Let v = -490 - -490.744. Let r = 0.644 - v. Which is bigger: p or r?
p
Suppose 0 = -7*j - 2*h - 145, 5*h + 14 = 19. Which is greater: j or -30?
j
Let m = -47431 + 47433.7. Let s = 6 + -3. Suppose -2 - 1 = -s*r. Is r >= m?
False
Let f = 0.6 - 1.7. Let k be 10/95 + 192/1064 + 0 + 0. Which is greater: k or f?
k
Let x be (-3 - -7)/(-4) + 42. Let v = x - 289/7. Let u = v + -22/21. Is u less than -1?
True
Let x = -189 + 188.3. Let a = -0.6 - x. Let g be 81/(-4) - (-12)/(-16). Which is greater: g or a?
a
Suppose -13*t - 364 = -1274. Let j be ((-2)/t)/(26/(-52)). Let z(y) = -y**2 - 7*y + 1. Let b be z(-7). Is b bigger than j?
True
Suppose -25*t - 12*t + 3330 = 0. Let d be 1 + (2 - 3)*-5. Suppose -p = -d*p - t. Which is greater: -17 or p?
-17
Let c be 2/(-2)*(0 - 162). Suppose 5*v - 5330*p + 5329*p - 797 = 0, 0 = -3*v + p + 475. Which is smaller: c or v?
v
Let x(y) = y**3 + 8*y**2 + 4*y - 15. Let r(o) = o**3 - 5*o**2 + 2*o + 5. Let q be r(3). Let p be x(q). Suppose -4 - 128 = -p*f. Are 23 and f nonequal?
True
Let g = -206 - -281. Let x = 60.5 + 18.5. Let c = x - g. Is 7 at least as big as c?
True
Let g(x) = -x**2 - 73*x - 772. Let v be g(-60). Let b be ((-51)/(-2))/(-3) + 1. Let m = v + b. Is m > -2?
True
Let y = -199 + 267. Let x = -122 - y. Which is bigger: x or -188?
-188
Let r be (-4)/((-9 - -47097)/(-12)). Are r and 0 unequal?
True
Suppose 29*x + 59 - 84 = -54. Which is greater: 4462 or x?
4462
Let z be (-24)/(-22)*2989306/(-419283). Let r = -2/29007 + z. Which is smaller: r or -9?
-9
Suppose 21*j = 1829 + 1761 - 545. Is 145 less than or equal to j?
True
Suppose -4*v - 2*w = -0*w + 158, 0 = -4*v - 5*w - 155. Is v less than -39?
True
Suppose -2*m - 4*d + d - 89 = 0, 0 = m + 5*d + 34. Let x be 6/(-14) - 1883/m. Let n = 64 - x. Is 25 at most as big as n?
True
Let z = -33.17 - -33.27. Is 3/8 bigger than z?
True
Let h be (-622)/(-90) + (-224)/32. Let q = h - -166/855. Is -1 < q?
True
Let s be (-264)/59*-2 - (0 + (-38 - -47)). Let k = 3 + -4. Is k equal to s?
False
Let b = -1443 - -1443. Is -100.65 bigger than b?
False
Suppose -65*s - 66*s = -122*s - 9. Are s and 41/71 non-equal?
True
Let x be (-538)/(-696) + (-22)/((-1848)/(-63)). Suppose 0 = -d - 2*d. Let a = d - -1. Which is smaller: x or a?
x
Let b = 1039 - 1069. Let p be (-24)/(-60) - 8/30. Which is smaller: b or p?
b
Let d = -10500.863 + 10501. Are -1 and d nonequal?
True
Suppose 178 = 452*f - 274*f. Which is greater: -119/316 or f?
f
Let q(a) = -a**3 - 8*a**2 - 18*a + 3. Let z be q(-5). Let p(y) be the first derivative of -3*y**2 - 6*y + 9. Let l be p(-4). Is l at least z?
True
Suppose 1006*o = 1009*o. Let p be 6*6/(-48) + (-333)/(-28). Is o at most as big as p?
True
Suppose -1254 = 85*v - 3634. Is v less than or equal to 25?
False
Let h = -166 - -166.51. Let l = h + -42.51. Is l equal to -4?
False
Suppose 82*n - 24 = 86*n. Let k be n/63 - 80/(-252). Is -0.23 <= k?
True
Let k be (-9 - 435/(-45))*315. Which is smaller: 1 or k?
1
Let l = 7969 - 8549. Is 5/4 >= l?
True
Let w = 249 - 239. Suppose -4 = -w*f + 11*f. Is -4 greater than f?
False
Let w = -212 + 211. Let t be 20/(-16)*(-68)/w. Is t greater than -85?
False
Let p = -103 - -69. Let m = 574 - 24683/43. Let a = -83/129 + m. Which is smaller: p or a?
p
Let q = -96 + 98. Suppose -q*c - l = 0, -2*c + 2*l = -5*c. Suppose c = -2*b + 16 - 22. Do 1 and b have different values?
True
Let m be (55/4 - 4)*4. Let f = -33 + m. Let g be f/(-202)*(-14)/(-21). Is g smaller than 0?
True
Let x = 9294 - 9293. Which is greater: -5/2656 or x?
x
Let k(z) = 22*z + 8. Let l = 6 - 9. Let x be k(l). Let h be -63 + 2*20/8. Is x less than h?
False
Let a(b) = 13*b + 1594. Let q be a(-122). Is -45 at least as big as q?
False
Let v = -5.4 + -0.6. Let a = -2/22619 - -36801121/90476. Let d = -407 + a. Is d < v?
False
Let c be (3/16)/(-9 - (-870)/100). Let s = c - -615/88. Which is smaller: 7 or s?
s
Let d(h) = 6*h**2 + 3*h - 7. Let q be d(2). Let z = 39 - q. Let k be 12/z - (-4)/(-16)*-21. Is 5 greater than k?
False
Suppose 3*m + 754 - 52 = 0. Let r = m + 260. Are 26 and r unequal?
False
Suppose 0 = -r - x + 12, -4*r + r + 42 = 5*x. Let s be -5 + r - 93/3. Let q = s - -34. Is 3 less than q?
True
Let u = 13 + -31. Let k = 99.2 + -99. Which is smaller: u or k?
u
Let l(k) = -14*k + 2. Let b be l(-1). Let y = b - 12. Suppose 3*t + 6 - 17 = -2*a, -a + y = 0. Is -1 less than or equal to t?
True
Suppose -19 + 6 = -3*j + 2*l, -3*j - 4*l + 1 = 0. Suppose -105 = 5*c + 5*i, -j*c - 96 = -5*i - 33. Let t(x) = x + 20. Let y be t(c). Is y > -12/17