0. Suppose -12 + 0 = -4*z + 4*s, -2*z + s + 8 = 0. Does z = b?
False
Let y = 5603/2 + -2735. Let b = -4099/62 + y. Is b > 1?
False
Let i(d) = -3*d**2 + 74*d + 35. Let o be i(25). Let s be 402/o - 0/(-11) - -1. Is s != 41?
True
Let f(i) = 665*i - 3025. Let g be f(10). Is 3626 >= g?
True
Let n be (3/(-192))/(54/(-8)). Let f(a) = 111*a + 3775. Let p be f(-34). Is p bigger than n?
True
Let n = -2653 - -9081. Which is greater: n or 1?
n
Let m(x) = x**2 - 91*x + 142. Let c be m(92). Which is bigger: c or -25?
c
Suppose u = 5*z + 5*u - 88, 0 = 3*z + u - 57. Let n be (z/72)/((-15)/(-84)). Are n and 3 non-equal?
True
Let p = 292 + -311. Which is smaller: p or -9/11?
p
Let a = -0.0577 - 298.6923. Let n = a + 299. Which is greater: 2/5 or n?
2/5
Let p be -1 - -24 - 245303133/10665365. Does p = 1?
False
Let u = 164 + 134. Let b be 4 + 0 - 3*u/(-6). Which is smaller: b or 154?
b
Suppose z = 2*o - 3*z - 10, 5*o - 16 = z. Suppose -5*w - o*j + 4 = -0*j, 4*j = 5*w + 17. Which is bigger: w or -2/817?
-2/817
Let z(i) = -i**2 - 9*i + 7. Let g be z(-10). Let s(d) = -5*d**2 - 7*d. Let b be s(g). Let h = b - -23. Do h and -1/3 have the same value?
False
Let m = 1110.473 + 3.527. Is m greater than 2?
True
Let j(a) = -a**3 - 4*a**2 - a - 3. Let q be (1 - 0) + (-11)/(77/21). Let s be 0 - (26/(-65))/(q/20). Let k be j(s). Are -1/79 and k equal?
False
Suppose -16864 = -61*g - 187*g. Is -141 greater than or equal to g?
False
Suppose -210 = 48072*v - 48093*v. Is 97 greater than or equal to v?
True
Suppose 0 = 2*t - 2*b + 158, -t + 5*b - 60 = 39. Let s be -2 + t/(-72) + (-6)/(-6). Is s less than or equal to 0?
False
Let p(g) = 15*g + 38. Let h(y) = -34*y - 77. Let c(w) = -6*h(w) - 13*p(w). Let l be c(4). Are l and -68 nonequal?
True
Let r = 160.98 - 161. Let t be 6/16*(-8)/(-6). Is r equal to t?
False
Let t be ((-4014)/72)/(-18 - -14). Which is smaller: t or 15?
t
Let u = 1 - -1.04. Let b = -0.04 + u. Suppose 41*c = 72*c - 362*c - 1986. Which is greater: c or b?
b
Suppose -2*w + 2*t = 174, -w + 0*t + 4*t - 96 = 0. Let p = -88 - w. Is 2 at least p?
True
Let p = 2015 - 308297/153. Suppose 5*q - 6 = 4. Let v be 2/q - (9 + -9). Which is smaller: p or v?
p
Let c(a) = 2*a**2 - 3*a - 4. Let j = -48 - -51. Let m be c(j). Suppose 0 = -4*g - 9 + m. Which is bigger: g or -2/45?
-2/45
Suppose -5*w + 31*u = 34*u - 2, -u = 5*w - 4. Does w = -2879?
False
Let j be 110/(-11)*((-4)/6 - (-133)/285). Is j greater than -499?
True
Let n(a) = -13*a**3 - 44*a**2 - 132*a - 32. Let u(j) = -5*j**3 - 15*j**2 - 44*j - 10. Let q(x) = -3*n(x) + 8*u(x). Let r be q(15). Is 2/857 != r?
True
Suppose 2*f - 3*f - 1 = 0. Let y be (3/(-204))/((-207)/2760). Which is greater: y or f?
y
Suppose 0 = -u, -672 = 3*j + 7*u - 8*u. Let m = j + 273. Let y be (-486)/(-10) + (-4)/(-10). Are m and y non-equal?
False
Suppose 8*t - 80 = -80. Suppose -6*c - 31*c + 6697 = t. Is c < 181?
False
Let o be (-4 - -6)*(-1 + 1/2). Let n be ((-20)/(-30))/(o*4/6). Let w be 1/3*45/1*n. Is -15 < w?
False
Let l = -153 + 175. Let v be -9 + (-330)/(-36) - l/(-12). Suppose -z - 4*z = -v*z. Which is smaller: z or 6/7?
z
Let k = 303 - 302. Let j = 14.2 + -15.61. Which is bigger: j or k?
k
Let l = 34 + -11. Suppose 3*h - 4*h = 2*p - l, -h = 5*p - 29. Let k(d) = d - 34. Let x be k(h). Are -14 and x equal?
False
Let j = -85.1 - -84.9331. Let b = 0.0169 + j. Are b and 0.08 equal?
False
Let c = -1155 + -402. Which is smaller: c or -1558?
-1558
Let b(n) = n**3 - 29*n**2 - 27*n - 118. Let x be b(30). Let g be (6/(-8))/((-21)/x). Which is bigger: g or -3/41?
-3/41
Let k = 304.81 - 317.81. Let c = -33.13 + 33. Which is greater: c or k?
c
Suppose 3*n = -5*i + 25, 16 = -4*i + 2*i + 4*n. Suppose -z + 1 - i = 0. Let v be (-224)/(-140) + 1253/(-805). Is z less than or equal to v?
True
Let o be (-2)/3 - (-41)/(-15). Let z(d) = 2*d**2 - 12*d - 786. Let u be z(23). Is u <= o?
True
Suppose -22 = -5*u + 3*c, -4*u - 22 = -7*u + 4*c. Let b(g) be the first derivative of g**4/4 - g**2/2 + 2*g - 5. Let i be b(0). Is i at most as big as u?
True
Let w = 5 + -4. Let z be (3 - w) + -1 + 2. Let d = 14/2621 - -18291/10484. Is z bigger than d?
True
Let v = 32585 - 32583. Which is bigger: -0.0034 or v?
v
Let k = -42.4 + -7.6. Let m = 49.8 + k. Does -16 = m?
False
Let c be (19368/16)/(4*84/128*1). Which is greater: 460 or c?
c
Let c be 9/12 + ((-4104)/32)/19. Let a = -18 + 18.12. Is a equal to c?
False
Let v = 95/3 - 31. Let w = 37.32 + 32.68. Which is smaller: w or v?
v
Let k = 0.7 + 0.3. Let j = -1216.6 - -1216.525. Are j and k equal?
False
Let o(x) be the second derivative of x**5/20 + 5*x**4/3 - 13*x**3/3 - 53*x**2/2 - 127*x. Let y be o(-21). Which is greater: y or 55?
55
Let y = 5938 + -5823. Which is smaller: y or 65?
65
Let x = 199 + -179. Suppose x*n - 12 = 8. Which is smaller: n or 3/151?
3/151
Let f be 3096/(-2379) + 178/1157. Are 0 and f nonequal?
True
Let s(d) = -d**2 + 1. Let i(w) = 5*w**2 + 5*w + 6. Let a(c) = i(c) + 6*s(c). Let q be a(6). Suppose 8*h - 7*h - q = 0. Do 4 and h have different values?
True
Let m be 11*(5 + -2) + -1. Let t be (10/(-12))/((-8)/48) + -32. Let d = m + t. Which is greater: d or 15/4?
d
Suppose -2*i = -5*t - 82, 0 = i - 4*t + 575 - 613. Is 22 less than or equal to i?
True
Let l be ((-2)/(-2) - 4) + 33. Let n = l - 27. Suppose -2*m = -n*m + 21. Are m and 22 nonequal?
True
Let b(z) = z**2 - 670*z + 11124. Let c be b(17). Suppose 0*i = i + 1. Let g be (48/(0 - 2))/i. Are c and g equal?
False
Let p = -3081 - -3080. Which is bigger: p or 12/547?
12/547
Let w = 0.3 + -0.6. Let x = 0.3 + w. Let h = 36.37 - 20.37. Which is bigger: x or h?
h
Suppose 54*h - 2250 = 60*h. Which is bigger: -386 or h?
h
Let f = -35906 - -825600/23. Which is smaller: f or -10?
f
Suppose 0 = 2*z - 6*r - 7520, 4*z - 15048 = 74*r - 70*r. Is z at least as big as 3762?
True
Let g = -4.5 + 0.5. Suppose -5*h + 2*p - 18 = 8, 2*p = 4*h + 20. Let z be ((-2)/h)/(60/(-135)). Is z equal to g?
False
Let l be (-528 - 1) + 9 + -3. Let q = -425 - l. Which is smaller: 100 or q?
q
Suppose -416 = -i + 1080. Let k be -8 + 9 + i/(-1500). Is -2 greater than k?
False
Let z(b) = -6*b + 87. Let x be z(12). Suppose 2 = 5*h - p, -h + 5*p + x = 5. Is -5/136 equal to h?
False
Let m = -1307 - 547. Which is smaller: -1856 or m?
-1856
Let o = -207 + 48. Let z be (-9542)/(-24)*(-214)/535. Let k = o - z. Is k < 0?
False
Let l be 154/12 + 2/3. Suppose -2*u = 32469*w - 32473*w + 74, 0 = -3*w + u + 50. Is w > l?
False
Let y be 60/(-27) + 2 - (-380)/90. Suppose -17*q + y*q = 0. Let c = -1595/6 - -267. Is c != q?
True
Let d be (118/(-41))/((-9)/50 + 94/1175). Which is smaller: d or 29?
d
Suppose 0 = -3*z - 5*d - 44 + 41, -5*z - 3*d - 5 = 0. Let c = 8552/59 + -145. Is z less than c?
True
Let d = 2.86857 + -2.87257. Let r = -3 - -2.9. Which is greater: r or d?
d
Let x be ((-234)/(-39))/((-6)/32). Let g be ((-21)/(-28))/(36/x). Is -0.0203 less than g?
False
Let k = 0.6839 - 1.1239. Let i = -4.4 - -4.3. Is i equal to k?
False
Let z = -4.3 + -7.3. Let u = z + 12.6. Are -36 and u equal?
False
Let j be 8 - (9 - 6) - (0 - -30). Let x(v) be the second derivative of -v**5/20 - 25*v**4/12 + v**3/6 - 17*v**2 + 7*v. Let o be x(j). Is o <= -59?
True
Let d = -513 - -154. Let b = -359 - d. Which is smaller: b or 65/6?
b
Suppose -10*n - 32*n + 11*n = -4433. Do n and 162 have the same value?
False
Let h = 652 + 362. Which is greater: h or 1013?
h
Let d(n) = 4*n**2 + 103*n + 511. Let y be d(-19). Is -1329 less than or equal to y?
True
Let b = -533 + 537. Suppose 30*l = b*w + 31*l, -w + 5*l = -21. Are 2 and w equal?
False
Let c = -2 + 0. Let r = -1198 + 1191. Is r at most c?
True
Let v = 78.07 - 72.3448. Let b = v - -0.0048. Let o = b + -6. Are o and 0 unequal?
True
Suppose 60 = 2*n + 42. Let f be n - 770/63 - (-2 + -1). Which is bigger: f or -86?
f
Let t = 3850 + -4215. Is -364 at least as big as t?
True
Let u = 0.143 + -0.053. Is 4/7 at most as big as u?
False
Let v be (-8)/(-56)*14*1/20. Let i = 9050997/170 + -53241. Let f = v - i. Which is greater: f or 1/2?
1/2
Let r(n) be the third derivative of n**5/6 - 43*n**4/24 - 3*n**3/2 - 3*n**2 + 24. Let h be r(5). Which is bigger: -1 or h?
h
Suppose 6*q - 131 = 103. Suppose 30*u - 351 = q*u. Which is bigger: -41 or u?
u
Let h(n) = 60*n + 230. Let g be h(-7). Is -184 < g?
False
