 2*t + 5*t = 336. Suppose 3 = -x + t. Is 44 at least as big as x?
False
Let q(a) = -4*a + 62. Let i be q(16). Let d be 1 - (-3 - 46/(-7)). Is d at least as big as i?
False
Let m be 2/(-12)*((-80)/55)/(-8). Are m and -1 unequal?
True
Let l(q) = q**3 + 9*q**2 + 8*q + 1. Let b be l(-8). Let s be ((b - -4) + -1)*(-117)/(-36). Is 11 less than s?
True
Suppose -5*l - f = 2*f + 3, -3*f + 21 = -3*l. Is -0.28 at most as big as l?
False
Let x(p) = -p - 2. Let o be x(0). Let t(i) = i**3 + 7*i**2 + 3*i - 36. Let a be t(-5). Which is greater: a or o?
a
Let c = 62.33 + 12.37. Are c and -0.1 unequal?
True
Suppose 3 - 15 = 3*k. Let o be (-2*4)/(k - -2). Suppose -5*s - 2*m - 3*m = 0, o = -s - 5*m. Is -5 < s?
True
Let w be (-18)/100 + (-16)/(-32). Let a = 143/100 + w. Is a equal to 3?
False
Let x(n) = 13*n + 79. Let p be x(-7). Let g = -40 - -29. Let r = g - p. Which is greater: r or -1/12?
r
Let d(r) = r**3 + 16*r**2 - 2*r - 21. Let i be d(-16). Let j(w) = 5*w - 27. Let z be j(i). Is z > 26?
True
Let x = 2/659 - 4617/1318. Suppose -w - 2 - 2 = 0. Is w less than x?
True
Let a = 5.04 + -4.9. Let z = 14.86 + -15. Let x = z + a. Does -2/9 = x?
False
Suppose 0 = -38*l - 39*l + 24409. Which is bigger: 314 or l?
l
Let v be 1132/(-6) + -7 + 11. Let t = 188 + v. Suppose 2*d = -2*b + 2, -3*d + 1 = 3*b + 2*d. Which is smaller: b or t?
b
Suppose -r = o - 3, 0 - 1 = r - 3*o. Suppose 4*w - 3*p = 87, 4*w - 73 - 29 = -r*p. Let l be (4/(-78))/(16/w). Are 0 and l unequal?
True
Let v = 1399/2 + -700. Which is greater: v or -1016?
v
Let i be (-5 - 0)*-1 + (-94 - 3). Is i at least -93?
True
Let k = 117911/33 + -3573. Suppose 0 = -3*i - 3. Does i = k?
False
Let h = -15/497 - 8/71. Let u = 0.3 - 0.5. Let f = u + 0. Which is smaller: f or h?
f
Let g = -0.97 + -4.33. Let i = -0.7 + g. Let x = -5.8 - i. Is x <= -2/3?
False
Let c = 920 + -999. Is c not equal to -11?
True
Let y(c) = 39*c. Let s be y(0). Which is smaller: -1/337 or s?
-1/337
Let i = -842 - -850.4. Is -3 at least i?
False
Let j be 3/(-6)*(0 + -3 - 3). Let g be (-2 - (0 - j)) + -3. Does g = -7?
False
Let f = -4 + 25. Let p = f + -21. Which is greater: 16 or p?
16
Let n = -75137/2513 - 21/718. Let j = 59/2 + n. Which is smaller: -1 or j?
-1
Let q be -3 + 1 + 52841238/(-39). Let x = -1355811 - q. Let y = 905 + x. Which is greater: y or 1?
1
Suppose -3*y = -5*l + 1 + 1, -5*y = 2*l - 7. Let p = 0.094 - -0.016. Which is greater: p or y?
y
Let n = 42 - 39. Which is greater: n or 84/29?
n
Let c = -370 - -369. Which is smaller: c or -3/94?
c
Suppose 103 + 1 = 4*s. Let f = s - 21. Let i = -0.3 - 0.7. Which is greater: i or f?
f
Let k = 0.122 - 0.067. Which is smaller: k or -3?
-3
Let r(m) = -19*m**2 - 7*m. Let y(d) = -9*d**2 - 3*d. Let z(x) = 6*r(x) - 13*y(x). Let w be z(4). Let o be 27/w + (-3)/4. Is o >= -4/9?
True
Let s(r) = -r**2. Let v be s(2). Let y = 1 - v. Suppose -2*q = -y*x + 1 - 8, -4*q + 2*x + 6 = 0. Is -1/17 bigger than q?
False
Suppose 0 = v - 4 + 3. Let j be (6/(-119))/(9/14). Let a = 38/51 + j. Which is smaller: a or v?
a
Let s be (5/20)/(102/16). Let u(v) = v**2 + v. Let x be u(-1). Is s at least as big as x?
True
Let m be ((0*(-3)/(-3))/(-2))/1. Let j = -3 + 5. Let r be ((-1)/62)/(j/(-8)). Which is greater: r or m?
r
Let b = 54.86 - -0.14. Let k = -54.6 + b. Let d = 0 - -2. Which is smaller: k or d?
k
Let k(c) = 2*c**3 - c + 2. Let b be k(-2). Let y(u) = -2*u - 24. Let m be y(b). Let t = -13/3 - -113/24. Is m smaller than t?
True
Let j = -4/383 + -746/1915. Let s be (-1*3 - 2)/(-1). Suppose -s*k - 5 = -0*k. Which is greater: j or k?
j
Let n be (3/466)/(153/(-714)). Which is greater: 1 or n?
1
Let t = 100 + -509/5. Let p = 13 + -13. Suppose p*q = -4*q - 8. Which is smaller: t or q?
q
Let w be (1/(-2))/((-1)/148). Suppose -20 + w = -2*y. Let d be (y/(-90))/((-3)/4). Is 0.1 at most as big as d?
False
Suppose -5*x + 7*x + 4 = 0. Let r be x/1 + 116/56. Let u = -16 - -14. Which is greater: r or u?
r
Let k be 4/4*-4 - 42. Let o = -13 - k. Is o less than or equal to 32?
False
Let m = 0 + -3. Let s(z) = 3*z + 7. Let p be s(-3). Let i be p*(0 + m/6). Is -3 != i?
True
Suppose 5*m = -5, 2*o - m - 3*m = 22. Is 18 at most o?
False
Suppose -5*a + 4 = -w, 0 = -2*a - 0*w - 3*w + 5. Let n = 34/15 - 13/30. Is a less than or equal to n?
True
Let a(i) = 3*i + 13*i - 3*i - 26 + 17. Let y be a(-3). Which is bigger: y or -47?
-47
Let n be (-9 - -12) + -2 + 33/(-15). Is -1 greater than or equal to n?
True
Let o be (-2)/(-3)*(-126)/(-12). Let b = o + -4. Suppose f - b*l = 11, 2*f = 6*l - 2*l + 14. Which is smaller: f or 1/18?
f
Let o(u) = -2*u**2 + 4*u - 5. Let p be o(1). Which is bigger: -32/13 or p?
-32/13
Let z = -65/18 + 28/9. Is z less than 31?
True
Suppose -2*f + 112 = -0*f. Let h = -736 - -791. Is h at least f?
False
Let j be (-6 + 1 - -2) + 6. Suppose 24 = -j*l + l. Let a be (4/(-14))/(l/(-112)). Which is bigger: a or -0.1?
-0.1
Let b be (-12)/16 + (-30)/(-6). Is b <= 5?
True
Let u(y) = -2 - 1 + 3 + y. Let n be u(3). Suppose 0 = -x - v + 1, x + 2 - 3 = n*v. Is x at least as big as -2/23?
True
Let u = -211.39 + 213. Let w = -1.71 + u. Is 0.113 bigger than w?
True
Let l(o) = -o**2 - 23*o - 31. Let r be l(-22). Let j be (-9)/(-2)*(57/r + 7). Is j equal to -10?
False
Suppose -2*g - 3*n + 5 = 0, 4*g - 2 = -2*n - 4. Let x be -1 - 53/g - 2/(-4). Is 27 > x?
True
Let x = 2.64 + -4.67. Let z = -0.33 - x. Let w = z + -1.9. Do -0.2 and w have the same value?
True
Let p = 126 - 10. Suppose 0 = 3*a + 5*a - 920. Which is bigger: p or a?
p
Let s be (-1)/((-101)/(-265) - 8/20). Suppose -j = 2*n + 31, -3*n - 4*j - s = -19. Is -14 smaller than n?
False
Suppose -k = -5*k. Suppose -4*u = -4*n + 12, -4*n + 0*n + 8 = k. Which is bigger: u or -5/4?
u
Suppose 2*w + 3*b - 14 = b, -3*b + 24 = 4*w. Let f be ((-9)/21)/(w/(-21)). Suppose 0 = f*d - 8 - 22. Which is smaller: 8 or d?
8
Suppose 4*k - 174 = 82. Let t = k - 64. Is -6/5 greater than t?
False
Suppose 0*g - 3*t + 25 = 5*g, 0 = 2*t. Suppose g*f - 60 = -f. Is f less than 9?
False
Let h(f) = -f**2 - 12*f + 4. Let x be h(-13). Let w be (-20)/(-6) + x/27. Is w bigger than 11/4?
True
Let m = -56 - -56.264. Let l = 16.564 - m. Let v = l + -16. Which is greater: v or -6?
v
Let u = 4 - 2. Let w = 0.6 + -0.3. Is u >= w?
True
Let g = -800.6 + 800. Which is greater: 14/3 or g?
14/3
Let u = -0.1143 - -0.0543. Which is smaller: 2.6 or u?
u
Let l be 4712/133 + (-6)/14. Which is greater: 23 or l?
l
Let b = 5.7 + -16.7. Is 38 smaller than b?
False
Let v be ((-51)/(-85))/(711/10). Which is smaller: 0 or v?
0
Let f = 0.19 - 28.19. Let h = f - -27.9. Which is smaller: h or -7/2?
-7/2
Let h be 18/(-4)*12/6. Let c = h - 0. Let k = 16 + c. Which is bigger: k or 6?
k
Suppose 0 = b + 34 - 3. Let w = b - -31. Let x be (-4)/(-102)*3*-2. Is w <= x?
False
Suppose -2*h + h - 5*s = 25, 0 = -5*s - 25. Let p be (-10)/(-3) - (-4)/(-1). Let x = p - -7/6. Which is bigger: x or h?
x
Let r = -14 - -19. Let a = r - 1. Suppose -10*h = 4*h - 28. Which is bigger: a or h?
a
Let y(p) = p**3 - 14*p**2 + p - 14. Suppose 6*o - 42 = 42. Let s be y(o). Which is smaller: 6/37 or s?
s
Let y(u) = -u + 7. Let k(o) = -o**2 - 1. Let t be k(0). Let m be (t - -6)*6/6. Let s be y(m). Which is bigger: 0 or s?
s
Let q be (-8)/(-10)*2/(-134). Which is smaller: 1 or q?
q
Let n be (-47)/(-252) - 12/54. Let z(a) = -7*a**2 + 50*a - 6. Let h be z(7). Do h and n have the same value?
False
Let n be 9 + 10/25*5. Let x = n - 11. Is x > 2/7?
False
Let f(z) = -9*z - 85. Let o(t) = 3*t + 28. Let x(k) = -4*f(k) - 11*o(k). Let b be x(-11). Is -10/19 at most b?
False
Suppose 8*i + 209 = 5*g + 5*i, 5*g + 5*i - 185 = 0. Let b be ((-21)/g)/((-3)/(-15)). Which is smaller: -4 or b?
-4
Let c = 237 - 85. Which is smaller: 151 or c?
151
Suppose t - 1 = -22. Let n be 201/9 + 26/(-39). Let o = n + t. Is o less than or equal to 1?
True
Let d be (4362/(-4))/((-29)/58). Is d at least as big as 2180?
True
Let d be 2*(10/4)/(-1). Let t(o) = o**2 + 8*o + 7. Let n be t(d). Let q be 2*(-5)/((-50)/n). Is -2 > q?
False
Suppose 2*y - y - 3*h + 11 = 0, 5*y - 3*h - 5 = 0. Suppose 3*l - y*l = 3. Let j = l + 3. Does j = 3/8?
False
Let f = -3877 - -345050/89. Suppose -5*b = -a - 7, 0*b + 2*a + 5 = b. Which is smaller: f or b?
f
Let a = -158 - -92. Let r = -82 - a. Is -2 > r?
True
Let a = -114331499/4