6/13?
True
Let c be 12/55*300/40. Let s = c + -113/22. Which is smaller: -3 or s?
s
Let a = 72.2255 + -0.0255. Let c = a + -69. Does -0.1 = c?
False
Let w = 340 + -346. Which is smaller: w or -1/23?
w
Let a = -679 + 678.6. Which is bigger: a or 270?
270
Let v be 2*((-1)/(-2) - 16/16). Let o = 3088/11 - 281. Which is smaller: v or o?
v
Let a be 0/3 - 4 - -10. Does a = 70/11?
False
Suppose -1105 = -5*y + 2300. Let w be -3*(-3 + y/225). Let b be 1/((-1)/(-3)) + -2. Is w greater than b?
False
Suppose -3*u - 28 = 5*f, 5*u + 10 + 10 = -3*f. Let b = -48 + 143/3. Is b less than or equal to u?
False
Let b(c) = 2*c - 6. Let p be b(4). Let u be p - (1/(-2))/((-1)/4). Is u <= -1/16?
False
Suppose 0 = 4*h + 4*r - 9*r - 57, 4*h - 4*r = 60. Let t be 15/10*(-8)/h. Suppose -6 + 3 = 3*b. Is t at least as big as b?
True
Let c = 1752 + -1719.04. Let o = c - 33. Which is greater: -0.1 or o?
o
Let u = -3/866 + 37253/4330. Which is bigger: 0 or u?
u
Let k be ((-12)/9)/((-15)/(-12)). Let y = -707/5 - -141. Let b = k - y. Is -2 at least as big as b?
False
Let g = 2.22 - -0.06. Let d = g + -0.32. Let h = 0.04 + d. Are h and -6 unequal?
True
Suppose 4*u = 5*h - 215 - 9, -h = -2*u - 118. Do u and -61 have the same value?
True
Let w be (72/(-105) - (-10)/35) + 1. Let c = 17 - 16. Do c and w have the same value?
False
Suppose -2*u + 5*x - 5 = -u, 2*u = 3*x + 4. Let y be u/15 + (-1)/3. Is -8/15 less than y?
True
Suppose j + 10 = -4*d, 8 = -291*j + 289*j - 5*d. Which is smaller: 13 or j?
j
Let y = -68 - -76. Which is smaller: -1/6 or y?
-1/6
Suppose 3*c + 6 = 0, c - 34 = -5*j - 1. Which is smaller: 74/11 or j?
74/11
Let l = 1/75 + 71/300. Let r = -19/3 + 127/21. Is r >= l?
False
Let q(a) = -a**3 - 19*a**2 + 72*a + 38. Let m be q(-23). Do 498 and m have the same value?
True
Let r = 46 - -8. Does 59 = r?
False
Let m = 8.2 - 0.2. Let b = m + -18. Let s = b + 11. Is -5 less than or equal to s?
True
Let h be -2 + (2162/(-13))/2. Suppose 0 = -4*p + 9*d - 10*d + 336, 251 = 3*p + d. Let x = h + p. Which is smaller: x or -2/7?
-2/7
Suppose 4*a = 34 + 6. Suppose 6*k = a*k. Is 0 equal to k?
True
Let p(w) = w - 11. Let o be ((-3)/(-2))/(((-6)/2)/(-18)). Let i be p(o). Is -2 greater than or equal to i?
True
Let o be (1/2)/((-3)/(-102)*1). Does o = 18?
False
Suppose -a = 4*m - 4 - 15, 2*m - 17 = -3*a. Let w be (-2)/m + 5/2. Let h = 298/385 - -2/77. Is w less than or equal to h?
False
Let a = 146 + -136. Let j = -41 + 30.6. Let d = j + a. Which is smaller: d or 0.2?
d
Let u = -488 - -565. Is u less than 77?
False
Let h be -1 + (-12 + 7 - -6). Which is smaller: 3/4 or h?
h
Suppose -12*r - 91 = -91. Which is smaller: r or 3/122?
r
Let u(q) = -q + 16. Let d be u(10). Let k = -10 - -10. Suppose k = g - 6*g + 35. Which is smaller: g or d?
d
Let a = 23318/9 + -2587. Let h = a - 34/9. Is h greater than -0.3?
True
Suppose 2 = z + 1, -5*o - z = -31. Suppose o*k + 0*k = 0. Let x be (k + 5)*(-2)/4. Is x smaller than -2?
True
Suppose -529*v - 3850 = -518*v. Do v and -350 have different values?
False
Suppose 3*l = 0, -2*h + 5*l + 24 = -0*h. Let n(j) = j**3 - 4*j**2 + 4*j - 1. Let y be n(3). Let s be (-32 - (y - 1))/((-3)/1). Are s and h unequal?
True
Let l = -62/21 - -50/21. Let b be 2*-1 + 0 + -2. Let x = b - -3. Which is smaller: x or l?
x
Suppose -340*h = -v - 338*h + 6, 3*v = -3*h. Suppose 0*m + 5*m = -30. Which is smaller: m or v?
m
Let u = 2 + -5. Let l be (2*(-2)/20)/((-1)/(-17)). Does u = l?
False
Let u be (-30)/(-12)*(-8)/30. Is u greater than or equal to -49?
True
Suppose 5*p - 417 = -4*n, -74 + 420 = 4*p - 3*n. Which is greater: p or 86?
86
Let x be ((-1592)/12)/(30/(-108)). Let f = x - 487. Which is bigger: f or -8?
-8
Let u = -575 + 604. Which is smaller: u or 3?
3
Suppose -o - 21 = -20. Which is smaller: -254 or o?
-254
Let i = -4.7 + 0.7. Let t = -3 - i. Let w = -5 - -5.4. Which is smaller: w or t?
w
Let k be 2*((-2)/2 + 2). Let f = -1358/9 + 2266/15. Let m = 214/315 + f. Is m less than or equal to k?
True
Let g = -918 + 909. Which is bigger: -19 or g?
g
Let p = -1912 + 1650. Is p at most -264?
False
Suppose -i - 2*j - 3 = -3*j, 4*i + 2*j = 0. Let w = 15 + -8. Suppose w = -5*v + 2. Is i equal to v?
True
Let j be (9 - 3)/(18/24). Suppose 26 + 30 = 2*w. Suppose -j*d = -d - w. Is d at least as big as 4?
True
Let f be ((-7)/14)/((-2)/(-4))*-96. Is f greater than or equal to 96?
True
Let g = 1.1 - 1.01. Let z = -161.19 + 161. Let q = g + z. Is 1.4 > q?
True
Let r = 23154/55 - 421. Let x = 227/385 + r. Let f = 74 - 73. Which is bigger: f or x?
f
Let d = -1084/7 + 155. Which is smaller: -4/9 or d?
-4/9
Let f = -22.7 + 22. Let b = 2.3 - f. Is 3 smaller than b?
False
Suppose -2*z - 2 = z - 5*y, 0 = 4*z + 5*y - 9. Let m be (z/(8/(-22)))/((-7)/56). Is m < 22?
False
Let m be 8 - (-2)/(-4 + 3). Suppose 0 = -m*w + 11*w - 170. Which is smaller: w or 33?
33
Let r be 14/4 + 1/2. Let h be r/((5 - 2)/(-3)). Let f be (-4)/(-6) + (-2)/(-6). Are f and h unequal?
True
Let s be 31/2*(-10)/(-5). Let f be (-32)/12*1*12. Let c = f + s. Which is smaller: c or 3/13?
c
Let g = -80 - -76. Suppose 3*y - 2*f + 1 = 0, 2*y + 2*f + 14 + 0 = 0. Which is smaller: y or g?
g
Let l(w) = w**2 + 8*w + 10. Let h be l(-7). Suppose 16 + 14 = 3*i. Let x be (-1)/(-2) - i/(-20). Which is smaller: x or h?
x
Let h = -63 + 65. Let j be -1 - 12 - (2 + h). Which is bigger: -0.3 or j?
-0.3
Let q = -102 + 102.1. Which is greater: -2/419 or q?
q
Let n = -1 - -5. Let d be (32/24)/(n/66). Let l = -20.9 - -21. Which is smaller: d or l?
l
Let n = -277 + 443. Is n != -1?
True
Let y = -7 - -9. Let i(r) = -7*r**2 - y*r - 8 - 5*r + 0*r**3 - r**3 + 0*r**3. Let s be i(-6). Which is smaller: s or -8/5?
s
Let n(m) = m**3 - 4*m**2 + 7*m - 4. Let v be n(3). Suppose -7*k = v*k + 15. Which is smaller: k or -12?
-12
Let p be 4/(2300/(-2235)) + 4. Which is bigger: p or 0?
p
Let h be ((-1)/3)/(2 - (-558)/(-4)). Which is bigger: -1 or h?
h
Let v be 4/(-10) - ((-6199)/(-15) - 2). Let j = 408 + v. Which is smaller: j or -1/3?
j
Let i = -100/49 + 6543/3038. Is i less than 0?
False
Let a = -3565 - -3586.19. Let l = -21 + a. Let c = l + -2.19. Which is greater: c or 1/13?
1/13
Suppose -94 - 34 = -j. Let g = -1793/14 + j. Is 0 at least as big as g?
True
Let n be (118/(-3))/(8/(-48)*4). Suppose 149 = 10*i + n. Is 6 less than or equal to i?
True
Suppose -8*w = -c - 5*w + 15, 2*c = -5*w + 74. Let h be (9/c)/(51/12). Is -1 greater than h?
False
Let f(x) = 0*x**2 - 4*x - 18*x - 2*x**2 + 0*x**2. Let k be f(-11). Let g be 55/78 - (-4)/(-6). Which is smaller: g or k?
k
Let b = -40607/94 + 432. Suppose -13*i + 10 = -23*i. Is i less than b?
True
Let k(q) = -q**3 + 4*q**2 - 3*q - 1. Let r be k(3). Let d = 51/7 + -407/56. Is d smaller than r?
False
Let g be (-8)/(1 - 3) - (-1700)/(-85). Which is bigger: g or -17?
g
Suppose -32 = -u - 7*u. Let y be u/22 + (-720)/(-33). Suppose 2*m = 2*z + 20, 0 = -m - 2*m - 5*z + y. Which is greater: m or 17/2?
m
Let n = 20 - 98. Let y = -79 - n. Is y at most as big as 2/199?
True
Suppose c - 6 = 4*b - 24, -3*b + c + 13 = 0. Suppose 0 = b*l + 5*l. Which is smaller: 3 or l?
l
Let n(u) = -u**3 + 3*u**2 + 3*u + 6. Let o be n(4). Suppose o*m - m + 12 = 0. Let i be m/(-15)*10/(-4). Is 1 at most i?
False
Let w = -332 + 6970/21. Suppose 8*t - 71 = -23. Suppose -g = 5*z - t, -2*g + 4 = 3*z - 1. Is g at most w?
False
Let n = -17 + 45. Suppose 7*q - n = -0*q. Suppose -m + q = -0*m, 24 = -5*v - 4*m. Is -8 at least v?
True
Let x(l) = -8*l - 89. Let n be x(-11). Which is smaller: n or -18/31?
n
Suppose -56 = 3*l + 196. Let c be (l/8)/7*4/(-3). Do c and 5/3 have the same value?
False
Let y be (-16)/(-72) - 34/(-9). Suppose -1 = -y*r - 5. Let p be (r/(-7))/((-3)/(-12)). Is p less than 1?
True
Let b be ((-2)/(-4)*-6)/(-3). Does -2/17 = b?
False
Suppose 592*c - 1959 = 595*c. Is -654 not equal to c?
True
Suppose 12 = 3*i - 5*p, 5*i - 3*i - 27 = -3*p. Suppose -2 = 4*l - 5*s - i, -7 = -2*l - s. Suppose 2*w + 10 = -f, l*f + 5 = 4*f - w. Is 3 less than f?
False
Let j(p) = -p + 10. Let z be j(14). Let r be 2*2/z*(4 + -5). Which is smaller: r or 1/57?
1/57
Let v be (-2)/1 - 1*-4. Suppose -j = -3*j + v. Let r be (1/(-4))/(0 + j). Do -5/4 and r have different values?
True
Let b be ((-174)/18 - -10)*33. Is b at least as big as 166/15?
False
Let l = -0.08 + -1.62. Let y 