 = 74 - v. Is -14/17 < s?
False
Let w = 50 - 48. Suppose 10 = -w*g + 10. Do -6 and g have different values?
True
Let t(r) = 2*r + 25. Let o be t(-9). Let f be (1/o)/((-7)/(-63)). Does 1 = f?
False
Let n(w) = w - 255. Let x be n(0). Let y be 8/10 + 219/x. Let s = -73/204 + y. Is 0 < s?
False
Let o = -11.6 + 10. Let w = -3.6 - o. Which is greater: w or -1?
-1
Suppose -8*s = 6230 - 6222. Let j be ((-6478)/12)/(1 - 4). Let k = 180 - j. Are k and s non-equal?
True
Suppose 2*i - d - 1 + 8 = 0, 9 = -3*d. Let c(f) = 5*f**2 + 18*f - 6. Let o be c(-6). Let u = o + -70. Which is smaller: u or i?
i
Let p = 0 + 0. Let b be (-1 + 12/10)*305/(-122). Which is smaller: b or p?
b
Let y = -11 - -101/9. Suppose -2*z + 10 = 2. Suppose 2*d - 6*d - 20 = 4*c, 0 = z*d + c + 8. Which is bigger: d or y?
y
Suppose -16 = 4*a - u + 36, -a + 2*u = 20. Let b = a + 18. Let r be (-32)/(-63) + b/(-27). Is r at least as big as -0.5?
True
Suppose -41 = -c - 82. Is c >= -43?
True
Let f(v) = -v**2 - 6*v + 5. Let r be f(-6). Let q(m) = m**2 + 5*m. Let b be q(-6). Suppose b + 19 = -r*w - a, -5*w + 3*a = 45. Is -5 equal to w?
False
Let g = 0.116 + -14.216. Let h = 39 - 53. Let w = h - g. Which is greater: -1 or w?
w
Let i be (-6)/33 + 2160/22. Suppose -5*o + 33 = -5*h + i, 4*h + 3*o = 24. Let g = h - 8. Is -3 greater than g?
False
Let w = 0.663 + -0.133. Let l = w + 0.47. Which is smaller: -43 or l?
-43
Let j = -3 - -10. Let c(a) = a**2 - 6*a - 1. Let v be c(j). Suppose -40 = -v*b + 50. Is b smaller than 16?
True
Let d be 2/(-60)*-8*5/6. Let a = 0.9 - 11.9. Let x = -7 - a. Which is bigger: x or d?
x
Let y be (-54)/(-24) + 1/(-4). Suppose 6 = -m + y*m. Let s = -6 + m. Which is smaller: -2/9 or s?
-2/9
Let u be -5*(-4 + 39/15). Let f be (u + -3)*-1*-4. Is 16 less than f?
False
Suppose -8*p + 6*p - 7 = c, -3*p = -3*c - 12. Is -1/1891 at least p?
True
Suppose -5*b - 18 - 222 = -5*r, -b - 195 = -4*r. Is 50 smaller than r?
False
Let w be 171/21 + 1/(-7). Let x be (-13)/(-63) - w/28. Let g = x - -110/63. Which is bigger: g or 3?
3
Let u(b) = -9*b + 266. Let i be u(30). Let n = 3 + 0. Is i at most as big as n?
True
Let c be (4 - 80/12)*-3. Let w be (-12)/45 - c/20. Let b = 0.27 + -0.32. Which is smaller: b or w?
w
Let h be (-2)/(-5) + 2660/350. Suppose 10*s - 100 = 5*s. Suppose -4*u + h = s. Do u and -2 have different values?
True
Suppose -b + 3*m = -2*b - 10, 2*m + 10 = 0. Let g = -1 + b. Let a be 1 + g/4 + -1. Does -1/8 = a?
False
Let g be 30/4 + (-13 - (-10 - -4)). Let d be (-6)/(-9)*3/(-1). Let s = d - -2. Is s at most g?
True
Let u = -911 + 892. Which is smaller: u or -7?
u
Let c = -68 + 68.033. Let n = -0.177 - c. Let q = 0.11 + n. Is 2 less than or equal to q?
False
Let o = 164 - 31. Which is smaller: o or -2?
-2
Suppose 1642 - 1632 = p. Which is smaller: p or 177/19?
177/19
Let w be -10 + 5 - (-513387)/102669. Which is greater: 0 or w?
w
Suppose 0 = 4*v - 2*v. Suppose -5*s - 24 - 16 = v. Which is smaller: -0.2 or s?
s
Let z = -35677/43384 + -3/2552. Is z greater than -1?
True
Let q = -4 + 10. Is -12 < q?
True
Let x = 0.56 + -1.16. Let i = -4.84 - 1.16. Which is smaller: x or i?
i
Let g be -1 - ((-14)/(-2))/(-1). Let s = 30 + -23. Suppose -1 = 3*z + 4*m, 2*z + 5 = s*z + 5*m. Are z and g unequal?
True
Let d(u) = 2*u + 17. Let v(i) = -2. Let z(y) = 2*d(y) + 6*v(y). Let b be z(-9). Let q = 2 - 3. Which is smaller: b or q?
b
Let u = 6949 - 6952. Let a(o) = o - 5. Let f be a(5). Let j be f + 1 + (-10)/4. Does j = u?
False
Let w be ((-408)/16)/((-3)/2). Is w at least as big as 38?
False
Let k(y) = 10*y + 5. Let z be k(2). Suppose -2*o + 3*t = 22, -o - 3*t - z = -8*t. Is -6 at most o?
True
Let x = -295 + 294. Which is bigger: 2/2625 or x?
2/2625
Let o be ((-13)/3)/((-4)/(-12)). Let r(l) = l**3 + 12*l**2 - 13*l + 1. Let c be r(o). Which is smaller: c or -2/15?
-2/15
Let w be (-2)/((25/5)/45). Suppose -3*v + 5 + 19 = -3*l, 4*l = -4*v. Is w at most l?
True
Let m be (12/(-20))/(3/(-45)*1). Suppose 26*g + m = 25*g. Which is smaller: g or 1?
g
Let q = -11 + 19. Let c(d) = -d**2 + 13*d + 10. Let t be (78/(-9))/(4/(-6)). Let f be c(t). Are f and q equal?
False
Let y = -173 - -195. Which is smaller: y or 4/5?
4/5
Let i be (48/5)/(-10 + 721/70). Which is greater: 33 or i?
33
Let w = -44 + 44. Suppose w = -2*u + n - 32 - 11, -3*u + 4*n = 57. Do u and -24 have different values?
True
Let j = 2380 + -2381. Let d = -10/51 - -143/816. Is d equal to j?
False
Let f = -4 + 4. Let t be 3 + f - (-4 - -4). Suppose d - 12 = -t*w, 0*d - 3*d - 2*w + 8 = 0. Which is bigger: d or 1/4?
1/4
Let i = -77 + 46. Let b = i + 28. Which is smaller: b or 1?
b
Suppose -5*m - 20 = -m. Let i be 7/m + 6/15. Which is smaller: 2/33 or i?
i
Let f = -178 - -116. Is -61 bigger than f?
True
Let g = -65/22 - -38/11. Which is bigger: 1/91 or g?
g
Let m = 11 + -9. Let r be (m + (-2 - -1))*-6. Let s be r/96*2/1. Which is smaller: s or -1?
-1
Let c = -12.77 - -0.77. Which is greater: c or 2/15?
2/15
Suppose 6*m + 315 = 9*m. Suppose v = -0*v + m. Let x be ((-6)/10)/((-7)/v). Is 8 less than or equal to x?
True
Suppose 2*c - 12 = 2. Let w be 2/(-5 + 10 + -7). Which is greater: c or w?
c
Let d be (-69)/(-23)*5/3. Suppose 26 - 1 = d*w - 5*o, 4*w = -2*o - 4. Let y be ((-63)/224)/((-3)/(-4)). Is w smaller than y?
False
Suppose -2*b - 1520 = -7*b + 3*i, 0 = 4*b - 2*i - 1214. Which is bigger: b or 300?
b
Let n = -6709/3 - -2268. Is n smaller than 31?
False
Let p be (4/6)/(1/(-6)). Suppose -3*t - 2 = -u + 9, 4*t + 12 = 0. Suppose -r - u + 0 = 0. Which is greater: p or r?
r
Suppose 30*d - 14*d - 19*d = 0. Which is smaller: -84/13 or d?
-84/13
Let i be 1 + -4 + 814/180. Let j = i - 1/45. Let t = -10/11 + 41/33. Do t and j have different values?
True
Let o be 4 - 102/((-2)/(-2)). Let b = o - -34. Let q be ((b/(-4))/4)/(-2). Which is smaller: -5/4 or q?
q
Let w(j) = -j**3 + 12*j**2 - 1. Let n be w(12). Let r be -3 - 1236/(-620) - n. Does r = 0?
False
Let q = 17 + -13. Let a = 9 + 5. Suppose -6*l + q*l = -a. Which is smaller: 6 or l?
6
Let y be 5*-2*2 + 3/3. Suppose 3*v = -2*l + 10, 8 = -0*l + 2*l + 2*v. Which is smaller: y or l?
y
Suppose t - 153 = 4*w, -w - 3*w = -5*t + 829. Is t greater than or equal to 168?
True
Let i(z) = -4*z**3 + 2*z - 10. Let h be i(3). Which is bigger: -1246/11 or h?
h
Let h = 77 + -136. Let g = h - -29. Is g at least 0.1?
False
Let n be 9229/55 + 8/(-10). Which is smaller: n or 168?
n
Let w(l) = 2*l - 8. Let g(p) = p**2 - 10*p + 13. Let j be g(9). Let k be w(j). Suppose -8 = x - 5*x. Is x less than k?
False
Let g = 54 + -24. Let z = -20256 + 182572/9. Let p = g - z. Is 0.3 > p?
True
Let d(w) = -19*w - 398. Let v be d(-20). Which is bigger: v or -286/17?
-286/17
Let j = -382 + 382.02. Is 2/5 > j?
True
Let g = -0.0344 - -2.5044. Which is bigger: g or 0.1?
g
Let q = -2726 + 2723. Which is smaller: q or -7/3?
q
Let t(a) = -29*a**3 + a**2 - 12*a + 11. Let b be t(1). Is b >= -28?
False
Let g(f) = -f**2 + 15*f - 19. Let i be g(11). Suppose -136 - 163 = -13*r. Which is smaller: r or i?
r
Let c = -2756.6 + 2757. Which is greater: c or -28/11?
c
Let d = 441781/191 - 2313. Are d and 0 equal?
False
Let k = -742.3 - -711. Does k = 0?
False
Suppose 3*k - h - 15 = 0, -3*k + 0*h + 18 = -2*h. Suppose -j + 3*b + 11 = 0, 5*j - 4*j + 5*b = -5. Suppose -j*g = g - 6. Is k greater than g?
True
Suppose -y + 5*y + 3*m - 73 = 0, 3*m - 57 = -3*y. Suppose 5*g + y = 1, -4*a + 3*g + 13 = 0. Let q = -2462 + 2463. Is q at most a?
True
Let t be 5*(6/3 + 1). Let w be 8/20 - (-534)/t. Let k be ((-1)/3)/((-16)/w). Which is greater: 0 or k?
k
Let k = 7.13 + -7. Let f = -3.23 - -3.1. Let c = k + f. Which is bigger: -1 or c?
c
Let b = -70 + 70. Let t be 1 - b/(9/3). Is 16/7 smaller than t?
False
Let b be (4 - 7) + -6 + 1 - -3. Let d be ((-75)/(-24) - (-5)/(-40)) + b. Which is bigger: -5 or d?
d
Let c be (8/10)/(2/(-35)). Let p = 2.1 - 2. Which is bigger: c or p?
p
Let z = 490 - 322. Are 168 and z unequal?
False
Suppose -1529*g + 1530*g = 701. Which is bigger: g or 702?
702
Suppose c - 1 + 0 = 0. Suppose 3*p = 4*u - c, 0 = -5*p - u - 19 + 2. Suppose 136 = -3*r + 133. Is r >= p?
True
Let t be 4/(-7*(-14)/931). Do 41 and t have the same value?
False
Let g(j) = -5 + 8*j - j - 2 + j**2. Suppose -a - 27 = 3*q, 5*q - 2*a + 3*a + 43 = 0. Let l be g(q). Which is greater: l 