is bigger: u or d?
u
Let n = 803 - 794. Is 31/3 < n?
False
Let u = -1.6 + 1.5. Let m = 284/5 + -282/5. Do m and u have different values?
True
Let p be (78/36)/13 - (-19)/(-6). Let x be ((-1)/2)/(p/(-6)). Which is bigger: 5 or x?
5
Let o be (-2)/8 - (-21)/4. Let i be (12/15)/((-2)/(-10)). Suppose -i*z + 4 + 12 = 0. Is z less than or equal to o?
True
Let v = -233.96 + 229. Let h = 0.04 - v. Which is greater: 3 or h?
h
Let p = -3.004 - 0.096. Which is smaller: p or -0.1?
p
Let t = -5 + 3. Let v = 11 + t. Let h = v + -9. Which is smaller: -1/3 or h?
-1/3
Let j(l) = 12*l**2 - 37*l**2 + 14*l**2 - 2*l + 13*l**2 - 3. Let u be j(-1). Which is greater: 1/23 or u?
u
Suppose j = -3*x + 17, -2 = x - 4*j + 1. Suppose 3*p + 4 = i - x*i, 0 = -4*i - 5*p - 12. Suppose n = i*y - 18, y + 3*n - 19 = 6*n. Which is smaller: y or 6?
6
Suppose -7*d + 168 = -5*d. Let n be 22/14 + 8/d. Which is smaller: n or 1?
1
Let o = -1330 - -21291/16. Let q = -29/16 - o. Let d be -4 + 1*(2 + 0). Which is smaller: d or q?
q
Let t be (-2 - (-14)/9)/((-12)/54). Suppose 0 = -5*a + q - t - 1, 5*q = -10. Is a greater than -6/11?
False
Let f = -1.2 + -7.8. Suppose -3*y + 5*w = -15, -2*y = -7*w + 4*w - 10. Which is bigger: f or y?
y
Let g be (-79)/((-12 + 10)/(-52)). Is -2054 at least g?
True
Let z(v) = -5*v - 24. Let f be z(-5). Are f and 1/197 equal?
False
Let z be (59/26)/((-7)/(-620)). Let n = z - 201. Is n at most as big as 1?
True
Let i = -31 + 39. Let h be 2/i + (-3)/(-4). Which is smaller: 8 or h?
h
Let b be (-14)/(-315)*85 - 8/(-36). Let u(f) = f**3 + 5*f**2 + 4*f - 1. Let n be u(-3). Which is smaller: n or b?
b
Let g = 0 + -1. Let s = -0.9 - g. Let a = -0.7 - -0.7. Is s greater than a?
True
Let x = -13 + 16. Suppose -x*c - 4*h = h + 12, 0 = 4*h. Is -0.5 at most as big as c?
False
Let o(k) be the third derivative of 1/3*k**3 - 2*k**2 + 1/24*k**4 + 0*k + 0. Let u be o(-5). Are -4 and u unequal?
True
Let u = 32651463265/168 - 194352450. Let x = 1498 - u. Let z = 2347/840 - x. Is 3 at most z?
False
Suppose -6*p = -3*p - 6. Suppose -2*w - 4*x - 22 = 0, -4*x - 39 = w + p*w. Which is smaller: -16 or w?
w
Let c = -1747 + 68137/39. Let q be 16/72 - 11/9. Which is smaller: c or q?
q
Let r(q) = -q**3 - 11*q**2 - q - 8. Let f be r(-11). Suppose 0*z - 2 = -4*n + 2*z, -11 = -n - f*z. Suppose 4 = n*l + 24. Which is smaller: l or -8?
l
Let h = 90 + -89. Let m be (-72)/21*10/8. Which is smaller: h or m?
m
Suppose -152 = -3*s + 4*u, 3*s = u - 3*u + 140. Is -1.2 at most s?
True
Let z = -1/20 - 7/10. Let h = 518.6 + -519. Is z at least as big as h?
False
Let x = 235/26 - 19/2. Suppose -s - 4*s = h, -2*h - 3*s = -7. Suppose -12*c = -17*c - h. Is x less than c?
False
Let d = -383 + 382.99. Is 2 at least d?
True
Suppose -3*g - 4*s - 22 = 0, -g + 5*g + 3*s + 41 = 0. Let r = -7590.9 - -7591. Which is smaller: r or g?
g
Let a(s) = s**2 - 17*s - 18. Let w be a(19). Suppose -6*l + 2*l - 20 = 4*m, 0 = -4*l - 3*m - w. Which is greater: -4 or l?
-4
Suppose 92*c = 81*c + 143. Which is bigger: 14 or c?
14
Let x be (-586)/(-546) - (5 + 80/(-15)). Let n = 2/91 + x. Which is smaller: 0 or n?
0
Let q = -2176/15 + 145. Let l = -2410 - -2409. Is l not equal to q?
True
Suppose 0 = w + 10 - 4. Let y be -3 + 3 + (-42)/w. Does y = 5?
False
Let d = -8 + 12. Let r = -168 - -165. Do r and d have different values?
True
Let o = 172 - 4298/25. Suppose 3*y - 50 = 70. Let i = -39 + y. Which is bigger: o or i?
i
Let t = 20.946 + 0.054. Let l = t + -16. Which is bigger: -5 or l?
l
Suppose 6 = -18*t + 20*t. Suppose -t*o - 6*o = 108. Is -8 less than o?
False
Let c(k) = k**2 - 7*k - 3. Let p be c(7). Let v = -2 - p. Which is bigger: v or -1/90?
v
Let y(w) = -w**3 - 19*w**2 + 37*w + 5. Let a be y(-21). Which is smaller: 109 or a?
109
Let z(m) = -m**3 - 17*m**2 - 10*m - 6. Let d be z(-6). Is d at least -340?
False
Let g be 3 + -1 - (13 - 15). Suppose -g*k + 5*k = -2*k. Which is smaller: -2 or k?
-2
Let b = 7 - 18. Let s = -14 - b. Suppose 0*z + 3*i = 5*z, 0 = 4*i + 20. Is z > s?
False
Let n = -5 + 5. Suppose 6*v - 4*v - 88 = n. Let y be (-4)/3*6/v. Which is greater: y or 0?
0
Suppose -181 = 4*q + o, 17*q = 18*q - 4*o + 58. Which is greater: -48 or q?
q
Let a be (-7)/4 + 1 + (-6187)/(-8740). Is -1 at most as big as a?
True
Let p be 4/(-30) + (-244)/(-30). Let l = p + -7. Let i(j) = -j - 2. Let u be i(-3). Is l less than or equal to u?
True
Let q(o) be the third derivative of -o**4/8 - 13*o**3/6 + 3*o**2. Let p be q(-9). Suppose -28 = -2*u - 5*i, -i - p = 2*u - 50. Is 19 at least as big as u?
True
Let f = 5839167/34832864 - 2/98957. Let v = f - 17/32. Which is greater: -1 or v?
v
Let t = 190/11 - 189/11. Let c be (-1)/(-1*(0 + 1)). Which is smaller: c or t?
t
Let b = 606 + -621. Are b and -7 unequal?
True
Let d be (-5)/(-4 + 172/44). Suppose f - 6*f = d. Is f <= -13?
False
Let l(t) = t**2 - 6*t - 2. Let i be l(8). Let b be (-147)/i*2/3. Is -6 bigger than b?
True
Let m be (2/(-12))/(43/(-774)). Let y = 9 - 12. Let r be (-11)/3 - 9/y. Is r <= m?
True
Suppose 134*i = 139*i + 5. Which is smaller: 3/146 or i?
i
Suppose -m + 28 = 2*w, 3*m - w - 26 = 37. Which is bigger: 19 or m?
m
Suppose 0 = -2*y + 4*p - 2, -4 = -3*y - 7*p + 6*p. Which is greater: y or 1/461?
y
Suppose 32 = -0*r - 4*r. Let o be 10/r*(-16)/(-76). Let u = o + -13/95. Is -5 < u?
True
Let j be ((-3)/(-15))/((-44)/(-34)). Let m = 2909/2530 + j. Do m and 1 have the same value?
False
Let x(y) = -67*y. Let g be x(-1). Let f(k) = -k + 62. Let z be f(-5). Is g less than or equal to z?
True
Suppose 4*y = -12, -5*m + 3*y = -0*y - 4. Suppose 0 = 2*i - 3*i - 2*f - 93, 4*f + 275 = -3*i. Let w = -980/11 - i. Which is bigger: w or m?
w
Suppose -9*d = -8*d - 4. Suppose 0 = -d*p - p - 4*k + 22, 2*p - 4 = -4*k. Let a be -2 + (3 - p/2). Is a smaller than -4?
False
Let m(w) = -2*w**2 + 33*w - 33. Let f be m(15). Which is smaller: -47 or f?
-47
Let q = 1742 + -15616/9. Which is bigger: 7 or q?
7
Let u be 4 + 4 + (-7452)/930. Is 0 < u?
False
Suppose 4*l - 129 = 19. Let z = -22 + l. Let a = z + -6. Is a != 9?
False
Let c = 0.041 + 5.959. Let p = c + -5.6. Is p greater than or equal to -2?
True
Let l = 281 - 3373/12. Let w be 22/(-3) - (-2)/6. Let c = -7 - w. Which is smaller: c or l?
l
Let i = 7 - -5. Let v(j) = j**2 - 10*j - 5. Let r be v(9). Let k = r + i. Is k equal to 0?
False
Let a(r) = r**3 - 44*r**2 - 2*r + 98. Let n be a(44). Is n bigger than 10?
False
Suppose -w + 4*g + 16 = 0, -3*w + 0*g - 5*g - 20 = 0. Let c be (-2 - -2)/(-2 - -1). Suppose -4*l + 16 = c, -4*y + 5*l + w*l - 20 = 0. Which is smaller: 1 or y?
y
Let y = 46 - 44. Suppose 0 = -y*c - 31 - 25. Is c equal to -28?
True
Let x = 2545 + -48322/19. Let s = x + -351/38. Which is smaller: s or -7?
s
Let b = 0.054 - 40.054. Let z = b + 48.8. Let u = z + -9. Is u less than or equal to -1/5?
True
Let y be ((-160)/(-48))/((-1)/(-15)). Suppose 8*z + 5*n - y = 3*z, -4*z = -n - 60. Suppose -2*a = -5*d + 93, 3*a + 111 = 5*d + z. Is 16 smaller than d?
True
Let t = -122.1 + 16.1. Let z = -111 - t. Which is greater: z or -0.2?
-0.2
Suppose 7 = -3*w - 8, -3*w = -z - 11. Let o = -62 - -36. Is z != o?
False
Let i = -1.08 + 0.18. Let q = i - -0.9. Let a = -29 - -16. Which is bigger: q or a?
q
Let c = 1625350/347 - 4684. Which is smaller: c or 0?
0
Let z(g) = g - 13. Let u(y) = -y**2 + 14*y - 10. Let c be u(9). Suppose -c = -5*o + 15. Let r be z(o). Is -1 less than or equal to r?
False
Let y(z) be the first derivative of -35*z**4/4 + 2*z**3/3 + z**2/2 + 9. Let s be y(-1). Is 36 at least s?
True
Suppose 5*j + 3*n - 28 = 0, -9 = -2*j - 4*n + 5*n. Let m(q) = q**2 - 14*q + 37. Let w be m(11). Which is greater: j or w?
j
Let u = 3222 + -3306. Which is smaller: u or -0.04?
u
Let t be (-432)/(-30) - (-3)/5. Let a be (-18)/27*t/(-2). Suppose 0 = -5*g - a. Which is greater: 2/15 or g?
2/15
Let y(m) = 7*m + 25. Let p be y(5). Let r be 2/6 + (-128)/p. Is r less than -3?
False
Let x be -1 - 9/(2 + 1). Let p be 7 + x + (-106)/34. Let s(c) = c - 9. Let h be s(8). Is p greater than h?
True
Let i = 6629/9 + -734. Is 3 at least i?
True
Let k be 1 + (-32)/24 - 4207/(-21). Are k and 205 unequal?
True
Let g = 15.6 - 8.6. Which is greater: g or 0.01?
g
Suppose -5*a + 89 = 4*n, -10 + 1 = 3*a. Suppose 4*p - 2*s - n = 0, 5*p - 4*s - 28 = 3*p. Let i = 12 - 7. Which is bigger