2 - 2) + 2/d. Which is bigger: 1 or g?
1
Let q(t) = t**3 + 12*t**2 - 2*t - 25. Let w be q(-12). Let u be 70/34 + (-2)/1. Are w and u non-equal?
True
Let t(m) = m**2 + 9*m + 11. Let g be t(-8). Suppose -g*k = 4 - 1. Which is smaller: -1/2 or k?
k
Let r be (1 - -37)/(2 - 0). Let s = r - 11. Is s bigger than 7?
True
Suppose 6*w - 24 = 2*w. Suppose i + 0 = h + w, -21 = 4*i + 5*h. Let g be i + -2 - (-4 - -5). Which is smaller: 0 or g?
g
Suppose -t = 5*a + 4 - 21, 4*a = -t + 13. Let i(q) = -q - 10. Let u be i(-10). Which is smaller: a or u?
u
Let d = -4/49 + -250/539. Let v = 209 - 211. Which is bigger: d or v?
d
Let o = -1 - -2. Let b be 56/18 + -4 - -1. Is b less than o?
True
Let d be 29/7 - 6/42. Let i be 2 - 7/(14/d). Which is smaller: 4/7 or i?
i
Let p(h) = -1 - 6*h - 3 + 0*h - h**2. Let n be p(-4). Let a = n + -4. Are a and 0 nonequal?
False
Let v be 80/44 - (-2)/(-1). Suppose 7*a + 15 = 2*a. Let y = a + 3. Which is greater: y or v?
y
Let f be 4/(-18) + 140/63. Let b = 2 - f. Is -1 at least b?
False
Let o = -41.9 + 42. Let p = -0.05 + 2.05. Are p and o unequal?
True
Let a = 2 - 4. Let w be ((-3)/a)/((-42)/(-8)). Is w >= -1?
True
Let a = 39 + -40. Let c = -62/95 - -1/19. Which is smaller: c or a?
a
Let a be (-4)/30 + (-1896)/(-45). Which is bigger: 40 or a?
a
Suppose 5*z = 2*u + 23, z - 5*u = -4*z + 35. Which is smaller: 5 or z?
z
Let t be (-4 + 3)*(-8)/28. Is t less than -13?
False
Let r = 2115/77 - 198/7. Which is bigger: -2 or r?
r
Let p be (2/6)/((-2)/4). Is p greater than or equal to -1?
True
Let t = 1/5 + 1/20. Let v be 1 - (2 + 3*-5). Which is smaller: v or t?
t
Suppose 2*v + 1 = 11. Suppose n - 12 = -2*n. Is n < v?
True
Let y(r) = 3*r**3 - r**2 + r. Let s be y(1). Is s equal to 2?
False
Let r = -29 + 35. Is 6 bigger than r?
False
Suppose -2*f - 18 = 4*f. Does -5/2 = f?
False
Let d = 30 + -27. Is d >= -3/5?
True
Let h(x) = -4*x**2 + x. Let w be h(-1). Let a = -3 - w. Is 2 not equal to a?
False
Let r(k) = k**2 - 7*k + 8. Let u be r(7). Suppose 2*n = -0*n - u. Is n less than or equal to -4?
True
Suppose 0 = 5*n - 6 - 44. Let x = n - 5. Suppose -5*s - 5 = x*h, -1 = -2*h + 5*s + 32. Which is greater: 5 or h?
5
Let v be (3/6)/((-6)/84). Which is greater: v or 0.1?
0.1
Suppose -2*m + 0*c = -c, 5 = m + 2*c. Is 2/31 smaller than m?
True
Suppose 2*x - 42 = 5*w, -7*x = -2*x + 3*w - 105. Does x = 21?
True
Let p(l) = l**3 + 6*l**2 + 7*l + 6. Let b be p(-5). Let q be 2/(b/7)*2. Is q < -7?
False
Let g = 1/15 + -8/195. Is g equal to -1?
False
Let v(t) = t + 5. Let l be v(-7). Let b be -2*(-7 + 2/2). Let y be (-3)/(-6) + (-14)/b. Which is greater: y or l?
y
Let q be ((-6)/(-10))/(1/5). Let v(w) = q + 4*w - 6*w + 0*w. Let a be v(3). Is -3 > a?
False
Suppose -4 - 5 = 3*t. Let j = 0 - 2. Let a = j - t. Which is greater: a or 1/2?
a
Let z = -0.06 - 0.54. Let b = 125 - 623/5. Which is greater: b or z?
b
Let q = 10 - -39. Is q not equal to 48?
True
Suppose -6 - 49 = 5*y. Let w be (-15)/(-20) - y/(-4). Let c be 1/4 - (-26)/(-8). Is c greater than w?
False
Let o = -120 - -108. Which is greater: o or -2/5?
-2/5
Suppose -n + 2*x = -3*x + 25, -n = -3*x + 17. Do -1 and n have different values?
True
Suppose 0 = -7*l + 8*l + 57. Is -57 not equal to l?
False
Let l be ((-1)/3)/(2/(-3156)). Suppose -2*k = 4*y + 814 - 106, -l = 3*y - k. Let v = y + 1405/8. Is v <= 0?
True
Let z = -61791/7 + 8896. Let c(w) = -15*w + 6. Let p be c(5). Let h = z + p. Does 1 = h?
False
Let y = 0.29 - 16.29. Which is greater: y or -2?
-2
Let u be (-9)/(-1) - (1 + 2). Let t = -7 + u. Is 2/31 > t?
True
Let g = 40 + -54. Which is greater: -13 or g?
-13
Let m = -11/3 - -3. Let k(h) = -h**3 - h**2 + h + 1. Let r be k(-1). Which is bigger: m or r?
r
Let c(d) = -d**2 - 5*d + 2. Let v be c(-4). Suppose 4 = 4*g, -3*n + 1 = -5*g - 6. Is n less than or equal to v?
True
Let m = -0.4 - -1.4. Let g = -0.6 + 0.3. Let h = g + 0.1. Which is smaller: m or h?
h
Let d be ((9/(-3))/3)/(-1). Suppose -5*k = 2*y - 15, -y - 2*k + d = -5. Which is bigger: y or -7/8?
y
Let s = -96 + 98. Is s greater than 24/7?
False
Let a be (-30)/23*(-2 - 5/(-3)). Which is greater: -1 or a?
a
Let j = 118 + -1061/9. Is -1 smaller than j?
True
Suppose -3*h = -2*z + 9, z - 3*h - 15 = 2*h. Let b(y) = y + 3. Let f be b(z). Let t(w) = w**3 + 6*w**2 + 6*w + 7. Let p be t(-5). Is f < p?
False
Let l be (-5)/(-2)*(-24)/(-75). Which is smaller: 1 or l?
l
Let n be 2/(2/3) + 1. Let k be n/10 + 87/(-105). Is k bigger than 0?
False
Let p = 59 + -92. Let x = p + 67/2. Which is greater: x or 1?
1
Let n be ((-1 - 0) + 0)*-48. Let d = 143/3 - n. Which is greater: 0.1 or d?
0.1
Let s = -3/35 - 1/70. Which is greater: s or 0?
0
Let n = -9 - -12. Suppose -13 = 4*x + u, 3 = n*x + 4*u + u. Let p be -1 + -3 + 1 + -2. Which is bigger: x or p?
x
Let v = -7.97 - -8. Let k = 0.07 + v. Is k greater than or equal to -3?
True
Suppose 3*j + 4*v - 10 + 1 = 0, -2*j + 2*v = 8. Let k be j/3 - (-6)/22. Which is smaller: k or -1?
-1
Let o = 23 + -46. Let v = 15 + o. Is 0.1 greater than or equal to v?
True
Let w = -22 - -11. Let s = -10 - w. Which is smaller: s or -1/2?
-1/2
Let u be 1/((-2)/(-4)) + 1. Suppose 4*z = -2*h + 5*z + 7, 9 = 3*h - u*z. Which is greater: h or 5?
5
Let f = -1531/5 - -305. Which is smaller: -2 or f?
-2
Let p(t) = 2*t**2 + 6*t. Let m be p(-3). Is m smaller than -1/9?
False
Let x = -1 + -2. Let t = x + 3. Suppose 0 = -5*r + 2*n - 6*n - 5, 10 = -5*r - 5*n. Is r less than t?
False
Suppose 4*t + g = -0*g + 31, -33 = -2*t + 3*g. Let j be (2 - 24/t)/(-15). Which is greater: -1 or j?
j
Let o = -62 - 6. Is -69 equal to o?
False
Suppose -4*j + 18 = 2. Suppose -5*y + j*y = 0. Is y at least as big as 1/11?
False
Let d(f) = f**2 - f - 1. Let s be d(0). Let t(n) = -n**2 + 17. Let u be t(-4). Is u not equal to s?
True
Let z be (-4)/(-64)*4*-4. Which is greater: z or -7?
z
Suppose -4*j = -3*j. Which is greater: j or 0.3?
0.3
Let b(i) = -i**3 - 7*i**2 - 5*i + 5. Let d be b(-6). Let s = 1/145 - -267/3335. Is d at most s?
True
Suppose -8*l + 3*l + 10 = 0. Let b be (l/8)/((-20)/224). Which is bigger: -4 or b?
b
Let z be -5 + (-3 - 430/(-55)). Is z >= 1?
False
Suppose 6 + 15 = 3*g. Let q(x) = x**3 - 8*x**2 + 8*x - 5. Let r be q(g). Suppose -8*p = -3*p + 3*n - 20, 1 = -4*p + n. Is r bigger than p?
True
Let v be (-40)/(-42) + 10/(-15). Does v = 2.4?
False
Let j be -42*(1/(-22))/((-4)/8). Does j = -5?
False
Suppose -t - 3 = 0, -3*t + 24 = 3*o + 6. Which is greater: o or 12?
12
Suppose -69 = -3*m + v, m - 7*v + 2*v = 37. Are m and 23 unequal?
True
Let p be (6 - 16/(2 - -2)) + -2. Is 1/53 greater than or equal to p?
True
Suppose -19*z = 21 + 36. Which is greater: -5 or z?
z
Let o be 1 + (-8276)/2670 + 2. Let w = 3/89 - o. Do w and -1 have the same value?
False
Let p = 1 - 1. Let h be 69*(-2)/(-42) + -3. Which is greater: p or h?
h
Suppose s - 4 = 1. Suppose 6*m + 78 = -s*p + 2*m, 5*p + 3*m = -76. Let g be ((-6)/p)/((-2)/7). Which is smaller: g or 2/3?
g
Let g(j) = j**2 - 12*j + 11. Let f be g(11). Let z(a) = a**3 - a**2 - a - 1. Let k be z(f). Which is smaller: -2 or k?
-2
Let t = 219.6 + -220. Let q be (-2)/(-2) - (-10)/(-6). Let l = q + 1. Which is greater: l or t?
l
Let f = 43 - 214/5. Let j(h) = h**2 + 5*h - 1. Let x(k) = -2*k**2 + 3*k - 3. Let n be x(2). Let r be j(n). Which is smaller: r or f?
r
Suppose 2*s + s - 3 = -y, 5*s = y - 3. Let j(g) = -2*g + s*g - 3 + g. Let n be j(-6). Do 3 and n have different values?
False
Suppose 2 + 7 = -3*n, 5*u = 2*n - 54. Let m = u - -9. Which is bigger: m or -1?
-1
Let j be (-4 - (-9 - -4)) + -33. Are j and -32 equal?
True
Let n = -7 - -18. Let k = n - 10. Which is smaller: 0.26 or k?
0.26
Let z = -406 - -127483/314. Which is smaller: z or -1?
-1
Let a be (-1)/((-20)/8 + 2). Which is smaller: 1 or a?
1
Let k = 9 + -3. Let i = -6 + k. Which is smaller: i or -1/3?
-1/3
Let u = -3.3 + 0.3. Let t = 2 + u. Which is bigger: t or -2?
t
Let r(d) = 3 - 4 - 1 + d. Let c be r(2). Let l = c - 0. Which is smaller: -3/5 or l?
-3/5
Let g be 32/12 - 2/(-6). Let l(z) = -2*z - 1. Let w be l(2). Let p = w + g. Which is smaller: -2/5 or p?
p
Suppose u + 4 = 10. Suppose -i = i - u. Is 3 not equal to i?
False
Let s be -14*((-153)/21 + 3). Let q be ((-6)/44)/((-45)/s). Is 0 <= q?
True
Let j be (1/(-2))/((-6)/72). Suppose -2*u + j*x + 12 = 2*x, -4*u - 