4)/(-2))/(8/(-4)). Is j at least z?
True
Suppose -349 = -3*g - 2*r - 301, -4*r = 2*g - 48. Let b be 3 + (3 - (-6)/(-2)). Is g at most b?
False
Suppose 5*d = 149 + 1. Let p be 18/d + 8/20*-4. Which is smaller: p or 1?
p
Suppose -178 = -2*g + 228. Let m = g + -224. Which is greater: m or -22?
m
Let a be 8/16 - ((-14625)/10 - 2). Is a at least 1462?
True
Let x = 8843627/3825514 + -3/49682. Are 2 and x nonequal?
True
Let f = 1735 - 2068123/1192. Which is smaller: f or -1?
-1
Let w be -160*1*(-12)/30. Let s be (w/10)/((-7)/35). Which is bigger: -33 or s?
s
Let f(d) = -18*d + 129. Let z be f(8). Let w be (546/980)/((-3)/z). Which is bigger: w or 2?
w
Let y = 16218 - 16213. Which is bigger: y or -0.4146?
y
Let w = -124999 + 124497.59. Let j = -6.41 - w. Which is greater: j or 1?
j
Let s = 332.34 - 332. Let g = s + -49.34. Which is greater: 0.1 or g?
0.1
Let k = 106637 - 38176071/358. Which is bigger: k or 1?
1
Let z(p) = -2*p**2 + 44*p + 218. Let q be z(0). Are q and 213 unequal?
True
Let x = -47 - 0. Let m = 48 + x. Let n = m - 3. Does -3/4 = n?
False
Let v = -16 - -19. Suppose k - 352 = -5*d, -2*d - 3*k = -5*d + 204. Let o be ((-6)/20)/((-12)/d). Is v at least o?
True
Let m = 9780 + -13374. Is m greater than -3594?
False
Let v(b) = b**2 + 2*b + 2. Let g be v(-6). Let u = g + -16. Let c be (7 - 3) + 5 + -2 + 1. Is c greater than u?
False
Let z = 1136 + -1173. Is -400/11 >= z?
True
Suppose -2*p - 3*n - 11 = 0, -2*p + 13 = -0*n - 5*n. Let d be 16/(-208) - 1799/1456. Is d smaller than p?
True
Let c = 9/626 + 16015/18154. Let z = 3488 + -3488. Do c and z have the same value?
False
Let b be 65/(-130) + 10/(-4). Let p(q) = 11*q**3 + 7*q**2 + 3*q + 6. Let t be p(b). Is t bigger than -236?
False
Let h = 1983048729 - 1021270516361/515. Let s = h + 4087/5. Does 1 = s?
False
Let w(r) = r**2 + 6*r + 10. Suppose 221 = 5*z + 41. Suppose 19*b = 7*b - z. Let q be w(b). Which is smaller: q or -2/5?
-2/5
Let j = 23 + -24. Let x = 53 + -49. Suppose v = 4*s + 24, -13 = x*s + 3. Is j smaller than v?
True
Let u = -4/309 + 935/618. Which is greater: 47 or u?
47
Suppose 0 = -l + r + 169, 0*r = 4*l + 3*r - 655. Let n = -11889 + 12054. Is l greater than n?
True
Let u be 1452/48 + (-3)/12. Let w be 174/u + -7 + (-1)/(-5). Which is bigger: w or 1/269?
1/269
Suppose -12 = -2*d + 4*g, 5*d = 2*g + 3*g + 10. Let n be (1 + 0)*d - -2. Suppose -3*k + 6*k = n. Is k at most as big as 2/79?
True
Let y = 78384 + -36135063/461. Which is smaller: 0 or y?
y
Let c = -27380 - -52624359/1922. Let j = -134781174493549/32674 - -4125028294. Let g = c - j. Is -1 <= g?
True
Let v = 670 - 27468/41. Suppose 85 = -2*m - 3*m. Let n = m + 18. Is v at least as big as n?
False
Suppose -4*o - 2 + 22 = 4*v, -o - 4*v = -20. Let l be 1/6 - (-3 - 11/6). Let j be (-3)/(-372)*254 - (l + -3). Do j and o have the same value?
False
Let m = -13445 + 13424. Is -201 at least m?
False
Let w(o) = -3*o + 9. Let d be w(-7). Let l be ((-1)/(-2))/(15/d). Let v be -3 + 126/26 + l*-2. Which is smaller: v or 1?
v
Let w be (-45 - 9080/(-200))*5/(-2). Which is smaller: 1/4117 or w?
w
Let o = -0.09 - 0.8. Let v be 21/15 - 1 - (-1422)/2370. Is v not equal to o?
True
Let z be -189*2*(12 + (-5)/(-15)). Is -4661 not equal to z?
True
Let j be (2 - 85/50) + (-1323234)/4423980. Is -1 >= j?
False
Suppose -2*o - 1078 = 372. Let f = 673 + o. Which is bigger: -56 or f?
f
Suppose 4*f = -2*b + 22, -8 = 3*b - 6*b - f. Suppose 4*z - 3*z = -b. Let a = -7115/6 + 1186. Which is smaller: a or z?
z
Let u = 108315 - 108315. Let g = -156/107 - -14570/11021. Is u not equal to g?
True
Let n = -65 + 30. Let z be 1554/259 - 3/8*109. Is z at least n?
True
Let u(o) = -3*o + 28. Let c be u(8). Suppose p - 5*v + 149 = 0, c*p + 170 = -2*v - 536. Which is smaller: p or -175?
-175
Suppose 5*f = 0, -2*f + 7*f = 4*m + 12. Let q be (3/m)/((-3)/(-24)). Let w = 5272 - 5279. Which is bigger: w or q?
w
Let y(k) = -2*k**2 - 4. Let h be y(-3). Let z = h - -26. Suppose -4*d + z*o = -44, 32 = 3*d + 2*o - 6*o. Is 12 != d?
False
Suppose -w + 1690 = 1270. Suppose -9*k + 3*k = -w. Let i be (-2)/9 - 1282/(-18). Which is greater: k or i?
i
Let v be 2780/15*(-3)/(-2). Let m = 5493 - 5217. Which is greater: v or m?
v
Let h be 2/(6 - 740/123). Let c = 84 + h. Which is smaller: -1 or c?
c
Let a(p) = -136 - 9*p + 55 + 162. Let x be a(6). Which is smaller: x or 0?
0
Let z be (-3)/(6 + 4/(-8)*(-425560)/(-35460)). Which is bigger: 5317 or z?
z
Let h be (0 - -5) + (-1)/(-45)*878. Let b = 122/5 - h. Is -6 < b?
True
Suppose -153 = -3*j + 4*m, -3*m - 46 = j - 2*j. Suppose -299 + 79 = -4*q. Is j less than or equal to q?
True
Let p = -10878 + 10498. Which is greater: -391 or p?
p
Let u(q) = -q**3 + 17*q + 32. Let g be u(-2). Do 1/25 and g have different values?
True
Suppose -3*z - 4*t = -170, -3*t = 4*z - 2*t - 244. Suppose 2*i + 216 = -3*j + 5*i, -3*i + 145 = -2*j. Let y = j + z. Which is greater: y or -66/7?
y
Let l be 1 - 58/(-8)*7. Let u(g) = -1571*g + 66035. Let c be u(42). Which is bigger: l or c?
c
Let u be 9/22 - (-1)/2. Let m = -5257/769 + 3643083/617507. Let a = m + u. Which is bigger: a or -0.1?
a
Let i be 6 + -114 + (-2 + -3 - 0). Let v = -7/996 + -111877/996. Do v and i have different values?
True
Let j = -0.588 - -0.098. Let v = -343.49 - -344. Let n = v - j. Is 0.1 <= n?
True
Suppose -3*l = -3*q + 282, -3*q + q - 2*l + 208 = 0. Let m = 98 - q. Which is smaller: -5/9 or m?
m
Suppose 2*q - 10*z = -9*z - 17, -6*q - 48 = -2*z. Is -13/9 less than q?
False
Let c(r) = 4948*r**2 + 37*r - 38. Let n be c(1). Is 4947 greater than n?
False
Let l = 8.3 - 1.3. Let h = 172684 + -172658. Is h > l?
True
Let n(c) = c**3 + 121*c**2 + 127*c + 864. Let s be n(-120). Which is smaller: s or 745?
s
Let g = 2 - 1.93. Let v = 182.65 - 180. Let w = v + -2.55. Do w and g have different values?
True
Let o(n) = -123*n - 1118. Let p be o(-9). Let i = -11 + 0. Let g be (0 - 2) + i + 0. Which is smaller: p or g?
g
Suppose -4*s - 859 + 108 = j, -172 = s - 5*j. Suppose 4*d = -5*t - 398, -5*d = 5*t - t + 493. Let w = s - d. Is -90 at most as big as w?
True
Suppose 13*u - 23*u + 40 = 0. Let x = u + -2. Suppose -r + 5 = 4*r + 4*l, -3*r + l + 3 = 0. Which is smaller: x or r?
r
Let h(i) be the third derivative of -11*i**4/24 + 5*i**3/3 + 4*i**2. Let u be h(4). Let z = u + 45. Which is smaller: z or 23/2?
z
Let b(o) = -o**3 + 202*o**2 - 549*o + 29779. Let p be b(200). Let s be (-38)/8 - (-1)/(-4). Is p smaller than s?
True
Suppose d = 5*z + 5, 3*d - 2*z - 1 = 1. Suppose 4*p - 48 = -d*p. Let j be (p/9 + -3)*2/(-5). Which is smaller: 5 or j?
j
Let h(r) = -6*r**3 + 15*r**2 - 14*r + 4. Let n be h(1). Which is bigger: n or -2/22883?
-2/22883
Let f = 71.9 + -13.6. Suppose 80*n = -5*q + 76*n - 55, 15*n + 227 = 2*q. Which is greater: q or f?
f
Let k(u) = -30*u - 109. Let f be k(-6). Let b be 1*(-4 - (3 - 79)). Which is bigger: f or b?
b
Suppose -6504 = -243*l + 234*l + 12963. Which is smaller: l or -0.1?
-0.1
Let j be (1020/24)/5*(-5 - 13). Which is smaller: j or -113?
j
Suppose -130 = -5*v + 2*v - q, -3*v + 4*q = -140. Suppose f + 5*i + 24 = 0, 120 = -f - 4*f + 3*i. Let s be (2 + v/f)*(-16)/22. Are s and 0 equal?
False
Suppose -3*s - 10215 = -3*x, -32*s = -36*s + 4. Is x < -2/9?
False
Suppose -4*r = 2*x - 386, -3*x - 29 = r - 138. Is r < 94?
False
Let x(l) = -l**2 - 3*l + 5. Let h be x(-4). Suppose -18*r + 7 = -23*r - 2*r. Let g be (1/h - r)*(-18)/12. Do -3 and g have the same value?
True
Let y be 0*(-1)/(-6)*1. Let n be (-1 - -6) + y/108. Which is smaller: n or 46/9?
n
Suppose 0 = 4*o - 8*o - 3*s + 78, 3*s = -5*o + 99. Let n be o/14*6/45. Is 0.83 at least as big as n?
True
Let i = -644 + -392. Is -1039 at least i?
False
Suppose 28 = -3*m - r, -4*m + 103*r - 101*r + 16 = 0. Let p = -13 + 3. Is p smaller than m?
True
Let p = 204 + -177. Let d be (-1346)/2110 + p/180*4. Which is smaller: -1 or d?
-1
Let y be 1 - (77/(-2) + (18 - 16)). Let g = y - 603/16. Let k = -5 + 6. Is k > g?
True
Let l be 0 - (-5565)/1895 - (-3)/(-1). Which is bigger: -1 or l?
l
Let c = -178 - 64. Let k = -364 - c. Which is smaller: k or 2/5?
k
Let o = -10966/3 + 3656. Is -360 <= o?
True
Let c be ((-158)/(-4) + 2)*-2. Let d(z) = -39*z + 83. Let q be d(0). Let l = q + c. Is l > -2/257?
True
Let n(t) = -t**3 - t**2 + 23*t + 15. Let h be n(-5). Suppose 