 - -19204/23. Suppose 383 = 7*j + 376. Which is smaller: j or t?
t
Let x(p) = -p**3 - 5*p**2 + 2*p + 11. Let f be x(-5). Let y be 45/(-72)*f/(-5). Suppose -4*s + 3*u = -19, -3*s - 9 = -2*s + 2*u. Which is smaller: y or s?
y
Let h(i) = -97*i - 383. Let y be h(-4). Suppose 0 = -3*u + 4*q + 49, q - 84 = -3*u - 25. Is y at least u?
False
Let c be (3 - (-16)/1) + 4. Let k = -20 + c. Which is smaller: 20 or k?
k
Let b(p) = 183*p + 5944. Let l be b(-20). Is 2284 at least l?
True
Let z = 1597 - 68665/43. Let g = 31/86 + z. Which is smaller: -18.1 or g?
-18.1
Let v be -718*(-5)/75 + 4/30. Let g be (-36)/v + (-194)/8. Which is smaller: g or -27?
-27
Let r = -0.234 - -245.234. Let m = r - 394. Is m equal to 0.1?
False
Let d(g) = 174*g + 19. Let c be d(8). Let z = c + -119937/85. Which is smaller: z or 1?
z
Let m = -43 - -47. Suppose -2*s - m*g + 2 = 0, 2*s - 3*s - 5*g + 1 = 0. Let j be (-2)/12*(-315)/(-560). Which is bigger: s or j?
s
Let b = -58807/11 - -5346. Is b at least 7/18?
False
Let k = 3.2287 - 0.1367. Let w = 0.092 - k. Are -39 and w non-equal?
True
Let n be 28 - (-2 + 2 - -4) - 3. Suppose -n = l - 5*k, -6*k = 5*l - 7*k + 9. Is l < -166?
False
Suppose -8 = -k - 0*k - 2*h, 3*k - 16 = -4*h. Is k smaller than 9/650?
True
Suppose -3*q - 8073 = -22*n + 19*n, 0 = -4*n + q + 10761. Is n != 2690?
False
Let t be (-4 + 0)*(-54)/72. Suppose 2*y - 51 = -t*d - 5, 0 = -5*y + 2*d + 134. Let u be ((-1)/2)/((-6)/312). Is u at least as big as y?
True
Let x = 86 - 56. Let w = x - 52. Suppose 5*h - 12 = 2*r - 138, 0 = -5*h - 5*r - 105. Is w bigger than h?
True
Suppose -3*m + 5*v - 34 = 0, m + v - 5*v = -16. Is m smaller than -24?
False
Let h(z) = -z**3 + 8*z**2 - 6*z - 7. Let x be h(5). Suppose -x = -5*l + 7*l. Are l and -21 equal?
False
Let x = -120947 + 1568132/13. Let j = x + 321. Is -1 at least as big as j?
False
Let j = 959.9814 + -960. Let y = j + -0.0814. Is 0.23 less than y?
False
Let f = 1/6 + -11/30. Let z = 2/61381 - 6138838/22649589. Let j = 2/41 + z. Is f greater than or equal to j?
True
Let t be (-142)/(-252) + 2/(-7). Let a be 8/12 - 33934/2397*(-2)/(-24). Let s = a + t. Which is smaller: -1 or s?
-1
Let u = -160 + 237. Suppose 2*f + 3 - 1 = 0, 3*f = 5*o + u. Which is bigger: o or 1?
1
Let p(q) = 13*q - 37. Let u be (-153)/85*(-10)/3. Let n be p(u). Are n and 41 non-equal?
False
Let b be (-4)/(-10) - (-555)/(-75). Let g = 4 + b. Let w be 12*g/48*-4. Do w and 3 have different values?
False
Suppose -32*y + 47*y = -165*y + 19080. Let t = 6 + -10. Let b be (-2)/t - 1899/(-18). Is y at most as big as b?
True
Suppose 0 = -l - 6*v + 4*v - 8, 20 = -4*v. Suppose 2*j + k = -3*j - l, -5*k = 2*j + 10. Suppose -2*p + 4*p - 2 = j, 5*o - 10 = -5*p. Are -3 and o unequal?
True
Let h(o) = 264*o + 3269. Let q be h(-61). Is -12835 equal to q?
True
Let r be (4304/710)/(-4) + 1. Let m = r + -6/71. Let x = 3073 - 3073. Which is greater: m or x?
x
Let o = -1.03275 + 0.03275. Which is greater: 261/14 or o?
261/14
Let d = -13 - -17. Suppose 4*o - 6 - 2 = 0, d*s + 4 = 2*o. Let v = -111.1 - -41.1. Which is smaller: v or s?
v
Let a = -447 - -229. Let h = -223 - a. Which is bigger: h or -57/13?
-57/13
Let x = -23747959 - -36690594601/1545. Let c = x - 2/515. Is c smaller than -1?
True
Suppose -5*u - 3*m + 2*m = -297, 3*m = -u + 65. Let x = u + -62. Let q = 3/122 - 555/244. Do x and q have the same value?
False
Let t = -80.259 + 5.259. Is -4 <= t?
False
Suppose 17*w + 8 - 5 + 14 = 0. Is 3/515 equal to w?
False
Let u = 38 - 35. Suppose -39 = 4*d + 8*f - 3*f, f = -u. Let m = 7 + d. Is m smaller than -2/37?
False
Let d = 18185/308 - -16/77. Let u = 59 - d. Is -24 at most as big as u?
True
Suppose 2*t - y - 165 = 0, -2*t - 2*y + 194 = 26. Let v = 145 + t. Is 227 greater than or equal to v?
False
Let b = 9004.35 + -9004. Is b < -79?
False
Let v = 165 + -163. Suppose i - 4*b = 70, -2*i + v*b + 91 = -37. Is -2 less than i?
True
Let n = -777.39 + 781. Let h = n + -156.61. Let c = h + 162. Are -4/5 and c non-equal?
True
Suppose 3*z + 3*z = 0. Let d be ((-12)/(-4) - -1) + 0. Suppose -f = d*t + 11, -f + 2*f - 3*t - 10 = z. Which is smaller: 0.1 or f?
0.1
Let j = -6512 - -6576. Which is greater: j or 63?
j
Let s = 28 - 42. Let m be (-20)/(-6)*(-21)/s. Suppose -k + 0*k + m*g = -21, -2*g = -k + 9. Do 5 and k have the same value?
False
Let t(d) = 95*d + 289. Let h be t(-2). Which is bigger: h or -1?
h
Let x be 5 + 12844/(-364)*(-2)/(-14). Is x >= 1?
False
Let r be (474/(-1185))/(4/10). Which is smaller: r or -157/68?
-157/68
Let s = -2 - -1. Suppose -26*a + 128 = -28*a - j, 2*a + 2*j = -124. Let d be (-2)/a*32/144. Which is smaller: d or s?
s
Let v = 45 - 3. Let i be (14/(-46))/(v/252). Is i at most as big as -2?
False
Let l be (4 + 1255/(-315))*-10. Let y = -628/1575 - l. Which is greater: y or 1?
1
Let z = -29166.8 - -29167. Which is greater: -2021 or z?
z
Let d be 2/(-40)*270/(-12). Suppose -2*p - 2*w = -6, -15 = -5*w - 0. Which is bigger: p or d?
d
Let h be ((-852)/(-1065))/((-19916)/(-10)). Is h bigger than 1?
False
Let z be (-8)/16 - (-14)/4. Let l(x) = -x**2 - 7*x + 5. Let o be l(-4). Let v be o/8 + (-1)/4. Is z at most as big as v?
False
Let r be 12/6*((-54)/12 + -3). Let k(q) = q + 3. Let s be k(-1). Suppose g - s*g - 13 = 0. Are g and r equal?
False
Suppose n - 13 = 4*z, 8*n - 3*n = -2*z - 1. Suppose x + 3*q - 231 = -2*x, 0 = x + 4*q - 74. Let u = x + -76. Which is smaller: n or u?
n
Suppose -l - 399 = 6*l. Let r be (-2 + 17/3)/((-19)/l). Let f(k) = -k**3 - 7*k**2 - 8*k. Let u be f(-6). Which is smaller: u or r?
r
Suppose 5*s = 2*i - 4, -3*s - 5*i - 6 = 15. Let v be (-2294)/(-93)*(-3)/s. Which is smaller: 35 or v?
35
Let m = -15412 + 21338. Which is smaller: m or 5927?
m
Let b = 4550 - 4552. Is 8.608 at least as big as b?
True
Let m = 25861 + -21542214/833. Which is smaller: 4 or m?
m
Suppose -33*o - 21944 - 15115 = 0. Are o and -1124 equal?
False
Let q = -217 + 222. Suppose -z + 148 = j, j - 152 = -2*z - q. Which is smaller: j or -1/5?
-1/5
Let l(q) = 2*q + 1. Let m be l(-1). Let k(y) = -2*y**3 - 98*y**2 + 315*y + 159. Let d be k(-52). Is m != d?
True
Let a(b) = 182*b - 12626. Let d be a(77). Is 6934/5 at most d?
True
Let u = -19612/11723 - -58/617. Let c = -5 + 2. Is c >= u?
False
Let x be -1*(1 - (-57)/(-54)). Suppose -5*p + 2*p + 2*z = -94, 2*p + 2*z = 46. Let d = p - 27. Is d not equal to x?
True
Let i = 12.7 - 12.8. Let y(r) = -r**2 + 19*r + 37. Let p be y(16). Is p != i?
True
Let t(g) = 1094*g + 1093. Let n be t(-1). Are -2/4379 and n equal?
False
Let y = 279.5 - 0.5. Let m = -165 + y. Are m and 1/4 non-equal?
True
Let w be 74/(-1369) - (-291492)/111. Which is bigger: 2627 or w?
2627
Suppose 4*r - 28 = 32. Let v be (-1 - 1) + 33/r. Let q be (514 + -514)/(1 - (-14)/2). Which is smaller: v or q?
q
Let l = -3.5 - -3. Let s = 52945 + -52948.3. Is l equal to s?
False
Suppose 5*u - 5*a = 15, -3*u = 3*a + 18 - 9. Suppose -15*r = -12*r - 9, u = -4*z + 3*r - 1317. Which is bigger: z or -328?
z
Suppose -q - 2 = -3*q. Let j be (132/(-165))/((-564)/15). Is q bigger than j?
True
Suppose 399*k - 1355*k + 350 = -606. Let c = -6 - -4. Which is greater: c or k?
k
Let h be ((-3)/(-2))/(85/544). Let k be ((-6)/(-8))/((-18)/(-96)). Suppose k*g + 8 - 44 = 0. Which is smaller: h or g?
g
Let u be ((-11)/110*-6)/((-1640)/25). Which is bigger: 0 or u?
0
Let v = 52 + -52. Let k be (v - 4/(-6))*(-450)/(-4). Suppose -3*o + 5*c = 63, -3*c + 4*c - k = 3*o. Do 2/5 and o have the same value?
False
Let d = 227.331 + 0.669. Let s = d - 229. Are s and 2/11 equal?
False
Suppose 2*i + 2*i - 1697 = w, 0 = 5*i - 2*w - 2122. Let d be 2/3*(i/(-112) + 4). Let x = -1.4 - 0.6. Is x at most d?
True
Let x = -302 - -299. Let u(z) = -4*z + z**2 - 7*z + 3*z + 0*z**2 - 13. Let r be u(9). Do x and r have the same value?
False
Let d be (-5)/(15/(-6)) + (2 - (22 - 2461)). Which is bigger: d or 2?
d
Suppose 23*c - 203094 = -38328 - 1006. Is 7120 at least as big as c?
True
Let l(f) = 28*f - 288. Let x be l(11). Does x = 7?
False
Let m = -0.7 - -3.1. Let l = m + -2.75. Let q = 0.85 - l. Which is bigger: 2/3 or q?
q
Let t be (-4)/(-30) + 120959/20370. Which is smaller: 6 or t?
6
Let g = 64731 - 132393. Let y be g/(-147) - ((-18)/(-14) - 1). Let w be 1/(2/(-6)) - y/(-156). Is w at least as big as 2?
False
Let t = -2.0416 + -0.158