+ 1. Let v be 585/35 + 3 - 4/(-14). Let o be m(v). Which is bigger: -9/89 or o?
o
Suppose -13*l + 38412 = -49741. Is l at most as big as 6780?
False
Suppose 0 = 10*x + x + 31*x - 546. Suppose 0 = 4*z - 4. Which is greater: z or x?
x
Let m = 5 + -3. Let x = 1489/855 + 10/171. Which is bigger: x or m?
m
Suppose -38*l + 127 + 63 = 0. Suppose -2*x + 2*q + 8 = 0, -x + 1 = l*q - 3. Suppose 12 = v - 3*y, 2 + 6 = -2*y. Is x less than or equal to v?
False
Suppose j - 58 = -3*f, -3*j = -10*f + 11*f - 150. Suppose -2 = 51*y - j*y. Let r = 3.2 + -3.39. Which is bigger: r or y?
r
Let v be (-1171)/(-14)*36/(-1 + 7). Let k = v + -501. Let u = -81 + 81. Which is greater: u or k?
k
Let f be (-2 - 171/6) + (540/24)/(-15). Suppose 0 = -4*r - 87 - 61. Do f and r have different values?
True
Let z = 29603/35538 + 2/5923. Which is smaller: -60 or z?
-60
Let y = -27 - -182. Let n = y - 157. Let t = -7.11 - -7. Is t >= n?
True
Let w = -1226 + 57620/47. Suppose 9 = 3*d, 4*h - 2*d = -0*h - 46. Let k = h + 10. Is k less than or equal to w?
False
Let b = 19059748/1075 + -17730. Suppose p - 14 = -10*q + 7*q, 0 = -2*p + 2*q - 12. Is b > p?
True
Let q be (322/63 + -5)*(-84)/(-6). Suppose -3*g + 5 = -2*f - 4, 4*f - 27 = -3*g. Which is greater: q or f?
f
Let m = -38.931 - 0.069. Let j = -38.925 - m. Let t = -0.075 + j. Are -1/15 and t nonequal?
True
Let i = 5/27494 - 34367645/797326. Which is smaller: -42 or i?
i
Let a(d) = -2724*d**2 - d + 2727*d**2 - 11*d. Let h be a(4). Which is bigger: h or 72?
72
Suppose 31*m = -604 + 883. Is m bigger than 70/9?
True
Suppose -b + 8*b - 21 = 0. Suppose -p - b*x = -5*p + 21, x + 22 = 3*p. Suppose 0 = h - 5*f + 3*f + p, 4*f - 11 = -5*h. Which is greater: 36 or h?
36
Let x be (56/(-3))/((-1582)/2373). Suppose -140 = -4*l - 32. Is l bigger than x?
False
Let o be (-1 - 195/12)/(9/48). Let b be 11/(-4) - 161/o. Let r be (-96)/(-51) + 0 - 2. Which is greater: r or b?
r
Let p = -19 + 0. Suppose 2*j = -4*g + 212 + 12, 5*g - 273 = j. Suppose -170 = -g*x + 65*x. Which is smaller: x or p?
p
Let y(p) = p**2 + 53*p + 303. Let o be y(-6). Is o less than 27?
True
Let h be ((36/10)/3)/((-15)/(-50)). Let i be 0/h*(15/6 + -3). Let s be -17 - (2 + 1 + i). Do -20 and s have different values?
False
Let a(y) = -7850*y - 494. Let z be a(-1). Are z and 7354 unequal?
True
Let t be ((-138)/345)/(2/(-90)). Let a be (1*(-27)/t)/(42/16). Is a at most 4/9?
True
Let p = 93/17 - 47417/153. Is -305 not equal to p?
True
Let p = -0.2 + -0.8. Let y = -0.0013 - 0.0487. Let h = 0.19 + y. Is h greater than p?
True
Suppose -6*n - 33 = 87. Let r be -14 - 5/(n/(-12)). Is r greater than -35/2?
True
Suppose 0 = 5*t - 10 - 10. Let q be (1 - 2)/(2/t). Let p = -1390/13 + 106. Which is greater: q or p?
p
Let b(v) = -3*v - 130. Suppose -690*t = -689*t + 35. Let q be b(t). Which is smaller: q or -47/2?
q
Let i = -121.8 + 138. Let k = i + -10.2. Is k at most -1?
False
Suppose -4*z = -4*k + z + 50, 0 = -4*k + 4*z + 48. Let w = 23 + -17. Suppose 3*m - w = -3*d, -5*m = -7*d + 3*d - k. Is -10/9 >= d?
False
Let q(v) be the third derivative of -v**6/120 - v**5/10 - v**4/8 + 5*v**3/3 + 5*v**2. Let j be q(-5). Let p = 531 + -38231/72. Are p and j equal?
False
Suppose 2*q + 39820 + 2632 = -4*o, 3*q + 53063 = -5*o. Let g = 817384/77 + o. Let v = -1/11 + g. Is v > 1?
False
Let h = -133 - -136. Let g be h/(-117)*-87 - (-3 - -2). Which is smaller: g or 2?
2
Let w = 5.5341 + 0.1359. Let m = w - -0.53. Let h = m + -6.2. Which is smaller: 6 or h?
h
Suppose -108*o + 297 = -135. Which is smaller: 102/11 or o?
o
Let j be (-13 - -15)*3/(72/(-5)). Suppose 146*a + 2 = 148*a. Which is smaller: j or a?
j
Let g = 5 + -3. Let x be 102/51 + (-66)/48. Is g < x?
False
Suppose 0*f - 4*f = 12, 2*a - 109 = 5*f. Suppose 4*c = -6 + 30. Let g be 30/c - 1 - -44. Is a equal to g?
False
Let u = -18087869/219 + 82593. Let z = 4 + -6. Let h be (-1 + 2)*(z - -1). Is u less than or equal to h?
False
Suppose -20*z = -6*z - 56. Suppose -z*u + 34 = 26. Which is smaller: 18/25 or u?
18/25
Let r be (-75)/175*(482124/(-9))/(-4). Let u = -5709 - r. Which is smaller: 31 or u?
u
Let a = 331/186 + 5/93. Let y be ((-12)/5)/((-9)/(-30)). Let w = 11 + y. Which is bigger: a or w?
w
Let n be 2/5*((-1507)/(-548) + 27/12). Which is greater: n or 59/65?
n
Let n(a) = -2*a. Let y(p) = -21*p - 68. Let b be 6/(-15) + (-243)/(-45). Let o(q) = b*n(q) - y(q). Let z be o(-6). Is 24/11 at most z?
False
Let i be (-57)/(-21) - (-5)/(-70)*-4 - -90. Which is smaller: 375/4 or i?
i
Let k be ((-22)/(-40) - (-2)/(-8))/(11514/(-8585)). Which is bigger: k or 1?
1
Suppose -2 = -2*z + 6. Suppose 11*t = 9*t + 5*i + 21, -5*t - 30 = 4*i. Which is bigger: t or z?
z
Let o = -16862 - -16932.67. Let j = o - 70.6. Is j < -14?
False
Let n = 13244 - 13350. Which is greater: n or 24?
24
Let j = 0.133 - -15.867. Let q = 14 - j. Which is smaller: q or 9?
q
Let b be (-4)/(-8)*175/(-775). Is b greater than or equal to 0?
False
Suppose 17*q - 18*q + 3 = 0. Suppose -q*a = 10*a - 156. Which is bigger: 15 or a?
15
Let g = -12.9 + -386.1. Let k = 400.9 + g. Is 0.1 >= k?
False
Suppose 0 = f - 5*t + 228, 5*f - 4*t + 8*t = -1198. Let h be -1 - (18/(-9) + f/(-240)). Which is bigger: -1 or h?
h
Let p = 1129 - 1565933/1387. Is p equal to 1?
False
Let m = 10512503725/369 + -28489207. Let c = -334/9 - m. Which is smaller: 1 or c?
c
Let v = 6.392 + -6.192. Which is greater: 2/29 or v?
v
Let s be (-22)/42 + 3 + -2. Let w = -11493 - -11492. Which is smaller: w or s?
w
Let j = -2041/22 + 1037/11. Is -27/2 <= j?
True
Suppose 4*a - 28 = -4*z, -2*a - 13 = -4*z - 3*a. Suppose -z*i + 12 = 4. Let v be 217/(-49) + -1 + 8. Which is smaller: i or v?
v
Let s = 386 - 365. Let l(i) = -i**2 + 24*i - 50. Let g be l(s). Which is bigger: -2/5 or g?
g
Let d = 33149/4 - 1023375/124. Is d greater than or equal to 33?
True
Let h(l) = -1093*l + 3542. Let v be h(4). Do -831 and v have different values?
True
Let o be (67 + -2)*2*1. Suppose -37*s - 186 = -23*s - 2006. Is o at least as big as s?
True
Suppose 4*i + 5*n = -11, -10*i + 14*i - 1 = -n. Let a be 9/((-648)/(-294)) + (-4)/i. Which is bigger: 1 or a?
1
Let b = -346 - -343.34. Let w = -3.32 - b. Is w greater than or equal to 0?
False
Suppose -99 = 461*a - 454*a - 344. Which is bigger: a or 171/5?
a
Let l be 0/((-8)/((-20)/5)). Suppose -7*v + 700 = -l*v. Is v > 100?
False
Let a be (-2)/(-14)*(909 - (8 - 1)). Let w = a - 82977/644. Let z = w - -331/3404. Is 0 != z?
True
Let t be 48/80 - 36/110. Let y = -1846 + 1838. Are t and y unequal?
True
Let c = 12914 + -15656. Is c at most -2743?
False
Suppose -5*w = c - 6*c, -3 = -2*c - w. Suppose 6*q + 139 = -41. Let l be q/(-208) + (-2)/((-112)/(-21)). Which is smaller: l or c?
l
Let o be (16/6)/(((-26)/(-39))/(-1)). Let f be (-36)/24 + 614/o. Which is bigger: -154 or f?
-154
Let l be ((-5)/((-85)/135354))/3. Is 2654 < l?
False
Let y = 670801/149 + -4502. Which is greater: y or -1?
y
Let x(n) = n**3 + 6*n**2 + 6*n + 5. Let v be x(-5). Suppose 3*a + v*d + 4*d = -44, 0 = 4*a - 4*d + 40. Let f = a + -10. Is f greater than -21?
False
Let s(x) = 5*x - 9. Let u be s(20). Let h be (-16)/u + (-2)/7. Is h <= -4?
False
Suppose 79*n + 126 = 88*n. Suppose 0 = -3*l - 9, v - 305 + n = -4*l. Is 302 smaller than v?
True
Let t be ((-3)/12)/(850/3400). Let o = -305/39 - -23/3. Is t less than o?
True
Let n be 1/((-18)/(-914)) + (-22)/(-99). Suppose 0 = -3*k + n - 48. Is k smaller than -1/30?
False
Let j(x) = 5*x**2 - 4*x - 2. Let f be j(-2). Let y(h) = -h**3 - h**2 - h + 6. Let k be y(0). Suppose 0*t - 162 = -k*t. Is f at least as big as t?
False
Let l = -7778 + 8471. Which is bigger: l or 0?
l
Let d be (636 + -2)*(-31)/310. Which is smaller: -64 or d?
-64
Let h be (2 - (-35)/(-20))/(142/16). Let y = 84/2059 + h. Which is bigger: y or -2/25?
y
Suppose -7 = 4*v + 5. Let i be (-1 + v - -2)/2. Suppose -5*t = 2*y - 1 - 13, 5*y + 5*t - 5 = 0. Which is smaller: i or y?
y
Let w = -498 + 697. Suppose 41 = -q + 2*h, -4*q - 3*h - w = -13. Let n be ((-4)/10)/(3/q). Is 2 > n?
False
Let b = -273 - -195. Let f be (-221)/b - 2/(-12). Suppose -5*k - y + 3 = 0, -2*k - 4*y = -6*k + 12. Is f > k?
True
Let f be 3 + 2835/(-950) + 0. Let n(k) = 14*k + 27. Let y be n(-2). Which is smaller: y or f?
y
Let s be 2*(-1)/(7/1). Suppose z - 3 + 0 = -x, -x + 4*z - 2 = 0. S