st r?
True
Let l be ((-1)/4*0)/(0 + 3). Is l less than 2/605?
True
Let g = -14243/16 - -889. Does g = -1?
False
Let c be (2/(-49)*-14)/(1438/7). Is c greater than or equal to -1?
True
Let d be (6 + -4)*(4 + -2 + -1). Suppose -d*j + 4*l - 39 = -7, 0 = 5*j + 4*l + 108. Which is greater: -21 or j?
j
Let i = 2 - -2. Suppose -p + 18 = -i*p. Which is greater: p or -7?
p
Let u be -2*(1 - (-2 + 2)). Let t be 18/(-14) - u/7. Let p = 3892/9 + -432. Is p at most as big as t?
False
Let f be 2/(35/10 + -4). Let u be (-174)/(-4)*7/42*f. Are -29 and u non-equal?
False
Let q = -22.957 - 0.043. Let i = q - 2. Let u = i + 24.9. Which is smaller: u or 0.05?
u
Let g = -2.08 - -0.08. Let p = g - -1.9. Let a be 5/(945/(-41)) - (-1)/7. Which is smaller: p or a?
p
Let r = -283.1 + 283. Is r at least as big as -5/34?
True
Let i(j) = j**3 - 8*j**2 - 8*j + 32. Let w be i(8). Is -16 greater than or equal to w?
True
Let a be 156*(0 - 6/4)/3. Are -76 and a nonequal?
True
Let s be (-8)/6*216/40. Which is smaller: -8 or s?
-8
Suppose -2*i + 60 - 62 = 0. Let p be ((-4)/(-10))/(2/10). Suppose 2*o + 1 = -3*n + 2, o = n - p. Are i and n nonequal?
True
Let y(p) = p + 1. Let r be y(-1). Suppose -150 = 5*j + 4*k, 3*j + r*k = 2*k - 68. Which is smaller: -27 or j?
-27
Suppose 4*u - 22 = -j + 8*u, 5*j + 5*u = -15. Suppose -6 = -2*m + 5*m. Let n = m - j. Is n >= 0?
False
Suppose 9*l - 15*l = 3*l. Which is smaller: l or -1.12?
-1.12
Let p = 43 + -40. Suppose -5*w + 22 = -2*m, p*w = -2*w + 20. Which is smaller: -4/3 or m?
-4/3
Suppose 244*l + 1794 = 221*l. Are -80 and l nonequal?
True
Let y be (65/25 + (-2 - 0))*-5. Which is greater: y or 15/7?
15/7
Let d = 9 + -4. Suppose 1 = k - d. Let q be (-84)/(-8)*k/(-9). Is q at most 2/7?
True
Let l be 0/(0 - 1/(-1)). Let f(y) = y**2 - 5*y - 61. Let j be f(-6). Suppose l = 5*q - 0 + j. Do q and 2/39 have the same value?
False
Suppose 2*g + 16 = 6*g - 2*q, 4*q + 10 = -3*g. Suppose 5*s = 0, g*s = -2*i + s - 6. Are -3 and i equal?
True
Let m(x) = -x**2 + 2*x + 4. Let n be m(3). Let q = -39839/147 - -271. Are q and n unequal?
True
Let v = 6/6437 - -946119/128740. Which is smaller: 6 or v?
6
Let g(a) = 6*a + 7. Let o be g(7). Let j = o + -49. Is j != -1/26?
True
Suppose -2*i - 2*z - 16 = 0, 3*z = 6 - 18. Suppose -4*g - 35 - 48 = -3*j, -j - 2*g = -21. Suppose 4*n = -d - n - j, -4*d - 16 = -n. Which is smaller: d or i?
d
Let u = 743/392 - 15/8. Let k = -55/294 + u. Does k = 0.2?
False
Let u = -1 + -8. Let m = u - -9. Are 2/113 and m equal?
False
Let z = -61 - -88. Let d be z/(-63) + 31/154. Which is bigger: 0 or d?
0
Suppose -2*f + 6 = -g, -3*f + g + 22 = 6*g. Let x be ((-30)/(-9))/(f/6). Suppose 2*m - 3*v + 5 = 0, 5*m - 13*v - 15 = -11*v. Is x greater than or equal to m?
True
Let o = 211 - 201. Let y(b) = b**2 + 5*b + 2. Let l be y(-5). Suppose -2 = l*r + o. Is -7 > r?
False
Let f(w) = 3*w**2 - 17*w + 21. Let d be f(2). Let x = -11 - -11. Is x != d?
True
Suppose 16*i - 11*i + 170 = 0. Which is smaller: i or -11?
i
Let r be 1/(3/2 + -1). Suppose -7 = -r*h + h. Suppose 15 = -k + 4*k - 3*x, 0 = 4*k + 3*x - 41. Is k less than h?
False
Let o(y) = y - 1. Let n be o(-2). Let z be -1*n*(-4)/(-12). Which is smaller: -1/12 or z?
-1/12
Let y(n) = n**2 + 64*n + 5. Let a be y(-63). Is -68 greater than a?
False
Let p be (135/(-60))/((-186)/16). Which is greater: p or -1?
p
Let c = 231 + -236. Are c and -21 unequal?
True
Suppose x = 3*f - 11, -2*x - 4 = -3*f + 3. Let l be 8/x*(-20)/(-4). Is 5 less than or equal to l?
True
Let p = 4013/12091 - 28/113. Let j = p + -11/2675. Which is smaller: 0 or j?
0
Let m = -146 - -135. Which is smaller: m or -74/7?
m
Suppose -5*z + 3*g - 5 = 0, -2*g - 18 = -2*z - 16. Which is smaller: -23/8 or z?
z
Let i = -959989/203 + 4729. Which is bigger: -0.1 or i?
i
Let t = -130721/46 - -2842. Let m = t + 1/92. Let g = -0.2 - -10.2. Is m < g?
True
Let x = -651 - -651. Let y = -2/447 - -157/1788. Let r = y - 1/3. Which is smaller: x or r?
r
Let p = -102 - -109. Is -0.3 greater than or equal to p?
False
Suppose 4*z = 16 - 4. Let k(a) = 3*a**2 + a + 6. Let h be k(0). Do z and h have the same value?
False
Let n = -0.37 - -0.04. Let t = 16.33 + n. Let m = t + -11. Are m and -2 non-equal?
True
Let t be -3 + 24/9 + (-38)/57. Let d = 7916/2387 + -102/31. Is t at most as big as d?
True
Let m be ((-52)/(-144))/((-31)/(-992)). Is 11 < m?
True
Let v(j) = 2*j - 64. Suppose 3*k + 69 = 4*q, -4*q + 2*k + 64 = -2*k. Let y be v(q). Is y smaller than -19?
True
Suppose -2*y - 22 = -4*y. Let m be y/3 + 5/15. Is m >= 13/3?
False
Let s = -1312 - 422. Which is greater: s or -1733?
-1733
Suppose -2*k - 2*y - 12 = 0, k + y + 7 = -k. Suppose -2*w + 0*w + 2*v - 4 = 0, 0 = 4*w + 3*v + 1. Let f be (1 - 0/3)*w. Is f at most k?
True
Let i = 2054824/157 - 13088. Are 0 and i non-equal?
True
Let g = -69772/341 - -2250/11. Let y(c) = -c + 1. Let l be y(2). Which is smaller: g or l?
l
Let b be 0 - 1 - 0 - 105/(-35). Suppose b*j - 18 = j. Is 18 <= j?
True
Suppose 95 = 5*h + 5*w, 0*h + 4*h - 82 = 2*w. Let p be 41/255 + (-4)/h. Let v = 35/408 - p. Is -1 less than or equal to v?
True
Let d be 1/3*(-7 - -16). Suppose 2*b + 5 = d. Suppose 5 = 4*j - 5*a - 10, 5*a = -2*j - 15. Does b = j?
False
Let h(d) = 10*d + 51. Let a be h(-5). Which is smaller: a or -2/67?
-2/67
Suppose -4*h - 94*h = -196. Is h != 21/19?
True
Suppose -5*f + 4 = -36. Suppose f*x - 12*x - 4 = 0. Is x smaller than -2/25?
True
Let a be 3 + -1*(3*-2)/2. Suppose -2*d + t - 5*t = 6, -4*d + a = -t. Which is smaller: 0.05 or d?
0.05
Suppose -4287*g = -4299*g - 5748. Is g bigger than -479?
False
Let y be (-8)/10*(-210)/(-5019). Is -1 at least y?
False
Suppose -110*r + 58*r = 52. Which is greater: r or 2/2561?
2/2561
Suppose 0 = 82*c + 5*c + 87. Is -1/495 != c?
True
Suppose t - 4*t = 4*u - 9, 0 = 4*u. Let m = 23 - t. Let q = 21 - m. Which is smaller: -2/59 or q?
-2/59
Suppose 0 = 3*c - 8 - 4. Suppose 2*b = 12*b. Which is smaller: c or b?
b
Let z be (2 + -3)/((-3)/6). Let g be (4/(-12) - z)*-3. Suppose 6*a = g*a + 7. Is a greater than or equal to -4?
False
Let v be (-8 - -4)*1 + 4. Suppose 9*x - 8*x - 4 = v. Suppose -b + 5 = x*b. Which is smaller: 2/41 or b?
2/41
Suppose -4*j + h + h = 0, j = 2*h. Let x be (0 + j)*(-4)/12. Let g be (-58)/30 - (-1 + -1). Which is smaller: g or x?
x
Let a(k) = k**3 + 5*k**2 - 7*k - 6. Let z be a(-6). Suppose 2*i - 3 = -i. Suppose -r + i = 2*r - 5*v, -3 = -r - v. Is z at most as big as r?
True
Suppose 4*n + 12 = 4*a, 20*n + 5*a = 19*n - 9. Are n and -5 equal?
False
Let b = -45046/99 - -455. Which is smaller: b or 2/9?
b
Let a be (-57)/(-54) - (-7)/(-126). Which is smaller: a or -16/309?
-16/309
Let s be 9/5 - 0*1/(-4). Is s greater than 2?
False
Let h be (7839 + -3)*(-1 - (-55967)/55970). Let m = -6/965 - h. Is m at least as big as -1?
True
Let f(i) = -11*i**3 + 2*i**2 + i - 2. Let o be f(1). Let m = 8 + o. Do m and -1/4 have the same value?
False
Let z be (-75574)/(-51910) - 14/10. Which is greater: z or 0?
z
Let t = -487.7 - -456. Let s = -32 - t. Which is smaller: -3 or s?
-3
Let w(n) = 2*n + 8. Let v be w(-4). Let x be 7 - (v/3)/(4 + -2). Is x < 5?
False
Let h = -207 - -168. Is 3 greater than or equal to h?
True
Let h = -524 - -11002/21. Let r be 0/(-5)*(0 + -1). Which is smaller: h or r?
h
Let o = -16/207 + 1/18. Let z be ((-4*5)/4 - -5)*1. Is z not equal to o?
True
Let p be 6 - 3608/900 - 2. Is 1 equal to p?
False
Let c = -2.01 + 0.01. Let b = -3.5 - 4.5. Is b less than c?
True
Let n be ((-6)/4)/(23/(-46)). Suppose 5*q - 2*v + 38 = -n*v, v - 2 = 0. Suppose 0*p - 5*p = 45. Which is smaller: p or q?
p
Let z be 6414/4*(-6)/(-432). Let b = 67/3 - z. Is 0 > b?
False
Suppose -3 + 2 = -u. Which is smaller: -5/57 or u?
-5/57
Let z = 77.2 + -77. Which is smaller: z or -2/7?
-2/7
Let t be (-2)/(-4) - (-1)/(-2). Let f(d) = -3*d**3 - 7*d**3 - 6*d**3 + 2*d**3 + 15*d**3 + 1. Let o be f(t). Do -2/7 and o have the same value?
False
Let h = 8 - 36. Let y = -15.7 - 3.3. Let a = y - h. Which is smaller: 1 or a?
1
Let f = -1660 - -13259/8. Which is smaller: 1/3 or f?
f
Let x be 55/65 + -1 - (-1362)/(-104). Which is smaller: -12 or x?
x
Suppose 5*g + 13 = 18*g. Which is smaller: g or 47?
g
Suppose 3*l - 4*d = 2, -5*l + 18 + 8 = -d. Which is bigger: 9 or l?
9
Suppose 0 = f - 0*f + 5*w + 5, 3*w + 3 = 0. Let b 