?
True
Suppose 760 = 5*t - 0*t. Let s = t + -460/3. Which is smaller: s or 0.1?
s
Let w = 0.104 - -0.696. Which is smaller: w or -2/5?
-2/5
Let x = -28 + 7. Let n be 8/x - (-2)/3. Suppose -4*q + 5*v + 14 = -15, -4*q - 3*v = 11. Which is greater: q or n?
q
Let k be (-9)/36 - 106/(-8). Which is smaller: 11 or k?
11
Let x be 3/1 + 78/(-5) + 12. Let l = 2 + -4. Which is smaller: x or l?
l
Let g(a) = -a**2 - 7*a + 35. Let p be g(-10). Let y = 0.3 - -2.6. Let t = y + -3. Are t and p unequal?
True
Let o = 1.1 + 18.9. Let d = 0.7 + 0.3. Which is greater: o or d?
o
Let y(a) be the first derivative of a**3/3 + 7*a**2/2 + 8*a + 11. Let v be y(-7). Which is greater: v or 6?
v
Suppose 6*g + 4*g = 10. Is g bigger than 1/21?
True
Let v = 9956409/185 - 53818. Let a = v - 1/37. Is a at least -1?
True
Let v = -11 + 14. Let u be v/(-15) - (-4 - -4). Are -11 and u equal?
False
Let f = 0.288 + -0.948. Which is smaller: f or -0.2?
f
Let y(u) = u**2 - 14*u + 46. Let c be y(5). Let r = 1/6 + -2/3. Let w = r - -4/5. Which is smaller: c or w?
w
Let t = 151 - 81. Suppose -t - 18 = -4*v. Suppose 4*n = -k + 39, -v = -n + k - 6. Which is bigger: -1/3 or n?
n
Let i = 0.2 + 0. Let j = i + -0.3. Let v = -7.83 + 8.13. Which is smaller: j or v?
j
Let a = -686 - -725. Let q(t) = t**2 - 3*t - 2. Let l be q(8). Is a bigger than l?
True
Let g(v) = v**3 - 2*v**2 - v - 2. Let x be g(3). Suppose x*i - 73 - 44 = -t, 4*i - t = 123. Let h be (-8)/i*9/(-6). Which is greater: 1/6 or h?
h
Let z(h) = -32*h + 74. Let r be z(-7). Is r less than 298?
False
Let d(j) = 9*j + 109. Let x be d(-12). Which is greater: 20 or x?
20
Let p = 216 - 73. Is 143 at least as big as p?
True
Let g = -16 + 0. Let w = g - -10. Suppose 0 = -5*d + 4*c - 16, 0*c - 4 = 3*d - c. Is d greater than or equal to w?
True
Let k be (-81)/12 + 6/(-24). Let b(t) = 2*t**2 + 14*t + 6. Let s be b(k). Is 5 at most s?
True
Let a(n) = 2*n**2 - 40*n + 68. Let q be a(18). Which is smaller: -9 or q?
-9
Let v(x) = x**2 - 3*x + 6. Let t be v(5). Let l = -115 + 112. Which is bigger: l or t?
t
Let q be (7 + (-156)/20)/(2/(-195)). Is q less than 315/4?
True
Let w = 16 + -14.8. Let x = 1.2 + w. Let a = x + -1.4. Is a at most as big as 4?
True
Let d(l) = -2*l**2 - 3*l - 2. Let i be d(-4). Let q = -84 - -84. Which is smaller: q or i?
i
Let g be (1/4)/(2/(-36)). Suppose 10 - 34 = 6*y. Is g != y?
True
Let f be ((-120)/288)/((-10)/6). Is f != 122?
True
Suppose 7 = r + 3*o, -3*r - 25 - 10 = -5*o. Which is smaller: r or -85/16?
-85/16
Let t = 71 - 214/3. Are 40 and t nonequal?
True
Let y(u) = u**2 - 11*u - 4. Let q be y(-5). Let z = -82 + q. Which is smaller: z or -5?
z
Let n = 0.1485 + 2.8515. Which is smaller: 218 or n?
n
Let r = -0.228 - 0.772. Is r bigger than -5/6?
False
Let h be -7*(-2)/(-3)*-6. Suppose -2*x = -j - h, 0*j + 19 = x + 2*j. Does 15 = x?
True
Let n = -1/232 - 18/29. Let c(g) = g + 5. Let s be c(-7). Is s at least as big as n?
False
Let k(l) = -l + 3. Let v be k(-5). Suppose v*a = 4*a + 8. Suppose -f = -a - 3. Which is greater: 9/2 or f?
f
Suppose -61*m - 222 - 205 = 0. Which is greater: -22 or m?
m
Suppose 0 = 4*c - 9*c - 10. Let f be (128/(-20))/(1/20). Let r be (1/(-12))/((-12)/f). Is r <= c?
False
Let z be (5/100)/(-3 - -1). Let g be (195/20)/(3/(-8)). Let f = g - -25. Which is bigger: f or z?
z
Let s = 79 + -70. Let n be (33/s - 3)/(18/(-2)). Which is smaller: n or -1?
-1
Suppose -2*o = -6, -5*o + 1 + 6 = -h. Let u be 0/(-1*h/4). Which is smaller: 1/45 or u?
u
Suppose 390 = 105*b - 115*b. Which is greater: -41 or b?
b
Let p(v) = 13*v**3 - 2*v + 1. Let n be p(1). Let z be (12 - n) + 2*2. Suppose 0 = -z*t - 8. Is t <= -5/4?
True
Let i = -3492/5 + 698. Are i and 2/979 nonequal?
True
Let c be ((-33)/(-4))/3 - 2/(-8). Let x be 2/c*(-165)/22. Is -7 smaller than x?
True
Suppose 15*x + 12 = 13*x. Let c be (-636)/(-210) - x/(-14). Is 4 at least as big as c?
True
Let o be 34/6 - -7*13/182. Is o smaller than 5?
False
Let n = -0.1 + 0. Let g = -1048 - -5224/5. Let j = g - -37/10. Which is smaller: j or n?
n
Let c = -10 - 24. Suppose 5*q + 3*r = -177, -5*r + 112 = -7*q + 3*q. Which is greater: c or q?
q
Let c = -1.002 - -2.063. Let b = c - 0.061. Which is greater: 11 or b?
11
Let h(q) = -11*q**2 - 47*q - 9. Let m be h(-5). Let j = -138 + 89. Is m != j?
False
Let w be 2/8*(-2 + 22). Suppose -o = -w*o - 24. Let z be o + 3 + 2/(-2). Which is smaller: -3 or z?
z
Let u = -9 + -6. Let t = u + 16. Let y = 4 + -3. Is t >= y?
True
Suppose 0 = -i - 106 + 110. Let l(q) = q**3 - 2*q**2 - 7*q - 3. Let s be l(i). Is s greater than -1?
True
Let c = -9 + 5. Let h = -3 + c. Let m = -6 - h. Which is greater: m or -7?
m
Suppose -6*h + h + 4*m = 226, -106 = 3*h + 5*m. Let v be 248/(-14) - (-12)/h. Is v > 2?
False
Let u = 1.8 + -0.8. Let j be (-1508)/741 + 4 + -2. Is u at least j?
True
Let q = -665 - -665. Does q = 1/358?
False
Let d = 1052 - 1025. Which is greater: 31 or d?
31
Let v = 82268 + -492275/6. Which is bigger: v or 221?
v
Suppose -2 = -4*b + 3*n, -b + 4*n = -0*b - 7. Let u = 7947 + -166930/21. Let l = u + 5/7. Is b at most l?
False
Suppose v + 72*v = -7811. Is v less than or equal to -103?
True
Suppose 6*x = 9*x - 5*n - 43, -27 = -3*x - 3*n. Which is bigger: x or 58?
58
Let k = 0.24 + -1.21. Let q = k + -0.03. Suppose 2*p + 3*o = 5*p - 3, o - 4 = -4*p. Which is bigger: p or q?
p
Suppose 4*v - 4*t = 20, 3 = -v - 4*t + t. Let r = -77 + 76.9. Is v smaller than r?
False
Let v(s) = 3*s**2 + 8*s + 7. Let r(d) = -4*d**2 - 9*d - 6. Let k(z) = -2*r(z) - 3*v(z). Let o be k(-4). Do 0 and o have the same value?
False
Suppose -3*c - 32 = -u, -u + 4*c + 27 = 2*c. Let v(t) = 2*t**3 + t. Let h be v(2). Which is smaller: h or u?
u
Let h = 6095/4 + -2285617/1500. Which is smaller: 1 or h?
h
Let i = 423 - 421. Does i = -83?
False
Let j be 2*(-50)/(-64) - 39/52. Which is smaller: 1 or j?
j
Let w = -597.857 - -599. Is w at most as big as -1/4?
False
Let y(p) = 2*p - 18. Let s be y(10). Let w be (3 - (-76)/(-20))*(s - -3). Is w < -2?
True
Let r be (10/(-14) - 0) + 1. Let v = -47 + 78. Let a = -31 + v. Is r greater than a?
True
Let j be -9 + 10 + (-2)/(-1). Suppose -4*w = i - 8, 1 = 2*w - j*w. Which is smaller: 13 or i?
i
Suppose d + k - 3*k + 3 = 0, -4*k - 16 = 0. Suppose -108*i - 96 = -116*i. Suppose -i = 14*t - 13*t. Which is smaller: t or d?
t
Let s be (14/(-6))/((-1)/3). Suppose 0 = -b - 3*z + 15, -5*z + s = b - 4*z. Suppose -3*g - 2*v + 4 = 0, 0 = -b*g + 5*v - 4 - 6. Is -2/5 not equal to g?
True
Suppose 32 = 5*a - 4*o, -3*a + 4 = 2*o - 2. Suppose x - a = -2*u - 15, -u + 5 = 4*x. Let t = u + 18. Which is bigger: t or 12?
12
Let f = 1/740 + 4423/12580. Let q = -5/34 - f. Let w = -0.13 - -0.63. Which is greater: q or w?
w
Let c be ((-234)/40 + 6)/(4/(-10)). Let g = -117/56 - c. Is g >= -3?
True
Let x be (372/18)/(-1)*33/176. Is x greater than -4?
True
Let h = -152 + 147. Is 2/13 less than h?
False
Let y = 8 + -15. Let t = 11 + y. Let i = 24 - 24. Is i at most as big as t?
True
Let p(i) = -2*i + 4. Let s be p(4). Let x = 2 + s. Let q = 190 - 765/4. Which is greater: x or q?
q
Let s be 2 + (-48)/9*12/8. Is -14/3 at least s?
True
Let x(p) = 2*p + 35. Let l be x(0). Let c be (-1)/(0 + (-5)/l). Let m = 5 - -2. Is c smaller than m?
False
Let r = -3.03 - -143.03. Let y = r + -120. Are 2 and y equal?
False
Let n = -678 + 730.3. Let t = -52 + n. Is t <= 4/5?
True
Let o be ((-30)/8)/((-15)/12 - -1). Let c be (0 + 1)/(21/o). Is 1 at least as big as c?
True
Suppose b = -5*n + 22 + 2, 3*n - 13 = -2*b. Let c be (2 + b)/(8/(-96)). Let a be 2/20*c/(-2). Is a at most as big as 0?
False
Suppose -4*o = 2*o. Let d = 1.6 - 2.9. Which is bigger: o or d?
o
Let v be (5/2)/((-3)/(-6)). Let y(n) = -n**2 + 7*n - 5. Let r be y(v). Let s be (r/(-55))/(-2 - -1). Which is smaller: s or 1?
s
Let x = 15 - 14.6. Let w(v) = v**2 + 7*v + 5. Let k be w(-6). Is x >= k?
True
Let b(x) = 3*x**2 + x + 3. Let j(d) = 12*d - 10. Let k be j(1). Let n be b(k). Are 17 and n non-equal?
False
Let i = 1048 - 1047. Is i at most as big as -143?
False
Suppose -5*f + 3*q = -28 - 82, 0 = -2*f - 4*q + 44. Let d = 103 - f. Let g be d/60 + (-21)/35. Is -1 smaller than g?
True
Let o = 2 + -10. Let v = o + 0. Let x = 6 + v. Which is bigger: x or 5?
5
Let d = 112 + -288. Is -177 smaller than d?
True
Suppose -5*a = 62*a. Let