2, -x = -3*m + 5*m + 2*p. Which is greater: m or -2?
-2
Let t = 183/4 - 46. Let p(j) = -j**3 - 4*j**2 + 1. Let k be p(-4). Suppose -k = -5*m - 6. Which is smaller: t or m?
m
Let x = -660 + 12543/19. Let i = -2113/5 + 423. Is x less than i?
True
Suppose 0 = 4*u - 31 - 5. Let l = u - 5. Let k be 1*2/((-8)/(-10)). Is l equal to k?
False
Let d = -131 - -138.1. Let g = d - 6.87. Are g and 2/3 equal?
False
Let c = 11.92 + 572.08. Does c = -0.1?
False
Let a(x) = 3*x**3 + 21*x**2 + 14*x - 3. Let i be a(-6). Suppose 0 = 3*r + 65 - 5. Let k = i + r. Which is smaller: k or 0.1?
0.1
Suppose -31*w + 33*w = 0. Suppose j + 5*n = 35, -5*j + 35 = -w*j - 3*n. Is 5 equal to j?
False
Let u(d) = -2*d**3 - d**2 - 5*d - 6. Let v be u(-3). Suppose -12*t = -6*t - v. Is t at least 9?
True
Let q = -4419 - -13453/3. Which is bigger: 65 or q?
q
Let k be 24/60 + (0 - (-56)/(-190)). Is 0 at most as big as k?
True
Suppose 2*o + 192 = -4*o. Which is smaller: -30 or o?
o
Let g = -7 + 10. Suppose -4*m - 3 = -g*m. Let p(l) = -2*l**3 - 2*l**2 + l - 1. Let z be p(1). Is m equal to z?
False
Let g = 23 - 29. Let k be g*(-3)/(-27)*-3. Suppose -6 + k = r. Is -3 bigger than r?
True
Suppose 2*d + 6 = -d, 0 = 4*z - 3*d - 18. Let c = 5 - z. Suppose 8 = -5*k - 2, -l - 4 = c*k. Which is smaller: l or 2?
l
Let n = 3309 - 3323. Let l(t) = 6*t - 1. Let q be l(-2). Is n at most as big as q?
True
Suppose -4*w + 0 + 16 = 3*r, 0 = -2*w + 8. Let o(k) = k**3 + 12*k**2 - 13*k + 8. Let m be o(-13). Suppose t - m = 5*t. Which is smaller: r or t?
t
Let h be (-186)/21*(-672)/(-192). Suppose 2*o = r + r, -3*o = -2*r. Suppose 4*m = 2*a + 76, -3*m - 2 + 14 = r. Which is bigger: a or h?
a
Let t(g) = 2*g**2 - g - 13. Let i be t(-4). Suppose m + 5*o = 3*m - i, 3*o + 12 = 3*m. Let z be (-1)/2 + 2/12. Are z and m nonequal?
True
Let p(j) = -j**2 + j + 4. Let u be p(3). Let i be -1 + -2*u/8. Let k be (200/(-50))/(1 - -3). Is i greater than k?
True
Let j = 640/3 + -2557/12. Let g = -0.74 + 1.07. Do j and g have the same value?
False
Let k be (12/(-9))/((-4)/6). Let g = k - 2. Let m = -10/3 - -53/15. Is g equal to m?
False
Let g = 0.263 + -158.263. Let s = 146 + g. Which is bigger: s or 2/7?
2/7
Let r = 0.9 + 0.6. Let l = -0.09 + -0.41. Let a = r - l. Is a > -0.5?
True
Let g(b) = -b**3 + 6*b**2 + 21*b - 20. Let v be g(8). Is 21 at most v?
False
Suppose -q - 31*p + 28*p + 6 = 0, -4*q = -5*p - 24. Which is smaller: 12 or q?
q
Suppose 3*p - 5*c - 122 = 0, 3*p = 4*c + 71 + 56. Are 44 and p non-equal?
True
Let i be ((-2)/12)/(4/(-18)). Let r = -9 + 3. Let q = -5 - r. Which is greater: q or i?
q
Let l = 3217/3580 - -1/716. Let s = 205.891 + -206. Let h = -0.009 - s. Which is bigger: l or h?
l
Let u = 79/9 - 9. Which is smaller: u or 4?
u
Suppose 3*u + 2214 = -f, -10*u + 5*f + 2226 = -13*u. Is -737 less than or equal to u?
True
Let s be 92 + -77 - (-42)/(-3). Let b be (1/(-4))/(15/4). Is b greater than or equal to s?
False
Let v = 1 + -2. Let z(b) = -6*b**2 + 55*b - 6. Let n be z(9). Let k be (-4)/(-60)*n*(-25)/45. Is k less than or equal to v?
False
Let r = 223.1 + -223. Is r not equal to 126?
True
Suppose -4*q + 16*x = 18*x - 2, -4*q = 4*x. Is q smaller than -4/13?
False
Let u be (5 + -4)*2 + (-1940)/14. Let m = -137 - u. Which is smaller: m or 0?
m
Let v = -1 + 1. Let g = 1028.8 + -1029. Which is smaller: g or v?
g
Let n(l) = l - 2. Let r be n(2). Suppose r = -2*k - 2*z - 0*z, -4 = z. Suppose -19 = -0*p - p - 5*w, w = k. Which is bigger: -6/7 or p?
-6/7
Let o be (-46)/(-253) - 408/2486. Which is smaller: 0 or o?
0
Let v = 9 - 6. Suppose -2*h - 2*k + 4*k = 6, -2*k + 16 = v*h. Suppose h*u - 3*u = 0. Is -1/7 at most u?
True
Let a = -0.33 + -0.27. Let c = a - -0.6. Let m = -6 - c. Are -1/2 and m non-equal?
True
Suppose 0 = 9*m - 11*m + 10. Suppose -4*i - m*a + 3 - 20 = 0, -5*a - 5 = 0. Which is bigger: 0 or i?
0
Let l(m) = -43*m - 44. Let t be l(-2). Is t > 46?
False
Let s = 748 - 9726/13. Let y be (-4)/(-14) + (-4)/(-14). Are s and y unequal?
True
Let l(x) = -x**2 - 42*x - 26. Let y be l(-17). Let q be y/9 + 14/21. Is 0.1 greater than or equal to q?
False
Let r be (-27)/(-12) + 4/(-16). Let v(x) = -x**3 - 3*x**2 + 1. Let j be v(-3). Let d be (j + 2)*1/3. Which is smaller: d or r?
d
Suppose 2*g + 11 = -k, 3*k + 2*k + 25 = -5*g. Let s be (14/3)/(g/(-9)). Suppose -2 = -2*h - 2*l + 6, 0 = -3*h + l + 28. Which is greater: h or s?
h
Let o be 1*(1 + -2)/1. Suppose -4 = 3*c + 2. Let y be (-2)/(-1)*c/(-4). Which is smaller: o or y?
o
Suppose 2*d - 2*s = 8, -2*d - d + 4*s + 13 = 0. Suppose 0 = d*x + 2*x. Which is bigger: x or -4/47?
x
Let a be (-33)/(-99) - 2/(-3). Is a smaller than 4/85?
False
Let r be -15 + 1*(-1 - -2). Let q be r/(-21)*6/(-14). Let x = -0.06 + -0.34. Which is smaller: q or x?
x
Let q(u) = -31*u + 62. Let f be q(2). Let g be (40/(-42) - 0)*6. Let a = g + 167/28. Which is smaller: a or f?
f
Suppose s - 4*z = -163, -8 = -z - 6. Is -155 greater than or equal to s?
True
Suppose -5*y = 111 - 461. Let u be (8/y)/((-12)/(-120)). Which is bigger: -1 or u?
u
Let k be -64*(10/6 - 1). Let s = 42 + k. Let z = 3.59 - 1.59. Is z < s?
False
Let w = 0.1 - 0.2. Let d = 0.2 + w. Let j = 1.034 + -0.034. Is d at most j?
True
Suppose -760 = -2*b - c, -4*b + 1774 - 266 = -c. Which is bigger: b or 377?
b
Suppose 0 = q - 2*q + 2*c + 72, c - 230 = -3*q. Suppose 5*i - h = q, 0*h - h = 2*i - 36. Let t be 2 - ((-20)/i)/(-1). Are 0 and t equal?
False
Let y = -18227 - -126900/7. Let q = 1703/21 + y. Let k = -18 - q. Which is smaller: 0 or k?
k
Suppose -i - 2*i - 18 = 0. Let x = -4667/6 + 778. Is x at least as big as i?
True
Let d = 122 + -153. Is d equal to -31?
True
Let v be (-16)/(-6) - (-4)/(-6). Suppose 4*l + 7*w - 28 = 2*w, -5*l + 2*w = -v. Let a be (l + -1)*0/(-1). Is a greater than -1/8?
True
Let r be 1404/162*(-1 + -2). Which is smaller: -42 or r?
-42
Let g be (-170)/204 - 578/108 - -6. Let d = 12/5 + -26/15. Are g and d nonequal?
True
Let b = 108/7 - 110/7. Is b at least -183?
True
Suppose 3*c - 1 - 11 = 0. Let v be 8 + -12 + 100/3. Let o = v + -26. Are o and c equal?
False
Let d = -9 + 13. Let t = 89763889/35809818 + 50/66561. Let h = t - 2/269. Do h and d have the same value?
False
Let h(v) = -v**3 - 6*v**2 + 6*v - 12. Let r be h(-7). Let z(x) = -x**2 + 3*x + 7. Let m be z(5). Is r equal to m?
False
Suppose 2*q + 5*p = 3*q + 15, 2*p + 12 = 4*q. Which is greater: q or 6?
6
Suppose -5*f = 2*j + 47, 0*j + 2*f + 38 = -2*j. Let v = j + -6. Which is smaller: -23 or v?
-23
Let l be 15/(-15)*(-2 - -27). Is -6 at least as big as l?
True
Let r be (336/7)/(-4) + 5. Are -15 and r non-equal?
True
Let l = 1 + -3. Let i = -86 + 121. Suppose 2*h + 3*o + 12 = 0, o - i = 3*h - 3*o. Is l > h?
True
Let l(p) = -p**3 - 4*p**2 - 4*p - 6. Let r be l(-3). Which is smaller: r or 4/9?
r
Let a = -1068.95 - -1069. Which is greater: 126 or a?
126
Let q = -94 + 94. Suppose -4*l = 3*o + 5, -2*o + 0*l + l + 4 = q. Which is greater: -4/33 or o?
o
Let i = -0.9 + 1.2. Let n = 0.4 - i. Let u = -1379/9 - -153. Is u at least as big as n?
False
Suppose 42*h - 40*h = 44. Suppose -4*q + 10 + h = -b, -229 = 5*b + 3*q. Does -44 = b?
True
Let h = -362 + 390. Is 26 at least h?
False
Let v be ((-155)/(-25) + -6)*10. Which is smaller: v or 25/17?
25/17
Let u(j) = j**3 - 8*j**2 - 9*j + 4. Let p be u(9). Suppose 2*n - 4*n = -p*c - 2, 2 = 2*c + 2*n. Which is greater: -5/7 or c?
c
Suppose -2*v + 6*v + 280 = 0. Let q be v/15 + (-2)/(-3). Let t be (3/(-2))/((-2)/q). Is -2 <= t?
False
Let n be 8340/8348 + 17 + -18. Are 0 and n unequal?
True
Let h be (22309/(-4767) - -5) + (-1)/3. Which is smaller: h or 1?
h
Let q be (12 + 1449/(-120))/(9/(-44)). Which is greater: q or 0?
q
Suppose -20 = -4*s - p, -p + 16 = s + 2*s. Suppose -5*z = s*t + 73, 5*t + z + 12 = -53. Let b = -0.08 + 0.08. Is t at least b?
False
Let d = 508 + -995/2. Let c(r) = 11*r - 2. Let z be c(1). Let b = z - d. Is b less than -3?
False
Let u be (-85)/(-34)*(-3)/(6/32). Is u smaller than 4?
True
Suppose 0 = 3*g - 4*o + 2*o - 25, -21 = -3*g + 3*o. Let k = 3/5 + 99/10. Which is bigger: k or g?
g
Let v be (42/(-4))/((-117)/28). Let n = v - 24/13. Is n not equal to -9?
True
Let o(a) = a**2 - 7*a - 2. Let h be o(7). Let k = -67 - -15. Let n be (2 + 0)*39/k. Is n not equal to h?
True
Let q = 603 - 307. Suppose c = -2*k + 18,