1)/(-7) - 50/175. Which is smaller: 26 or f?
26
Suppose 3*v - 4*x = -x - 6, 0 = -5*v - 5*x + 20. Let b be (-783)/290 - (-1 + v). Which is greater: -2 or b?
-2
Suppose 77*m - 133*m - 177576 = 91*m. Is -1211 greater than m?
False
Let r = 326 - 329. Let f be (1 + -6 - (2 + r)) + 3. Which is bigger: 9/41 or f?
9/41
Let c = -927 + 928. Which is greater: 2/11949 or c?
c
Let w(c) = 9*c + 20. Let j(l) = 17*l + 41. Let p(s) = -2*j(s) + 5*w(s). Let y be p(-19). Is -190 != y?
True
Let w = 16 - 22. Suppose -369 = 6*v - 51. Let q = v - -49. Which is smaller: q or w?
w
Suppose -4*q + u = -9, 5*u + 0 = -25. Let h be (-154)/(-33)*-3*(0 - q). Which is bigger: 0 or h?
h
Let x = -94 - -107. Let z = 50 + x. Let s = z - 57. Is 2/3 < s?
True
Suppose 0 = 5*a - 9*a + l - 19, 4*a = 4*l - 16. Is a bigger than -183/32?
True
Let z = -9250.0553 - -9250. Is -2/5 smaller than z?
True
Let j = 10401 + -10289. Which is bigger: -5/3 or j?
j
Suppose 21 - 6 = -15*q. Let r be (13390/(-1665) - -8)*6/4. Is q at least r?
False
Suppose 1323 = 7*v + 1400. Let i be ((-96)/30)/((-6)/15). Which is greater: i or v?
i
Let a = 67 - 66.9. Which is smaller: a or 1/42?
1/42
Let l = -193 - -197. Suppose -62 = -l*g + 38. Which is bigger: 21 or g?
g
Let p be (15490/(-4) - 6)*(-1 + 3). Do -7756 and p have the same value?
False
Suppose 0 = -h, 2*j = 4*j + 5*h - 10. Suppose 0 = -5*m + 5*n + 405, -m + 79 + j = -4*n. Let x be m/(-15)*(-12)/8. Is 8 > x?
False
Let l(z) = -z**2 + 77*z - 493. Let m be l(7). Let y be -2 - (m - -3) - (-27 + 26). Let w = -1/174 - 341/1218. Which is bigger: y or w?
w
Let v be 24/156 + (-82)/26. Let b be -1*v/(3 - (-3 - -7)). Let p be (-4)/b*6/2. Is p > 3?
True
Let x = -2783 + 3429. Is x not equal to 646?
False
Let h = -0.0715 - -9.3715. Are 1/70 and h equal?
False
Suppose 50 = 4*z - 2*z + 5*r, 0 = r - 4. Suppose 3*f + z = -27. Does -13 = f?
False
Let y = 1.05 + -0.62. Let v = y + -9.33. Let p = v - 2.1. Is p greater than -0.1?
False
Let d(x) = -x**3 + 15*x**2 + 35*x - 20. Let l = 317 + -300. Let y be d(l). Are -3 and y non-equal?
False
Let p(q) = 2*q + 3. Let m be p(3). Suppose -4*o = -m*o. Let z be (-40)/23 - (190/(-38) - -3). Is z at most as big as o?
False
Suppose 460 - 45 = 5*y. Let f = 1582 + -1500. Which is smaller: f or y?
f
Let o = -7/9 + 10/9. Let p be 4/6*78/(-2). Do o and p have the same value?
False
Suppose 0*y - 2*v = -4*y + 906, -5*y + 1149 = 3*v. Let m = y + -185. Is 44 bigger than m?
True
Let h = -156 - -158. Let y be (5 - 4)/((-2)/192*h). Which is smaller: -51 or y?
-51
Let k = 7647 + -7362. Which is smaller: k or 1423/5?
1423/5
Let p = 27.9 + -28. Let b = -113.23 - 12.17. Let s = 122 + b. Which is smaller: s or p?
s
Let r be (-86019)/6617 + 81 + -68. Are -1 and r unequal?
True
Let m be ((-2)/7)/((-4)/58). Let t = -4 + m. Let v = -15.1 + 15. Which is bigger: t or v?
t
Suppose -745 = -8*c - 225. Suppose 2*v = v - 4, 5*f = 3*v + 337. Do f and c have different values?
False
Let g = -4353 + 4351.85. Is -5/4 at least as big as g?
False
Suppose 3*z + 4 = 4*z. Let y be ((-256)/(-5))/(-10 - (-343)/35). Let l = -1773/7 - y. Is l >= z?
False
Let m be 286/66*(50/112)/5. Which is smaller: 2/5 or m?
m
Let a = 61.55 - 2.65. Let p = a - 66. Let q = p + 7. Which is smaller: q or 12?
q
Suppose -5*d + 11*r - 183 = 13*r, -d - 78 = 5*r. Suppose 0 = 4*i + 2*h + 94, 3*i + 114 = -i + 2*h. Is i at most as big as d?
False
Let o be (-115)/69 + (0 - -2). Let c = -114 - -99.4. Let k = c + 15. Which is greater: o or k?
k
Let p = 85514 - 659227425/7709. Does 1 = p?
False
Let s be -4 + 6/495*111 + 28/140. Do -1 and s have different values?
True
Let j = 537 - 553. Let s = 39 - 55. Is s not equal to j?
False
Let s = -30617 - -30616.94. Which is bigger: s or 24.83?
24.83
Suppose 4*w + t - 1791 = 478, -t = w - 565. Which is smaller: 574 or w?
w
Let i(w) = -w**3 - 39*w**2 - 73*w + 60. Let n be i(-37). Which is smaller: -18 or n?
-18
Let o = -33.1 + 23.1. Let u = 0.43 - -9.77. Let z = u + o. Is -1/4 greater than z?
False
Suppose 0 = -4*n + 16*z - 17*z + 75, 99 = 5*n + 3*z. Suppose -n = 10*s - 8. Is -8/113 greater than s?
True
Suppose 5*l - 161 = -4*h, 5*l - 160 = -158*h + 153*h. Let q(d) = -d**3 + 6*d**2 + 7*d - 8. Let g be q(6). Which is greater: l or g?
g
Let g be (-3)/(6/(-14)) + 935 + -9. Is 930 greater than g?
False
Let s = 1383.2 + -1314.3. Is 0 greater than or equal to s?
False
Let j = 611 + -13471/22. Let h = -9/11 - j. Let w = -240.84 - -240.47. Which is greater: h or w?
h
Suppose 0 = -0*n - 3*n + 183. Let v be (402 - 393)*(-1 - -8). Which is smaller: n or v?
n
Let z = 11057 + -10801. Is 242 at most as big as z?
True
Suppose 218 = -9*o + 8*o. Let t = -255 - o. Is t bigger than -40?
True
Suppose -4*h - 5*j = 0, -3*h - 11 = 4*j - 10. Suppose 3*f - 100 = -0*f + l, -4*l + 195 = h*f. Suppose 34*x - f*x = 49. Which is greater: -48 or x?
-48
Suppose -7*f = -5*f + x - 485, -2*f - 4*x = -494. Which is smaller: 1697/7 or f?
f
Suppose 3*q - 3 = 0, 293 = 4*p + q + 792. Let c = -324 - -199. Is p != c?
False
Suppose -2*k - 7*k = 2052. Let t = k - -2057/9. Let d = -47 + 49. Which is smaller: d or t?
t
Let o be (24/140)/((-18)/(-190380)). Let i = 1816 - o. Let q = -6 + 10. Which is smaller: i or q?
i
Let h be 677/(-28) - ((-272)/112 - -3). Which is greater: -24 or h?
-24
Let z be 852/(-844) - (-24 - -23). Suppose q + 4 = -3*k + 2*k, -q + 16 = -4*k. Is z less than q?
True
Let p = -0.683 + 0.883. Which is smaller: p or 2925?
p
Let u(w) = -76*w - 8. Let a be u(16). Let b be ((-1)/(-18))/((-24)/a) + -4. Which is smaller: 4/5 or b?
b
Let z(q) = -2*q - 1. Let j be z(-3). Suppose j*w - 6 = -2*y, 0 = 3*w + 2*y - 4 - 2. Let s = 0.75 + -34.75. Which is greater: s or w?
w
Suppose 9 = -2*q + 5. Let t = q + 0. Which is greater: t or -0.66?
-0.66
Let z = -236.30864 - -0.00864. Which is smaller: 0.1 or z?
z
Suppose -3*d + d + 4*s = -112, 0 = -3*d + 5*s + 169. Let v = -43 + d. Suppose v = 5*g - 0*g. Is 4 <= g?
False
Let v = -22.7 - -22.793. Let q = -0.007 - v. Let i = -7 - -9. Is q < i?
True
Let i(h) = h + 12. Let c be i(-7). Let g(k) = -4*k**2 + 19*k - 15. Let z be g(c). Is z less than 0?
True
Let n be 15/(-6 - -3)*(-630)/225. Let a be (-10)/(-14) - 3*10/(-105). Which is smaller: a or n?
a
Let c = -0.063 + 24.063. Let s = -0.08 + -16.92. Let a = s + c. Which is bigger: a or -1/3?
a
Let k(u) = -u**3 + 11*u**2 + 7*u - 37. Suppose 2*g + 10 = -10. Let c = 1 - g. Let w be k(c). Is -2/9 greater than w?
False
Let t = -26999 - -43361. Suppose 37*s - 452 + t = 0. Which is smaller: -429 or s?
s
Let x = -9631 + 10774. Which is greater: x or 1142?
x
Let y = 8.418 - -12054.582. Which is smaller: y or 0?
0
Let w = -1 - -4. Let l(q) = -2*q**2 - q - 3. Let p be l(w). Let y(n) = 132*n + 240. Let x be y(-2). Is p less than x?
False
Let u(s) be the second derivative of 7*s**3/6 - 25*s**2/2 - 5*s - 103. Suppose 4 = 2*l - 8. Let g be u(l). Is g not equal to 52/3?
True
Let v be (1 - (-130)/(-2)) + 5. Let j = -190 + 132. Is j != v?
True
Suppose 43*o = 39*o - 12. Let w be (-7 + 5)/(14*10/o). Which is smaller: w or -1?
-1
Let n(m) = -m**3 + 18*m**2 + 5*m + 20. Let k be n(18). Suppose 9*j + 2*j = -k. Are j and -10 nonequal?
False
Let m be (2 - (-7)/(-3))*(2572 + 57). Let b = m + 877. Does b = 115?
False
Let k = -12472 + 12476.5. Which is smaller: 2/537 or k?
2/537
Let t = -1846 + 1850. Is t greater than 158/41?
True
Let x = 173/21 + -60/7. Let m = 0.028 - -6.072. Let r = 5.9 - m. Which is bigger: x or r?
r
Suppose 0 = 2*o - 4*l + 1172, -o - 9*l = -7*l + 606. Which is smaller: o or -588?
o
Let f = -3436 - -3489. Let r = 134 - 83. Which is bigger: f or r?
f
Let v = -3454 - -3459. Is 592 at least v?
True
Suppose 4*g - 5662 = 2*h, 2*g - 2817 = 21*h - 18*h. Which is greater: 1422 or g?
1422
Let z be (-9165)/94*(-4)/6. Let w = 53 - z. Is w <= -11?
True
Let m(n) = 7*n**3 - 28*n**2 + 2*n - 5. Let s be m(4). Suppose -5*x = i - 10*x - 106, s*i - 4*x = 340. Are i and 1 nonequal?
True
Let v = -1/28 - 1/4. Let k = -433 - -736. Let b = k + -349. Which is bigger: v or b?
v
Let z = 24233 + -17108. Which is smaller: z or 7124?
7124
Let g(k) = -177*k**3 + 2*k**2 + 136*k - 534. Let y be g(4). Do -11286 and y have different values?
False
Suppose k - 1 = 0, 5*k - 6*k - 99 = 5*j. Let q be 15*-2*-34*4/j. Which is bigger: -202 or q?
-202
Let d = -0.1202 + 0.087.