rue
Let y = -16 + -10. Let t = 27 + y. Let j = -99/7 + 2383/168. Which is smaller: j or t?
j
Let d be 48/(-96) - (45/(-2) - -3). Suppose -2*u + 1 = -u. Which is greater: d or u?
d
Let n = -19 - -36. Let p = -6 + n. Is 12 less than p?
False
Let s = -0.2 + 0.1. Let j = -0.811 - -2.111. Which is smaller: s or j?
s
Let u = 4159/93 + 88/93. Let z = 46 - u. Which is bigger: z or 8?
8
Let d = -16.92 + 17. Let u = 0.08 - d. Which is smaller: u or 1/6?
u
Let w = -2.31 - -2.51. Is w > -44?
True
Let v be (2/(-3))/(4/(-72)). Let x = v - 14. Let n(h) = -2*h - 2. Let i be n(x). Which is greater: 4/7 or i?
i
Let u = 5.85 - -0.15. Let c = -5.4 + u. Let w = c - 0.9. Are w and -2 non-equal?
True
Let f = 4 + -11. Let l be (-120)/(-21) + (-2)/f. Suppose -y + 35 = 4*y. Which is smaller: l or y?
l
Suppose -5*i + y + 1 = 0, -33*i - 4*y - 4 = -30*i. Is -2/1931 equal to i?
False
Suppose -2*c + 4 - 34 = 0. Let o be 3 + (-51)/3 + -3. Let y = c - o. Is y < 1/2?
False
Let x = -273 - -270. Which is bigger: x or -2?
-2
Let p = -130894/49 - -2671. Is -1 smaller than p?
True
Let b = 153 + -157. Let u be (28/(-8))/(-7)*2. Which is smaller: u or b?
b
Let y = -18/527 - -2451/118048. Let m = 3999/2464 - y. Which is smaller: m or 2?
m
Let t = 27 - 25. Suppose -t*d + 5*d - 12 = 0. Which is bigger: -3 or d?
d
Suppose 0 = -w + 7 + 3. Let y be w/8 + (-1)/4. Let k be (y*(-12)/(-4))/3. Is k greater than or equal to 1/9?
True
Let n be 5 - 2 - 6/(-6). Suppose -n*q - 6 = -2*x, 4*x + 0*q - 24 = 4*q. Does 10 = x?
False
Let k = -13694 - -148938/11. Let m = 154 + k. Which is smaller: 13 or m?
m
Let c(u) be the second derivative of -3/2*u**3 + 9/2*u**2 + 1/12*u**4 + 0 - 6*u. Let f be c(6). Is -9 > f?
False
Let x(q) = -122*q - 656. Let k be x(-5). Which is smaller: -331/7 or k?
-331/7
Let a = 47 - 43. Let s = -4.1 + a. Which is smaller: s or 7?
s
Suppose 62 = 2*j + m, -j = 3*m - 5*m - 36. Are 33 and j equal?
False
Suppose -12 = -4*b, x - 26*b = -22*b - 11. Suppose 2*t = 5*m - 8 - 6, -5*t = 3*m + 4. Which is bigger: m or x?
m
Suppose 9*a = 14*a + 5*r - 60, -18 = a - 5*r. Which is smaller: 40/7 or a?
40/7
Let z = -426.12 - -437. Let u = -11 + z. Let p = u + 0.12. Is 2 at most p?
False
Suppose -4*o - 69 = 43. Let q be 1*1/6*o. Is q < -6?
False
Let v(a) = 13*a**2 - 664*a + 62. Let d be v(51). Let l = 7 - -3. Which is greater: l or d?
d
Suppose -2*w = -3*w + 3*g + 27, 0 = 3*w + g - 111. Is 35 < w?
True
Let c be ((-6)/60)/((-4)/66). Let q = c + -7/5. Let l be (4/48*-3)/((-45)/72). Is q bigger than l?
False
Let v be (-12 + 11)/(-2 + 9/5). Suppose 5*a - v*z + 24 = 9, -2*z + 3 = a. Which is bigger: -2/7 or a?
-2/7
Suppose 3*g + 50 = -2*g. Let d be (-1)/5 + (-32)/g. Suppose -x + 88 = d*x. Which is bigger: x or 21?
x
Suppose -31*k - 584 = 4066. Which is smaller: k or -151?
-151
Let n be (-12)/(-16) + (-2)/(-8). Let m be 3 + n/5 - 4. Suppose 3*x + 8 = -x. Which is smaller: m or x?
x
Suppose -4*o + 2*v + 4 = -2*v, -4*o + v + 7 = 0. Suppose o*b = -0*b - 42. Let y be ((-2)/b)/((-5)/3). Is y < 0?
True
Let w be 44/45 + 4/18. Let o = -1 - -3. Let u be o/3 + (-6)/9. Are u and w nonequal?
True
Suppose 5*c - 311 = -2*j, -4*j = -5*j + 4*c + 162. Let l = j + -807/5. Does l = -4?
False
Let o be 2/(-128)*(-63)/(-14)*-4. Which is bigger: o or 1?
1
Let v be 2/(164/(-6)) - 0. Let y = -111/164 + v. Let j(n) = 2*n - 4. Let z be j(6). Are z and y non-equal?
True
Let n(a) = -a - 13. Let i be n(-3). Which is smaller: i or -14?
-14
Let s(g) = -4*g + 23. Let o be (4*9/(-21))/(8/(-28)). Let c be s(o). Is 4/17 > c?
True
Suppose -6*r + 4*u = -592, 0 = 2*r - 0*r - u - 198. Are r and -3 non-equal?
True
Let h = 3 + 10. Let a(d) = 2*d**2 + 9*d - 32. Let l be a(3). Is l > h?
False
Let v be 4/(20 - (2 + -4)). Is -1 greater than or equal to v?
False
Suppose 5*c = 61 + 29. Let p(m) = -m**2 - 25*m - 29. Let h be p(-23). Is c equal to h?
False
Suppose 2*w + 6 = i, w = 5*w + 12. Which is smaller: 1/31 or i?
i
Let z be 4 + (3 - 7) + 22. Let m = z + -19. Suppose 4*j = -5*n + 8, 6*n = m*n - 4*j + 8. Which is bigger: n or -2/3?
n
Let b = -87 - -140. Let m = 52 - b. Which is bigger: m or -13?
m
Let o = 25 - 32. Let y = o + 7. Which is smaller: y or 12?
y
Suppose 68 = 5*q + 23. Let r = q + -8. Suppose -2*v = -k + 6*k + r, -4*k - 2 = v. Is 1/9 at least as big as k?
True
Suppose 2*q + 89 = 5*g, -5*q + 3*g - g - 212 = 0. Is q > -429/10?
True
Suppose 3*l + 3*m = 3, 0*m - 2*m = l - 4. Let i be l - (-81)/30 - 1. Let c = -356 + 357. Is i < c?
True
Suppose -4*f + 72 = -8*j + 4*j, 2*j + 40 = 4*f. Let t(h) = -h - 9. Let n be t(-7). Let s be (0 - 11) + 6/n. Is j greater than s?
False
Let t be (-2)/(-4)*0*5/(-25). Suppose -5*v - 162 + 17 = t. Is 0 at most v?
False
Let l = -912 - -542. Let n = l + 4804/13. Let i = n + 31/39. Is i greater than or equal to -5/2?
True
Suppose -11 = 3*m + 16. Let t = 1 - -1. Suppose 0 = 5*k + 4*a + 30, k + t*k = 2*a - 40. Is k at least m?
False
Suppose 21*c + 2*q + 2 = 18*c, 4*c - 4 = 4*q. Which is smaller: -17/29 or c?
-17/29
Suppose 3*u + 406 = 4*u + 2*h, -3*h - 416 = -u. Which is bigger: 411 or u?
411
Suppose 172 + 466 = -11*t. Do -59 and t have different values?
True
Suppose -5*z = -2*z + 2*d + 22, 3*z + 5*d = -37. Let a = 2 - z. Let s be (-1)/6 + (-5)/a. Which is bigger: s or 2/7?
2/7
Let t(n) = n - 7. Let a be t(6). Let f(m) = m**2 - 15*m + 27. Let q be f(12). Let u be (q/7 + 2)*(-8)/100. Is a smaller than u?
True
Let u = -1 - -1. Let g be (-14744)/(-90) - 20/(-50). Let n = 164 - g. Which is smaller: n or u?
n
Suppose -2*c = -5*c + 234. Suppose 4*x = 2*t - c, 5*t - 174 = 2*x + x. Let q be 6/t - (-48)/(-627). Is -1 greater than q?
False
Let d be 1684/(-13) + (-126)/273. Is -120 bigger than d?
True
Let o = -0.1 - -0.1. Let h = -309 + 311. Which is bigger: h or o?
h
Let l be (-1)/(2/(-3 + 5)). Let a = -22.8 - -22.4. Is a less than l?
False
Suppose -5*g - 2 = -2*r + 23, -3*r = 3*g - 6. Suppose 0*i + 5*p + 5 = r*i, -4*p = -2*i + 2. Are -1/24 and i equal?
False
Let o be ((-6)/(-8))/(69/(-2)). Let g(m) = 29*m**2 - m - 4. Let b be g(2). Let p = -110 + b. Are o and p unequal?
True
Let z = -1477/3 - -492. Which is smaller: z or 32?
z
Let o(i) = -2*i**3 - i**2. Let p be o(1). Let k = 10 + -9. Let f be 0/7*k/p. Which is smaller: 2/3 or f?
f
Suppose -s - 1 = 3*m, -5*s = 4*m + 5 - 0. Let r = s - -2. Let y be 1/(-5) + 36/80. Which is smaller: r or y?
y
Suppose 2*f - 5 = v, 2*v + 21*f - 5 = 20*f. Which is smaller: v or -159?
-159
Let b = -0.02 - -0.22. Let c = b - 0.1. Is c at least as big as -2?
True
Let x = 356 + -355. Is 2/23 greater than x?
False
Let x(l) = -8*l**2 - 22*l - 12. Let t(j) = 7*j**2 + 22*j + 12. Let n(u) = -6*t(u) - 5*x(u). Let m be n(-10). Which is greater: 4 or m?
m
Let i = 664 - 663. Which is smaller: i or -0.34?
-0.34
Suppose 8*u = 9*u + 5*a - 31, 0 = 5*a + 5. Is 39 < u?
False
Let c be 8/(-4)*1/(-81 + 1). Suppose -2 = -5*l + 3. Is c at most as big as l?
True
Let a = -0.008 + 21.008. Let c = a + -21. Is -3 not equal to c?
True
Let o be ((-48)/18)/(2/30). Let i be (-2 + o/(-14))/((-279)/63). Which is bigger: -1 or i?
i
Suppose 0*w = -w. Is 1/11 greater than w?
True
Suppose 2*k - 15 = -5. Suppose -w + k*h + 7 = 0, -w + 0*h + 3*h = -5. Which is smaller: w or -0.23?
-0.23
Let y be 10 + -11 - (-32)/30. Which is greater: y or -22?
y
Let o be (-5 - (-988)/20)/((-3)/10). Is o equal to -147?
False
Let m be (38/(-30))/((-20)/15). Let g = -73/4 - m. Which is smaller: -18 or g?
g
Let k(m) = m**3 + 3*m**2 - 19*m + 34. Let t be k(-7). Which is bigger: t or -442/15?
t
Let k(d) = d**2 + 9*d - 12. Let w be k(-10). Let p be w/(((-13)/6)/(-13)). Is -13 at least as big as p?
False
Suppose -3*p = -4*g - 6*p - 639, -4*p = g + 163. Let n be (4/(-12))/(g/6). Is -1 greater than or equal to n?
False
Let y be (21*4/16*-2)/33. Is 1 at most as big as y?
False
Let j be (-2)/(-4) + (-5)/(-2). Let y be -44*(j + 14/(-4)). Let o = -15 + y. Is 7 < o?
False
Let p = 602/3 - 201. Which is greater: -141 or p?
p
Let u be (0 - 4/(-405))/((-56)/(-140)). Which is smaller: u or -1?
-1
Let g = -196.2 + 196. Let z = 12.4 - 11. Let b = z - 0.4. Are g and b nonequal?
True
Suppose -2*s = 3*i + 8201, 2*i - s = -2*s - 5469. Let p be (-3)/(-1) - (-8194)/i. Which is smaller: p or 1?
p
Let s = -0.1 - -0.07. Let b = 0.09 - s. Let z = b - 0.22. Which is smaller: -0.4 or z?