 5*n - 2*g - 59 = 0. Is n at least as big as p?
True
Let t be 46*((-249)/(-6) - 1). Let u be (-1)/1 + -1 - t/(-945). Let v = -199/385 + u. Which is smaller: v or 0?
v
Let j(h) = 4*h**2 - 256*h - 150. Let k be j(61). Which is bigger: k or 1?
1
Let x(f) = -41*f + 408. Let h be x(10). Are -41/24 and h equal?
False
Suppose -462*s = -510*s - 11424. Is -4 < s?
False
Let i = -4370 - -4219. Which is smaller: i or -159?
-159
Suppose 11*t + 3 = 14*t, 0 = 5*r - 4*t - 316. Is r greater than 587/9?
False
Let q(h) = -350*h**2 - 29*h + 2. Let i be q(-8). Let d = 89217/4 + i. Which is smaller: 137 or d?
137
Let q = -64.54 - 1.46. Let r = 65.2 + q. Which is bigger: 7/6 or r?
7/6
Let b be -4*((-3)/(-6))/(-1). Let f be 40/(-64) - 3/8. Let x be (-10)/(-8) + f + 22/88. Is x at most b?
True
Let u(s) = 246*s - 2349. Let m be u(9). Is m > 2.3?
False
Let j(i) = i**3 + i**2 - 4*i - 4. Let c be j(-2). Suppose 4*u - 7*u + 48 = c. Let o be (0 - (-18)/u*2)/6. Are o and 4 unequal?
True
Suppose 193*p - 180*p = -8918. Let m = 685 + p. Which is bigger: -2/123 or m?
-2/123
Let t = -531/52 + 39/4. Let f(s) = 38*s - 190. Let b be f(5). Which is bigger: b or t?
b
Suppose -20 = -3*x - w, -x - 2*x - 5*w = -28. Let p be 378/518 - (-1 + x/3). Which is smaller: p or 0?
p
Let r be ((-4)/(-2))/(-2 + 64/28). Let f(d) = -25*d + r*d - 5 - d**2 + 13*d. Let b be f(-4). Which is bigger: -2/5 or b?
-2/5
Let m = 38 + -455/12. Let b = -0.451 - -352.451. Let c = -350 + b. Is c less than or equal to m?
False
Let d be 18/(-60)*(64/(-12) - 2). Let j = -1084.2 - -1084. Which is smaller: j or d?
j
Let x(z) = -7*z + 11. Let j be x(4). Let p(f) = -24*f - 8. Let c be p(-1). Let h = c + j. Are h and 3/10 nonequal?
True
Suppose 0 = -4*n - 4*f + 8, 2*n = 5*f - 17 - 7. Let c be (0 - n) + -1 - (-140)/1. Suppose -10*p + 7*p = c. Is -47 <= p?
True
Let w = 6.4 - 6.332. Let q = 15.832 + -15.9. Let i = q + w. Which is smaller: 1/2 or i?
i
Suppose 0 = 92*d + 59874 + 207851 + 121527. Are d and -4230 equal?
False
Let q = -293 + 337.2. Let n = q + -44.3. Let d = -199/232 + 14/29. Which is smaller: d or n?
d
Let z be 208/(-330) - (-4)/6. Suppose -9*t - 3 = 33. Let v be ((-2)/t)/(9/(-6) - -1). Is z less than v?
False
Let j be (3 - 40870/252) + 21/294. Which is smaller: -160 or j?
-160
Suppose 2*t - 33 = -0*p + 5*p, -2*t + 2*p + 30 = 0. Let w be 35 - ((-5)/(-2) + (-7)/t). Let g = -22 - -56. Which is bigger: w or g?
g
Let t be (-1548)/14*280/20. Is -1549 smaller than t?
True
Let m be (-11 - 777/(-126))*-6. Let j = 0 - -0.2. Do m and j have the same value?
False
Let c = -86817/83 + 1046. Let b = c + -2165/581. Which is bigger: -4 or b?
b
Suppose -6479 = -10*w - 299. Is 2467/4 not equal to w?
True
Let p = -192 + 195. Suppose -2*w - 15 = -7*w. Suppose f - 5 = -4*g, -2*f - w - 13 = -5*g. Which is greater: p or g?
p
Let i = -28885/33 + 9654/11. Let t be (-1*1)/((-2)/4). Let w be 2 - (t - 1/1). Which is bigger: w or i?
i
Let h = -2.76 - -262.76. Let n = h + -260. Which is bigger: -2/2277 or n?
n
Let y = 0.856 - -1.144. Is -7 smaller than y?
True
Let l be (-2025)/(-306)*28/(-35). Is -4 less than l?
False
Let b(q) = -5*q**2 + 117*q + 70. Let z be b(24). Suppose -2*m + 6 = 8. Is z not equal to m?
True
Suppose 3*l = 5*i + 10, 5*l - 23 = -3*i + 5. Let y be -2*10/(-35)*2/196. Which is smaller: y or i?
y
Let d(g) = 2*g**3 - 13*g**2 + 14*g - 98. Let s be d(-8). Which is bigger: s or -2065?
-2065
Let v be 15 + -1 + 182*2/(-28). Suppose 0 = -l - 2 + 5. Let h be (l/(-6))/(4/(-2)). Are h and v unequal?
True
Let k be 6/(-4) - (-112)/160 - (-76464)/5. Is 15291 at most as big as k?
True
Let w be -23 - (-21)/10017*10977. Let o = -1 + 0. Which is bigger: o or w?
w
Suppose 1 = p - 2. Let k(x) = 3*x**3 + 38*x**2 - 12*x + 17. Let z be k(-13). Suppose p*i + 1 = z. Are i and -5 unequal?
True
Let d = -338 + 353.2. Let r = 15.3 - d. Which is smaller: r or 2/9?
r
Suppose 0 = -5*k + 4*x + 22 - 4, 6*k - 5*x - 23 = 0. Let j = -8 - -4. Let t be (0/(-2))/(k + j - -4). Which is greater: t or 1/103?
1/103
Let h = -14010 - -19726. Do 5716 and h have different values?
False
Let o(t) = -3*t**2 - 111*t + 834. Let i be o(7). Do 46 and i have the same value?
False
Let l = 56 + 445. Let g = l - 526. Suppose 0 = 3*b + 3*o - 6*o + 90, -4*b = 5*o + 75. Are b and g nonequal?
False
Suppose 0 = -88*u + 93*u - 3*d - 7, -4*d + 44 = 4*u. Is 601 at least as big as u?
True
Let q = 0.0894 - 0.6894. Do 9/26 and q have the same value?
False
Let o(y) = y**2 + 2*y + 7. Let a be o(0). Suppose a*r + 116 - 564 = 0. Let z = -71 + r. Which is greater: -4 or z?
-4
Let m = 40.4 + -40.5. Which is smaller: m or 1/2847?
m
Let w = 113/3 - 79/2. Let v = 5/2 + w. Let z = 27 - 15. Which is greater: v or z?
z
Let o = 91 - 239. Let i = o - -147. Which is smaller: i or 74?
i
Let u(c) = -c**3 - 5*c**2 + 4*c + 1. Let t be u(-6). Suppose 8 - t = -i. Suppose 0 = -i*m - m - 96. Does -16 = m?
True
Let a be (-4 - (-20)/8)*(-4 + 2). Suppose 0 = t + a*u - 4 - 9, -4*t - 3*u = -34. Let b be (-3)/t*(-4)/(-6). Is b < -2/17?
True
Let c(d) = d**3 - d**2 + 8*d + 38. Suppose -k - 3 + 8 = -o, 7 = -5*o - 4*k. Let y be c(o). Are -19 and y unequal?
True
Let t = -4128/133 + 796/19. Which is smaller: -3 or t?
-3
Let w = -4438 + 4442. Let k(v) = -v**3 - v**2 + v. Let s be k(2). Are s and w equal?
False
Let s = -609 + 613. Suppose 5*o - 23 = 2. Suppose -3*l - 34 = -o*m + 3*m, -m - s*l + 17 = 0. Is m less than or equal to 18?
True
Let m = -33 - -35. Suppose 3*w - 40 = 4*u - m*w, 2*u = 3*w - 20. Let j be (1/39)/(u/12). Which is greater: j or -1?
j
Let r be (36/(-8) - -5)*-46. Suppose -3*l = 2*v + 2, 8*v + 5 = 3*v + 5*l. Let u be (200/30)/(v/3). Which is bigger: r or u?
u
Let r = 4 + 8. Let g be (4/r)/(1/(-15)). Let h be g/(-15) + (-1)/3. Which is greater: 1/6 or h?
1/6
Let o be 3*14*15/945. Suppose 6*h - 18 = -0*h. Let t be -1 - (0 + -3)/h. Which is bigger: o or t?
o
Let b(v) = 176*v**2 + 36*v + 4. Let h be b(-6). Let w = h - 24643/4. Which is bigger: w or -36?
-36
Let w = -650 - -649.95. Let q = -0.3 + 0.35. Let v = q + w. Is -4 <= v?
True
Let t be (2/(-24))/(1 - (-450)/(-452)). Let j = 19 + t. Which is smaller: j or -9?
-9
Let w = 4149.5 + -4150. Is w <= 228?
True
Let f(i) be the first derivative of -2*i**3/3 - 6*i**2 - 8*i + 224. Let p be 1 + 2 + (-10)/1. Let u be f(p). Is -21 less than u?
False
Let l(g) = 2*g**3 - 107*g**2 - 170*g + 276. Let k be l(55). Let f be 1 - 3*(-69)/(-297). Is f equal to k?
False
Let a = -0.221 + -0.349. Let k = 0.43 - a. Let w = -1223/7 - -175. Which is smaller: k or w?
w
Let i = -18017 - -18017. Are 21/188 and i equal?
False
Let k = -19 + -68. Let z = k - -59. Let s be (-4)/(-6)*(-4 - z). Is s <= 29/2?
False
Let c = 246 - 147. Let n = c + -77. Suppose -21 - n = -a. Which is smaller: a or 41?
41
Let n be ((-3)/(-4))/((-14)/56). Let d be (448/(-20))/(n/(-15)). Is -114 greater than d?
False
Let a be 2/(63/15 - 4). Let x = a + -9. Is 27/28 > x?
False
Let i be 41*38*((-117)/(-27))/(-13)*-1. Is i less than or equal to 518?
False
Let o(d) = d**3 + 40*d**2 - 42*d - 11. Let q be o(-41). Which is smaller: q or 31?
q
Suppose 2*x + 4*f - 55 = -x, -2 = -2*f. Suppose -11 = -14*h + x. Let r be (-3)/12 + h*2/8. Which is smaller: r or -2/19?
-2/19
Let z be (-409080)/308 - 2/(-11) - 1. Let m = 94357/71 + z. Which is smaller: 0 or m?
m
Let i = -0.1 - 0. Suppose 5*p = -4*y + 19 + 374, -4*p - 4*y + 312 = 0. Is p <= i?
False
Suppose 5*v - 718 + 228 = 5*f, f + 2*v = -104. Is f smaller than -100?
False
Let s be (2/20)/(2/5). Let i be (-3649)/110 - 15/150. Let c = i + 2551/77. Which is bigger: s or c?
s
Suppose 18*m = -17*m + 1750. Which is greater: 36 or m?
m
Let w = 324091/6 - 53766. Which is bigger: w or -2?
w
Let i be (22 + -6 + -12)/((-3)/(22398/(-8))). Is i bigger than 3732?
True
Suppose -8*l - 975 = 8*l + 497. Which is smaller: l or 36?
l
Let p be 2*9/30 - (7501/(-65) + 8). Are p and -1.5 equal?
False
Suppose 4*y - 3*m - 35 = 0, -2*y - m + 4 = -11. Suppose -w + y*w - 9*w = 0. Are 1/17 and w equal?
False
Let r = 236566/22295 + 8/1715. Which is greater: -1/3 or r?
r
Suppose -2*k + 112 = -0. Let z = 51 - k. Let r be ((-3)/z)/((-8)/(-40)) + -2. Which is greater: -6/35 or r?
r
Suppose f = 2*m + 8, 8 = -78*m + 79*m + f. Which is smaller: 1/13102 or m?
m
Let a(r) = -r**2 - 5*r + 1. Let f be a(-3). Suppose -f*s = 4*