ue
Let c = -838 - -892. Is c bigger than 49?
True
Let g be (6 - (-44)/(-10))/(-2). Is g less than 6?
True
Let k = -1.8 - -1.9. Let w = -41/50 - -8/25. Is w >= k?
False
Suppose 2*a + a = 6. Which is bigger: a or 7/11?
a
Let s = 46199 - 94107361/2037. Which is greater: s or -1?
s
Let q be (-556)/(-1022)*-1 - (-4)/7. Is -1 greater than or equal to q?
False
Suppose -2*a = 3*s - 46, -4*s = -0*s + 8. Suppose -17*v + 26*v - 297 = 0. Let d = v - a. Which is smaller: d or 6?
6
Let g be (-17)/(-10) - 2/(-4). Let u(c) = 6*c - 3*c + 1 - 9. Let n be u(3). Is g < n?
False
Let k be (88/12 + -9)/((-10)/36). Which is bigger: 115/19 or k?
115/19
Let l(j) = 2*j + 0 - 5*j + 6 + 0*j. Let f be l(4). Let w be 2 + f/3 + -2. Is -0.04 < w?
False
Let m = -1 - 6. Let d = 6.9 + m. Let b = -135 + 150. Is d smaller than b?
True
Let h = 2207/3 - 736. Which is smaller: h or 409?
h
Let q = -8 + 5. Suppose 25*w - 20 = 20*w. Suppose -x + w*s = 3, 0 = -2*x - 0*s - 3*s - 17. Is x less than q?
True
Suppose 4*b - 3*t = 2*t + 23, 3*b - 4*t = 16. Let j = 14 - b. Suppose -h - 15 = j*h. Which is greater: 0.1 or h?
0.1
Let m = -14/47 + 779/2773. Is m less than 1?
True
Let i = -0.032 - 41.968. Let h = i - -43. Which is greater: -3/5 or h?
h
Let a(t) = 7*t**3 - 2*t**2 + 6*t - 7. Let b be a(3). Suppose -x + 4*x = -s - 188, 0 = -3*x + 2*s - b. Which is smaller: x or -63?
-63
Let c = -536 - -542. Let b = -32/105 - -2/105. Which is greater: c or b?
c
Let f(h) = h**2 + 15*h + 17. Let a be f(-16). Let g = a - 34. Does g = -18?
False
Let g = -314 + 314. Which is greater: -1/98 or g?
g
Let i = 120 - 119.85. Let w = -6.8 + 12.95. Let h = i - w. Which is greater: 1 or h?
1
Let j(d) = 25*d**2 - 15*d - 15. Let c be j(-1). Let n = 25 + 0. Is c <= n?
True
Let z be (2 - -30)/2 + 0. Let k(a) = a + 11. Let n be k(-8). Suppose 0 = -n*g + 4*u + 25, -29 = -5*u - 4. Which is bigger: g or z?
z
Let g(d) = -d**3 - 3*d**2 + 21*d + 37. Let k be g(-6). Which is smaller: 5 or k?
5
Let f be 2048/80 + (-2)/(-5). Suppose -f = 7*r - 152. Is r greater than or equal to 83/5?
True
Let n(m) = -2*m**2 + 8*m + 19. Let g be n(-3). Which is bigger: g or 1?
1
Let s = 14 + -30. Let b = s - -82/5. Which is greater: b or -1.1?
b
Suppose -10 = -5*t + 10, 2*k = 3*t - 18. Let f be -4 - 2*(k - 1). Let n be 44/(-12) - (0 - f). Which is bigger: -1 or n?
n
Let i(d) = -3*d - 2. Let j be i(-3). Suppose -j*o = -6*o - 9. Is o equal to 2?
False
Let b be 1/3 - 155/375. Suppose 0 = -2*t + 6*t. Let n = t - 1. Is n smaller than b?
True
Let y = -42 + 42. Suppose y = -3*t + 5*t. Which is smaller: t or -2/9?
-2/9
Let m = 915 - 900.38. Let j = -0.38 - m. Let c = -15 - j. Which is bigger: c or 4?
4
Let t be ((-3)/(-523))/(3 - (-1 + 3)). Which is smaller: -1 or t?
-1
Let m = 15 - 9. Let s be ((-2)/(-3))/((-7)/(-21)). Suppose -4*o = 3*w + 12, -s*o + w - m = -w. Which is bigger: -5 or o?
o
Let n be (28 - 0)*18/48*2. Suppose -3*i + 6*a = 4*a - n, -3*i - 4*a + 21 = 0. Suppose 2*y - d - 14 = 3, 0 = y + 3*d - 5. Are i and y equal?
False
Let d = -3 + -5. Let r(z) = -z**3 - 9*z**2 - 8*z. Let h be r(d). Suppose 5*c - 10*c = h. Is c bigger than -1/4?
True
Let x(v) = -v**3 + 6*v - 6. Let p be x(2). Which is bigger: 47 or p?
47
Let d = -8/1577 - 357923/11039. Let t = d - -65/2. Let v = t + 13/210. Which is smaller: v or 1?
v
Let v(c) = 2*c - 10. Let m be v(7). Suppose m*x + 26 = -6. Which is smaller: x or -10?
-10
Let x be (((-966)/72)/(-23))/((-50)/(-6)). Is -1 at most x?
True
Let s be 21 - 1 - 4/((-8)/(-2)). Suppose -s*x = -22*x + 3. Which is bigger: x or 8/5?
8/5
Let t = -2493664/567 - -4398. Which is greater: 0 or t?
t
Let g be 2/(8/167) + 15/12. Which is smaller: 45 or g?
g
Let p = 1323 - 1322. Is -61 at most as big as p?
True
Let l = -4.1 - -0.1. Let d = -28.7 - -33.5. Let n = l + d. Is n at least -1/4?
True
Let l(q) = 7*q + 24. Let u be l(-3). Suppose -18 = -5*j - u. Suppose s = -1 - 0, -4*s = a. Which is bigger: j or a?
a
Suppose -4*j - j + 140 = 0. Suppose 2 = 3*f - z - 14, 4*f - 3*z = j. Are 7/2 and f equal?
False
Let y = 2.98 + 1.02. Do y and 4/5 have the same value?
False
Let m = 37.5 + -38.5. Let p be (2 + 13/(-7))*-6. Does p = m?
False
Let m(z) be the second derivative of -z**5/20 - z**4/4 - z**3/2 - 3*z**2/2 + 8*z - 2. Let a = 2 - 4. Let h be m(a). Is -1/6 at most h?
False
Let w(u) = 189*u + 1. Let h be w(2). Let l = -1354 + h. Let k = l - -36077/37. Is k >= -0.1?
True
Suppose 19 - 4 = 3*q. Suppose -m - 3*h = 4, -5*m - q = 2*h + 2. Let b be 4/54*15 + -2. Which is greater: m or b?
b
Let f = 413 - 413. Is -1/6 < f?
True
Let x = 3 - 3. Let b = 8 + -8.2. Let j = -0.1 - b. Which is bigger: x or j?
j
Suppose 0 = 3*z - 2 - 7, -92 = 2*l - 2*z. Let s = -40 - l. Which is bigger: s or 2?
s
Suppose 204*i - 1386 = 182*i. Do i and 435/7 have the same value?
False
Let g(w) = -62*w**2 + 2. Let b be g(-2). Is -245 not equal to b?
True
Suppose -w + 12 = 14. Let h be 0 - (2*-1)/2. Which is smaller: h or w?
w
Let g = -2.53 - 0. Let i = -2.6 - g. Which is bigger: i or -1?
i
Let o be (406/4)/7 - 2/4. Which is smaller: o or 118/9?
118/9
Let a(f) = 6*f - 3. Let c be a(3). Let r = -16 + c. Is -10/9 less than or equal to r?
True
Let w = -110 + 209. Let b = -98 + w. Is b > -2/3?
True
Let b be (-16)/20*45/2. Let m be 60520/(-135) - 4/b. Let w = m + 448. Which is smaller: w or -1/4?
-1/4
Suppose 2*q - 3*c = 7*q, -2*q - 2*c = 0. Let h = -2.345 + 0.045. Let m = 0.3 + h. Which is smaller: q or m?
m
Let n(j) = -4*j - 24. Suppose 0 = -13*y + 15*y + 16. Let m be n(y). Which is smaller: 7 or m?
7
Let t(y) = y**3 + 2*y**2 - 4*y + 1. Let i be t(-3). Suppose -g = i*s + 3, 3*s + 2*g + 1 = -0*s. Let b be (-3)/30*104/26. Is s smaller than b?
True
Let b = 0 - 1. Suppose 4*w - 256 = 20. Let p be 3/15*2 + w/(-60). Is p at least b?
True
Let p be (63/14 + -4)*118/1. Which is smaller: p or 57?
57
Let f = 0.027 + -0.088. Let p = f + 0.561. Do -1 and p have different values?
True
Let b = 1 + -1. Suppose 0 = 4*l + 4*j - 2368, -4*j + 2956 = 2*l + 3*l. Let s be (63/l)/(1/4). Which is bigger: s or b?
s
Let k(p) = 2*p + 6. Let j(b) = -1. Let l(v) = -j(v) + k(v). Let s be l(-5). Let o be (2/s)/(1/3). Which is smaller: o or -10/3?
-10/3
Suppose 0 = 3*x - 4*d, -d = -5*x - 9 + 26. Suppose -2*m - 62 = -5*p, 2*p - 7 = -x*m - 83. Is -21 smaller than m?
False
Let r(i) = 28*i - 27. Let m be r(-8). Which is smaller: -250 or m?
m
Let y be 0/6 - 8/(-88138). Let r = 5332029/3525520 + y. Let d = -5/16 + r. Is d smaller than 1?
False
Let m = -83 - -86. Suppose 3*g + 79 = 4*j + 18, 4*g = m*j - 86. Are -23 and g equal?
True
Let r = -0.7 + 24.7. Let d = r + -24. Which is bigger: 0.2 or d?
0.2
Suppose 2*f + 4 = 0, -5*f = -p - 4*f + 7. Let u = p + 7. Let j be u/(-36) + (-4)/3. Which is greater: -1 or j?
-1
Let p be 2 - -2 - (-2 - -2). Let v(d) = 0*d**3 + d**3 - 8 + 6*d + p - 12 + 8*d**2. Let b be v(-7). Which is smaller: b or -7?
b
Let v = -14.9 - 5.3. Let x = v + 0.2. Let t = 15 + x. Which is smaller: t or -1?
t
Suppose -19*t = 5*f - 24*t - 2600, 3*f - 1555 = 2*t. Are 516 and f equal?
False
Let b = -7 + 11. Let p be (-69)/(-6) - b/(-8). Let c = p + -10. Which is smaller: c or 0?
0
Let l = 314 - 464. Let u = l - -147. Is u >= -7?
True
Let f(a) = -49*a**2 + 1. Let p be f(1). Let r be p/(-8)*2/(-7). Which is greater: 2/7 or r?
2/7
Let k = -10 + 7. Which is smaller: -15/4 or k?
-15/4
Let r = -4861 - -34019/7. Let v(w) = w + 2. Let j be v(-2). Let p be j/(-1 + -2 + 2). Which is bigger: r or p?
p
Let g = 0.5 + 0.3. Let t = g - 2. Let q = t + 1.3. Is q >= -4/13?
True
Let g be -3 + 0 + 7/2. Let l(b) = b**3 + 20*b**2 - b - 18. Let i be l(-20). Is i at most as big as g?
False
Let v(o) = 15*o**2 - 2*o - 4. Let x be v(-2). Let z be 45/x - (-65)/4. Which is greater: z or 15?
z
Let l = -103 - -68. Let s be (-66)/115 - 14/l. Which is bigger: s or 0?
0
Let t be 5/(50/(-4))*75. Let b = t + 31. Is -25 greater than b?
False
Let n = 536 + -637. Which is bigger: n or 1/3?
1/3
Let x be 0*(-1 - 1 - -3). Suppose x = -2*a + 5*a - 9. Suppose 0 = -3*z + 2*h + h, -z = 2*h + a. Which is smaller: 1/3 or z?
z
Let g = -65670 + 985466/15. Is g bigger than 28?
False
Let f(d) be the first derivative of -d**3/3 - 3*d**2/2 - 3*d + 2. Let z be f(-3). Suppose 3*r - 8 = 3*j + 2*r, j - 2*r + 6 = 0. Is j < z?
False
Suppose 31*u + d = 32*u + 856, -3*u - 5*d - 2