*f + 29. Let m be k(-1). Let y = m + w. Which is smaller: y or 3/26?
3/26
Let c be -1*3/12 + (-84)/(-342). Is 1 equal to c?
False
Suppose 18*i = 22*i - 80. Let j = -21 + i. Is -3/16 > j?
True
Suppose 6 = -3*j + 3*w, 5 = -4*w + 13. Is j less than -10/101?
False
Let x = -3 - -2. Let i be ((-9)/(-45) - 9/(-5)) + -1. Let n be ((-51)/156 + 2/8)*i. Is x greater than n?
False
Let d(h) = 27*h - 676. Let p be d(25). Let w be -1 + (-94)/92 + 2. Is p < w?
True
Let d = 2 + -15. Let y = 13 + -11. Which is greater: d or y?
y
Let l be (14/8 - 1)*4. Let v be 2 + (1*l - (-133)/(-28)). Is 17 not equal to v?
True
Let t = -3.39 - -2.39. Which is greater: t or -6/11?
-6/11
Suppose -22 - 46 = 4*k. Let b = 83/819 + 11/91. Which is smaller: b or k?
k
Suppose 3*y + 3 = -0*y. Let r be y - 3 - 68/(-12). Is r > 0?
True
Let v be (-1)/(-3) + 10/(-3). Suppose 0*k + 5*b + 28 = 2*k, -3*b = 3*k - 21. Let x be 2/k - (-406)/(-126). Is x > v?
False
Let b = -0.283 + 0.073. Let i = 53 + -55. Is b equal to i?
False
Suppose 0 = 5*v + 5*m - 2 + 47, -5*v + 4*m = 63. Let a be ((-4)/3 - -2) + v/3. Which is smaller: 19 or a?
a
Let b(q) = -4*q - 17. Let x be b(-7). Let d be (-13)/x + ((-3)/(-3) - 2). Which is smaller: -2 or d?
d
Let c = 0.1 - -0.3. Let q = 26 - 45. Let v = q + 18. Which is smaller: v or c?
v
Let n be (-3)/12 + (-78)/(-24). Let c = -3 + n. Suppose c = -k - 4 + 2, k + 2 = 5*a. Is 2 less than or equal to a?
False
Let s = 1.6 - -10.4. Let r = 13.4 - 1.3. Let w = s - r. Which is smaller: w or 3/8?
w
Let t = 6497/54390 + -11/98. Which is bigger: t or 1?
1
Let l = -110 + 109. Is l bigger than -10/17?
False
Let m(k) = -43*k + 1. Let z be m(-2). Let f be (-267)/z - (-12)/8*2. Is -1 at most f?
True
Let u = -1666 - -19985/12. Which is greater: -2 or u?
u
Suppose 935 = -6*k + 119. Which is greater: -137 or k?
k
Let d(b) = -4*b - 13. Let g be d(-3). Let j be (2/(-76))/(g/2). Let y = j - 41/57. Which is bigger: 0 or y?
0
Let k = 989/6 + -2179/6. Which is bigger: -198 or k?
-198
Suppose 4*a + 5*m = -203, 0 = -4*a - 3*m - 68 - 137. Let d be (-26)/(-169) - 1330/26. Do d and a have the same value?
False
Let s be (-1)/(-5) - 769709/(-680). Let g = s - 1134. Which is greater: -1 or g?
-1
Let y = -1 - 0.5. Let j = 1.4 + y. Which is greater: 0.21 or j?
0.21
Let t = -13.09 - -1.53. Let d = t - -1.56. Which is smaller: 2/3 or d?
d
Let k = 12 + 0. Suppose 3*s + 4*t - 7 = 0, 2*s - t = -0*s + k. Suppose s*c + 70 - 5 = 3*y, 0 = -c - 4*y - 36. Is -15 at least c?
True
Let y = -62.36 - 5.84. Which is greater: 2/9 or y?
2/9
Suppose -u + i = 37 + 20, 0 = 2*u - 4*i + 112. Let y be 126/6*(-19)/(-57) + -66. Is y less than u?
True
Let l = -573/13 - 398/65. Is -50 >= l?
True
Let t(a) = 11*a - 24. Let y be t(-4). Let c = 69 + y. Which is smaller: -11 or c?
-11
Let m be 339/84 + (-1)/(-2). Let g = m - 23/7. Which is bigger: 1 or g?
g
Let t = -10 - -9. Let z be ((-66)/15)/(t/5). Let m(c) = -c**3 - 19*c**2 - 34*c + 21. Let v be m(-17). Which is smaller: z or v?
v
Let v(g) = 4*g + 2. Let b(s) = s - 1. Let y(p) = 3*b(p) - v(p). Let m be y(-8). Suppose m*o = -n - 2*n + 9, 0 = -5*o - 4*n + 18. Which is smaller: o or 7?
o
Let o be (-47)/(-9) + (-4)/18. Suppose -f = -o*f + 12. Let g = 8 - 4. Is f > g?
False
Suppose -6*b - 8*b + 14 = 0. Is 2/9 < b?
True
Let l = -8 + 12. Let w be 0*(0 + (-1)/l). Suppose -5*v = -4*f + 16, -3*v + 4 + w = f. Which is greater: -1 or v?
v
Let t = -237149/101 + 2348. Which is smaller: t or 0?
t
Let l be -2 + (0 + 3 - 1). Suppose j - 7 + 4 = l. Let m be -6 + 4 - (j + -12). Which is greater: 6 or m?
m
Suppose -4*c = 27 - 111. Let s = c - 9. Let q = s - 3. Do q and 9 have different values?
False
Let g be 0/((-9)/(45/10)). Let w be 20/6 + -4 + g. Which is bigger: -1 or w?
w
Let p be 1804/32*-2 - 9/(-12). Let y be p/288 + 10/4. Is y at most 1?
False
Let a be (-2)/1 + 4 + -60. Is 0.1 less than a?
False
Let a(d) = d**3 + 5*d**2 - 11*d + 9. Suppose -2*r = -6*r - i - 41, r + 13 = -3*i. Let y = 3 + r. Let m be a(y). Is m greater than -13?
True
Suppose 3*w - 28 = -2*d, -5*d + 0*d = w - 31. Let n be ((-2)/4)/((-10)/w + 1). Which is smaller: 1 or n?
n
Let q be ((-28)/12)/((-4)/12) + -6. Which is smaller: q or 150?
q
Suppose 5*r - 15 = -10. Let a(h) = h**2 - 7*h + 5. Let g be a(r). Is -2/245 <= g?
False
Let p = -3.07 + 3. Which is smaller: 8 or p?
p
Suppose -2*s + 4 = -10. Suppose 6*w - 31 = -s. Suppose 2 = -w*v - 2. Is v at least as big as 1/6?
False
Suppose -d - o + 24 = -4*d, 4*o = -12. Let q be -3*(-1 - (1 - (-96)/d)). Which is smaller: q or -27?
-27
Suppose 0*m + 3 = m. Suppose -4*h + 14 = -5*v - m, 3*v + 23 = -4*h. Let t be 5/(-21)*h/5. Which is smaller: t or 0.1?
t
Let m = 6 + -9. Let t = -0.21 - 0.19. Which is greater: m or t?
t
Suppose -2*b + 9*q - 4*q = -317, -4*q - 801 = -5*b. Suppose -5*f - 2*u - 2*u = -b, -4*u = -3*f + 103. Which is smaller: f or 32?
32
Suppose 6 = 131*x - 125*x. Which is smaller: -15/44 or x?
-15/44
Let l(w) = -w**2 + 6*w - 6. Let z be l(5). Let a = 32 + -39. Which is greater: a or z?
z
Let d be (11 - 187/11) + 70/13. Suppose 2*w + 3 = -f - 0, 3*f + w + 4 = 0. Which is greater: d or f?
d
Suppose 0*f - 2*x = 3*f - 43, -x + 5 = 0. Let a be (6 - 1)*(-9)/(-15). Suppose -5*c + 2*k = -47, a*k - 1 = 3*c - 22. Is f at least c?
True
Let h = -426 - -674. Is h >= 249?
False
Let t = -230 - -231. Is t < -27?
False
Let a = -86.4 + 85. Which is smaller: a or -1?
a
Let i be -4 + 1 + 1687/553. Which is greater: i or 1?
1
Suppose -7*h + 8*h = d - 263, 4 = d. Are h and 2/13 non-equal?
True
Suppose 5*b = 10*b - 1325. Are b and 263 equal?
False
Let c = 18.77 + 3.13. Let p = 22 - c. Which is bigger: 3 or p?
3
Suppose -3*y = i - 25, 0 = -0*y - 5*y + 4*i + 36. Let u = y - 3. Let q = -1242 - -1244. Which is smaller: u or q?
q
Suppose -3*n = -4*m + 17, -n - 4 = n + m. Let r be 2/(-10) + n/35. Is r less than -1/4?
True
Let z = 5/96 - 23/32. Which is greater: 7.1 or z?
7.1
Let m be 68/15 - 3/9. Let l = -58/15 + m. Let q = 0.0036 + -0.5036. Is q less than or equal to l?
True
Let n = 0 + 1. Let q be (40/28)/((-14)/(-49)). Which is smaller: q or n?
n
Suppose -29 = -2*x - 69. Let s be (84/16)/((-1)/4). Is s less than x?
True
Suppose 4*u = -0*u + 12. Let j = -4 - -6. Let q be 11/3 - j/(-6). Which is smaller: u or q?
u
Suppose 3*q + q - 3*b - 32 = 0, 2*q = -2*b + 16. Let z be (-2)/6 - (-50)/6. Is q greater than or equal to z?
True
Suppose 3*h + m = -21, m + 22 = -5*h - 11. Let a be h/(-2) + (-65)/5. Are -10 and a non-equal?
False
Let k(t) = t**2 - t - 1. Let a be k(1). Which is smaller: -3/52 or a?
a
Suppose -2*q - 5*r - 21 = 2*q, -4*r - 15 = 5*q. Is q greater than -15/4?
True
Let c = 995 + -1016. Which is bigger: c or 3.7?
3.7
Suppose 5*g + p - 14 = 0, -3*g - 5*p = -5*g + 11. Suppose -3*w + 0*q - 18 = g*q, 4*q + 17 = 3*w. Let i = -41.79 + 43.79. Is w at least i?
False
Let i = -60 + 136. Suppose 7*o + i = -78. Is -24 less than o?
True
Let k = 2 - 10. Let a = -2.14 + 0.14. Let d = a - -2.1. Which is bigger: d or k?
d
Let r(g) = -g**3 + 12*g**2 - 41*g + 16. Let o be r(9). Which is smaller: o or -108?
o
Let u(i) = -2*i**3 - i - 10. Let q be u(4). Which is smaller: -138 or q?
q
Let p = 57.9 + -60. Let w = -4.1 - p. Which is greater: w or -0.1?
-0.1
Let a be -5*(1/5 - 1). Suppose 40 - 24 = 8*o. Let g be -2 - (o - a)/(-1). Do -4 and g have the same value?
True
Suppose -15 = 84*v - 79*v. Are -4/25 and v equal?
False
Let j = 36 + 433. Is j smaller than 469?
False
Let d = -5 - -7. Suppose 2*t + d*t + 87 = -3*r, -2*t = 3*r + 39. Suppose -2*s - 17 = 31. Are s and t unequal?
False
Let i be 1/1 - (4 + -1). Let v(u) = u + 2. Let b be v(i). Suppose -3*j + 3 = -5*l, -5*j + 3*j - 5*l + 2 = b. Which is greater: -1 or j?
j
Let j be (-90)/5225*11/((-132)/(-40)). Which is bigger: -1 or j?
j
Let i = 0 - -2. Suppose -3*k = -1 - i. Let b = -15/238 - -186/119. Which is greater: b or k?
b
Let y = 1678/25885 + -32/465. Let q be (-4)/18 - 9209/6012. Let i = y - q. Is 3 <= i?
False
Suppose 0 = -4*c + g - 41, -c + 4*c + g + 22 = 0. Let v = c - -29. Let d be 10/(-4)*(-72)/v. Is d equal to 8?
False
Suppose -5*n = -0*n - 15. Suppose 0 = -2*a - n - 1. Let o = 101729/7 - 14534. Which is smaller: o or a?
a
Let b = 1 - 1. Let l = 269/165 + -86/55. Which is greater: b or l?
l
Let y be (5 - (-15)/(-2))/(15/(-156)). Is -0.1 bigger than y?
False
