se
Let i be -9*(2/33)/(-1). Suppose -r - 3*r + 3 = 5*t, 0 = -r - 2*t. Which is greater: r or i?
r
Let n = -3 + 6. Suppose -2*k + 4*s = 156, -n*s - 68 = k + 25. Let d = k - -3446/41. Is d >= 0?
True
Let a be ((-4 - 1) + -24 + 29)/(-2). Is -2/505 < a?
True
Let s = -3 + 9. Suppose 4*y - 21 + 1 = 0. Which is greater: y or s?
s
Let s be (26/299)/(3/((-18)/33)). Which is smaller: 1 or s?
s
Let d = 4856/11 - 442. Let x be -6 - (260/208)/(2/(-8)). Which is bigger: x or d?
d
Let k be (-3 - -3) + 2 - -7. Suppose m - k + 3 = 0. Let x = m - -1. Which is smaller: x or 5?
5
Let z(i) = -i**3 - 36*i**2 - 32*i + 96. Let q be z(-35). Is -4 at least q?
True
Let z = 0.12 - -4.88. Let h = -2.08 + 5.08. Which is bigger: z or h?
z
Let v = 1 + -4. Let d = -3985/3 - -1332. Is v >= d?
False
Let j(p) = 21*p**2 - 5*p + 4. Let q be j(3). Which is bigger: q or 1242/7?
q
Suppose z = 2*v + 161, 0*v - v - 805 = -5*z. Let b be 1042/14 + 92/z. Suppose 5*s + 6*g + b = g, -5*s - 81 = 2*g. Is -17 less than s?
False
Suppose -2247*w = -2238*w - 1827. Does w = 0.2?
False
Let a be (-275)/(-15)*(-138)/(-115). Which is smaller: 1 or a?
1
Suppose -4*m - 3*w + 24 = w, -2*m = -2*w - 4. Let p be (6/4)/(2/4). Let s = -2 + p. Do m and s have different values?
True
Let m be (-4)/(-7 - 1)*(2 - -6). Let g be 0 - ((m - 4) + 1). Is 2/23 bigger than g?
True
Let n(j) = 12*j + 4. Let h be n(3). Let s = 41 - h. Which is smaller: -2 or s?
-2
Suppose 0 = -5*l + t + 3*t + 585, -2*l + 211 = 3*t. Is 114 smaller than l?
False
Let g = -12.9 - -15. Let d = 1.9 - g. Are 1.1 and d equal?
False
Let y = -19 - -31. Suppose -j + 3*z + y + 10 = 0, -2*z = -4*j + 48. Which is smaller: j or 8?
8
Suppose 2*b + 6 = 0, 5*k = -322*b + 318*b + 1488. Which is smaller: 296 or k?
296
Suppose 0 = -3*b + 5*p - 72, -3*p + 12 = -b - 8. Is -31 < b?
True
Let n(l) = l**2 + 18*l + 17. Let a be n(-17). Suppose k - 2*i - 14 = 0, 3*k - 4*i = -0*i + 36. Suppose -5*x + 58 - k = a. Which is bigger: x or 11?
11
Let q = -1016.16 + 1016. Are q and -2 non-equal?
True
Let b(v) = -v**2 - 3*v - 3. Let g be b(8). Let u be 469/g - (-2)/13. Which is bigger: -6 or u?
u
Let s(d) = -d**3 - 12*d**2 - d - 45. Let g be s(-12). Which is greater: g or -29?
-29
Let p be (-33)/(-39) + -1 + 108/195. Do 5/4 and p have the same value?
False
Let p = -783 + 765. Is p less than or equal to -9?
True
Suppose -5*k + 4*n - 28 = -11*k, 0 = 2*n + 10. Which is smaller: k or -2?
-2
Let w(t) = t**3 + 1 - 5*t**3 + 0 - 3*t + 4*t. Let c be w(-1). Is c > -2/3?
True
Let x = 343 - 306. Which is smaller: 34 or x?
34
Suppose 0 = 4*f - 20, -105 = -2*p + 4*p + 5*f. Let g = -64 - p. Let l = -1.8 + -0.2. Is l equal to g?
False
Let c = -7 + 18. Suppose j = 2*j - 2. Suppose u + c - j = 0. Do u and -10 have the same value?
False
Let s = -3611997/10 + 217449091/602. Let m = s + 3/215. Which is smaller: m or 11?
11
Let v be (-7)/(-2) - 2/(-4). Suppose -v*b = -b. Suppose 3*k - 4*k - 11 = 3*g, b = -2*g - 3*k - 19. Is -10/9 at least as big as g?
True
Let y = 6 + -3. Let w be (-1 - (-9)/y)*-8. Let x = w - -14. Are -2 and x equal?
True
Let x = 344910/959 + -2518/7. Let b = -683/4658 - x. Is b at most as big as -1?
False
Let t(y) = -9*y**2 + 33*y + 187. Let h be t(-5). Which is greater: -204 or h?
h
Let k = -809882803/6097 - -132833. Is k at most as big as 0?
True
Let a(l) = 3*l + 11. Let v(p) = -4*p - 10. Suppose -5*j - 5*c - 12 = -4*j, 3*j - 5*c = 24. Let u(d) = j*a(d) + 2*v(d). Let q be u(-7). Which is smaller: q or 8?
q
Let f(b) = b**2 + 43*b + 153. Let i be f(-40). Is 33 greater than or equal to i?
True
Let h be (696/(-64))/(3/(-172)). Let p = h - 5927/10. Let a = 31 - p. Is 1/6 less than a?
True
Let f(q) = 3*q + q - 12 - 1 - 4. Let l be f(-10). Which is smaller: l or -58?
-58
Let c = -913 + 912. Does -0.1 = c?
False
Let n = -0.3 - 0.7. Let g = -0.1525 + 8.1525. Is n greater than g?
False
Let t(i) be the first derivative of -i**2/2 + i + 3. Let s be 25/(-15) + 16/(-3). Let n be t(s). Which is smaller: 22/3 or n?
22/3
Let b be (-30)/(-12)*4/(-15). Let u(k) = k - 8. Let t be 3 + 3 + 1*2. Let q be u(t). Which is bigger: b or q?
q
Let v be 6/5 - (-55528)/(-45540). Which is smaller: v or 1?
v
Let s(a) = -a**3 - 4*a**2 - 2*a - 3. Let p be (6/9)/((-1)/3). Let u be s(p). Let h = -720 - -720. Is u not equal to h?
True
Let h = 4 + -4. Let b = -19/18 + 109/99. Which is smaller: h or b?
h
Let i = -1135 + 11353/10. Suppose 4*h - 22 = 5*b - 11, 2*b + 7 = -h. Which is smaller: h or i?
h
Let b(c) = -6*c - 4. Let h = 4 - 0. Let j be b(h). Is -28 not equal to j?
False
Let s = -68/111 + -29494/777. Is -38 > s?
True
Let i be 12/(-20) + 165/25 + 464. Is 472 greater than i?
True
Suppose -9 + 9 = i. Which is smaller: i or 1/348?
i
Let s be 10 + -9 + (1 - 2). Suppose s = -c - c. Suppose -3*i - 5 = -2*f, c = -f - 2*f + 12. Which is smaller: -2/7 or i?
-2/7
Suppose 0 = -8*c + 10*c + 278. Which is smaller: c or -138?
c
Let j be (-132)/(-39) + (-4)/2. Let k = -11.324 + 10.324. Is j less than k?
False
Let n = -14.2 - -14. Suppose 2*j + 16 = p + 3*p, -10 = 5*p + 5*j. Let v be (p - (-26)/(-12))/1. Which is smaller: n or v?
n
Let q(f) = -f**3 + 9*f**2 - f + 4. Let r be q(9). Let p(u) = -8*u**2 - 78*u - 57. Let d be p(-9). Which is smaller: d or r?
r
Let d = 24 + -27.6. Let h = -5914 + 5915. Which is greater: h or d?
h
Suppose g = 5*r - 20, 2*g - 3*r + 47 = -0*r. Which is bigger: g or -5?
-5
Let g(w) = -w**3 + 6*w**2 - 9*w + 2. Let q be g(4). Let z be (3/9)/(q - 5/(-3)). Which is greater: -6/31 or z?
-6/31
Let k be ((-6)/2 + 2)*-3. Let j = k - 4. Let n(a) = -a - 1. Let o be n(j). Do o and -1/6 have different values?
True
Suppose 80*d - 79*d + 2*g - 1 = 0, -g - 1 = -d. Is 3/667 smaller than d?
True
Let s be ((-85)/(-25) - (5 - 2)) + 0. Suppose 5*a - 76 = a + 4*w, 4*w = a - 25. Is s != a?
True
Suppose 61 = 4*k + 37. Let t = -1 + 6. Suppose -y + k*y = t. Is y less than -2/13?
False
Let v = 93 - 84. Let z be (v + -3)*(-3)/81*-1. Which is smaller: 0.22 or z?
0.22
Suppose 2*k = -0*k. Suppose 2*a - 6 = -0*a. Let u be 1*1/(a - 4). Which is smaller: u or k?
u
Let v = -6159 - -18190/3. Which is bigger: -97 or v?
v
Suppose -4*l = -2*q + 160, -1 = 2*l + 1. Suppose -1 = -q*w + 77*w. Let p be 62/108 - (-2)/(-4). Which is bigger: w or p?
w
Let x be ((-12)/8)/(9/(-5532)) - -3. Is 925 > x?
False
Let i = 8.04 + -0.04. Let j = -8 + i. Let k = 0.24 + -0.2. Is j smaller than k?
True
Let i be 2 + 0 - (0 + 0). Suppose 6*k + 409 + 455 = 0. Let h = 144 + k. Which is smaller: i or h?
h
Suppose -a = -2*s - 3*s - 45, 5 = -s. Let u = 59/3 - a. Which is bigger: u or 48?
48
Let i = 22 - -3. Let l = i + -23. Let j be 2 - (11 - (7 - 4)). Which is bigger: j or l?
l
Let l be 3 - (5/(-15))/((-7)/(-582)). Let j = 31 - l. Which is smaller: j or -16?
-16
Suppose 2*b - 7*b = -125. Let z = b + -15. Is 11 at most as big as z?
False
Let s be ((-6)/(-2) - (6 - 3))/1. Suppose 9*a - 4*a + 80 = s. Is a at most as big as -16?
True
Let w be ((-44)/(-55))/(6/(-5)). Which is smaller: -79 or w?
-79
Let c = -10222/11 + 924. Let o = c + 401/99. Is 1 at most as big as o?
False
Suppose 22 = -2*d + 2. Let k be 42368/90 - (-2)/d. Let b = k + -471. Is 0 < b?
False
Let z = -32.0699 - 0.3101. Let y = z + -0.62. Which is smaller: 1 or y?
y
Let g be (-4155)/40 - 4 - (-4)/(-32). Is -108 equal to g?
True
Let c(i) = -2*i**3 - 98*i**2 + 2*i + 95. Let j be c(-49). Which is bigger: j or -1/31?
-1/31
Let p = -1 - -2. Let k = 70 - 145. Let a = 74 + k. Is p less than or equal to a?
False
Let z = 697 - 696. Which is bigger: -16/47 or z?
z
Let l = 3.05 + -3. Let f = l - 1.45. Let o = f - -0.6. Which is smaller: o or -1?
-1
Let c(u) = -u + 97. Let s be c(-25). Which is smaller: s or -2?
-2
Let c be 6/(-16)*-4*34. Let g = c - 50. Let d be 3*10/28 - 1. Is d bigger than g?
False
Let h be (10/6)/((-187)/(-396)*-6). Is h >= 11?
False
Suppose u = -5*a - 91, 3*u = 5*a - u + 111. Let t = -168/5 - -209/15. Is a <= t?
False
Let t be (-1)/(2*4/(-16)). Let j(m) = -m**2 - 3*m + 3. Let z(p) = -2*p**2 - 3*p + 4. Let q(r) = -3*j(r) + 2*z(r). Let y be q(2). Are y and t equal?
False
Let u(s) = s - 6. Suppose 4*k = 7 + 9. Let x be u(k). Let j be (-1)/x - (-13)/2. Which is smaller: j or 9?
j
Suppose 4*d + v = 6, -d + 6*d = -5*v. Suppose l = d*l + l. Is l at least as big as -4/5?
True
Suppose -3*h = -6*s + s + 6, 