 -4*q - 5*s - 3015 = 0, 6*s + 3022 = -4*q + 8*s. Is q > o?
False
Let z be (268/6)/(-2 - 16/(-6)). Suppose 44 = -9*c + 620. Which is bigger: z or c?
z
Suppose -17*i + 20*i = -2*a - 3, -2*i + 4*a = -14. Let x(v) = 39*v**2 - 14*v**2 - 3*v - 94 + 92. Let f be x(-1). Which is bigger: i or f?
f
Let x be (-12)/(-10)*(-30580)/198. Let o = -185 - x. Are o and 0.486 equal?
False
Suppose -4*r - 14 = -3*y, -5*y + 9*r - 10*r = -54. Let i(d) = -d**2 + 9*d - 4. Let w be i(8). Let q be (-5)/y + 1/w. Which is smaller: q or -1?
-1
Let x be 3 - 3/9*(0 + -3). Suppose -4*z + 22 = 3*y, x*z - z - 20 = -4*y. Suppose 0*l - 43 = 2*l + 3*u, u - 107 = z*l. Is l > -28?
True
Suppose c - 5*m = 1848, 2064 = -5*c + 2*m + 11419. Let b = c + -237872/127. Is -2 at least b?
False
Let n = -73 + 51. Let l = n - -52. Is l greater than 6?
True
Let n = 8369 - 8897. Which is bigger: -531 or n?
n
Let z = -8351 - -6512. Which is smaller: -1835 or z?
z
Let i be (0 - (0 + (-4)/10))*(290 + -291). Are 6996 and i equal?
False
Let r = 7666 - 7777. Which is smaller: r or -125?
-125
Let b = 0.2 - 0. Let h = b - 34.2. Let d = -33.6 - h. Is 4 less than or equal to d?
False
Suppose -4*g - 496 = -2*i, 4*i + g - 1010 = 3*g. Let f = i - 1261/5. Let r be (4 - 0)*9/18. Which is smaller: f or r?
f
Let k be 3 - 273/(-52) - 8. Is k equal to 4425?
False
Let o be (-45)/9 + 30/6. Suppose o = -73*w + 66*w. Do w and -6/5 have the same value?
False
Let i = 13 + -12.9. Let g(f) = 62*f**2 - 1. Let n be g(1). Let k be (12/(-8))/(-3)*4/n. Which is smaller: i or k?
k
Let q(u) = -u**3 - 6*u**2 + 19*u + 24. Let y be q(-8). Suppose 3*p + 6*p - 315 = 0. Let v be 4/((-3)/((-30)/p)). Which is bigger: y or v?
v
Let t = -15 - 18. Let p be (-154)/t + 3/(-9). Which is bigger: 5 or p?
5
Let i be 1/(-1)*(3 + -5). Let f be (-122)/(-22) + 2/i. Let c(u) = u**3 - 2*u**2 - 325*u - 27. Let l be c(-17). Is f <= l?
True
Suppose -3*h - 6 = q, 2*h = -0*h - 4. Suppose -10*v + 0*v + 600 = q. Which is greater: v or 59?
v
Let s = 177/104 - 8811/5200. Let m = -781/50800 + s. Which is smaller: m or 1?
m
Let f(i) = i**3 + 13*i**2 - 12*i - 25. Let q be f(-10). Suppose -4*p = -5*w + 506, -2*w + q = -3*p - 6*w. Which is smaller: p or -128?
p
Suppose 0 = 4*w - 3*w - 50. Let x be 3/(45/(-12)) + (-360)/w. Let h = x + 16. Is 3/7 greater than h?
False
Let m = -22.1 - -21.668. Let w = 7.068 - m. Is w at most as big as -3?
False
Suppose -h + 5 = 0, 0*h = 2*k - 3*h + 7. Let i be k + 1 + 3 + -4. Let y be 11 - ((-8)/i + 4). Which is bigger: 10 or y?
10
Let q(p) = p**3 + 142*p**2 + 1074*p + 15. Let g be q(-8). Are g and 1401 non-equal?
True
Let r = 305 + -303. Let w be ((-2)/r)/(6 - 9 - -4). Are w and -4/51 unequal?
True
Let r = 34179 - 34178. Let c = -14/3 + 277/60. Is r <= c?
False
Let x be (1/(-2))/(1/16). Let o(y) = 1422*y - 173524. Let d be o(122). Is x at most as big as d?
False
Let j = -3684.224 - -3683.1. Is j less than or equal to -1/6?
True
Let k = -85 + 91. Let g(v) = -v + 21. Let n be g(k). Let j = n + -15. Which is smaller: -5/21 or j?
-5/21
Suppose -37*a - 10 = -39*a. Let u = 5 - a. Let z be -4*9/6 + (u - 1). Are -6 and z nonequal?
True
Suppose 8*t + 59 = 59. Which is smaller: t or 1/10309?
t
Let a = 7 - 4. Let j be (0 - 9)/(-5 - -4). Suppose j*h - 52 = 35*h. Is a less than or equal to h?
False
Let q be ((-63)/(-6))/((28/70)/((-12)/75)). Let h = 3 - 6. Which is smaller: q or h?
q
Let w = -2.16 + 108.16. Let o = 227 - w. Let l = o + -114. Is 0.1 smaller than l?
True
Let m = -3426833/182 + 18829. Let p = m + 1/26. Which is bigger: 0.147 or p?
p
Let l(c) = -2*c**2 - 9*c + 239. Let z be l(9). Let k(h) = 2*h**2 - 4*h + 2. Let d be k(2). Suppose 0 = -3*a - d - 7. Is z less than a?
True
Let u be 69/(-138)*1192/(-2)*-2. Let m be 93840/9*(-4)/70. Let r = m - u. Are r and 0 non-equal?
True
Suppose 6*a - 4*t = 3*a + 71, -3*a + 72 = -3*t. Let v = a - 6. Let q = v + -11. Is 3 less than q?
True
Let j = 4453 - 204839/46. Let h = 7 - 15. Let t = h - -9. Is t less than or equal to j?
False
Let p = 1 + -0.93. Let n(q) = 39*q - 304. Let g be n(8). Let o be g/(-9) + 56/252. Which is bigger: o or p?
p
Let a = 0.03228 - 9.03228. Let o = 2.8 - 2. Is o greater than or equal to a?
True
Let p = 4612 - 3505. Which is smaller: p or 2211/2?
2211/2
Let a = 432 - 428. Suppose -28 = 4*p + 5*b - 0*b, 0 = -a*p + 2*b. Is -4 greater than p?
False
Let d(v) = 5*v**2 + 55*v - 117. Let r be d(4). Which is bigger: r or 193?
193
Suppose -2*q - 39 = -5*t - 463, -5*q = -4*t - 329. Let c = -86 - t. Let b be -3 - (4/(24/(-19)) - c). Do 1 and b have the same value?
False
Let x be (-2260)/(-904)*724/5. Let w = 872 + -511. Which is smaller: x or w?
w
Let z = -271.9 - -182.6. Let y = z - -1.3. Are y and 2/5 non-equal?
True
Let d be (19 - 4) + (-2)/(-2). Suppose 2*r + 45 + 15 = 4*l, -8 = -l - 3*r. Which is greater: d or l?
d
Let r = -21191/2771 + 1/2771. Let b = -5738/697 - r. Are -1 and b unequal?
True
Let t = 48.8782 + 0.1218. Are t and -1 unequal?
True
Let x be (((-11)/77)/((-3)/1122))/(-1). Is x not equal to 1/3?
True
Let a be 2/23 + ((-91890)/(-19780) - 4). Is 0 > a?
False
Let f = 720.0488 - 0.0488. Let j = f + -745. Which is smaller: j or -1.3?
j
Let n = -6277374/85 - -73850. Which is smaller: -2 or n?
-2
Let b(k) = 66*k + 3100. Let m be b(-47). Are -3347 and m non-equal?
True
Let c be 2*(-11)/2*3. Let d be (186 + -183)*(13 + -1 - 1). Let b = d + c. Which is greater: -19 or b?
b
Let t = -76/5 - -78/5. Let y = 21079 + -21073. Is t greater than y?
False
Let y = -0.2094 + 0.4094. Which is greater: -1/969 or y?
y
Let w be (-8)/6 - 10/45*-3. Let h(s) = -81*s - 403. Let t be h(-6). Is t at most w?
False
Let j = -3 - -2. Let f = -428 + 426. Let n be 1/f + (-144)/160. Which is smaller: j or n?
n
Let o(r) = -r**2 - 27*r - 217. Let x be o(-37). Is x equal to -587?
True
Let r = -505 + 456.7. Let y = r - -9.3. Is y greater than -2?
False
Let d = -112.71 + 114. Let m = d - 1.59. Is m < -1.9?
False
Suppose r + 5 - 112 = 0. Let f be -2 + 18/(-9) - 2*-55. Is r > f?
True
Let s = -5524 - -3872. Which is greater: -1651 or s?
-1651
Let q = 17436.2 - 17433. Is q less than or equal to 0.121?
False
Let s = 94 - 88. Let h be (-1)/(s + 150/(-12)). Which is smaller: -35 or h?
-35
Suppose 52*y + 3862 = -52*y + 430. Let a = 9 - 6. Is a greater than y?
True
Let z = -13.69 + 18.69. Which is bigger: z or -0.009?
z
Let s be (3/6)/(391/34). Let p = -2 + -2. Let o = p + 3. Is s at most as big as o?
False
Suppose 4*r + 42 + 98 = 0. Let n = -29 - r. Let f = -9 + n. Which is greater: -0.7 or f?
-0.7
Let j = 3896 + -3894. Which is smaller: j or -35?
-35
Let m(l) = l**3 + 24*l**2 + 26*l + 6. Let f be m(-23). Let k = f - -54. Let y(a) = a**3 + 2*a + 1. Let d be y(-2). Which is greater: k or d?
k
Suppose 0 = 2*q + y + 54, q + 0*q = 4*y - 27. Let h = -25 - q. Suppose -4*x + 2*p + h = 0, 3*x + 2*p + 8 = x. Which is smaller: x or 0.16?
x
Let i be (1 + 1078/42)*9/6. Let t(v) = 6*v**3 + v**2 - 3*v - 2. Let x be t(-2). Let f = i + x. Which is smaller: 2/41 or f?
f
Let s(c) = -181*c + 933. Let a be s(4). Which is bigger: -9 or a?
a
Let t(r) be the third derivative of 19*r**4/4 + 2*r**3/3 + 31*r**2. Let y be t(1). Let w = 96 - y. Which is smaller: w or 0?
w
Suppose 3*d + 107 = 2*d + 5*l, 2*l + 338 = -3*d. Let o = 449/4 + d. Which is bigger: o or 18/19?
18/19
Suppose 0 = 4*a + 5*l - 252, 315 = -28*a + 33*a + 2*l. Let s be 3/(20/(-21) - -1). Suppose s = 2*p - p. Is p >= a?
True
Let u = 432.381 - -0.619. Let x = 432.8 - u. Are x and -49 unequal?
True
Let k = -2571 - -2570.963. Which is smaller: -1/2 or k?
-1/2
Suppose -226*b + 225*b + 3 = 0. Suppose -3*y + 79 = g, 4*y + 2*g + 15 = 117. Suppose b*d - y = 38. Which is smaller: 20 or d?
20
Let k = 0.429 + -5.539. Let v = -0.11 - k. Let j = -5.05 + v. Do -2 and j have the same value?
False
Let b = 450 - 693. Let h = b - -390. Is h less than 147?
False
Let d(n) = -68*n - 979. Let g be d(-13). Which is bigger: 51/4 or g?
51/4
Let f = 8.5 - -1.5. Let s be ((-2)/25)/(80/(-12) + 7). Let y = 32/75 - s. Which is smaller: y or f?
y
Let i(b) = b**3 + 9*b**2 + 6*b - 4. Let w be i(-8). Let q(u) = 12*u**2 + 15*u - 5 - u**3 - 54*u + 18*u + 22*u. Let o be q(w). Which is smaller: 8 or o?
o
Let v = 47 + -52. Let c be (-728)/(-40) - 4/v. Suppose 0 = 5*b - 5, 5*w - 5*b + 4 = c. Which is bigger: 0 or w?
w
Le