d x have the same value?
False
Suppose 0 = -s - 3*j - 10, -2*s + 4*j + 13 = -j. Let u be -9*(-6)/(-18) + (2289/245)/3. Is s != u?
True
Let q = 31.193 + 768.807. Which is greater: -17 or q?
q
Suppose -3*t + 460 = 49. Let j = 137 - t. Is 8/9 greater than j?
True
Let q(y) = -y**3 + y**2 - y - 1. Let l be q(0). Let s = -3652/69 + 128648/2415. Which is smaller: s or l?
l
Suppose 2*y + 2*y - 8432 = 0. Let i be y/360 - (-1 - 0). Let x = i - 59/9. Is x less than or equal to -1?
False
Suppose -30*s - 5*s - 439 = 11041. Is -332 < s?
True
Let x be 10500/98 + 2/(-14). Which is smaller: 93 or x?
93
Let f be (-45)/(-10)*830/(-15). Let j = 58 - f. Is 306 greater than j?
False
Let x be 5/(-150)*-6*(-32 + 11). Is x > 14/11?
False
Suppose -5*w = -6686 + 3176. Which is smaller: 701 or w?
701
Let m be 7/(-196)*7 + (-2121)/(-228). Is 10 bigger than m?
True
Let q = -580/7 - -4675/56. Let u be 10/(-25) + (-7)/(-5). Which is bigger: u or q?
u
Let p be 133/(-19)*(0 + 12/14). Let b(w) = 6*w + 25. Let g be b(p). Which is bigger: -12 or g?
g
Let l = -231.5 + 231.3. Is l greater than 288?
False
Let q = 6257/27 - 2354771/1485. Let n = q - -1354. Which is greater: n or -1?
n
Let a = 116 + -67. Let n = -426 + 192. Let y = n + 283. Is a >= y?
True
Suppose 0 = -246*d + 243*d + 2*f - 6, -5*f + 15 = -5*d. Which is smaller: -10/341 or d?
-10/341
Suppose 0 = -4*o - 3*a - 137, 2*a + 170 = -5*o - 2*a. Suppose -7*u - 265 = 2*g, 66 = -2*u + 5*g - 8*g. Is o > u?
True
Suppose -3*l + 8*l - 15 = 0. Let z be 3*((-2)/(-6))/(l/(-9)). Is -69 less than z?
True
Suppose -7*q - 28560 = -5*q. Let j be q/(-6777) + -2 - (-10)/(-90). Which is smaller: j or -1?
-1
Let b be (-3)/((-52)/(-17) + -3). Let p = b - -49. Let j be ((-3)/p)/(1515/20). Which is bigger: -2/5 or j?
j
Let y be (120/(-280) + 3/2)*32/10. Which is smaller: y or 4?
y
Let a be 171/(5/(15030/(-27))). Is a bigger than -19038?
False
Let a = -0.45 - -0.41. Let w = a - -7.04. Let j = -7.1 + w. Which is bigger: 2/15 or j?
2/15
Suppose -90 = -2*v - 320. Let x = v - -169. Is 56 bigger than x?
True
Let g = -63 + 68. Suppose -g*x + 0*x = 4*t + 77, 3*x - 5*t + 61 = 0. Let d = 20 + x. Which is greater: 17/4 or d?
17/4
Let h = 884060/291 - 3038. Which is bigger: -12 or h?
h
Let t(b) = b**2 - 18*b - 11. Let k be t(19). Suppose 3 = -2*l - 3*n - 0, -k = 2*l + 2*n. Let a = 10 + l. Which is smaller: -2/23 or a?
-2/23
Let a be 3/(-2) + 2/4. Let j be 6/(-9) + a/((-3)/(-43)). Is -11 bigger than j?
True
Let m = 20035 - 18165. Is -4 >= m?
False
Let x be 6/(-15) - (-392)/(-10)*(-14)/2. Is 278 < x?
False
Let h(q) = -311*q - 4355. Let i be h(49). Is i less than or equal to -19595?
False
Suppose 0 = -14*m - 10*m + 8*m + 16. Does m = -10/1387?
False
Let t(r) = -r**2 - 38*r - 298. Let c be t(-13). Is c at least as big as 9?
True
Suppose 3*z = -0*s - s + 7, -s - 3 = -2*z. Let k = 521 - 515. Let a be (k + (-54)/10)/((-46)/(-5)). Which is bigger: a or s?
s
Suppose 0 = -2*s - 2*l - 10, 3*s = s - l - 7. Let c be (-3 + 6 + -1)/s. Let y be (-2 - c/(1/43)) + 2. Is y equal to 43?
True
Suppose 21*r + 13*r = 0. Suppose r = -31*i + 8*i - 138. Let t = 3/713 + -41381/6417. Is t less than or equal to i?
True
Let x = -5515.29284 + 0.29284. Which is bigger: 0.2 or x?
0.2
Let d(y) = 4*y**2 - 15*y + 18. Let k be 264/33 + -1 + 0 + 1. Let p be d(k). Are p and 155 non-equal?
True
Let y = -607.51 + 646.6. Let m = -0.91 - y. Let d = m + 7. Which is smaller: d or 0?
d
Let s = 0.1438 - 0.2638. Which is smaller: s or 258?
s
Let t be (-221370)/36 + 25/150. Is t at most -6149?
True
Let y = 13 - -28. Let c = 0.32289 - -1.67711. Is c smaller than y?
True
Let h = 332/5 + -3448/45. Let f = 187 + -196. Do h and f have the same value?
False
Let s(l) = -76*l**2 + 4*l - 2. Let j be s(1). Let i be (j/111 - 130/(-42)) + -2. Which is smaller: i or 9?
i
Suppose -j + 13 = 8. Suppose 6*w - 2*w - 12 = -4*n, 9 = 3*w + 2*n. Is j at most as big as w?
False
Let b = 701 - 75. Let z = b - 629. Which is greater: -0.56 or z?
-0.56
Let f = -6246 - -6356. Which is smaller: f or 122?
f
Let b = 83/22 + -36/11. Let q = 41 + -17. Let y = q + -24.04. Which is smaller: b or y?
y
Let g be (-451)/(-33)*15/(-20) + 10. Let h(o) = o**3 - o**2 - o + 3. Let p be h(0). Suppose -2 = -2*j + p*j. Which is greater: j or g?
g
Let x = -8467 - -2404627/284. Are 1 and x non-equal?
True
Let v = -48 + -103. Which is bigger: -607/4 or v?
v
Suppose -4*z + 37 = -5*v, 5*z = -v - 2 + 12. Let w be (-1)/(-4)*-6*(4 - 2). Let r be 155*4/220 - (w + 2). Do r and z have the same value?
False
Suppose 3*l = -3*g - 3, 2*g - g = -3*l + 3. Suppose -2*r = -4*r + l*s - 8, -2*r = 5*s + 8. Let d = 2493 - 12484/5. Which is smaller: d or r?
r
Let r = 15 + 863. Suppose 2706 + r = 56*a. Which is smaller: 59 or a?
59
Let z(h) = 3*h + 22. Let u be z(-7). Let d = -4916447/465 + 10573. Which is bigger: d or u?
u
Suppose 0 = -2*f - 3*o - 0*o + 128, 0 = -2*o - 8. Suppose 3*v + f = -11*v. Are -17/3 and v non-equal?
True
Let z be ((-2)/3)/(148/12 - 13). Is z at most as big as 1/1976?
False
Let d(g) = g**3 + 6*g**2 + 12*g + 39. Let r be d(-5). Suppose -j - 3*a + 37 = -6*j, j + a + 1 = 0. Which is smaller: j or r?
j
Let w be (4 + 8/28)*7. Let u be (-16)/(-9) - 10/w. Let l = u - 25/36. Is 2 greater than or equal to l?
True
Let h be (-161)/92 + 1/4*3. Suppose z + 26 = 2*r + 5*z, 4*z - 11 = -r. Let m be -18 + r - 313/(-104). Is h > m?
False
Let m = -11149 + 8056. Which is greater: m or -3092?
-3092
Let c be (-4)/42 + -39120*12/378. Is c less than or equal to -1240?
True
Let y(i) = 18*i**2 + 37*i - 95. Let d be y(2). Is d != 1119/22?
True
Suppose 126 = -11*t + 29*t. Let v(s) = s + 1. Let a(h) = -8*h + 11. Let j(p) = -a(p) - 4*v(p). Let z be j(t). Is z smaller than 13?
False
Let x be 1/((-5)/(-2)) - (2066526/100035)/49. Which is smaller: 0 or x?
x
Let g(d) = 604*d**3 - d**2 + d + 1. Let i be g(1). Let j = i - 417. Which is smaller: 187 or j?
187
Let c = -5723/9272 - 9/1159. Which is bigger: c or -181?
c
Let u(m) = 119*m - 245. Let h be u(42). Is 4754 at most as big as h?
False
Let g = -0.23 - -0.63. Let d = g + 1.8. Which is smaller: -2/13 or d?
-2/13
Let s = 5843 - 2823. Which is bigger: 3018 or s?
s
Let p(g) = g**2 + g - 40. Let b be p(0). Let v be (-5 + 5 - 4) + 4. Suppose 3*r + 4*f + 136 = v, 5*r = -5*f - 64 - 156. Are b and r nonequal?
False
Let t = -38 - -35. Let u = t - -2. Let n be ((-4)/(-7))/(-1 + 0). Is n greater than or equal to u?
True
Suppose 11*m = 73*m - 62. Which is bigger: 4/15 or m?
m
Suppose 372*g = 52*g. Is g not equal to 2/15815?
True
Let o(i) = 2*i**2 + 8*i - 1. Let u(q) be the second derivative of -q**4/6 - 8*q**3/3 - 3*q**2 + 24*q. Let w be u(-8). Let m be o(w). Which is greater: m or 24?
24
Let q = 0.304 - -1.832. Let t = q - 0.136. Do t and 38 have different values?
True
Let s = -5 - -4. Let m = 24993 - 2824206/113. Which is smaller: s or m?
s
Let z(w) = -w**2 - 174*w - 6658. Let k be z(-52). Which is greater: k or -26?
-26
Suppose -57 - 60 = 13*h. Let i be (-8 - h)/((-1)/(-2)). Suppose m - 6 = -i*q, -4*m - 7*q + 3*q + 8 = 0. Is 2 greater than or equal to m?
True
Let m = -14027/5 - -3829369/1365. Which is greater: m or 0?
0
Let x = -10.95 + -9.05. Which is greater: x or 1.2?
1.2
Let a = 4209 + -4208. Which is greater: a or -104?
a
Let z(d) = -73*d**2 + 16*d + 11. Let i be z(-4). Is i bigger than -1224?
True
Suppose 7*n = 5*n - 3*i + 31, -i - 18 = -n. Let b(l) = -l**3 - 15*l**2 - 16*l - 19. Let u be b(-14). Suppose -c + u = -n. Are 26 and c unequal?
False
Let i = 109810 - 109935. Suppose 0 = 3*k + 4*r + 8, -r - 2 = -k + 3*k. Which is greater: i or k?
k
Let k = -7759 - -7723. Is -49 at least as big as k?
False
Let t = 2794 + 5796. Which is smaller: 8591 or t?
t
Let w be ((-297)/(-369))/((-405)/66 + 6). Is -6 greater than w?
False
Suppose 172067 = -39*a - 57214. Which is bigger: a or 0?
0
Let k = -7470 - -7338. Are -140 and k non-equal?
True
Let v = 93 - 117. Let f be (v/(-36))/(256/(-78)). Let m = f - 85/1472. Is 0 bigger than m?
True
Let b be 224/(-128)*4/(-26)*3537/21. Which is smaller: 44 or b?
44
Suppose 22 = -z - 5*a, 5*a + 11 = -5*z + 1. Suppose 8 = 5*x - 7. Let u be z*(-3)/x - 2. Which is smaller: -4 or u?
u
Let l = 656.56 + -656.6. Which is smaller: 1048 or l?
l
Let m = 239 - 244. Let r be -1*(-24)/36*15/(-2). Is m less than or equal to r?
Tr