True
Suppose -n + 7*w = 10*w + 7, 2*n + 4*w = -6. Suppose -142 - 178 = n*z. Which is bigger: z or -63?
-63
Let z = 2062/363 + 310283/363. Let y = z + -863. Is y greater than -3?
True
Let h be 1/((-94)/4) + 0. Let y = -373.67 + 369. Let z = y - -6.67. Which is smaller: z or h?
h
Suppose 0 = -5*g - 0*g + 20, 0 = -2*h + 3*g - 88. Let v = h - -50. Suppose 124 = v*w + 4. Is 52/5 < w?
False
Let t be (11/(77/(-42)))/2. Let s be ((-1473)/(-480) + t)/(11/22). Is s <= 1?
True
Let x = 610883/83 + -7360. Which is smaller: x or 0?
0
Suppose 3 = 3*h - 4*j - 29, 5*j - 6 = -2*h. Let i be (-5)/(-30)*h/(-6). Which is bigger: i or 0?
0
Let m = -2/25 - 18/1025. Let b = -162 + -45. Let r = b - -208. Which is greater: m or r?
r
Let b be -22 + 13 - (-3144)/320. Is b greater than or equal to 2?
False
Let c(v) = v**3 - 29*v**2 + 28*v + 2. Let g be c(28). Suppose -206 + 55 = g*j - 5*s, j + 71 = 4*s. Which is smaller: -85 or j?
-85
Let a = -3 - -2. Let s(d) = 18*d - 1. Let o be s(1). Let y = a + o. Is y less than 0?
False
Let g be 205/(-35) - 4/6*-3. Let c = 229/63 + g. Let v = 11 + -13. Is c smaller than v?
False
Let j = -385 - -342. Suppose 6*u + 17 = -235. Let m = u - j. Which is greater: -1/22 or m?
m
Let f(g) = 2*g**2 - 21*g + 8. Let z = 512 + -502. Let l be f(z). Let y = 0 + -2. Is l less than y?
False
Let c(z) = 15*z - 120. Let f be 6 + 0 + 1 + 1. Let t be c(f). Which is smaller: -32 or t?
-32
Let x be (1 - -4) + -1 - (44 - -7). Let u be x/15 - 3/((-30)/(-2)). Let p be -1 + -3 - (0 - 2). Is p greater than u?
True
Suppose -4*b = -2*a - 3370, 2*b = -65*a + 64*a + 1683. Let s = b - 842. Is -5/51 bigger than s?
False
Suppose 181 = -10*n - 189 + 360. Is -3/97 > n?
True
Let s be ((1248/(-20))/4)/(-17 + (-3558)/(-210)). Is 271 greater than s?
False
Let h = 8615 + -1833. Which is smaller: h or 6781?
6781
Let x = -8.1 + 8. Let k(u) = u**3 + 4*u**2 - 2*u - 10. Let l be k(-2). Let r be (-1)/2*l*21/(-12). Is r at most as big as x?
False
Let f = -23 - -16. Let b = 8692 + -8849.08. Let w = b + 157. Which is greater: f or w?
w
Suppose 5 = -8*w + 3*w. Let c be ((-265)/26341)/(17/(-119)). Which is smaller: c or w?
w
Suppose 5*m + 450 = 165. Suppose 12*z = 7*z - 75, f + 22*z - 4 = 26*z. Is f at most m?
False
Let j be (315/(-6) - -2)/(-1). Let r = j - 605/12. Let o = -1341.7 - -1342. Is o smaller than r?
False
Let u be -21*16/224*12/(-18). Let y = -88 - -149. Which is bigger: u or y?
y
Let k = -139 + 693/5. Let z = 0.53997 + -0.33997. Which is smaller: k or z?
k
Let v = -1270 + 8888/7. Let z = 6465/5986 - 44/41. Is v less than or equal to z?
True
Let l = 0 + 62. Let k = l + -74. Let x be ((-115)/10)/(2*3/k). Which is greater: x or 24?
24
Let s = 78 + -35. Let u = s + 13. Let a = u - 37. Which is smaller: -1 or a?
-1
Suppose 3*i - 20 = 2*o, -5*i + 21 + 13 = -4*o. Which is bigger: o or 2/729?
2/729
Suppose 0 = -3*d + 68 - 26. Let i(u) = -u**3 - 28*u**2 - 58*u - 142. Let c be i(-26). Is d < c?
False
Suppose 0 = -3*d - 1 - 11. Let q be d/(-746)*((-2 - 0) + 1). Let m = -31 - -30. Which is smaller: q or m?
m
Let x = 38035 + -38036. Which is smaller: x or 3/7736?
x
Let c(i) = -22*i + 28. Let m be c(6). Let s = 74 + m. Are -29 and s non-equal?
True
Let t be 1 + (-10 - -1)*-1. Let p = -5763 + 46179/8. Which is greater: t or p?
t
Let c(r) = -9*r**3 + 50*r**2 + 11*r + 4. Let q be c(5). Which is bigger: 192 or q?
192
Let x = 622/5 - 124. Let d = 17702/4043 - 22/311. Let s = d - 194/39. Which is bigger: s or x?
x
Suppose 257 = n + k - 619, 0 = -4*k - 8. Which is smaller: n or 880?
n
Let y = -9.096 + 84.083. Let u = y + -75. Let c = u + 0.513. Which is smaller: c or 3?
c
Suppose 2*k = -2*k + 2*i + 28, -4*k + 22 = -5*i. Let f = -160.45 - -152.45. Which is greater: f or k?
k
Let c be (18417/28)/(3/(-84)). Let t be 12/16 + c/60. Let l = -305 - t. Is -1 > l?
False
Let f be ((-2)/16 - 34/(-16))*21/534. Are f and 0 nonequal?
True
Let k(u) = -26*u - 41 + 29 + 63*u. Let m be k(1). Which is smaller: 12 or m?
12
Let m(v) = -114*v + 14581. Let j be m(128). Is j bigger than 24.2?
False
Suppose 0 = a - 5*c - 0*c + 11, 3*a - 4*c = 0. Suppose -3*m = -4*k + 156, 0 = 5*m - a*k + 2*k + 246. Let t = 48 + m. Are 2/103 and t nonequal?
True
Let l = -8308 - -9320. Is 2023/2 smaller than l?
True
Let p = -53 + 55. Let w be 20/336 + p/(-8). Which is smaller: 0 or w?
w
Suppose 55*m - 4*o = 53*m - 650, -4*o + 323 = -m. Let t = -328 - m. Which is bigger: -25/11 or t?
t
Let u = 1823/2 - 937. Let m be -28 + (2 - 0/11). Which is bigger: u or m?
u
Let d be 12 + -4 + 301/(-43). Suppose -5*h = -j + 5*j - 13, h = 4*j + 17. Let z be (-336)/790 - (-2)/h. Is z less than d?
True
Suppose -636*m + 50*m - 2731932 = 0. Is m not equal to -4660?
True
Let w be (-40590)/585 - (1 + -5)/1. Are -65 and w equal?
False
Suppose -z - 2*v = -48 + 6, -5*z + 129 = v. Let w be (18/(-8))/((-6)/62). Is z < w?
False
Let z be (1*(9 - 12))/(6/(-8)). Let s be (-370)/148 - ((-6)/z - 0). Are -5/3 and s unequal?
True
Let b(d) = d**3 - 72*d**2 + 61*d - 284. Let i be b(71). Which is greater: -996 or i?
i
Suppose p - 8*p + 14 = 0. Suppose -5*c - 137 = 5*j - p*c, -c = 4*j + 111. Let n be (23 + j)*(-14)/10. Which is smaller: n or -3?
-3
Let v = 2.116 + 0.144. Let b = 0.74 + v. Which is smaller: -77 or b?
-77
Let u(g) = g**3 + 10*g**2 + 10*g + 19. Let p be u(-9). Suppose 2*s + 11*c = 9*c + 10, -p = -2*c. Let l = 23 + -14. Are s and l unequal?
True
Let w be (-53 + 51)/(-1 - -3)*(3 + -2). Is -39/569 bigger than w?
True
Let q(z) = z**3 + z**2 + 1. Let x(p) = 2*p**3 + 14*p**2 + 7*p - 15. Let i(t) = -3*q(t) + x(t). Let n be i(11). Let k = 58 - n. Which is smaller: -4 or k?
-4
Let n = 3748874354651533 + -56649127906908633578887/15110970. Let p = n + -37/45930. Let g = p + -30/47. Which is smaller: g or 3?
g
Let m(n) = 4*n + 22. Let d be m(-5). Suppose 0*c + 173 = 5*l + 4*c, 0 = -d*l - c + 68. Which is smaller: l or 36?
l
Let c = 138607 - 138607.3. Let g = -0.24 + 0.302. Is c smaller than g?
True
Let s = 124 + -112. Let m be (5/2)/((1 - 7)/s). Which is bigger: -7 or m?
m
Let r = 6617/10 + -610. Which is greater: 53 or r?
53
Let a be -2834 + (-21 - (-5 - 4)). Does a = -2845?
False
Let i be 4/(-10) - (-6)/(-10). Let k be (-4 - -1) + (26 - 21). Let p be (1/k)/(i/(-28)). Is p at least as big as 14?
True
Let d(a) = -4*a + 4. Let r be d(-6). Let b = -27 + r. Which is smaller: b or -1/73?
-1/73
Let z = 2 + -3. Suppose f + 119 = 4*r, -4*f + 4*r + 57 = 557. Is f smaller than z?
True
Suppose 6*v - 5 - 7 = 0. Suppose 4*g + 16 = -4*s, 0*g + v*g = -5*s - 17. Let d be ((-1)/s)/(13/(-39)). Is 2/201 at most d?
False
Let a = 1047 + -459. Which is greater: a or 587?
a
Let a be ((-216)/90)/(4/(-10)) - (-81)/(-1). Is a at least as big as -15?
False
Let d = -6017561/986 + 6103. Which is greater: 1 or d?
1
Let h be (4/(-10) + 1)/((-137)/11645). Is -199/4 at most h?
False
Suppose 0 = -5*b - 10, 8*u - 11*u + 13 = -2*b. Suppose 28 = 5*w + l, -u*w + 3*l - 11 = -35. Let c = -7 + 13. Is c greater than or equal to w?
True
Suppose 65*w - 21*w = 0. Let a be (190/12)/19 - w. Which is greater: -14 or a?
a
Let s = -3949 - -4380. Is s greater than 427?
True
Suppose -n + 3*n - 109 = -5*r, 3*n = 6. Suppose -r*f + 22*f = -19. Is f > -16?
False
Let k = 1 + -3. Let a = 530.285 + 0.715. Let w = a - 533. Is k bigger than w?
False
Let m(q) = -q**3 - 15*q**2 + 36*q + 38. Let j be m(-17). Suppose j*a + 4*h = -272, -3*a = -11*h + 10*h + 216. Is a at least as big as 0.2?
False
Let i = -104 - -104.8. Is i < -61?
False
Let r be ((45/6)/(-5))/(6/(-32)) + -7. Which is smaller: r or -56/223?
-56/223
Let k(n) = -5*n + 5. Let x be k(0). Suppose x*l - 5*z = 3*l + 138, 0 = -3*l + 4*z + 200. Let i be 4 + (-4)/l*86. Which is greater: i or -1?
-1
Suppose 4*k + 5*r - 265 = 0, 32*r = 29*r + 3. Let h be 395*((-34)/12)/(-17). Is k greater than h?
False
Let z(q) = 52*q**3 - q**2 - 3*q - 3. Let b be (3/(-4 - 2))/(3/6). Let m be z(b). Which is greater: m or -54?
m
Let v be ((-2)/(-3))/((-7308612)/(-235764) - 31). Is -6547/3 bigger than v?
True
Let q = -34 - 45. Suppose -2*g - 164 = 2*a, -7*g = -10*g - a - 238. Let x = g - q. Is 92 not equal to x?
True
Let u be 4/(-309)*(-9)/(-26). Let l = -46901/8034 - u. Suppose -i - 9 = 2*o, -7*o + 4*o = -i + 1. Is l bigger than i?
False
Let t(y) = 4*y + 3. Let x be t(-2). Let r(k) = k**2 - 20*k - 4