1. Let f be (10/4 - 5)*(-6)/10. Is v smaller than f?
True
Let c = -28.1 - -30. Let r = 159 + -157. Let h = r - c. Is h greater than or equal to -1/9?
True
Let a = 765 - 789. Let h = 3.2 + -3. Which is smaller: h or a?
a
Let o be (-3)/6*(-2)/4. Let g = 241 - 294. Which is greater: o or g?
o
Suppose 106*w - 3*c + 1005 = 104*w, 0 = -4*w + c - 2015. Is w > -500?
False
Let i = -44.055 - -44. Let w = i - -0.055. Let k = -8 - -4. Are w and k unequal?
True
Let k = 9.251 + -0.151. Let y = k + -5. Let q = y + -0.1. Is q greater than -3?
True
Let r = 59/7 + -899/105. Let l be (6/(-8))/((-12)/(-8)). Which is smaller: l or r?
l
Let s = 9.61 + -8.61. Let p be (-3)/(-6)*(-4)/261. Let y = p - -536/1827. Is y != s?
True
Let f = 0.09 - -0.01. Let z = 82.12 - 0.12. Is f <= z?
True
Suppose -12*g = -7*g - 20. Suppose 27*b + g = 23*b. Let m = 5/3 - 7/3. Which is bigger: m or b?
m
Suppose -5*p - 30 = -4*g, 4*p + g = -p - 5. Let m be ((-1)/(-3))/(5*(-5)/(-750)). Let o be m/((3/(-6))/((-6)/(-132))). Is p greater than or equal to o?
False
Let g be -68 - (0/(-3 + 1) + 2). Let w(j) = -26*j + 6. Let u be w(3). Which is bigger: g or u?
g
Let k be 1*3004/(-1812)*1362/2. Let u = k + 1129. Which is smaller: u or 1?
u
Suppose 3*t + 3 = -9. Let p be (8 + t)*9/(-84). Is -2/3 greater than p?
False
Let o be (6/(-4))/(36/768). Let t = -33 - o. Which is greater: -3 or t?
t
Let x = -0.502 + 0.602. Is x < -19?
False
Suppose -25 = -0*t - 3*t + 4*n, -n - 8 = -t. Suppose -2*s - 630 = -t*s. Let h be 316/s - (-32)/(-112). Which is greater: h or 1?
h
Let k(n) = 11*n**3 + 2*n**2 - n - 4. Let s be k(3). Suppose 4*z + 16 = 0, -4*o + 48 = z - 3*z. Let q be 122/s - o/55. Do q and 1 have the same value?
False
Suppose -13*y + 231 + 237 = 0. Which is greater: 32 or y?
y
Let t = -60.43 + 60. Let g = t - 0.07. Which is bigger: g or -1/3?
-1/3
Suppose -5*s + 2 = -3. Suppose -17*h - 373 + 424 = 0. Which is smaller: h or s?
s
Let o = -1.9233 - 0.0767. Let m = 0.04 - 0.34. Which is smaller: o or m?
o
Let h = 79 + -116. Let o = 10 + h. Let c be o/99*12/2. Does -3 = c?
False
Let o(q) = -q**2 + 10*q - 24. Let l be o(4). Is -23/32 equal to l?
False
Suppose 3*r + 3*o = 2*o - 1, 4*r + 3*o = -3. Suppose r = -2*q - 8, 4*j + 12 = -7*q + 3*q. Which is smaller: 6/13 or j?
6/13
Let z be (-1)/(-6) + 5291/78. Is z at most 68?
True
Let k = 2330/11 + -212. Is -0.1 greater than or equal to k?
True
Let g be (6/10)/(-1 - 26/(-20)). Is 16/31 at most as big as g?
True
Suppose -8708 = -3*o - o + 4*p, -5*o - 3*p + 10877 = 0. Let m = o - 180610/83. Which is smaller: -0.1 or m?
-0.1
Suppose -3 - 6 = x. Let w(n) = -n**3 - 10*n**2 - 10*n - 6. Let b be w(x). Is b at most 3?
True
Let n = 2847 - 2845. Let o(w) = w**2 + 4*w + 4. Let i be o(-3). Which is greater: i or n?
n
Let c(w) be the second derivative of -w**3/6 - 3*w**2 + w. Let r = -1 + 1. Let y be c(r). Do -6 and y have the same value?
True
Let r be 6/27 - (-1424)/(-6246). Let f = 732/6593 + r. Does 1 = f?
False
Let x = -1540 - -1211. Which is greater: -331 or x?
x
Let f = 31 + -25. Suppose -f*y + 21 = 3. Suppose -y*i + 0*i = -6. Is i != 3?
True
Let u be -6 + (-2)/5*(-3159)/78. Is 10 < u?
True
Suppose 10 + 6 = 2*c. Let g(b) = -b**3 + 9*b**2 - 7*b - 4. Let q be g(c). Suppose 4*k - 16 = -4. Is k not equal to q?
True
Let o = 37396/1629 + 28/181. Let b = o + -23. Is b greater than or equal to 0?
True
Suppose 3*f + 647 = 12*x - 13*x, -2*f + 3*x = 446. Is f at most as big as -216?
True
Let v = -377 + 368. Are v and -2/31 equal?
False
Let i = 8.1 - 1.1. Let r = 399 + -387. Let z = i - r. Do z and -1 have the same value?
False
Let i = 130 - 129.87. Is i less than 13?
True
Suppose 0*k - 14 = 2*i + 5*k, -2*i - 3*k = 10. Let b(w) = 4*w - 2. Let v be b(i). Which is smaller: v or -9?
v
Let u be (-6)/(-21) + 16/(-7). Let z(i) = i**2 - 2*i - 18. Let r be z(6). Let y be ((-3)/r)/((-3)/(-18)). Is y bigger than u?
False
Let m be (-61)/270 - 30/(-135). Which is smaller: 1 or m?
m
Let v = 457/5 - 90. Which is bigger: -2 or v?
v
Let x be (8*-2)/((-4914)/(-123)). Let l = x + -4/91. Suppose -q - 3 = -2. Which is bigger: l or q?
l
Let o be 1*2 - (-2821)/(0 + -13). Which is smaller: -216 or o?
-216
Suppose -3*z - 6 = -3*q, -2*z + 20*q + 26 = 24*q. Let t(m) = m**2 + 6*m + 7. Let s be t(-5). Is s less than z?
True
Let c = -0.4 + 23.4. Let k = c + -19. Is -2 equal to k?
False
Let o = 930 + -924. Is 20 equal to o?
False
Let m = -168 + 169. Which is smaller: 36 or m?
m
Let a = -25 + -3. Let x be -31 + 2 + -1 + 1. Do x and a have the same value?
False
Let d = -28 - -24. Let s be 14/1 - d/2. Let y be 84/s - (-6)/8. Which is bigger: -1/4 or y?
y
Let h(c) be the first derivative of -1/3*c**3 - 4 + 0*c - 5/2*c**2. Let g be h(-5). Which is smaller: g or -2?
-2
Let p be ((-208)/(-48))/(3 + 20/(-6)). Which is greater: -67/5 or p?
p
Let i = -3337/28 - -463/4. Let w = 103/28 + i. Is w equal to 1/4?
True
Let c = -689 - -1269. Which is smaller: c or 581?
c
Let o = -71 - -281/4. Is o at least as big as 0?
False
Let j = 990 - 989. Is j greater than or equal to -0.17?
True
Let i(w) = w**2 - 10*w - 6. Let d be i(8). Let s be ((-2)/(-6))/(11/d). Suppose 0*n = n. Which is smaller: n or s?
s
Let b = -674 - -993. Suppose -h = 2*l + 117, -3*l + b + 23 = -3*h. Is h at most -115?
True
Let l be (-68)/3*(-3)/2. Suppose -5*h + 25 = -2*s, -h - l = -3*h - 4*s. Let j = 30069 - 30063. Is h smaller than j?
False
Let l = 147 - 240. Let o = 92.93 + l. Which is smaller: o or 0?
o
Let a be (10/16)/(3/(-4)). Let w = -2 + 12. Let i = w + -12. Is a at least as big as i?
True
Suppose 0 = h + 5 - 17. Which is greater: 90/7 or h?
90/7
Let q be ((-57)/12)/(-19) - 27/(-4). Is 11 equal to q?
False
Let w = -1.3 - -0.8. Suppose 0 = 4*r - 4 - 4. Which is smaller: w or r?
w
Let d = -994127/417 + 2384. Is d >= 1?
False
Let v be -25 - (-1)/2*14/7. Is v less than or equal to -30?
False
Let h = 8449/482 - 7/241. Let r = 53 - 36. Which is smaller: r or h?
r
Let p(y) be the third derivative of -y**6/120 + y**5/3 + 11*y**4/12 - 7*y**3/2 - 59*y**2. Let t be p(21). Which is bigger: 3/82 or t?
3/82
Let b(j) = j**3 + 8*j**2 + 2*j + 8. Suppose 3*i - 2*i = 0. Suppose u + u + 16 = i. Let f be b(u). Is -9 not equal to f?
True
Let a = -57.8 - -57.8408. Which is smaller: 0 or a?
0
Suppose 5*p + 0*p = -2*f - 77, 5*f + 120 = 2*p. Let d = f - -10. Are -15 and d nonequal?
True
Let p be 6 - 19 - (-3 - (-1 - 0)). Is -140/13 at least as big as p?
True
Let x be (0 - 1)/(5/(-135)). Let a = x - 42. Let y = a + 9. Is y smaller than -7?
False
Suppose 2*u - 3*l - 16 = -2*l, 0 = 4*u + 3*l - 12. Let n be 4/u - (-64)/24*-1. Is n at most 4?
True
Let i(k) = -13*k. Let s be i(-1). Suppose -3*n = c + 1, 3*c + 5*n - 9 = -0*c. Suppose c*y - 30 = s*y. Is y bigger than -6?
False
Let l = 5 + -6. Let t be 1 - l - (-20)/(-9). Let w = 611/10 + -303/5. Do w and t have the same value?
False
Let m(f) be the first derivative of f**5/120 + f**4/12 - 5*f**3/3 - 1. Let w(h) be the third derivative of m(h). Let k be w(12). Which is smaller: 15 or k?
k
Let v = -6 - 10.1. Let m = -16 - v. Are m and 0.1 non-equal?
False
Let j = 1775/78 - 296/13. Which is greater: 1 or j?
1
Let q = -95 + 50. Let l = q - -16. Do -29 and l have the same value?
True
Suppose -4*m - 11 = -119. Let r be 15/(-5) + m - 3. Is r greater than or equal to 22?
False
Let t = -3153/10 + 315. Let x = 2057/4 - 514. Which is bigger: x or t?
x
Let c(f) = -24*f + 8. Let g be c(11). Let t = -9474/37 - g. Let i be (-1)/(-2)*6/(-3). Is i greater than t?
False
Suppose 3*o = -3*l - 90, 5*l - 45 + 20 = 0. Which is greater: -172/5 or o?
-172/5
Let t = 277 - 262. Is 69/5 >= t?
False
Let l = -28 - -33. Let j be l/(-10)*0 + -1. Is j greater than -2?
True
Let t be -6*((-14)/4 + 0). Suppose -3*l + t = -m, 0*l + 5*m = -5*l + 55. Suppose -3*p - 4*g = -13, -11*g + 12*g + 2 = 0. Which is greater: l or p?
l
Let c = -1454 - -1346. Is c >= -105?
False
Let k(w) = -w**3 + 14*w**2 - 13*w - 6. Let h(c) = -4*c**3 + 55*c**2 - 51*c - 23. Let q(g) = 2*h(g) - 9*k(g). Let m be q(15). Do m and 6 have different values?
True
Suppose 3 = 3*q - 3. Suppose -q*o + 3*g = 6*g + 1, 2*g = -2*o. Suppose -o = -2*y + 17. Is 8 greater than y?
False
Let p be (-2040)/9042 - (-4)/22*1. Is p > -1?
True
Suppose 3*w - 3*q - 9 = 0, -2*q - 3 = -4*w - 1. Let j = -41.82 - 0.18. Let i = 46 + j. 