6*s - 2 - 1 = 3*d. Suppose 4*v - 2*a = 8, 4*v - 10*a + d*a - 6 = 0. Is 34/59 less than v?
True
Let u = -171 - -156.5. Let r = u + 14.5. Do -1/25 and r have different values?
True
Let b be 4 - (5/(-25) - (-1)/((-180)/(-771))). Let p be -11 + 20/6*(-18)/(-15). Is b equal to p?
False
Suppose 44*s - 240 = 84*s. Is 0.141 < s?
False
Let s = 1396.345 - 0.345. Which is smaller: s or 4/5?
4/5
Let m = -20012 - -20011. Is m less than 1/9616?
True
Let d = -7703/64893 - 109/291. Which is smaller: 0 or d?
d
Let p be (-25)/100 - (-302)/88. Let l = p + -529/187. Suppose 9 = 7*m + 9. Which is smaller: l or m?
m
Let b be ((-2)/(-6))/((-43)/(-3999)). Let s be ((-12)/14*-1)/(b/8029). Is s less than 222?
False
Let w = -2.14 - -4.38. Let t = 3.14 - w. Let f = -1.1 + 0.1. Which is bigger: f or t?
t
Let s = 14643523/220 - 66561. Let u = s - 3/44. Let w = 3.7 - 4. Is u != w?
True
Suppose 8*n - 3*n + 385 = 0. Let d = -6599 - -6523. Which is smaller: n or d?
n
Let t(j) = -41*j - 32. Let g be t(-10). Let s = g - 378. Which is bigger: 1/33 or s?
1/33
Let l = -74.72 - -72.12. Let q = 4 - 1. Is l bigger than q?
False
Let k = -621 - -620.9422. Let a = k - -0.0178. Which is bigger: -5/6 or a?
a
Let l be (36/(-76224))/(9/(-20)). Let r = 926573/23820 + l. Let t = -37/5 + r. Is 31 > t?
False
Let d = -4675.7 + 4676. Which is greater: d or -22/5?
d
Let m = -7045 - -7099. Which is smaller: m or 59?
m
Let o be 6440/540 + -12 + (-16)/27. Is o greater than 0.973?
False
Suppose 0 = -n + 2*n - 122. Let g = 491.033 - 494.033. Is g at most as big as n?
True
Let u = -8004 - -7683. Is -322 less than or equal to u?
True
Let a = 7841.1 - 7844. Which is smaller: 73 or a?
a
Let p be (-1179)/(-2466) + (-2)/4. Let u = -259/685 + p. Which is smaller: u or -0.31?
u
Let m = -340 - -507. Let d = m - 216. Is -57 greater than d?
False
Let i = -15734 - -13036. Which is greater: i or -2700?
i
Let m be ((-130)/(-91))/(-2*9/4200). Let l = 325 + m. Which is bigger: -0.1 or l?
-0.1
Let q(i) = 2*i - 3. Let a be q(4). Let s(l) = l - 24. Let w be s(a). Is w < -19?
False
Let r = 4843.004 + -4843. Which is smaller: r or -9?
-9
Suppose 795 = v - t, t + 3005 = 4*v - 187. Suppose -4369 + v = -7*o. Let j be 5/(-2)*(-36)/o. Which is smaller: j or 1?
j
Let z be (-8)/529*3/(-12). Let c = -12177/2645 + z. Let m = -21/5 - c. Which is smaller: m or 21?
m
Suppose 5*z + 4*b - 20 - 78 = 0, 0 = -4*z - 4*b + 84. Which is bigger: z or -194?
z
Let n(y) = -31*y - 993. Let j be n(-32). Which is smaller: 60/301 or j?
j
Let t = -3148 - -3148. Are t and 662 non-equal?
True
Let u = -250.149 + 251.2. Let a = -0.02 - -0.071. Let h = u - a. Which is bigger: 1/9 or h?
h
Suppose -3*v + 28 = -5*x, -2*v - 8 = x + x. Let h be v/(-4) - 77/28. Let b be h + 1 - -2 - (-6 - -6). Is b at least 4/73?
False
Let h = 0.03 + -966.03. Is -1 at least h?
True
Let q = -100/3 - -71/2. Let k = -13017 - -39043/3. Let j = k + q. Is j greater than or equal to -0.04?
False
Let a be (-4)/14 - 656/(-2492). Let z be -25 - (6 - 4 - 7). Let h be (z/(-40))/((-2)/4). Is a smaller than h?
False
Let m be 90012/48 - 310/(-31). Is 1885 >= m?
False
Let n be -162 + 1 + (4 - -1). Let x = -155 - n. Which is smaller: 2/139 or x?
2/139
Let j be (-2 - (-76)/12)/((-4)/(-72)). Let z = j + -76. Suppose -n = 5*m - 2, 2*n + z*m + 5 + 7 = 0. Which is bigger: -1 or n?
-1
Let v = -5530.9 - -5529. Let g(h) = -2*h - 7. Suppose -w - 17 = 3*r, -5*r + 4*w - 10 = 7. Let n be g(r). Do v and n have the same value?
False
Suppose -5*j - q - 10416 = 0, -8*j + 5*j - 6201 = 6*q. Is -8345/4 >= j?
False
Let z be ((-2)/5)/(7 + (-2508)/360). Do z and -11 have the same value?
False
Suppose 0 = 3*f + 3*d + 354, 261 = -4*f - 5*d - 215. Let c = f + 58. Let w be ((60/c)/(-5))/((-6)/8). Is w at least 2/59?
False
Let g be (-379)/100056*(-1)/15. Which is smaller: 1 or g?
g
Suppose -73*a = -93*a. Let f = -26555/23851 - 6/1403. Is f at least a?
False
Suppose 2*a - 308 = -0*r - 4*r, -2*a = -5*r + 376. Let n = -114 + r. Suppose -9*q - 105 = 246. Which is bigger: n or q?
n
Suppose -2*t - 23 - 189 = -5*a, -3*a + 2*t + 128 = 0. Let k = 223 + a. Is 266 less than k?
False
Let l be 2*(0 + -1 - (-190816)/190824). Is 0 less than or equal to l?
False
Let g be 36/(-24)*104/(-12). Let c = -8228/633 + g. Which is greater: c or 2/3?
2/3
Suppose 0*c = r + 3*c + 4, -4*r = 5*c + 30. Let o(p) = -p + 11. Let m be o(r). Which is greater: 19 or m?
m
Let d be 9/(-12)*-4 - -13 - 2. Suppose b - 52 = d*b. Let p be b/(-12)*3*-1. Are p and -3/16 non-equal?
True
Let y = 534.2 + -534. Is y greater than -430?
True
Let d = 5864.87 + -5861. Which is smaller: d or -0.1?
-0.1
Let b be (-2)/(-305)*-89 - (-21)/35. Let l = b - -303/122. Which is greater: 2/5 or l?
l
Suppose 17 = 3*q - 4*u + 85, -3*u - 1 = q. Which is smaller: q or -17?
-17
Let b(t) = 2*t**3 + 34*t**2 - 9*t - 153. Let w be b(-17). Let r be -2 + 5152/(-2572) + 4. Which is greater: w or r?
w
Let r = 50.06 + 0.94. Let n = 50.7 - r. Let j = -0.42 + 2.02. Is j less than or equal to n?
False
Let a be (1 - 10)*(49 - -6)/(-11). Let w(m) = 2*m - 23. Let h be w(a). Which is smaller: 68 or h?
h
Let s = -702 + 24568/35. Let n = 3 + -5. Is n less than s?
True
Let c(n) = -n**2 - 9*n + 22. Let f be c(-9). Suppose 3*w = 5*w - f. Suppose -j + 3 + w = 3*x, 2*x = -5*j + 70. Is 13 at most j?
True
Let t = -91470/43 - -2127. Let r = -327/946 - t. Let p be (-83)/(4399/(-795)) - (14 + 1). Is p greater than or equal to r?
True
Let o be (4 - (-14)/(-3))*3/(-433). Let v be (-14)/44 + 4/(-22). Is v < o?
True
Suppose w + 4 = 3*u, -2*w - 4 = -3*u + u. Let n be (((-21)/(-120))/(-7))/((-32)/(-1340)). Let f = 17/16 + n. Is u bigger than f?
True
Let p be ((-3)/102)/(13/4 - 2). Suppose -3*s - 6 = -72. Suppose 25*a = s*a. Is p bigger than a?
False
Let r = 194.12 + -193. Let v = 0.72 - r. Which is smaller: v or -8/3?
-8/3
Let u be 3/4*(12 + -8). Let q be u/(-3 + (-90)/(-33)). Which is greater: q or -6?
-6
Let n be (-2)/(-9)*-3 + (-16)/12. Let w be (-5 - n) + -6*18/(-12). Let a be w/(-4)*27/162. Is 15 greater than or equal to a?
True
Let y = 0.0357 + -204.0357. Let o = -206 - y. Do o and -1/48 have the same value?
False
Let y = 139 - 248. Let s = y - -88. Is -106/5 greater than or equal to s?
False
Let j = -1/119440 + 68463009/119440. Is j < 572?
False
Let p be (-1)/(-2 - (0 - 3)). Let y = -1908 + 61057/32. Which is smaller: p or y?
p
Let c(b) = 8*b - 8. Let f be c(2). Suppose -i - 8 = -3*s, 4*i + 2*s + 39 = -35. Is i at least as big as f?
False
Let a = -18.24 + 2.34. Let w = a - -44.9. Suppose 6*x = 2*x. Which is smaller: w or x?
x
Let n = -6233.12 + 6233. Which is greater: -37 or n?
n
Suppose 75115 + 112913 - 42916 = 97*h. Is 1499 less than or equal to h?
False
Let p(j) = -44*j + 185. Let x be p(-11). Let u = -49505/74 + x. Which is smaller: u or -1?
-1
Let i = 194 + -14. Let z = 3323 + -3321. Let p be 5/i - z/(-9). Which is smaller: p or 4/13?
p
Suppose 18144 = -80*i - 88*i. Which is smaller: i or 32?
i
Suppose -v + 3*v - 16 = 0. Let y be (12/20)/(v/40). Which is bigger: y or 17/10?
y
Let t(c) = -4*c**2 - 44*c - 10. Let s be t(-11). Let w be (-9)/(-12) + (35/s)/7. Let f = -125/2 + 64. Is f != w?
True
Let v = -1846 + 2998. Is v less than 1152?
False
Suppose -50*u + 51*u + 1303 = -4*t, -5*t - 1626 = 4*u. Is t <= -2292/7?
False
Let a be 6/3*-4*8/64. Is a bigger than -2/9129?
False
Let v(b) = 12*b**3 + 56*b**2 + 6*b - 20. Let t be v(-6). Do -631 and t have different values?
True
Let v = -181 - 56. Let i = v + 236. Is i > -764?
True
Suppose 1279 = -5*j - 2*p, -4*j - 3*p - 261 = -3*j. Let t be 17/(j/(-10)) + (-64)/6. Is t at least as big as -15?
True
Suppose -39 = 39*n - 26*n. Let d = -19 - -17. Is n at least as big as d?
False
Let k(g) = g**3. Let z be k(0). Suppose 3*b - 5*b + 6 = z, 16 = -5*w - 3*b. Let s(j) = -26*j - 608. Let u be s(-23). Are u and w equal?
False
Suppose -6 = -3*m, 3*t = -4*m - 0*m + 35. Suppose 71*f = 66*f - 6095. Let q = f - -1234. Which is bigger: t or q?
q
Let x(v) = -1. Let n(d) = 3*d - 10. Let u(c) = -2*n(c) - 2*x(c). Let k be u(-4). Which is smaller: k or 47?
k
Suppose 10*i + 12138 = 4358. Which is bigger: -783 or i?
i
Let y be 4 - 3 - (-23 + -2). Let v = -1803.9 - -1729. Let z = -75 - v. Do z and y have the same value?
False
Let g be (-778)/130 + (59 - 53). Let s = -13 + 20. Suppose 3*h = s*h. 