 Which is smaller: p or o?
o
Let z = -1155 - -15016/13. Suppose -2*k = 2 - 0. Is z bigger than k?
True
Let z = -82.89 - 54.25. Let q = -141 - z. Let m = -0.14 + q. Which is bigger: 1/2 or m?
1/2
Let w = -2294 + 2288. Is 9 equal to w?
False
Suppose -35 = 4*q + 33. Let i = -4/1009 - 101885/6054. Let t = q - i. Which is greater: t or 0?
0
Let p = -241 + 328. Which is bigger: p or 88?
88
Let l(h) = h**3 + 12*h**2 - 2*h - 9. Let i be l(-12). Let j be 9/6 - i/10. Suppose v = -j*v + 2. Which is smaller: v or 6/7?
6/7
Suppose 1 = t - 1. Suppose -5*j = 3*u - 75, -3*j - t*j + 115 = 5*u. Suppose -c = -b + 4, 5*b - u + 1 = 4*c. Which is greater: 9/4 or b?
b
Suppose 5*z = z. Let v = 77 + -537/7. Which is greater: v or z?
v
Let k = 3176 + -6153/2. Is k < -3?
False
Let k(q) be the first derivative of -q**4/4 + q**3 + 5*q**2 - 2. Let y be k(5). Which is bigger: 4/7 or y?
4/7
Let j(x) = 18*x + 0*x + 23 + 2*x**3 - 5*x - 1 - 31*x**2. Let r be j(15). Is r less than or equal to 8?
True
Suppose 5*w - 2 = -4*y + 2, y + 4*w + 10 = 0. Let m be -1 + 2/y + (-68)/(-48). Which is bigger: m or 2?
2
Let v = 16 - -137. Let i be v/(-777) + 3/21. Is i bigger than 1?
False
Suppose -3*a = 17 + 43. Let o(u) = 3*u**3 + 0*u**3 - 4 - 4*u**3 - 2*u + 2*u**2. Let k be o(3). Is k less than a?
False
Let l be -10 - -9 - (3 + -2). Let d be (-75)/(-18) + l + 2/(-12). Which is bigger: d or 12/11?
d
Let u be (-4)/6 - 65/15. Let m be 6/u*20/(-8). Suppose 3*l - m = 3. Is l bigger than -3/5?
True
Let t(x) = -x**2 - x + 5. Let k be t(0). Suppose -3*a - 2*a - 2*p = -78, -4*a - 4*p + 72 = 0. Let n be ((-6)/a)/(k/(-35)). Which is greater: n or 2?
n
Let i(l) = -2*l**2 + 14*l + 1. Let h be i(7). Which is smaller: 203 or h?
h
Suppose -f = 2*b - 69, -4*b + 369 = 8*f - 3*f. Let v = 78 - f. Which is bigger: -2/9 or v?
v
Suppose 2*x + 14 = 6*x + 2*s, 16 = 5*x + s. Let o be 46/(-34) + (-3 - (-7 + x)). Suppose 5 = -w + 4. Which is smaller: o or w?
w
Suppose u - 3*x + 14 = -11, 4*u = 4*x - 68. Let j = u + 19. Let q(i) = -40*i + 281. Let k be q(7). Is j < k?
False
Let t be (1 + -4)*(-2)/2. Suppose -t*a - 107 + 8 = 0. Let n be a/(-21) + 12/28. Which is smaller: n or 0.03?
0.03
Let a = 49.11 - -1.89. Which is greater: a or -0.08?
a
Suppose -4*n + 5*l + 33 = -3*n, -32 = -4*n - 5*l. Let a be (-378)/130 + n/5 + -2. Is -2 greater than a?
True
Suppose -221 = -y + 3*k, 218 = y - 19*k + 17*k. Is 211 >= y?
False
Suppose f + d = -1, -2*f + 3 = -5*f - d. Let x = -8/9 + 5/9. Which is greater: x or f?
x
Let h = -10 + 11.2. Let y = h + -2.9. Let b = -1.9 - y. Is b != -0.1?
True
Let w = -3.3 - -4.22. Let q = w - 1. Let d = q + 1.08. Is d bigger than -4?
True
Let a be 2/3 + (-7280)/1848. Which is bigger: a or -3?
-3
Suppose 1322*u - 1334*u = 36. Which is smaller: u or -0.118?
u
Let w = -115.1 - 8.9. Let q = w - -123.991. Which is smaller: -0.2 or q?
-0.2
Suppose 0 = 31*j - 4*j - 108. Which is smaller: -38 or j?
-38
Let g = 481 + -404. Do -0.1 and g have the same value?
False
Suppose 22*l = 12*l. Let z = 70 - 1679/24. Does l = z?
False
Let v(c) = -c**3 + 7*c**2 - 5*c + 1. Let p be v(5). Let r = 27 - p. Let j = -463/108 - -17/4. Which is greater: j or r?
r
Suppose -78 - 50 = -4*a. Let s = 52 - a. Suppose -3*p + 3*d + 72 = -0*p, 0 = p - 2*d - 28. Is p >= s?
True
Let i be (-8*(-10)/48)/((-1)/(-9)). Is 89/6 > i?
False
Let l = -16358.01 - -16443. Let z = l + -85. Which is greater: z or 1/15?
1/15
Suppose 3*h = -3*m + 6, 5 - 1 = 2*m. Which is smaller: 41 or h?
h
Let y be (-1)/((-5)/(-35)*7). Is -0.82 less than y?
False
Let s = 75.6 + -75.63. Is 4/23 at most as big as s?
False
Let k = -11667/4 + 2916. Which is greater: k or -75?
k
Suppose 0 = -3*i - 2*f + 35, 6*f + 7 = i + 2*f. Suppose -2*c - i = -3*c. Suppose -4 = -r + 2*z, 4*r - 2*z - 11 = c. Is 6 >= r?
True
Let u = -16 - -3. Let m be (u + -56)*1/3. Which is smaller: m or -24?
-24
Suppose 7 = 2*f + o - 4, -4*f = -4*o - 4. Suppose -f*v = 3*a + 7 + 84, 2*v = 3*a + 85. Which is smaller: -30 or a?
-30
Suppose 4*z - 3*v + 52 + 58 = 0, v = 2*z + 56. Let y = 4344 + -21576/5. Let i = z + y. Do i and 1 have the same value?
False
Suppose -2*y = -r - 2, 5*y + 9 = -1. Which is smaller: -64/9 or r?
-64/9
Let h be (-12)/54 - (-1904028)/(-747279). Let j = h - -2/2129. Which is smaller: j or -2?
j
Suppose -1 = -2*v + 5*v - 5*u, -3*v = -3*u - 3. Suppose -24 = v*t - 9. Let s = 66 + -71. Are t and s unequal?
False
Let h = -3030 + 366632/121. Are 0 and h unequal?
True
Suppose 0 = -5*x + 10, -37 = -3*j + 4*x + 294. Which is greater: 110 or j?
j
Let g(h) = -h**2 - 5*h - 2. Let o be g(-4). Suppose -90 = -3*p - o*p. Suppose -4*q + p = -q. Is q at least as big as 7?
False
Let w(c) = -15*c**3 + 2*c**2 - 2*c + 2. Let h be w(1). Is h <= -27/2?
False
Let u = -1621 - -1528. Does u = -458/5?
False
Let q = 1282 - 1281. Let g be 214/312 - 2/3. Is q < g?
False
Suppose 62 = 2*d - 27*n + 25*n, n + 5 = 0. Suppose -r = -4*y - 5*r + 100, -5*y - 2*r = -137. Let i = y - d. Which is smaller: i or 4?
i
Let v be (2/(-4))/((-1)/(-14)). Suppose 2*s + 11 = -0*s - g, -4*s + 5*g = 1. Let o be (0*2/6)/s. Which is bigger: o or v?
o
Suppose 2*l + 20 = 5*g, g = -l + 4*l + 17. Suppose -2*s + r = -39, -2*s + 4*r = -0*s - 36. Let u be s/30 + g/(-6). Which is smaller: -2/15 or u?
-2/15
Let x = -10/2151 - 849625/4302. Is x smaller than -197?
True
Let r = 208 - 103. Let x = r + -101. Do x and 3 have the same value?
False
Suppose 0 = -5*a + 2*v + 40, -3*a + 5*v = -6 + 1. Let m(n) be the first derivative of n**4/4 - 10*n**3/3 - n**2/2 + 9*n - 42. Let h be m(a). Does -2/9 = h?
False
Let l = -0.3 - 0.7. Let x = 0.07 - 0.07. Let n = -11 - x. Do n and l have the same value?
False
Suppose -10 = -2*z, 21*z - 18*z - 219 = 2*k. Is -102 not equal to k?
False
Let a be (-3)/15*-5*(-3)/3. Let j = -8 + 6.6. Which is smaller: j or a?
j
Let d(r) = -2*r**2 + 2*r + 4. Let l be d(5). Let a = l - -40. Suppose 0 = -s - a*s + 5. Which is smaller: -1/14 or s?
-1/14
Suppose 70*m - 74*m + 12 = 0. Do -4 and m have different values?
True
Let t(g) = -4*g + 30. Let i be t(7). Suppose 4*w - 4 = -4*j + i*j, 0 = 3*j. Is -3/50 at least w?
False
Let y = 1/28015 - -11962399/168090. Does 70 = y?
False
Suppose 80 - 26 = 9*l. Let i be 15/(-2) + (-3)/l. Are -7 and i non-equal?
True
Let f be 10/32*6/150*-7. Is f at least as big as 0?
False
Let p be ((-6)/(-10))/((-68370)/75). Let v = p - -5/106. Is v > 1?
False
Let i be 2*((-108)/8)/(-9). Let c(d) = d + 1. Let q be c(i). Suppose -q*f - 54 = -2*t, 2*f + 110 = 5*t - 3*f. Is t greater than or equal to 17?
True
Let l = 0.4 + 5.6. Let t = -8 + l. Let y = -0.06 + 0.06. Which is smaller: y or t?
t
Let m be 8300/100 + 0/1. Which is smaller: 84 or m?
m
Let q be 5890/(-47440) + 4/32. Which is smaller: 0 or q?
0
Suppose 0 = -3*w + 4 + 2. Let j be ((-8)/(-6))/(14/147). Let n be (-7)/w*(-8)/j. Which is smaller: n or 3?
n
Let c(q) = 77*q**2 + 2. Let u be c(-1). Is u <= -1?
False
Let y = -0.09 - 5.91. Let q be 110/(-495) - (34/(-72))/1. Is q smaller than y?
False
Let c be (-12)/2 - (-168)/20. Let f(w) = w**2 - 9*w + 5. Let r be f(8). Let g be ((-2)/(-2))/(r/(-6)). Is c greater than g?
True
Let x = -366348/53 + 6912. Is x at least as big as 0?
False
Let o(w) = w**2 - 23*w + 24. Let p be o(22). Let q be 4/180 + p - 2. Which is bigger: 1 or q?
1
Let j = 3/1925 + -448531/3850. Is j smaller than -118?
False
Let i be (-7 - (-1)/(-1))/(-2). Let k be ((-8)/12)/(i/6). Let s = k + -4. Are s and -4 nonequal?
True
Let i = -71 + 60. Suppose -5*c + 1085 = 5*n, 2*c - 2*n = -7*n + 425. Let d be 18/81 + c/(-18). Are d and i equal?
False
Let g = -3 + 8. Let b = -4 + g. Let p be 5/(-10) + (-3)/(-42). Is p at most b?
True
Let z = -24.2 - -28. Suppose -2*w + d + 4 = 0, 2*w - w = -2*d - 3. Which is smaller: w or z?
w
Let w = -15 - -14. Let n be (1/3 - w)/(70/(-6)). Which is smaller: n or -1?
-1
Let v = -38 - -38.24. Let d = v + 22.76. Let s = 23.2 - d. Is -0.4 > s?
False
Let z = 91 - -98. Which is greater: z or 190?
190
Let c = -5 + 14. Let z = -1 + c. Let b be 18/9 + z/(-6). Which is greater: 3 or b?
3
Suppose 0 = 4*k - 4, 4*k + 55 = -2*l - k. Let m be (4/l)/((-138)/805). Which is bigger: m or 1?
1
Let c = -931 + 1670. Is c >= 738?
True
Suppose -5*m - 5*u - 11 = -31, -2*u - 4 = 0. Let z = 22 - 16. Suppose -w + 0 + z = s, -4*s = -3*w + 11. Is w less than m?
True