(-8)/8)/((-1)/q). Suppose 6*s - 8*s - 3*f = -9, 3*f - 15 = 0. Is s <= d?
True
Suppose -42*a - 51*a = -91*a. Let l be (15/(-10))/((-2)/(-4)). Which is bigger: a or l?
a
Let n be 1 - (-68)/(-6) - -2. Let c be ((-24)/(-5))/12*-20. Which is bigger: n or c?
c
Suppose -3*d - 4 = -5*a, -5*d + 3 = -4*a + 14. Suppose 0 = n + 541 - 539. Which is smaller: a or n?
n
Let p = 226 + -219. Which is bigger: p or 23/3?
23/3
Let p = 212.6 + -212. Is p > -37?
True
Let y = 1.997 - -75.883. Let k = 78 - y. Is k bigger than 4?
False
Let k = 60 - 54. Let m = 5.2 - 0.2. Let r = k - m. Is r at least as big as -0.05?
True
Let s = 15 + -7. Suppose 2 = -2*p + s. Let u be (-360)/(-56)*(-1)/p. Which is smaller: -1 or u?
u
Let i be 1*-2 + 16/9. Suppose 11*p - 22 = -0*p. Let v be p*(-2)/72*3. Which is greater: v or i?
v
Suppose -2 = 3*i + 76. Let v = -21 - i. Suppose -9*n - v = -8*n. Is -5 != n?
False
Suppose -4*w = 3*g + 43 + 230, 5*g = 25. Do -76 and w have the same value?
False
Let d = 29 + -2. Let s be 9/d + (-3)/9*1. Is s greater than 41?
False
Let s be (19/2)/((-1)/(-2)). Suppose -5*l + 15 = 3*h, -9*h + 10*h = 0. Suppose k = -4*a + s, 2*k + l*k - a + 10 = 0. Which is smaller: k or -2/91?
k
Suppose 5*d + 1 = -2*q, -3*d - 19 = -4*q - 8. Is d bigger than -1/301?
False
Suppose 4*q = -5*l - 17, q + q - 19 = 3*l. Let x be q/8 + 14/8. Suppose 5*w = 3*b - 18, -w = -0*w - x*b + 5. Which is bigger: -2 or w?
-2
Let b = 36 + -31. Suppose -5*g - 39 = 2*n, -b*g + 2*n = -2*g + 17. Let c = -5 + -3. Is c less than g?
True
Let s = -27 - 1. Suppose 2*q = -22*q. Is q >= s?
True
Let l(i) = 4*i + 13. Let b be l(-6). Let v = -12 - b. Let p be (v/12)/(98/112). Is p at least as big as 0?
False
Suppose -4 = l - 1. Let r be (3 - 15/3)*3/(-2). Suppose 5 = -r*d - 1. Is d < l?
False
Let c be (-10)/25 - (-52)/(-20). Let h be 1/2 + (-18)/4. Is c smaller than h?
False
Suppose 0 = -5*u + 5*v + 45, 2*u + 2*v = 10 - 4. Let b = 5 + u. Which is greater: b or 6?
b
Let m be 46/(-437) + 115/912. Let y = -2 - -2. Is m <= y?
False
Let m = -47 - -50. Let v be 2 - ((m - 5) + 11/3). Let j = 0.1 - 0.06. Is v smaller than j?
False
Suppose 3*v = 8*v - 3075. Let x be v/45 + (-2)/3. Is 13 <= x?
True
Let g(p) = 2*p + 8. Let f be g(-10). Let b be (8/f)/((-10)/(-6)). Let j be 0/((1 - -1) + -1). Are j and b equal?
False
Suppose 0 = -z - 2*x + 9 + 16, 50 = 5*z - 5*x. Suppose -q + 2*q = -5*v - 25, 3*v = 4*q - z. Suppose 4*c - 3*f - 4 = 0, 3*f + 5 + 1 = 3*c. Are q and c equal?
False
Let k = -0.14 - -0.06. Let y = -4.08 - k. Let a be 2/(-4) - (-45)/60. Which is smaller: a or y?
y
Suppose -7*q = -64*q + 684. Which is smaller: q or 19?
q
Suppose -2*v - 6 = -0*v. Let y(h) = h - 1. Let o be y(6). Let m = v + o. Which is smaller: 0 or m?
0
Suppose 0*t = 2*t - 18. Suppose -3*h + t = 2*p - p, 0 = -2*p + 5*h - 15. Let f = -401/2200 + 9/88. Which is greater: f or p?
p
Let a be 9*-51*1*12/(-36). Let d = a + -157. Let t be 0 - ((-18)/(-7) - 0). Which is greater: d or t?
t
Let b be 8/132 - 2112/(-1089). Which is smaller: 5 or b?
b
Let w = -1.6 + 1.33. Let r = w - -0.3. Let p be (-3 + 4)/(4/(-1)). Is r greater than or equal to p?
True
Let s be ((-1)/(1/(-2)))/(306/(-68)). Do 0.06 and s have different values?
True
Suppose -6*f = 3*k - 5*f - 3853, 4*k = 3*f + 5159. Are 1286 and k equal?
True
Let c be 3 + (-12)/4 + -432 + -2. Is -432 greater than c?
True
Let j be 24/(-9)*9/222. Let l = -39 + 38. Which is smaller: j or l?
l
Let d(t) = 8*t - 9. Let s be d(3). Let j be (2 - s/5)*-6. Is 6 >= j?
True
Suppose -4*z + 14*z + 140 = 0. Which is greater: z or -13?
-13
Let d be (20/(-150))/((-62)/6). Which is bigger: -0.1 or d?
d
Let w(y) = -5*y - 8. Let o(u) = -14*u - 23. Let n(j) = 6*o(j) - 17*w(j). Let c = -10 - -12. Let k be n(c). Is -1/11 at least k?
False
Let c be 33/12 + 18/(-24). Which is bigger: c or 13/11?
c
Suppose 3*n = -5*h + 15 - 1, n + h - 4 = 0. Suppose -d + 3*f = -f - 5, n*d + 5*f = -2. Is 16 not equal to d?
True
Let q be (-8)/6 - (-2)/6. Let d be (292/(-78)*1)/(-28). Let j = d + -2/21. Is q less than or equal to j?
True
Let u = -462 + 461. Which is smaller: u or 2/1649?
u
Suppose 5*g + 4*p + 196 = 2*p, 0 = 2*g + 2*p + 76. Let z = -33 - g. Which is greater: z or 8?
8
Let j be (-4)/22 - (-26)/22. Suppose -k + j = -0. Let l be 20/70 - 38/(-14). Which is smaller: k or l?
k
Let j(q) = q + 3. Let g be -1*(0 + 0) + -4. Let p be j(g). Let l be 50/20 - 1 - 5/2. Is p greater than or equal to l?
True
Let x = -1877/3 + 630. Suppose 3*p = h + 11, 2*h - 11 = 4*p - 9*p. Is x != p?
True
Let a(p) = 17*p + 439. Let k be a(0). Is 439 greater than k?
False
Let v = 803.05 - 803. Which is greater: v or -10?
v
Let a = -429 - -375. Is a greater than -53?
False
Let f be ((-48)/(-30))/4 - (-372)/(-5). Let h be (-8)/(-2) - f/(-16). Which is greater: h or -1?
h
Let a = -6.04 - -0.04. Let o = -21 - a. Which is greater: o or -2?
-2
Suppose -12*b + 52*b + 4400 = 0. Is b bigger than -111?
True
Let g be ((-5)/10)/((-1)/(-46)). Let j = -91 + 67. Which is smaller: j or g?
j
Let z be (-2*(-2)/(-10))/(7/(-1470)). Let q be 4/(16/z)*(-2)/(-26). Is q greater than or equal to 3?
False
Let o be 2/(-87)*(-4)/(-4). Let a be 4 + (11 - 16) - -1. Is a <= o?
False
Suppose 4*w + 5*d - 24 = 0, 3*w + 4*d - 18 = 2*d. Let i be w/(-3) + (-1888)/(-17). Let o = 109 - i. Which is bigger: -1 or o?
o
Let y(b) = -2*b**2 + 38*b - 150. Let n be y(14). Is -12 bigger than n?
False
Suppose 2*d - 60 = 3*l + 2*l, 0 = -4*l - d - 35. Let s be l/8 - 6/8. Which is smaller: s or -3?
-3
Let i = -8 + 13. Suppose 490 = -i*v - 1435. Let t = v + 4229/11. Is t greater than or equal to -1?
True
Let y = -0.331 - -6.611. Let q = -0.28 + y. Which is bigger: -1 or q?
q
Let z be 2 - (0 + -1 + 4). Let v be -2 - (z/(-1) - 3). Suppose -2*b + 4*w - 14 = v, 0*b + 2*b + 3*w = 21. Which is smaller: 2 or b?
2
Let x = -19.2 + 28. Let p = x - 8.7. Which is greater: 1 or p?
1
Suppose -2*f + 105 = -3*d, 74 = f - 5*d + 4. Which is smaller: 47 or f?
f
Let b = 13 - 13.001. Is b at least -3/8?
True
Let w be 10/(-3)*3/(-12). Suppose -8 - 26 = -17*f. Is w < f?
True
Let z = -136 - -247. Suppose 12*p - 9*p = -z. Which is greater: -36 or p?
-36
Let b = 16 + 11. Let m be (-23 + -2)/((-90)/9 + 9). Which is smaller: b or m?
m
Let m = -24 + 24. Suppose m = g - 17 - 20. Which is greater: g or 36?
g
Let x = 107515510/341 + -315295. Let o = 26/495 - 10211/15345. Let w = o - x. Which is smaller: 0 or w?
w
Let g be (28/464)/(3/(-12)). Are g and -1 non-equal?
True
Let q(w) = -8*w**2 - 6*w + 14. Let h be q(2). Which is smaller: -151/5 or h?
-151/5
Let g = 166 - 109. Let r = g - 56.9. Which is bigger: -15 or r?
r
Let b = 1680 - 1907. Which is greater: 1/2 or b?
1/2
Let a = -68857053065/3036685197 - -10/8506121. Let y = -159/7 - a. Suppose 0 = 4*v + 1 + 3. Is y at least v?
True
Let x(p) = -2*p - 24. Let w be x(-10). Let y = 4 + w. Which is bigger: 3/22 or y?
3/22
Let m be (-3)/(-2) + (-114)/12. Let p be 2/(m/(-12)) + 1. Let f be p/3 + 5 + -6. Are -7/5 and f equal?
False
Suppose 4*x + 27 = 4*f - 13, 2 = -f. Let i be 7/(-28) + (-15)/x. Which is greater: 1/165 or i?
i
Suppose -17*q = -52 + 137. Is q at most -92/21?
True
Let t be -1 + 4 - (0 - -1). Suppose 0*o + 4 = -2*o, 4*o = t*u. Is -1 != u?
True
Suppose m + 0*o + 2 = -3*o, 0 = -5*o + 20. Which is smaller: -4 or m?
m
Let o = 1/1751 + 41989/61285. Which is greater: o or 1?
1
Let h = 917 + -916. Is 504 < h?
False
Let a = -8178 - -8199. Suppose k - 32 = 3*f, f = -4*k + 2*f + 84. Does k = a?
False
Let x be (-4)/14 + 28689/(-5110). Which is greater: x or -5?
-5
Let k be -1*(-3 - 5/230*-142). Which is greater: 1 or k?
1
Let w = -28.1 + 28. Let j = -48.996 - -49. Which is smaller: w or j?
w
Let o = 26 + -16. Let p be -2*5/o*3. Is p bigger than -5?
True
Let t = 16654/37 - 450. Let l be (3 + (-2 - 1))*(42/(-6) - -6). Is t >= l?
True
Suppose -4*u - 54 = 2*v, -3*v = -3 - 6. Let n = u + 12. Let k = n - -3. Which is greater: 5/4 or k?
5/4
Let w = -1 - 1. Let d be (0 - 2/5)/(1107/7995). Which is smaller: w or d?
d
Let x be -5 + ((-1352)/(-56) - 6). Which is smaller: 14 or x?
x
Suppose 3*q + 12 = 5*q. Let d be q*14/(-4) - 2. Let j be 14/(-4)*(-960)/(-140). Which is smaller: d or j?
j
Let q be 0*(-1 + (1 - -1)). Let p be (-2 + -1)/((-18)/12). Let g be q/p - -1 - -1. Is g at most as big as -2?
False
Let j = -2569/11