False
Let s = 1301/40 - 265/8. Which is smaller: -2 or s?
-2
Let c = 25 + -35. Let g be ((-7)/(70/3))/((-12)/c). Which is greater: 3 or g?
3
Let u = 45/8 + -673/120. Is u greater than or equal to 0?
True
Let u(r) = 18*r**3 - 2*r**2 - 2*r - 2. Let q be u(-2). Let d = -4354/29 - q. Is 0 smaller than d?
False
Let h(p) = -15*p + 86. Let u be h(-15). Is 311 at least u?
True
Suppose -8*q + 1312 = -16*q. Let k be (-3)/60*q + (-2)/10. Do k and 6 have different values?
True
Let i = -17.4 - 0.6. Let z = 17.9 + i. Is -1/5 bigger than z?
False
Let g be (-2)/(-6) - 19/57. Suppose -54 = -5*k + 4*p + 24, -4*k - 5*p + 87 = g. Which is greater: k or 19?
19
Let i = 2617 - 2620. Which is bigger: i or 0.495?
0.495
Suppose 16 = -7*o + 6*o. Let d = -16 - o. Suppose 2*c + 10 = -d*c. Which is greater: -1/3 or c?
-1/3
Suppose -2*y + 4*n = 12, -12 = -7*n + 3*n. Suppose y = -4*s + 2*d, 0 = 2*s - 0*d - 2*d + 4. Let m = 696/395 - -3/79. Is s not equal to m?
True
Let k(m) = -6*m**3 - 3*m**2 + 3*m - 12. Let l be k(3). Which is smaller: -763/4 or l?
l
Let m(n) = 561*n**2 - 7*n + 7. Let u be m(1). Are u and 560 non-equal?
True
Suppose v + 15 = 13. Let u be 6*1/v - -2. Is u equal to 2/51?
False
Let a be ((-30)/64620)/(1/(-3)). Which is smaller: a or 1?
a
Let a = 91.6 - 93. Which is bigger: 2 or a?
2
Let o = -10 + 78. Suppose 5*h - 155 = -5*q, 5*h = 2*q + 94 + o. Which is smaller: h or 34?
h
Let p be ((-1)/(-4))/(10/16). Let i = -1 - 0. Let u = i - -2. Which is bigger: u or p?
u
Let r = -11 - -10.9. Let h = -108 + 91. Is h < r?
True
Let z be ((-392)/(-210))/(46/(-5)). Is z greater than 1?
False
Let y(v) = 84*v**2 + 7*v - 13. Let o be y(2). Is o less than 339?
True
Let c = -2228 + 51236/23. Let s = -17/115 - c. Which is smaller: s or -0.2?
-0.2
Let d = -9 - -13. Suppose 0*m + 4 = -d*m. Let g be 0/((-4)/(5 + m)). Is 3 <= g?
False
Let u(x) = x**3 + 46*x**2 - 97*x - 54. Let z be u(-48). Is z > -28?
True
Suppose -4*x + 63 = -3*d, -4*x + d + 53 = -0*d. Let m be 5 - 2 - x/4. Suppose 2*n = 4*v - 24, -3*n + 3*v - 30 = -m*n. Which is smaller: -7 or n?
n
Let x be (-32)/34 - (5 - 6). Let u = x - -15/34. Which is smaller: -0.1 or u?
-0.1
Suppose y = 4*t - t + 23, -3*y - 57 = 5*t. Is -9 equal to t?
True
Suppose 5*s + 3*f = 49, 40 = 3*s + s + 2*f. Let c = 18 - s. Suppose 553*z + b - 36 = 548*z, 3*z - 5*b - 16 = 0. Is c > z?
False
Let z = 1.95 + 0.05. Let x = 171.809 + -0.309. Let g = 171 - x. Which is smaller: g or z?
g
Let f = 134 + -136. Let u = -0.8 - 0.2. Is f greater than u?
False
Let y(j) = -7*j**2 + 1. Let s be y(1). Let b be 2*-8*12/24. Are s and b unequal?
True
Let x = -0.011 - 133.989. Let d = -127.9 - x. Is d not equal to 0?
True
Suppose 19 = 8*x - 6*x - 5*r, 2*x - r + 1 = 0. Let v be (1 - 286/282)*x. Which is greater: 0 or v?
v
Suppose -5*v - 17 = 18. Let h = 13/2 + v. Does 7 = h?
False
Let z = 0.321 + 47.679. Is -5 < z?
True
Suppose 3*d + 54 = 3*n - 42, 3*d - 9 = 0. Which is bigger: 143/4 or n?
143/4
Let m(x) = 4*x - 13. Let r be m(3). Is r != -1/67?
True
Let p = 256 - 259. Do p and -39/16 have the same value?
False
Let v = 518.084 - 518. Which is smaller: -0.3 or v?
-0.3
Let k = 12/61 - -1099/305. Is k greater than 2?
True
Let p(z) = z**2 + 3*z - 7. Let k be p(-5). Suppose -k = n - 2. Is n at most as big as 5?
True
Let o = 11 - 6. Suppose -1 = i - o. Suppose 0*t - 21 = y - i*t, 4*y - 4*t + 24 = 0. Which is bigger: y or -5?
y
Let w = -1/136564 + -8330117/39193868. Let m = w + -3/41. Let a = 25 + -25. Is a at most as big as m?
False
Suppose i = -52*n + 48*n + 189, n = 5*i + 21. Which is smaller: n or 50?
n
Let j(h) = -h**2 + 16*h + 31. Let n be j(15). Which is smaller: 47 or n?
n
Let y(z) = -z**3 - 15*z**2 - 4*z - 33. Let q be y(-12). Is -417 at most q?
True
Let l be (-1395)/(-186)*((-34)/(-6) + -1). Is 38 equal to l?
False
Let u = -728 + 879. Which is greater: 1/4 or u?
u
Let h(a) = -a**3 + a**2 - 1. Let q(n) = -8*n**2 + 9*n + 9. Let x(y) = -h(y) + q(y). Let g be x(8). Let z = g + -19. Is z bigger than -2/59?
False
Let a be (8/(-6))/(3/36). Suppose -2*d - 3*h = -7 + 55, -h - 86 = 4*d. Let z = d + 5. Is a at least z?
True
Let c = -21 - -131. Let s be (4/(-18))/(c/(-120)). Is 1 greater than or equal to s?
True
Let c be (-129)/609 + 7 + (-144)/21. Suppose 6*n - 5 = n - q, 0 = 3*q. Which is bigger: c or n?
n
Let c(f) = 2*f + 25. Let u be c(-10). Suppose -5*j + u = 5*o - 2*o, o - 5*j = -25. Let h = -2 - 1. Is o not equal to h?
True
Let z(f) = f**2 + 3*f - 5. Let y be z(2). Suppose 4*w - m + y = 0, 2*w - 3*m + 1 = 6. Does -21 = w?
False
Let b(c) = 45*c**2 + 4*c + 2. Let y be b(-2). Let z be y/42 - 1/7. Let j be z/16*2 + 0. Is -4 equal to j?
False
Let l = 103 + -102. Is l > -428?
True
Suppose f - 14 = -2*d - 3*d, -4*d + 4 = 0. Suppose -23*x + 15 = -20*x. Suppose 0 = -4*u - n + 18, -x = -4*u + n + f. Is u at least 3?
True
Let y = 8171 + -32519/4. Which is greater: -0.1 or y?
y
Let c = -118 + 118.1. Which is bigger: c or 307?
307
Let o = 14502 + -58481/4. Which is greater: o or -118?
-118
Let k be (-4)/(-26) - 5192/(-52). Let b be 124/10 + (-5)/(k/8). Which is greater: 0 or b?
b
Suppose 4*p + 13 = 2*a + 25, 5*p = 2*a + 15. Is a bigger than 2/47?
False
Let k = -968/35 - -27124/105. Which is smaller: k or 232?
k
Let t be ((-6)/(-5))/((-9)/60). Suppose g = -4*g - 4*n + 71, 4*n - 27 = -g. Suppose -3*o - 10 - g = 0. Is t smaller than o?
True
Let c = -994 - -996. Is c > 5.5?
False
Let n(k) = -k**3 + 10*k**2 - 8*k - 8. Let l be n(9). Let u = -192 + 3821/21. Let x = u + 82/7. Is x less than or equal to l?
False
Let g be 2/3 + 29/(-3). Let i be g/(-6) + (-18)/4. Let n be i/18 + 8/12. Is n bigger than 1?
False
Let u be 9 + -7 + 5/(20/(-56)). Let t be (-36)/(-56)*(-7)/u. Let n = -3 + 3.1. Is n smaller than t?
True
Let i(d) be the second derivative of 1/12*d**4 - 4*d + 5*d**2 + 0 - 4/3*d**3. Let q be i(6). Which is smaller: 0 or q?
q
Let g = -103 - -101. Let j = 1.993 + -0.033. Let a = j + g. Are a and 0.1 non-equal?
True
Let d be 34/51*6/(-4) + -28. Is d at least as big as -21?
False
Let a = -229/2 + 117. Let m be (-496)/14 + (-45)/(-105). Let t = 39 + m. Is t at least a?
True
Let z(a) be the first derivative of -a**4/4 + 3*a**3 - 5*a**2 + 11*a + 12. Let k be z(8). Which is smaller: k or -3?
k
Let w = -3 + 2.9. Let z be 1479/(-42) - (-8)/(-28). Let i = 37 + z. Is i at least as big as w?
True
Let l(t) = t**3 - 4*t**2 + 6*t - 8. Let z be l(3). Is z < -1/24?
False
Let k = -4.16 + 4.36. Which is bigger: -19.3 or k?
k
Let w = -38.14 - 0.86. Let m = w - -35. Which is smaller: 0.1 or m?
m
Let u(b) = b - 7. Let v be u(17). Let d be (56/v)/(72/(-30) - -3). Is d bigger than 8?
True
Let v be (-6)/(-18) + 155/3. Let y = v + -53. Let o = -0.2 - -0.3. Is o less than y?
False
Let s = -29.1 + 29. Let k = -40 - -41. Is k equal to s?
False
Let v(h) = -h**3 + 9*h**2 - 7*h - 3. Let g = -4 - -12. Let r be v(g). Let z be ((-26)/(-273))/(r/3). Is 0 greater than or equal to z?
False
Let l = -4/805 - -491/1610. Let y = -0.3 + 0.4. Is l < y?
False
Let w = -55 - -57. Suppose -w*q + 0*q + 138 = 0. Is q bigger than 0?
True
Let k be ((-8)/10)/(20482/2555 + -8). Is k at least -50?
True
Let g be 142/(-28) + 1 + 4. Let r(x) = x**3 - 4*x**2 + x - 3. Let p be r(4). Which is bigger: g or p?
p
Let z = -162310/41 - -3959. Is z equal to -1?
False
Suppose 2*k + k - 2*s = -918, -5*s + 1224 = -4*k. Does k = -308?
False
Let n be (6/2 + -1)*1. Let r = 30 - 32. Let c = r + 1. Is n greater than c?
True
Let r be ((-18)/8)/(33/2816). Is r smaller than -192?
False
Suppose 23 = 3*n + 4*m, 0 = -2*n - 2*m + 12. Let o be (n + -5)/((-2)/4). Let v = 23/3 - o. Which is smaller: -2/7 or v?
v
Let l = 0.13 + -50.13. Let i = l - -51. Which is smaller: i or 3/7?
3/7
Let x(c) = -c**3 + 6*c**2 + 7*c - 4. Let w be (4/8)/(2/(-48)). Let q = w - -19. Let o be x(q). Is o not equal to -4?
False
Suppose 4*a - 1 = 7. Let u be (-6)/((9/6)/1). Let c be 6/(-4)*u/6. Which is smaller: a or c?
c
Let d be (-11)/2*(-8 + 6). Let p = d + -9. Suppose -6*i = -p*i - t + 12, 5*t = 5*i. Which is smaller: -3 or i?
i
Let c be (842/280 - 3)*(-7932)/(-10). Let w = c - 81/14. Which is greater: -1 or w?
w
Let h = -5.4 - -69.4. Let z = -64 + h. Which is bigger: -2/11 or z?
z
Suppose -10 = -2*y - 3*y. Suppose y*f = 6 + 2. Which is smaller: f or 9?
f
Let u(g) = g**3 - 10*g**2 + 3*g + 35.