alse
Suppose a - 5 = 0, 5*g - a + 20 = -0*a. Let j be (11/11)/((-2)/(-20)*2). Suppose -2*b - x = 0, 0 = -j*b + 9*x - 10*x - 6. Which is smaller: b or g?
g
Let l = -46457/70 + 664. Let t = 13/14 - l. Which is bigger: t or -3?
t
Let n(x) = x - 4. Let k be n(3). Let w = 9065/153 + -1011/17. Which is greater: k or w?
w
Suppose -x - 4*v - 14 = 0, -4*x - 4 = v + 2*v. Let d be 3 - (x/2 + 1). Let i be (30/4)/(2*6). Which is greater: d or i?
d
Let l be ((-21)/(-105))/(1/(-5)). Which is greater: -4/71 or l?
-4/71
Let h = -405 - -405. Is 8 smaller than h?
False
Let d = -8/5 - -78/55. Let q = -5/88 - d. Are q and 0 non-equal?
True
Suppose -2*v + 5*v - 12 = -3*g, 0 = 2*v + g - 4. Let a be (v - (2 + 0))/1. Let h be (-348)/(-203) + (-2)/(-7). Is a bigger than h?
False
Let x(y) = -y**2 - 6*y + 6. Let f be x(4). Let c be (1/f)/(5/(-4)). Suppose -20*n + 1 = -3*z - 19*n, -9 = z + 4*n. Is z equal to c?
False
Let s be 21/15*(-5)/6. Let c be 3/2*16/3. Let g be (-4)/(c/(-3))*10/(-15). Are s and g nonequal?
True
Let k(a) = -a**3 + 8*a**2 + a - 5. Let z be k(8). Suppose 0 = -3*l - z*p + 3, 2*l + 4*p + 1 = 3*p. Which is smaller: -0.09 or l?
l
Let d(u) = u**3 - 6*u**2 + 3*u + 13. Let b be d(5). Which is smaller: -9 or b?
-9
Let g be 0 + -3 + 902/(-462) - -4. Are -1 and g equal?
False
Suppose 2*a - 119 = -5*g, 15 = -11*a + 6*a. Which is smaller: 22 or g?
22
Let b be 4*(-14604)/240 + (-4)/(-10). Is 0.3 greater than b?
True
Let o = -0.1 - -0.2. Let a be 2/4 - 24/(-16). Suppose -3 = a*j - 5. Which is greater: o or j?
j
Suppose 7*s - 8*s + 1 = 0. Let f be (-4)/44*2/s. Let r be (-6)/3 - (-2 + 2 + -2). Which is bigger: f or r?
r
Suppose 211 - 205 = -3*z. Let g(o) = o**3 + o**2 + o - 5. Let b be g(0). Which is smaller: z or b?
b
Suppose -3 = 8*c + 13. Which is smaller: c or -25/29?
c
Let x(p) = p**2 - 32. Let a be x(-10). Which is smaller: 69 or a?
a
Let r = 5.1 + -4.946. Is r at most as big as 1?
True
Let f = -2.42 - -0.19. Let s = f + 0.23. Which is smaller: s or -1/5?
s
Let x = 1.02 - 0.02. Let c = x - 0.2. Let v = 0.2 + c. Is v less than or equal to 0?
False
Suppose 2 = -2*p + 3*p. Let i be (-64)/(-2)*p/(-4). Do i and -14 have the same value?
False
Let r = -25.74 - 0.26. Let s = 25.98 + r. Let d = s + 0.12. Which is bigger: d or -2/3?
d
Suppose 5*r + 6 = 7*r. Suppose -r*f = -f + 16. Let p be (42/(-56))/((-21)/f). Which is bigger: p or -0.6?
p
Let u = 80 - 160. Let y = 66 + u. Are -0.2 and y equal?
False
Let h be (1/((-1)/12))/(204/136). Let w be 2/h*(-2)/(-7). Which is smaller: 3 or w?
w
Suppose -8*j + 4*q + 6 = -10*j, 3*q = -6. Is j at most as big as -4/305?
False
Let f = -4 - -14. Let u = 27 - f. Let t be u/(-51) - (-22)/(-6). Is t greater than -22/5?
True
Let m = 549 - 548. Let h be (-20542)/(-22) + -1 - 2. Let k = -930 + h. Is k bigger than m?
False
Let x be -86*(-31)/2 - (-12)/(-4). Is x < 1331?
True
Suppose -7*z + 23 - 9 = 0. Let o = 82 - 241/3. Do z and o have the same value?
False
Suppose -10 = 5*c, 5*p - 42 = -0*c + c. Which is bigger: p or 7?
p
Let n = 9 + 4. Let i(z) = -z**3 - 2*z**2 + 3*z - 7. Let r be i(-4). Is r < n?
False
Let c be 6/(-14) + 2*4/(-14). Let f = 11/34 - -4/119. Is c equal to f?
False
Let z = -416 + 1710. Which is smaller: z or 2?
2
Let a = -179 + 180. Does 3/100 = a?
False
Let f be 1/(-11)*15 - -1. Let l = 66 + -10. Let h = l + -56. Which is smaller: h or f?
f
Let b be 4/18 - 230/(-18). Let y(j) = 7*j - 36. Let g be y(9). Suppose -4*x - g = b. Which is smaller: -9 or x?
x
Suppose -2*j - 20 = 4. Let r be (-1 + 2)/(4/j). Let l be (r/(-4))/((-6)/(-4)). Is l at least 1?
False
Let z(b) = -93*b - 26. Let y be z(-11). Let g = y + -64807/65. Are 0 and g non-equal?
True
Let z = -8 - -3.6. Let x = z - 1.6. Is x greater than or equal to 1?
False
Let f(m) = -3*m + 24. Let v be f(21). Let p be (-91)/v + 1*-3. Is p smaller than 81?
True
Suppose 4*x + 4*v = -4, 0 = 3*x - 0*v - 3*v + 15. Let y = x + 12. Let f(j) = 55*j + 62. Let n be f(-1). Which is bigger: y or n?
y
Let o = 1755 + -140403/80. Which is smaller: o or -1?
-1
Let i = 73 - 71. Let t be 0/i + (-23 - -23). Which is greater: t or -2?
t
Let m be 66/12 - 9 - (-6598)/1892. Which is smaller: m or -1?
-1
Let v = 203 - 205. Which is greater: 4/25 or v?
4/25
Let r = -39 - -39.38. Let g = 2983 - 2984. Which is smaller: r or g?
g
Let p(i) = i**3 + 5*i**2 + 7*i + 6. Let j be p(-6). Let q be (-16)/j - (-61)/(-153). Let l = 8/51 - q. Is 0 at least l?
False
Let w = -18109/30872 + -3/1816. Which is greater: w or 1?
1
Let y = 279 + -2429/9. Let a(q) = q + 2. Let x be a(6). Is y equal to x?
False
Let c = -74 - -74. Let r(d) = d**3 - d**2 - 58. Let z be r(c). Is -56 at most as big as z?
False
Let k(x) be the first derivative of x**4/4 + 6*x**3 + 8*x**2 - 8*x - 6. Let j be k(-17). Does j = 11?
False
Suppose -4*v + 6*v = 2*d, -2*v - 4*d + 6 = 0. Let i be 0 - 1/((-1)/2). Let z be 9/(-24)*(1 - i). Is v at most as big as z?
False
Let q be (2 + -5)*(3 - (-124)/(-48)). Suppose 3*w - 1 = -7. Is w greater than or equal to q?
False
Suppose 6*w + 381 = 9. Let l = w + 63. Which is smaller: l or 12/17?
12/17
Let n = -2150 + 4301/2. Let o = 17 - 17.056. Which is bigger: n or o?
n
Let v be (-2 - -5)*(-92)/(-3). Let t = -2 + v. Suppose t - 18 = -4*p. Which is greater: -19 or p?
p
Let o(u) = u**3 + 4*u**2 - 3*u - 3. Let k be o(2). Suppose 2*y + 3 = k. Is 29/4 > y?
True
Suppose -152 = -4*a + 4*h, 0 = 5*a + 54*h - 57*h - 192. Is 37 < a?
True
Let o = 305 - 304.9. Let g be 80/3 - (-2)/(-3). Is g greater than o?
True
Let a = 0.04 + -1.24. Let c be 2/7 + (-204)/28. Let n = -5 - c. Is n less than or equal to a?
False
Let b be (-28936)/3360 - 4/10. Let p = 37/21 + b. Which is smaller: p or -8?
-8
Let g(o) = o**3 - o**2 - 12. Let m be g(0). Let q be (4/m)/(3/(-54)). Let l be (-54)/156 + q/(-39). Is l greater than or equal to -2?
True
Let c = -1.3 + 13.3. Let d = 404 + -394. Let i = d - c. Does -2/7 = i?
False
Let i(a) = -a - 12. Let q be i(-14). Suppose -5*j + 58 = 4*p, -p + 3*j + 10 = q*j. Let d = p + -14. Which is greater: d or -3?
d
Let d be -2 - (-6)/(11 + -5). Which is bigger: d or -1/4?
-1/4
Let m = 0.89 + 0.11. Let z = 0.93 - m. Let a = z + -0.13. Is 0.1 greater than a?
True
Let k = 9/107 + -519/2354. Let l = -0.1 - -0.2. Is k less than or equal to l?
True
Let g(o) = -o**2 + 3*o + 8. Let u be g(5). Suppose -5*t + h - 14 = -3*h, -3*t - h = 5. Let b be 1/((-1)/(-3 - t)). Is u bigger than b?
False
Let u(o) = -4*o**3 + 5*o**2 + o + 17. Let b be u(7). Which is smaller: b or -1104?
-1104
Let l(r) = -2*r**3 + 3*r**2 + 21*r - 7. Let p be l(-5). Which is smaller: 212 or p?
212
Suppose 0 = -2*j - t + 2*t - 39, 2*j = -5*t - 33. Let k = j - -20. Is k less than or equal to -2/49?
False
Let u = -37.1 + 37. Which is smaller: u or -9.1?
-9.1
Let b = -602.8 + 603. Are b and -91 non-equal?
True
Let t = 866279/19332 - 1210/27. Let j = -1262212537317/39380 - -352573374/11. Let u = j - t. Is 5 != u?
True
Let y(j) = j**2 + j + 1. Let n be y(-3). Let g = -219 - -227. Do n and g have the same value?
False
Let m = -32 - -26. Let f = 7 + m. Is f < -0.06?
False
Let r(f) = f**2 + 5*f + 4. Let p be r(-3). Let k be ((-5)/p + -2)*0. Let b = -82 - -245/3. Are k and b nonequal?
True
Suppose -25 = -7*m + 3. Let s be (-6 - (-13 + 6)) + (-3)/m. Which is greater: s or 1/31?
s
Let l = 2176 - 2402. Which is greater: -224 or l?
-224
Let q = -63.3 + 53.3. Which is smaller: 2/3 or q?
q
Let z(t) = t**3 + 5*t**2 - 8*t - 8. Let g be z(-6). Suppose -g*k - 2 = -6. Let v be ((-6)/(-12))/(k/(-16)). Which is greater: -10 or v?
v
Let r = -101 - -117. Suppose 5*t = t + 36. Suppose -t*f + 13*f = -r. Is -3 less than or equal to f?
False
Let m be (-20)/210*(-7 - 0). Is m smaller than -0.0128?
False
Let r be ((-2)/(-6))/(53/9). Suppose 0 = 25*k + 2*k. Which is greater: k or r?
r
Let k = -338 - -317. Which is bigger: -131/6 or k?
k
Let y = -139007/3456 - 1/3456. Is -39 < y?
False
Let l(g) = 39*g**3 - g**2 - 2*g + 5. Let x be l(-2). Is x equal to -307?
True
Let f be 1/(((-26)/732)/(-13)). Suppose 0*m = 3*m - f. Let u be -2 - (-2)/(128/m). Is u greater than or equal to -1?
True
Let t = -42/47 + -119/235. Let c = 53.1 + -51. Let d = -2 + c. Which is smaller: t or d?
t
Let b = 0.7 - 1.3. Let y = b + 0.4. Let a = 540 + -540.3. Which is smaller: y or a?
a
Suppose -4*u = b + 1, 20*b + 3 = 17*b 