 = -0.57 - a. Which is greater: -0.1 or p?
-0.1
Let p = -0.03671 + -1.16329. Let f = -71 + 567/8. Is p at most as big as f?
True
Let g = 681 - 12936/19. Which is smaller: g or -2/147?
-2/147
Let i = -14987 + 15290. Which is smaller: i or 1/2?
1/2
Let c = -5.2 + 1.6. Suppose d - 368 = -3*x + 3*d, -5*x - 4*d + 650 = 0. Let t = 505/4 - x. Is c less than or equal to t?
True
Let v be (-1 + (11 - (-231)/(-22)))/(1/22810). Is -11406 less than or equal to v?
True
Suppose -9*u + 2*o - 2 = -4*u, u + o = -6. Let x be 1 + 1 - (u - 64/(-17)). Which is smaller: 0 or x?
0
Let y = -9.136 - -0.136. Let c = y + 9.01. Let f = -192 + 2114/11. Which is bigger: c or f?
f
Let f be (93/(-9) - 5)*(-5 + -4). Suppose 174*z = 180*z + f. Let m = -51/2 + 4. Is z > m?
False
Suppose x = 5*x. Let p be (-49)/7*(-1 + -72). Let m = -13795/27 + p. Which is greater: m or x?
m
Suppose -s = 4*s. Let j = -28.27 + 28. Is s bigger than j?
True
Let u be (21 - 192/8)*(-4544)/(-6). Are -2269 and u non-equal?
True
Let w(l) = -8*l + 16. Let v be w(2). Suppose v = 7*t + 369 + 233. Which is smaller: t or -85?
t
Let n(b) = 2*b**3 - 16*b**2 - 90*b + 8. Let a be n(-4). Is -115 equal to a?
False
Let q(p) be the second derivative of 5*p**3/6 + 5*p**2/2 + 3*p. Let i be q(0). Suppose -3 + 10 = b - 5*u, u + 17 = -i*b. Is b > -14/5?
False
Let h = -122 + 127. Suppose -t - 7 = 5*o, 0 = -5*t - 2*o + h - 17. Is -9/17 bigger than t?
True
Let i = -242 - -246. Suppose 0 = -i*l - 2*t + 180, -5*l = 5*t - 140 - 75. Which is greater: 48 or l?
48
Let j be (92/12 + -1)*-3. Let n be j/(-50) - (-7)/(-5). Let y = -21789/280 - -389/5. Is y smaller than n?
False
Suppose 9*l = 7*l + 4. Suppose 4*v + k + 3 = 0, 0 = -7*v + 3*v - l*k - 6. Suppose 6*c - 10*c + 28 = v. Which is greater: c or 8?
8
Let k = 4373 + -4336. Which is smaller: 39 or k?
k
Let d = 747.3 + -688. Let t = -30.3 + d. Is t at most as big as 0.5?
False
Let o be (77*4/88)/(1/(-2)). Which is smaller: -8 or o?
-8
Suppose 190 - 190 = -18*n. Which is bigger: 1/764 or n?
1/764
Suppose 25 = -5*b, -19*b + 826 = 3*j - 18*b. Suppose -31*d - 2881 + j = 0. Is d > -84?
False
Suppose 131*i = -0*i - 262. Let y be 4/(-6)*3 + 134. Let z be ((-16)/y)/(i/(-3)). Which is greater: z or 0?
0
Suppose 2*j + 5 = 1. Let w be (-2 - j)*(-9)/18. Let s = -18/17 - -199/204. Which is smaller: s or w?
s
Let a = -5201 + 12042. Is a less than or equal to -0.1?
False
Let k(u) be the third derivative of -u**5/60 + u**4/24 + u**3 - 7*u**2. Suppose 11*t - 14*t - 9 = 0. Let q be k(t). Which is smaller: q or -9?
-9
Let t be -2*((2475/(-18))/(-11) - 7)*2. Which is bigger: t or -122?
t
Suppose o - 74808 = 4*c, 0 = -15*c + 14*c + 3*o - 18691. Is c smaller than -18704?
False
Let y(j) be the third derivative of 5*j**4/24 - j**3/2 + 381*j**2 + 2*j. Let c(h) = h**2 - 8*h + 9. Let o be c(7). Let k be y(o). Is 9 bigger than k?
True
Let c = -19694104/427 - -46122. Let u = c - 1258/19215. Which is smaller: u or 1?
u
Let d = 5883 + -5883. Are d and -1/1738 non-equal?
True
Suppose 2*i + 3*i = -3*d + 2583, d - 835 = -6*i. Is d at least 872?
False
Let n(c) = -22 - 194*c + 66*c + 67*c + c**2 + 65*c. Let d be n(3). Let s be 87/(-48) + (-1 - -3). Which is smaller: d or s?
d
Let y = 16977 - 16976. Which is greater: -115/58 or y?
y
Let x be -3*(2189928/(-1491) - (-2)/7). Let a = x - 4406. Let s = a - 745/568. Which is smaller: -1 or s?
s
Suppose 2*b - 2*a = -88, -4*a - 52 = 38*b - 36*b. Is -79 smaller than b?
True
Let a = -811 - -1946. Is 1137 != a?
True
Let a = -381.224 - -0.224. Let r = a + 384. Is 65 greater than r?
True
Suppose 23*d = 25*d + 238*d - 6720. Let b = 1 + 0. Is d at most b?
False
Let l = 1468 + -16136/11. Let f = 168 - 286. Let v = 116 + f. Do l and v have the same value?
False
Suppose 5*c = -4*v + 167, 3*v + 5*c - 149 = 6*c. Let o = -5 + 7. Suppose 72 = -3*i - 2*l, -o*i + 0*l - v = l. Is i at least as big as -23?
False
Let u = 5759 + -5760. Which is smaller: 2/15939 or u?
u
Let s = 300.0389 + -0.0389. Let x = -340 + s. Is x equal to 1/3?
False
Let o(l) = 21*l - 246. Let v(c) = -c. Let y(j) = o(j) + 5*v(j). Let p be y(26). Is 172 less than p?
False
Suppose 3*a + 4 = -3*g + 7, -4*g - 3*a + 8 = 0. Let k(d) = -d**2 + 9*d - 5. Let t be k(9). Is g at most as big as t?
False
Let m be ((-14)/4)/((-1)/36). Let j(a) = a**2 + 16*a - 141. Let s be j(-17). Let c = m + s. Which is smaller: c or 5?
c
Let n be 1*((-6)/(-8) + (-60)/(-48)). Suppose -3 = 5*g + n. Let r be (-12)/117 - 3/(-9). Is r less than g?
False
Let h = 28963/7 - 4113. Which is smaller: h or 25?
h
Let b be (-3)/((3*(-5)/75)/3). Let j be -4 + b/(-12)*7/(-6). Which is bigger: 8 or j?
8
Let q be (-2 - -8)*(-93)/54*2. Is q >= -21?
True
Let c = 37 + -21. Let k be (-20)/c - 54/8. Let y be 1/k*40/(-4). Which is bigger: -3 or y?
y
Let x(y) = y**3 + 12*y**2 - y. Let c be x(-12). Let h = 102 - 321. Let i = 230 + h. Which is smaller: i or c?
i
Let r(h) = -570*h + 2279. Let v be r(4). Is -123/200 at least v?
True
Let g be 21 + 26/(728/(-2044)). Which is greater: -3/77 or g?
-3/77
Let c = -384 + 383. Which is greater: 17/296 or c?
17/296
Suppose 20 = 2*w - 112. Suppose -q + 0 = w. Let d = q + 57. Which is bigger: d or -8?
-8
Let z = -1241/2912 + -1/416. Let j = -148.198 - -0.198. Let d = j - -152. Is d at most z?
False
Let m be (-15360)/576*48/50. Suppose u + 4 + 21 = 0. Is m bigger than u?
False
Let g be 3 - (15/25 - (-159561)/66690). Is g at least 1?
False
Let o = -5 + 4.2. Let p = -10.32 + 10.42. Which is bigger: o or p?
p
Let d(h) = h**3 - 11*h**2 + 4*h + 9. Let f be d(11). Let z = f + -55. Let p be 1/4*(-4)/z*2. Which is bigger: p or 2/89?
p
Let c(y) = -120*y + 1529. Let k be c(13). Which is greater: 2.36 or k?
2.36
Let o(f) = f - 21. Let t be o(-15). Let c be 16/(-3204)*(t/(-8) - 3). Is c less than -1?
False
Let f = -1059832/5 + 210489. Let j = -1469 - f. Which is smaller: 9 or j?
j
Let i be (-1)/2*20*4/(-8). Suppose -s = -m - i*s + 300, s + 926 = 3*m. Which is greater: 307 or m?
m
Suppose -190975 = -273*h + 136352. Is 1199 != h?
False
Let y(n) = 10*n**3 + 3*n - 2. Let u be y(1). Suppose 47 = 2*p + 3*s, 3*p = -4*s + u + 62. Suppose 58 + 4 = 2*q. Is p bigger than q?
False
Let d(a) be the first derivative of -2*a**2 + 16*a - 31. Let b be d(8). Which is smaller: b or -12?
b
Let v(h) = h**2 + 62*h + 600. Let y be v(-50). Which is smaller: -10/503 or y?
-10/503
Let b = -613 - -306. Let h = b + 276. Which is smaller: -30 or h?
h
Let i = 10417 - 16353. Is i <= -5936?
True
Let d = -116 - -134. Suppose 3*y = -f + d, -6 = -3*y + f + 6. Is 5 greater than y?
False
Let p = -2876 + 2922. Are p and 12 non-equal?
True
Suppose 2*o - 2*f - 14 = 3*o, -4*f = -32. Which is smaller: -1071/37 or o?
o
Suppose 0*g = a - 2*g + 6, -62 = 3*a + 5*g. Let v be (552/(-60))/(8/(-20) + 1). Is v at most as big as a?
True
Let q = -193237/21 + 9200. Let s = q - -296/21. Suppose 0*b = b - 11. Is s at most as big as b?
False
Let b = 8.9 + -2.3. Let i = b + -6.62. Is i smaller than 1/7?
True
Let b(s) = s**2 + 88*s + 1526. Let g be b(-64). Is -510/59 at least g?
True
Suppose 2*a = 3*a - 2. Let d be (-165)/6 + (-1)/a. Let n(b) = 2*b**3 - 22*b**2 + 28*b + 42. Let w be n(9). Which is smaller: w or d?
w
Let p = 9977/15 + -2038/3. Let o = -45 - -76. Suppose n - 3*n - 5*q - o = 0, 0 = 2*q + 2. Which is bigger: n or p?
n
Suppose 89*u = 27*u - 40*u + 1122. Let x = -10 - -20. Let z be ((-58)/x)/((-1)/2). Is z greater than or equal to u?
True
Let f = -1084280/32331 - 4/2487. Which is smaller: -35 or f?
-35
Let q be 35/((-42)/6) - (1869/(-369) + 0). Which is smaller: q or 0?
0
Let a = 5383/6066 + 1/674. Let z(d) = d**3 - 8*d**2 - 2*d + 18. Suppose -23 - 33 = -7*g. Let b be z(g). Which is greater: a or b?
b
Let u = -19/117434 - -46171987/126241550. Let q = u - 14/43. Is 4/3 less than or equal to q?
False
Let a = -835 + 835.246. Let c = a - 7.246. Is -10 bigger than c?
False
Let o be 6 + (-13)/(91/28). Suppose 3*w + 88 = -a, 72 - 246 = o*a + 4*w. Do a and -84 have the same value?
False
Suppose 7008 = -76*h + 31404. Is 320 not equal to h?
True
Suppose -4*j = a + 332, -393 = 3*j - 4*a - 125. Which is greater: j or -55?
-55
Suppose 0 = 5*v - 4*f - 34 - 29, 3*v = -4*f + 25. Let l = 9 - v. Let w(j) = -3*j + 10. Let s be w(l). Is 16 bigger than s?
False
Let q = -350 - -694. Let o = 204 + 140. Is o less than q?