7. Let f = 37603/3 - 12381. Let v = q - f. Does v = 1?
False
Suppose -15*m - 4*m = -10*m + 9. Is m != 6/217?
True
Suppose -51278*x + 4200 = -51243*x. Which is bigger: x or 9?
x
Let f(w) = w**3 - 10*w**2 + 5*w + 23. Let p be f(8). Suppose -5*x = -x + 248. Let z = p - x. Which is bigger: -5/2 or z?
-5/2
Let g = 312/7 - 45. Let r = g - -50/133. Let l be -16 + 13 - (-6)/2. Is l > r?
True
Let j = 31 + -26. Suppose s - 52 = j*s. Let l(t) = -t**2 - 15*t - 30. Let m be l(s). Is m bigger than -8?
True
Suppose -1440 = -35*k + 41*k. Let g = 241 + k. Is -4/157 smaller than g?
True
Suppose -2*u + 18 = 4*y, 5*y - 18 = 2*u + 9. Suppose -t + 0 - 5 = 0, -t + 50 = -y*q. Is -9 >= q?
True
Let k be -5 + (-7 - (-38 + 25)). Which is bigger: k or 7/5148?
k
Suppose -22580 = 5*p - 2*l, 45*l = p + 50*l + 4489. Which is bigger: p or -4513?
-4513
Let f = 411.906 - 411. Let w = f - 0.006. Let v = w + -1.1. Is v less than or equal to 2/21?
True
Let p = -1736 - -1701. Is p greater than or equal to 40?
False
Suppose -2*d - 3*d = -30. Let y(q) = -2*q**2 + 28*q - 46. Let l be y(12). Let u be (-30)/8*-2 - l. Which is smaller: d or u?
u
Let q(k) = -k**2 + k + 9. Let a be q(3). Suppose 3*d + 3*g + 60 = 0, d - 5 = -2*g - 24. Let r be 62/(-4) + a + d/14. Which is smaller: -16 or r?
-16
Let a = 0.697 - 0.7. Let s = -2188 + 2187.897. Let r = s - a. Which is bigger: r or -32?
r
Let i = -0.09 + -12.91. Let j = -9.0255 + 8.9255. Is j at least as big as i?
True
Let d(s) = 80*s + 49. Let m be d(-1). Which is greater: -7 or m?
-7
Let y be 2176/10*(-3 - -1) - 684/(-3420). Is y greater than -2?
False
Let p = 12 - 11. Let u be ((-1)/(-37))/(14*12/336). Is p smaller than u?
False
Let u be (-366)/488*-8*(-2)/(-6). Let y be 8/2*u/(-2)*16. Are -64 and y equal?
True
Let b = 4958 - 5155. Which is smaller: -198 or b?
-198
Let h be 6/18*18 - (4 + 0). Suppose j + 4 = h*r, 0*r = -3*j + 3*r - 3. Suppose j*f - 67 = s, -5*f + 5 = -3*s - 162. Is 36 >= f?
True
Let k(q) = 2*q - 20. Let o be k(18). Let f(t) be the third derivative of t**5/60 - 5*t**4/8 - 8*t**3/3 - 9*t**2. Let b be f(o). Which is greater: 1/17 or b?
1/17
Let y = -2617537667/64 + 40901564. Let o = -2538 + y. Which is greater: o or 1?
1
Let j = -2318 - -2316.903. Let u = 1.16 + j. Which is smaller: -1 or u?
-1
Let z be (1/3*4)/((-6)/(-6696)*-15). Which is smaller: -99 or z?
z
Let h = -11 + 82. Let s = 323.8 + -253. Let k = h - s. Which is smaller: k or 0.04?
0.04
Suppose -5*b + 16 = -3*s - 7, 4*s + 24 = 5*b. Suppose -7*q = 4*x - 10*q - 145, 0 = 2*x - 3*q - 71. Let c be (x + -35)*2/18*1. Are c and s equal?
False
Let h = -11615 + 1242796/107. Let z = -29/2889 - h. Do z and 1 have the same value?
False
Let u be 59/59 - ((-3)/1 - -3). Which is smaller: u or 6/8189?
6/8189
Suppose -2*h = 2 + 8. Let r = 27589 + -193149/7. Which is smaller: r or h?
h
Let u = -11.526228 - 0.473772. Let h be (-4)/6*2/(-12). Is u smaller than h?
True
Let r = 3803 + -26577/7. Suppose -z + 23*s = -191, -3*z - 5*s - 203 = -184. Are r and z equal?
False
Let x = 737371/4 - 187449. Which is greater: -3105 or x?
-3105
Let t = 1530 - 13810/9. Let x(v) = v**2 - 4*v - 2. Let i(r) = r**2 + 10*r + 12. Let a be i(-9). Let u be x(a). Which is greater: t or u?
t
Let d be (9648/(-192) + 49)/((-26)/(-8)). Suppose 2*m = m. Suppose 3*n - 2*n = m. Which is greater: n or d?
n
Let z = 5502/5 + -1100. Which is greater: z or 1021?
1021
Let i be ((166*1)/(-1))/(3 + 7). Are 0 and i non-equal?
True
Suppose -20*c + 16*c = -8. Suppose -c*m = -0*r - 3*r - 12, -3*r - 5*m = -9. Which is bigger: -10 or r?
r
Suppose -4*z = -5*i - 32, -180*z = 5*i - 183*z + 24. Which is smaller: 9/517 or i?
i
Let c(n) = n**2 - 4*n - 2. Let h be c(4). Let z be h/(2 + 1 - 1). Let m = 718 - 8623/12. Do m and z have the same value?
False
Suppose -129*k + 644 = -133*k + 4*u, -5*k - 837 = 3*u. Let t = -486 - -319. Are k and t unequal?
True
Let c = 20243 + -1477754/73. Is -1 at least as big as c?
False
Let m = 26482 - 8500702/321. Which is greater: 0 or m?
m
Let q = -162379/39 - -4161. Which is smaller: -3 or q?
-3
Suppose -15*o + 19*o = 16, 3*o = 3*l - 21. Suppose l*v - 14*v = 5*m + 10, -2*m = 5*v + 4. Let b be ((-4)/(-52))/(7/(-2)). Is v greater than b?
True
Let n = 746 - 28345/38. Suppose 5*z = 2*z. Which is smaller: n or z?
z
Let w = -1731 - -8654/5. Suppose -23 = 2*j + 5*n, -3*n + 5*n + 13 = 3*j. Which is smaller: j or w?
w
Let t be 4 - 137*(-3 + 1). Suppose -275*h + 174 = -t*h. Is -57 != h?
True
Let p be 81/(-21) + (-1)/7 + 203. Let y = 2589/13 - p. Which is smaller: 1/2 or y?
y
Let z = 80 + -65. Let g = 7 - z. Is g at least -41/6?
False
Let f(m) = -4*m**2 - 23*m + 168. Let r be f(9). Is r at least as big as -367?
True
Let m = -13579/18 + 243620857/322938. Which is greater: 1 or m?
1
Let t = 1/2002 - -1927/150150. Suppose 0*k = 5*k + 20. Which is greater: t or k?
t
Let s = -2353 + 2352.9. Which is smaller: -766.7 or s?
-766.7
Let j be (-3*(-9)/9)/((-3)/(-12)*-4). Suppose 22 = 3*m + 2*m - 2*w, 0 = 4*m + w - 15. Let v be (2/m + 1)*-2. Is v at most as big as j?
True
Let a = -78.3 + 9.3. Let i = 24 + a. Let l = -101 - i. Is -0.1 at least as big as l?
True
Suppose -32 + 2 = -3*u. Suppose 5*p = b + u, -3*b + 2*p - 4 = -4*b. Let m = 22.376 + -22.676. Which is smaller: b or m?
m
Let i be (-1)/(-4) + (-170)/(-24). Let m = -81957 + 81964. Are m and i equal?
False
Let b be (4 - 2) + -3 + (-118 - -4). Let v = -33 - b. Do 81 and v have the same value?
False
Let r = -4948 - -4952. Is -248 less than r?
True
Let a(g) = -g**3 + g**2 - g + 3. Let l be a(0). Suppose 3*r = 3*o + 18, 5*r - l*o = o + 27. Suppose -16 - 29 = r*h. Is -15 equal to h?
True
Let k = 71 + -39. Which is greater: k or 13?
k
Suppose -168 = -s + 8*s. Let l = -27 - s. Let p be 2 + (41/(-8) - l). Which is smaller: p or 0?
p
Let a = -573 + 566. Suppose -8*r - 310 + 6 = 0. Is a > r?
True
Suppose -3*q - 18 = 4*w, 36*q - 34*q = -5*w - 26. Is -170/31 less than w?
False
Suppose -2*y + 5*d = -6*y + 8, 0 = 5*d. Suppose -3*g + 8 = -5*g + 2*q, -14 = y*g - 5*q. Do g and 9 have the same value?
False
Let d = 205 - -268. Let t = -472.74 + d. Which is bigger: t or -1?
t
Let l be -8 + 0 - -15724*(-28)/(-54992). Which is smaller: l or -1?
-1
Let b(g) = 2*g + 17. Let z be b(-7). Suppose 2*f + 8 = -u, 0 = 3*u - 3*f - z. Let s be (-1)/(70/15*8*(-9)/(-1092)). Which is smaller: s or u?
s
Let w = -72 - -70. Let v be (w/(-637))/((-5)/((-245)/(-21))). Which is greater: v or 1?
1
Let r = -400.5424 + -0.4576. Is r < -0.2?
True
Let o = -78.158 + 0.158. Let b = -66 - o. Let s = -12.36 + b. Is s >= 0?
False
Let d = -4726 - -7236. Is 0.1 smaller than d?
True
Let k = -24727 - -13643. Which is smaller: 1 or k?
k
Let c = 19906/55 + -1676/5. Suppose 5*k + 2*f = 4*k + 34, -4*k - 3*f = -121. Does c = k?
False
Let k be 2/(-3)*(-15876)/(-13104). Is k smaller than 6?
True
Let b = -1.6479 - -0.6479. Let w = -1.4 + 2.5. Let s = w + 0.1. Is s at most b?
False
Let t = 147 + -266. Let m be t/28 + 3/(-12)*3. Which is smaller: m or -6?
-6
Let t = -3 + 2. Let x be 10/8 + -2 - 7378/(-56). Let y = x - 135. Which is smaller: t or y?
y
Suppose a + 4*r = 7 + 2, -4*a + 2*r = 0. Which is bigger: a or 54/241?
a
Let w be 8 - 72 - 6/(-9)*-3. Let n be (w/10*-24)/((-3)/10). Is n smaller than -527?
True
Let m = 0.05 + 87.95. Let i = -90 + m. Let w(l) = l**3 + 7*l**2 + 7*l + 5. Let v be w(-6). Are i and v equal?
False
Let g = -962 + 108709/113. Let q = 27554 - 27554. Which is bigger: q or g?
g
Let y be 1/((-5 + 1)/(-4)) - 1. Suppose y = -3*w - 2*g + 14, -2*w + 12*g - 11*g = 0. Let a = 1/38 - -301/114. Is w at most as big as a?
True
Let s be 2/15 - 2/((-30)/4363). Let q = s - 205. Which is smaller: q or 85?
85
Suppose -216*a + 248*a + 1216 = 0. Is -184 at least as big as a?
False
Let p be ((-25135)/11475)/(-11) - 3/15. Let n = -57401/29835 - p. Are n and -2 nonequal?
True
Let v = -82 - -83. Suppose 0 = -l - 5 + v. Let s(k) = k**3 + k**2 + 5*k - 2. Let u be s(l). Which is greater: u or -71?
u
Let r = 122938 - 29873870/243. Which is smaller: r or -1?
-1
Let u = 17775.9679 + -17778. Let v = 0.0321 + u. Which is smaller: v or 1.74?
v
Let w(a) = -8*a**3 - a**2 - 3*a - 3. Let o be w(-2). Let d be (-20)/8*6/o. Suppose -10*q = -128*q - 118. Which is bigger: d or q?
d
Let y(w) = 2*w - 30. Let g be y(15). Suppose -5*o + 2*o + 21 = g. Let a be