8 and g nonequal?
True
Suppose 3*n - 399 = 5*z, n - 49 - 188 = 3*z. Is -76 greater than or equal to z?
True
Let k = -2.01 + 13.01. Is -10/11 <= k?
True
Let y = -146/7 - -1884/91. Let t be (-6)/4 - 0 - -2. Is t > y?
True
Suppose 4*x + 4*z - 188 = 0, -5*z = -4 - 11. Let j = x + -43. Which is greater: j or 13?
13
Let b(j) = j**3 + 12*j**2 - 12*j + 16. Suppose -4*a = -5*a - 13. Let t be b(a). Let q = 7 - 4. Is q bigger than t?
False
Let z(q) = q**3 + 15*q**2 + q + 15. Let u be z(-15). Let h = u - 1. Let c = 18/5 - 4. Is h greater than c?
False
Let u = 0.0283 + 20.8717. Which is smaller: u or 1/3?
1/3
Suppose -4*q - 2 - 2 = 0. Let g = -511/174 + 35/58. Is g greater than or equal to q?
False
Let f(b) = 24*b + 71. Let j be f(-3). Is j greater than -1/18?
False
Let i = 192 - 216.1. Let b = -24 - i. Is 15 greater than or equal to b?
True
Let q(s) = s**3 - 6*s**2 + 10*s - 1. Let i be q(3). Which is bigger: 26/35 or i?
i
Suppose -192 = -r - 15*r. Is 8 less than r?
True
Suppose 5*y = 7*y + 2*c - 16, 49 = 5*y - 4*c. Let s be 130/8 - (y - (-210)/(-24)). Is 16 equal to s?
True
Suppose -5*q = -5*t + 50, 4*t - 9 = -5*q - 5. Let w = -3 + 2. Which is greater: w or t?
t
Let q be ((-78)/(-12))/(-13)*(-31 - 3). Is q smaller than 27?
True
Suppose -2*w - g = -0*g - 6, 4*w + 16 = 5*g. Let f be (2/(-4))/((21/(-18))/7). Suppose -v = -5*y - 10, -4*v + 6 = -3*y - f*v. Is y greater than or equal to w?
False
Suppose 5*d = -h + 17 + 57, 0 = -5*d + 3*h + 58. Suppose -4*z = -3*y + 5, -7*y + 3*y - 5*z - d = 0. Which is smaller: y or 3/26?
y
Suppose -i - 4*i = 4*h + 263, 0 = 5*h + 10. Let b be 4*1 - (-187)/i. Is 1/51 at most as big as b?
True
Let f be (-24)/(-10)*8/6. Let n = f - 5. Let s = -4 - -2. Do s and n have different values?
True
Suppose -10*t + 9 = -t. Is t greater than -11?
True
Let t be -28 - 28/(-16)*-4. Is -39 bigger than t?
False
Let w = 179.3 - 183.7. Which is greater: 1 or w?
1
Suppose 5*u + 3*o + 0*o - 10 = 0, 0 = 3*o - 15. Suppose -c + 1 - 2 = 0. Let p be 0/c + -7 + 5. Which is smaller: p or u?
p
Let k be (-1)/(2/(-42)*-1). Let z be ((-15)/(-9) + -2)*k. Let h = 13 + -5. Which is smaller: z or h?
z
Let o be (-5)/(-15) + 104/(-6). Let b = o - -21. Is b bigger than 2?
True
Suppose -2 = 3*p - 5, 11 = -4*z + 3*p. Let n(h) = 3*h + 3. Let u be n(z). Which is greater: 4 or u?
4
Suppose 3*l = 5 - 2. Let z be -6*(-5)/10*l. Is z bigger than 0?
True
Let t = 193 + -1347/7. Let c(b) = -b**3 - 4*b**2 - 2*b - 6. Let k be c(-4). Is k less than or equal to t?
False
Let o = 90 + -34. Suppose 0 = 7*s - 3*s + o. Is s <= -12?
True
Let t = 2227/116 - -132/29. Which is bigger: t or 3?
t
Let b = -0.24 + -18.76. Let m = b + 37. Let r be (52/260)/((-4)/10). Which is smaller: m or r?
r
Suppose -2*q + 259 = 5*x - 4*q, 2*x - q - 103 = 0. Let r be (2 - (-718)/14) + 20/(-70). Are x and r non-equal?
False
Suppose 0*p - 4*p + 20 = 0. Suppose y + p - 8 = 0. Suppose 2*t - 13 = -y. Which is smaller: -1 or t?
-1
Let b be ((-6)/(-9))/(2/12). Suppose 4*v = -0*v - b. Let q = -64143/7 + 9163. Is v less than q?
True
Suppose k + a + 4 = -25, 3*k = -a - 81. Is 2/13 at least as big as k?
True
Suppose -16*o + 6*o = 190. Let k be (o/114)/((-4)/6). Which is smaller: k or 13?
k
Let s = -139 - -138. Which is smaller: s or 10/253?
s
Let p(t) = -10*t + 88. Let q be p(8). Which is bigger: q or 5?
q
Let t = 360814/19772389 - -210/7009. Let l = 2/651 + t. Suppose 5*y + 0*r + 3*r = 4, -5*y - 8 = -r. Which is smaller: l or y?
y
Suppose 0 = -14*u + 112 - 1960. Is -134 bigger than u?
False
Suppose -3 = 2*o - 13. Let l be (-41 + o)*(-2)/(-3). Which is bigger: l or -25?
l
Let m = -90.4 + 12.4. Let n = m + 80. Which is greater: n or -3?
n
Let o(n) = -2*n + 3 + n - 5 + 3. Let p be o(9). Is p at most -8?
True
Suppose 0*z - z + 19 = 0. Suppose -35*t + 309 + 391 = 0. Do z and t have the same value?
False
Suppose -3*t = -0*t - 15. Suppose 3*l + 2 = t*l. Suppose 4*m = -11 - l. Which is smaller: m or -1?
m
Let l = -2 - -17. Let s = 588 + -571. Let y = s - l. Is y < 2/11?
False
Let h(a) = -12*a + 47. Let s be h(5). Let c(k) = k + 15. Let t be c(s). Is t not equal to 26/11?
True
Let h be (-14351)/33335 + (-3)/(-5). Which is smaller: h or -1?
-1
Suppose k + 5*l = -10, -k + 0*l = -l + 22. Let z be (56/(-4) + 4)*1. Let x be ((-35)/z)/((-1)/6). Which is greater: k or x?
k
Let s = 30 - -3. Let c = 18 - s. Is -0.2 > c?
True
Let o = -703 - -764.7. Let k = o - 62. Is k not equal to 4?
True
Let z = -151.1 - -16.1. Let q = z + 134. Which is smaller: 0.2 or q?
q
Suppose -23*r - 2740 = -33*r. Which is smaller: r or 273?
273
Let k = -30 - -30.1. Is k > 71?
False
Let n = 2.9 + -3. Let j be (-372)/1005 + 2/5. Are j and n equal?
False
Suppose 638 = 2*w + 612. Are 12 and w unequal?
True
Let z(x) be the first derivative of -x**4/4 - 11*x**3/3 + x**2/2 + 8*x - 15. Let y be z(-11). Which is greater: y or -8/5?
-8/5
Let x = -1053.4 + 1053. Which is bigger: x or 0.08?
0.08
Let l = 74/1169 - -17930/167. Is 106 at least l?
False
Let j be ((-30)/(-28))/(3/6). Let t = 622.9 - 623. Does t = j?
False
Let l = 2 - 3. Which is smaller: l or -0.197?
l
Suppose 0 = -5*b + 2*z + 30, z + 4*z = -25. Let w be (-133)/(-5) + b/10. Let t be (36/w)/(2/3). Which is bigger: t or 1?
t
Let g = 189 + -191. Which is smaller: -22 or g?
-22
Let z be 48/(-40) + 18/(-15) + 2. Suppose -2*h + 3*g = 3*h + 10, 4*h + 5*g = -45. Let f = 4 + h. Which is greater: f or z?
z
Let m(g) = g**2 - 10*g - 10. Let k = -34 - -45. Let i be m(k). Which is smaller: -2/27 or i?
-2/27
Let y(t) = 105*t - 42. Let p be y(-4). Let z be ((-8)/6)/(p/(-117) - 4). Which is smaller: z or 27?
z
Let t(d) = d**2 - 24*d - 2. Let m be t(22). Let y be (1 - (-52)/m)/((-4)/4). Is y > -1?
True
Let f be (0 + 20/(-6))*6. Let b be (-8)/20 - 13/f. Let n be (-5)/(-4)*(-112)/(-350). Is b at least as big as n?
False
Let u be (-6)/24 - (-1 + 1). Let c be (-4)/(-3) - 2/(-3). Let h be (1 - (c - 2))/1. Do h and u have different values?
True
Let m be -2 + 2 + (0 - 0). Let x(u) = -u - 7. Let l be x(m). Let s = l + 5. Are s and 0 equal?
False
Let b = -3 - -1. Let o(t) = 3*t**3 + 4*t**2 - 3. Let u be o(-3). Let y be 6/8*u/42. Which is smaller: b or y?
b
Let a = 751 - 454. Which is greater: a or 296?
a
Let p = 1187 + -1271. Is -86 > p?
False
Let k be (-139)/(-33) - 2*2. Let i = 131/462 - k. Suppose 3*r + 0 - 3 = 0. Which is bigger: r or i?
r
Let x = 10/107 + 883/856. Are 2 and x nonequal?
True
Let v = -15.6 - -15.68. Which is smaller: 1 or v?
v
Let z(k) = -35*k**2 - 94*k + 93. Let x be z(1). Is -1.6 less than x?
False
Let g = 176.2 - 176. Are g and 6 unequal?
True
Suppose -8 = 4*n + 4*z, z - 3*z = 4. Suppose 0 = -3*x + 3*k, x + n = 2*k - 5. Let q be (-20)/5 - (-22)/x. Is q greater than or equal to 0?
True
Let a be (-126)/(-33) + (-12)/(-66). Let q be a/(-9) - (0 + 2/9). Which is smaller: -2.5 or q?
-2.5
Let o(m) = m**3 + 12*m**2 + m + 15. Let c be o(-12). Let x be c/(-1) + 2 + 3. Suppose -2*p + x*z = 14, 11 - 2 = -3*p - 3*z. Which is bigger: -4 or p?
-4
Suppose -2*d = -10, -j + 0*d = -d + 21. Let a(n) = -n + 24. Let f(c) = 2*c - 23. Let p(u) = -6*a(u) - 7*f(u). Let t be p(4). Which is bigger: t or j?
t
Suppose 4 = -w + 2*r, w + 6 = -0*w + 3*r. Let s = -26 + 32. Let o be ((-2)/s)/((-8)/96). Which is bigger: w or o?
o
Suppose -29 = 3*x - 26. Which is smaller: x or -9/17?
x
Suppose 3*q + 9 = -15. Let u(n) = n**3 + 9*n**2 + 7*n - 2. Let j be u(q). Suppose -2*t = -j*t. Which is smaller: t or 2/61?
t
Let k = -16 - -25. Let m be (-171)/(-7) + k/(-21). Let v be (m/(-15))/(7/5). Which is greater: v or -2?
v
Let z = 0.773 + -1.057. Which is greater: -1/4 or z?
-1/4
Let h = -36 - -13. Let u be (-12 + 11)*((-40)/h + -2). Which is smaller: -1 or u?
-1
Let p = -3.91 + -0.09. Let z = 1.9 + -0.6. Let c = z + -3.3. Which is bigger: c or p?
c
Suppose -3*x = -4*x + 21. Let j be (-63)/18 + (-294)/(-12). Are x and j non-equal?
False
Let g(s) = -14*s + 12. Let u be g(-3). Let f = u + -59. Are -2 and f equal?
False
Let d(k) = -k**2 + 14*k - 33. Let v = 74 + -69. Let f be d(v). Are 10 and f nonequal?
True
Suppose 29 = -0*a - 2*a - p, 4*a + 5*p + 67 = 0. Suppose 14*j - 10*j = u - 2, u = 3*j - 2. Is u at least as big as a?
False
Let x = 16 + -39. Let u = x - -22. Let y = -0.03 + -0.67. Which is greater: u or y?
y
Suppose -9 = -j + 14. Suppose -j = 2*p + u - 2