 less than or equal to 5/7?
False
Let p = 428 + -410. Which is bigger: p or 16?
p
Suppose n - 1 = 2*n. Let s be (-208)/279 - (-8)/(-36). Let y = s - -26/155. Is n at least as big as y?
False
Let m = 49083 - 23265281/474. Let w = 3/79 + m. Let n(y) = y - 2. Let o be n(3). Which is greater: w or o?
o
Let y = -9744 - -146501/15. Let d = -70/3 + y. Which is greater: -1 or d?
d
Let g = -4 + -3. Let d = 9 + g. Which is bigger: d or 1?
d
Let r(p) = -2*p**2 - 2*p + 12. Let k be r(2). Are 42/17 and k nonequal?
True
Let r = 0.049 + -1.049. Let b be 4/((-32)/(-6))*4. Suppose 2*v - 1 = -b, 0 = 4*a - v - 29. Are a and r equal?
False
Let h(a) be the second derivative of -a**5/20 - 11*a**4/12 + 13*a**3/6 + 11*a**2/2 + 5*a. Let d be h(-12). Which is bigger: 4 or d?
4
Let i be (7 - (3 + 1)) + 1. Suppose -6*c - 12 = -i*c. Suppose 5*l + 25 + 5 = 0. Is l greater than or equal to c?
True
Let b(j) = -j - 5. Let g be b(-5). Let d = -38.3 - -36. Let k = d + 1.3. Which is greater: g or k?
g
Suppose 14 = -10*w + 3*w. Let h(s) = 2*s**3 + 4*s**2 + 4*s + 4. Let j be h(w). Which is bigger: 2 or j?
2
Suppose -5*k = -19*l + 15*l - 4, 3*k + l = -1. Is k equal to -1/200?
False
Suppose -3*f + 2 = -2*n + 3, 0 = -5*n - 3*f + 55. Let g = -9 + n. Which is smaller: g or -11/7?
-11/7
Let u be (-4)/6 + (-32)/(-12). Let j be (1 - 4)/(u/2). Suppose 2*f - 3*t + 12 - 5 = 0, -2*f - 6 = -2*t. Which is bigger: f or j?
f
Let r = 58 - 53.7. Let m = r + -2.3. Let f = -0.8 - -0.3. Which is bigger: m or f?
m
Let v = 463 - 792. Let b = -1309/4 - v. Which is greater: 0.1 or b?
b
Let n(p) = 2*p + 0*p - 4*p - 3 - 25. Let i be n(-13). Is i greater than or equal to 2?
False
Let f be 9*(7/(-9) + 2). Which is smaller: 75/7 or f?
75/7
Let i = 21.6 + -63.6. Which is bigger: i or 0?
0
Let k be (-392)/(-280) - (-179)/15. Which is smaller: 12 or k?
12
Let i(t) = -10 - 39*t + 8 - 12 + 12*t. Let p be i(-3). Is p smaller than 66?
False
Let v be -2 + 2/(-3 + 5). Which is bigger: v or 83?
83
Let n = -0.8 + -0.2. Let b = -2.5 - -1.4. Let p = b - -1.04. Which is smaller: p or n?
n
Suppose -s = -2*g + 9, -2*g + s + 11 = -2*s. Suppose -4*c + 5 = 3*l - 3, -5*c = 4*l - 9. Suppose -c*f + 2 = -13. Is f greater than g?
False
Suppose 5*z - 3*k + 47 = 0, 30 = -0*z - 2*z + 4*k. Is z <= 3?
True
Let s(o) = 3*o**2 - 14*o - 20. Let i be s(10). Is 141 at least as big as i?
True
Let g = -290/693 - 2/77. Which is smaller: 2 or g?
g
Let b be ((-42)/9)/(-7)*(81 + 0). Is b at most as big as 54?
True
Let d(g) = 8*g**3 - 2*g - 2. Let r be d(-1). Suppose 0 = 3*t + 21 - 0. Let j = r - t. Is j less than -1?
False
Let a(b) = 0*b**2 - 14*b - 2*b**2 + 6 + 6*b**2 - 5*b**2. Let l be a(-14). Suppose 10*r - 4 = l*r. Which is smaller: r or -2/13?
-2/13
Suppose 19 = 8*z + 27. Which is greater: z or -6/67?
-6/67
Let x = 5/111 - 403/1554. Let b = x - 1/14. Let o = 0.08 - 3.08. Is o greater than or equal to b?
False
Let x = 200 + 44. Which is smaller: 243 or x?
243
Let l(c) = -c**3 + c + 9 + 7 + 6 + 2*c - 15*c**2. Let y be l(-15). Is -25 greater than or equal to y?
False
Let w be 75/(-10) - (45/6)/(-5). Let z be (3/w - (-2)/4)*-1. Which is greater: 5/23 or z?
5/23
Let w = 9.3 + -9.38. Which is smaller: -19 or w?
-19
Suppose -2*u + 36 = 4*r, -2*r - 3*u = -r + 1. Let g = -8 + r. Suppose 0 = -5*l + g*k + 79, -2*l + 38 = 5*k - 3*k. Which is smaller: l or 16?
16
Let m(s) = -s + 38. Let d be m(-20). Suppose 5*u + 90 = -y, -3*u + u + 4*y = d. Is -21 not equal to u?
True
Let m = 112 + -125.3. Let x = m - -14.3. Which is bigger: x or 0.05?
x
Let v = 66 - -41. Is v greater than 106?
True
Let g be ((-148)/14)/(-3 - 35/(-21)). Which is smaller: 7 or g?
7
Let d be 3/18 - (2 - 4435/1092). Let n = d + 2/91. Which is greater: 0 or n?
n
Let s(i) = 8*i**2 + 13*i - 30. Let h be s(5). Is 235 >= h?
True
Suppose -4*c + 2*r = -0*r + 22, 4*c + 4*r - 8 = 0. Let o = 108 - 559/5. Which is smaller: o or c?
o
Suppose 0 = -2*l - 4*l + 6. Let m be 1/(4/9) + -5. Which is bigger: l or m?
l
Let u(a) = -2*a**2 - 10*a - 11. Let x be u(-2). Which is smaller: -3/298 or x?
-3/298
Let a be 18/(((-20)/(-3))/10) - 1. Do a and 30 have different values?
True
Let h = 2.589 + -0.589. Is h at least -9/4?
True
Let m be (-54692)/(-110) + (-36)/6. Are 491 and m nonequal?
True
Let x = 21.426 - 0.126. Let r = -36.2 + x. Let c = 14 + r. Do c and -2/3 have different values?
True
Let s be (-10 - -11) + 0 + -1. Suppose 2*v - 11 = -s*v + 3*d, -55 = -4*v - 5*d. Let b be (-4)/v + 28/20. Which is bigger: -3 or b?
b
Let k = 0.016 + 0.084. Let b(r) = -2*r - 2. Let w be b(7). Is w less than k?
True
Let j be ((-6)/4)/(5*1/140). Is -42 smaller than j?
False
Let z = -1182 - -1195. Is -2 not equal to z?
True
Suppose 16 = 657*z - 673*z. Which is greater: -11/258 or z?
-11/258
Let a be ((-1)/(-1))/(5128/(-35928)) + 7. Do 1 and a have the same value?
False
Let b = 5.9 - 6. Let s = 2058/5 + -417. Let z = s - -5. Are b and z equal?
False
Let y = -1162 + 1135. Let z(c) = -4*c**3 + 2*c**2 + 2*c + 1. Let h be z(-1). Let r(i) = i**3 - 5*i**2 - 4*i - 7. Let s be r(h). Is y equal to s?
True
Let c = 39.07 + -39. Let s = c - 0.02. Is 2 < s?
False
Suppose q + 3 = -2*d + 18, -20 = -q - 3*d. Suppose f + 11 = m + 5*f, -3*f = -5*m + 9. Which is bigger: m or q?
q
Let l = 2.21 + -2.51. Suppose -3*f = -2 + 5. Which is bigger: l or f?
l
Let z = 3913 - 379554/97. Which is greater: -1 or z?
z
Let b = -45 + 67. Suppose 3*u = 3 + 6. Suppose -25*h - u = -b*h. Is h at most -2/27?
True
Let m = 11/562 - 86691/7306. Are -12 and m nonequal?
True
Let b = 0.67 - 0.48. Let i = -12.81 - b. Which is greater: i or 2?
2
Let v = -5/4533 - 693499/45330. Which is smaller: -16 or v?
-16
Suppose 111 = -5*b - 384. Is b bigger than -98?
False
Let h be 10/(-35) - (-16)/7. Suppose 2*r + h = -2. Let y = 3 + r. Is y not equal to -1/3?
True
Let l = 12221 + -6953747/569. Is 1 equal to l?
False
Let s be -7 - (9 - 1557/117). Which is smaller: s or -4?
-4
Suppose 4*r = 16, -j = -2*r + r + 1. Suppose j*b + 154 - 94 = 0. Suppose 0 = 3*w - 2*v + 66, 4*v = -3*w + 3 - 51. Is w equal to b?
True
Let h(p) = 62*p + 3. Let s(k) = -63*k - 2. Let r(b) = -4*h(b) - 5*s(b). Let u be r(1). Let v be 48/(-110) + 26/u. Are v and 1 equal?
False
Let m = -169 + 669/4. Suppose -4*n - 2 = 2. Is m less than or equal to n?
True
Let x = 119 + -119. Which is smaller: 114 or x?
x
Let m be ((-3)/(-54))/(((-1269)/6)/(-9)). Is -1 at least m?
False
Let s(h) = h**2 + 6*h. Let i(q) = q**2 + 9*q + 14. Let k be i(-4). Let y be s(k). Let l = 331/3247 + 3/191. Is l <= y?
False
Let k be 7/(630/(-970)) + 1. Which is smaller: -9 or k?
k
Suppose o + v = -43, 5*v = 3*o + 130 - 17. Which is bigger: -44 or o?
o
Let z = 62 + -34. Let c = 27.97 - z. Do c and -1 have different values?
True
Let h = 9.135 + -9.2. Let s = h - 1.335. Is s greater than or equal to 3/5?
False
Let v be 5 - (5574/1114 + 0). Is v at most as big as -1?
False
Let k = -337 - -336. Let v be 5 + 4/(-2) - -2. Do v and k have the same value?
False
Let w(r) = -r**3 - 2*r**2 + 1. Let h be w(-1). Which is bigger: h or -26/37?
h
Let l(k) = 4*k**3 + 3*k**2 + k - 2. Let c be l(-2). Suppose 2*u - 5*z = -z - 30, 0 = -4*u + 5*z - 75. Is c at most u?
False
Let n = -89.1 + 84.1. Which is bigger: n or -7/13?
-7/13
Suppose 187 - 229 = 3*o. Which is smaller: -21 or o?
-21
Let u be (-2)/(-26) - 176/(-416). Let o = 14.89 - -0.11. Which is greater: u or o?
o
Let l = 13 - 11. Let a be (-2)/6 + l + -2. Is 0 not equal to a?
True
Suppose -4*s - 86 = -5*n, -5*s = -5*n + 19 + 71. Let h be 851/1281 + n/(-21). Let v = 181/854 - h. Is v > 0?
True
Let z(p) = -3*p**2 + 4*p - 1. Let y be z(-4). Let d = y + 142. Which is bigger: d or 76?
d
Suppose 5*m - 2*o + o + 131 = 0, -3*o - 23 = m. Which is smaller: -13 or m?
m
Let g = -45.5 + 16.5. Are g and 4 unequal?
True
Let h(v) = -v - 15. Let d be h(-17). Suppose 5*o = d*o - 144. Let x be (o/56)/((-1)/14). Which is bigger: 11 or x?
x
Let a = -243 + 242. Which is smaller: a or 1005?
a
Let t = 3/4 - 41/44. Let y = 0.05259 + -0.05259. Which is greater: t or y?
y
Let l be ((-588)/784)/(((-30)/(-32))/(-1)). Let s = -1 - -2. Which is bigger: s or l?
s
Let n(f) = -2*f**2 - 2*f - 20. Let v be n(-9). Let d = v - -116. Are d and -47 equal?
False
Let c = 190 - 3608/19. Let m(d) = 5*d**2 - 2*d**2 + 2 + 0*d**2 + d + d**3. Let k be m(-3). Is k >=