7. Let z = m + -2.009. Let u = -133/3 + 523/12. Is u != z?
True
Let l = 1117/7 + -2399/21. Which is smaller: l or 45?
45
Suppose -5*k + 555 = 4*y - 227, -794 = -4*y + k. Which is greater: 204 or y?
204
Suppose -5*c + 28 = 3. Suppose 0 = -3*z - 3*l + 18, -10 = -3*z - 4*l + 6. Suppose c*v - z = -3. Which is greater: v or 5/3?
5/3
Suppose 3*p - 2*q = 63, 2*p + q + q - 52 = 0. Let r = p - 21. Let o be (3/r)/(1/6). Which is bigger: o or 10?
10
Let p be 26/117 + 1/9*-2. Let k be -2 + (40 - -3) - (-1 - p). Which is smaller: 2 or k?
2
Suppose -22*u + 14*u + 56 = 0. Suppose -u*o = -3*o + 108. Which is smaller: -25 or o?
o
Let c = -56 - -58. Let t be (15/6 - c)*(-11 - -9). Are t and -23 non-equal?
True
Let z be (-472)/(-726) + 6/(-9). Suppose -5*h = 3*n - 10, 4*h + 1 - 9 = n. Is n > z?
True
Let l = -27 - -31. Suppose 0 = -x - 3, l*j + 1 = x. Let g be 119/7 + 2 + j. Is g smaller than -2/7?
False
Let k = -1.465 + 124.465. Is k less than -0.5?
False
Let r = 191 + -4201/22. Which is bigger: -3 or r?
r
Let s be ((2 + -1)*1)/((-2)/8). Let o(g) = g**2 + 7*g. Let b be o(-7). Which is smaller: s or b?
s
Let h be -2 + -3 + 3 + 3. Suppose 2*i - 8 = q, 0 - 1 = 2*q - i. Suppose h - 7 = -q*s. Is 2/13 greater than s?
False
Let y(h) = h**2 + 10*h + 12. Let w be y(-9). Suppose 0 = -2*l + 3*o - 6, 2*o = -w*o + 10. Is -9/4 smaller than l?
True
Let v(w) = -w**3 - 6*w**2 - 11*w + 4. Let t be v(-4). Do t and 12 have the same value?
False
Suppose 50 = -0*z - 10*z. Let d be (z*3/(-60))/(42/(-8)). Which is bigger: 1 or d?
1
Let p = -229 - -4353/19. Is -4/11 less than p?
True
Let b(r) = 15329*r + 1. Let t be b(1). Let k be 4/10 + 2558/t. Let p = 1/219 + k. Which is smaller: p or 2?
p
Suppose -h + 3 = -1. Suppose 3*s + 17 - h = 5*z, -5*z + 12 = -2*s. Suppose 0 = 3*b + 5*t - 30, z*b + 4*t + 3 = 5*b. Are b and 5 unequal?
False
Let m = -65 + 59.1. Let v = -5.8 - -3.9. Let c = v - m. Which is greater: c or -2/5?
c
Let p(b) = b**3 - 9*b**2 + 16*b - 9. Let h be p(7). Suppose 0 = 3*j - g + 18 + h, 0 = -4*j + 5*g - 16. Let a be (3 - 4) + j/(-12). Which is smaller: a or -1?
-1
Let s(b) = -2*b**3 + 10*b**2 - 9. Let j be s(5). Let m = 9 + j. Is m less than -4/49?
False
Let l(j) = -j**3 + 18*j**2 - 19*j + 35. Let q be l(17). Which is smaller: q or 2/3979?
2/3979
Let d = -2/15735 - -2303/4363840. Which is greater: 0 or d?
d
Suppose 0 = -g + 41*d - 42*d - 1, 4*g - 20 = 4*d. Which is bigger: g or 1/216?
g
Let m = 5 + -3. Let g = 21 + -13. Let b be -5 + g + (-44)/18. Which is greater: m or b?
m
Let t = -473207/4402 - 4/2201. Is t equal to -109?
False
Let k be ((36/(-51))/(-2))/((-3)/(-2)). Is -1 equal to k?
False
Let z = -1.22 - -1.4. Let u = -10.18 + z. Let q = u - -9. Which is bigger: -8 or q?
q
Let g be ((-1)/(4 - 5))/((-3)/(-167)). Suppose 0 = 4*w - 331 + 111. Let z = g - w. Which is greater: -8 or z?
z
Suppose 23 = f + 3*x + 2*x, 5*f - 31 = -4*x. Suppose 0 = -2*j + 2*n + f*n - 59, 90 = -5*j + n. Is j != -17?
False
Let x be -4 + 3 + (-1531)/(-195). Let l = 2/39 - x. Which is smaller: l or -7?
-7
Let x be -3*(-5)/(-75) + 12/10. Which is greater: x or -7/27?
x
Suppose -5*j + 12*j + 343 = 0. Let m = j - -87. Which is bigger: 36 or m?
m
Let b = -11163 + 2734931/245. Is b greater than -1?
True
Let j be -2 - (1 + 0)/(-1). Suppose -5*a = 4*o + o - 25, 0 = 4*a - 8. Suppose -o*v - 7 = f, 4*f + v + 4 + 2 = 0. Is f < j?
False
Let f = -62 - -59.8. Let v = f - -2.26. Let m = 1 + -1. Which is smaller: v or m?
m
Suppose 0 = 5*k - 3*a - 58, k - 4*k = 5*a - 28. Suppose 4 + k = -3*y. Let o = y + 1. Which is bigger: o or -2?
-2
Let q be 6/(-12)*42/4. Which is greater: q or 0.2?
0.2
Let p(n) = -n**3 + 2*n**2 - 4*n + 49. Let u be p(4). Is u at most -5/26?
False
Let l be 3/1 + 11/(396/(-100)). Does -378 = l?
False
Suppose -6*i - 1198 = -4*t - 3448, t + 749 = 2*i. Which is greater: 374 or i?
374
Let m be (46/12 - 4)/((-6)/(-12)). Are -101 and m equal?
False
Let x = 4098.94 - 4184. Let c = x + 85. Is c < -0.1?
False
Let l be (-26)/(-4) - (-1)/(-2). Let c = 3 + l. Let j be (c/(-6) - -1)*0. Which is greater: j or -3/5?
j
Let d(v) = 3*v + 3 - v**3 + v - 3*v - 6*v**2. Let j = 403 + -409. Let c be d(j). Which is bigger: c or -7/3?
-7/3
Suppose 46*z = 56*z + 120. Let j(d) = 3*d. Let q be j(-4). Is z not equal to q?
False
Suppose 0*j = -8*j - 3144. Is j equal to -394?
False
Let h be 9/15 + -1 + (-176)/(-340). Let v = -48/119 + h. Which is bigger: v or -2.2?
v
Let g be (-3)/2*40/30. Let z be (-8)/504*129 + 2. Which is greater: g or z?
z
Let x(j) = -3*j + 38. Let n be x(15). Let z(s) = -2*s**2 - 15*s - 5. Let f be z(n). Which is smaller: f or 7?
f
Suppose 0 = 5*r - h - 18, 4*h = -5*r - h. Suppose -r*i - 5 = 4*m, i + 3*m = -i - 4. Let y = i + 0. Is 2 at least y?
True
Suppose 0*q + q = -3*m + 244, 4*m + 4*q - 328 = 0. Let w = -87 + m. Is -51/8 >= w?
False
Suppose -3*n = -3, 1 = -29*x + 27*x + n. Which is bigger: 52/53 or x?
52/53
Let s be 1/(-25)*(3 + -4). Let b = -6 - -7. Which is smaller: b or s?
s
Let p be 1/(-2 - -1) + 1. Let j be (p - 1) + 2845/(-45). Let t = -64 - j. Is t at least as big as 0.2?
True
Let i = -2.7 + 1. Let c = i - -0.1. Let m = 1.5 + c. Which is greater: m or 0.7?
0.7
Suppose 46*t = 62*t. Which is smaller: t or 1/818?
t
Let q = -897 + 977. Which is smaller: 83 or q?
q
Let u be 6/4*4984/(-42). Is -179 greater than or equal to u?
False
Suppose o + 3*t + t - 17 = 0, 4*o + 3*t - 3 = 0. Let a be 5 + o + (-19 - -2). Let i be a/6*12/465. Is 1 <= i?
False
Suppose 17*k = 12*k. Which is smaller: 6/49 or k?
k
Let k(p) = -2*p**2 - 2*p. Let q be k(2). Let v(z) = -2*z**3 + 12*z**2 + 15*z - 10. Let d be v(7). Let i be (q/(-33))/(d/6). Which is smaller: i or -2?
-2
Let v(b) = -43*b - 296. Let s be v(-12). Is s equal to 224?
False
Suppose 0*s + s - 2*q = -15, -3*s = -q + 60. Is s equal to -22?
False
Suppose t + 3 = 11. Let g be ((-20)/32)/(2/t). Which is smaller: g or -3?
-3
Let c be (5/15)/((-3493)/315 - -5 - -6). Suppose -2 - 10 = 3*d. Which is bigger: d or c?
c
Suppose 2*d + 0 - 8 = 0. Let y be (15/(-34))/(12/64*d). Is -2 smaller than y?
True
Let m = -2601 - -2613. Do -18/7 and m have different values?
True
Let d(a) = -a**3 - 3*a**2 - a + 1. Let o be d(-3). Let b(u) = u + 28. Let q be b(-26). Suppose -4*n - 8 = 5*t - 3*n, 0 = o*t - 2*n - q. Is t <= 2/31?
True
Suppose -a = -4*a - 3, 2*m = 4*a - 118. Is m > -63?
True
Suppose -5*p + 3741 = -10024. Let s = 46785/17 - p. Which is smaller: -2 or s?
-2
Let p = 26 + -20. Let h be (0 + p)*(-24)/(-12). Suppose 3*r - h = 0, y = 5*r - 0*r - 26. Which is smaller: y or -7?
-7
Let z(g) = 2*g**3 - 3*g**2 - 31*g + 27. Let i be z(7). Which is smaller: 1049/3 or i?
i
Let w = -39.5 + 36. Let b = w - -3.5. Is 0.4 at most b?
False
Let g(b) = 3*b**3 - 21*b**2 + b - 4. Let i be g(7). Is i > 68/31?
True
Let r be (-116)/(-30) - (-6)/45. Suppose -n = r + 1. Let w be (n - -3 - -1)*-9. Which is smaller: w or 10?
w
Let s be (7 - 9)*(-102)/4. Let n be (-10)/12*(s/30 + -2). Is n != -1?
True
Let n = -164 - -657/4. Which is smaller: n or -4.8?
-4.8
Let u = 433/5 - 86. Is u < 7?
True
Let r be (884/170)/(2*1/20). Is 49 != r?
True
Let u be (3 - (4 + 0))*22/2. Which is greater: u or 9?
9
Let y = -1 + 0. Let t = 0.31 + -28.31. Let r = 28.1 + t. Which is smaller: y or r?
y
Let c = 0.2 + 0.2. Let u = c + 0. Let q = u - 1.4. Which is greater: q or 0.1?
0.1
Suppose -5*w = -2*d - 25, w + d - 26 = -2*w. Suppose 0 = 10*q - 7*q - 60. Suppose 2*f + 4*g - 36 = 0, 3*g - q = -4*f + 27. Which is bigger: f or w?
f
Let u be 15/(-22) + -8*(-8)/128. Let v = -2 + 3. Which is greater: v or u?
v
Let z be (-12)/(-5)*225/18. Which is smaller: z or 26?
26
Let y = -0.14 + -0.08. Let b = 175 - 183.22. Let v = b - y. Which is smaller: v or 1/3?
v
Suppose -3*l = 3*k - 24, -4*l = -2*k - 0 - 2. Suppose 6*h - 19 = -d + h, 0 = -4*d + l*h + 7. Let f be d/3*10/(-15). Which is smaller: f or 0?
f
Suppose 0 = 4*u - 366 + 370. Which is smaller: u or 6/41?
u
Suppose -3*i - 127 - 68 = 0. Suppose 11*x + 125 = -590. Is i greater than or equal to x?
True
Let f = -14 + 13.897. Let w = f - -0.303. Is -43 greater than or equal to w?
False
Let b be (-21)/((-3024)/(-1072)) + -1*3. Is b at least -11?
True
Suppose 66*t - 6437 = 25*t. Are 160 and t nonequal?
True
Let b be (-1664)/(-140) - (-96)/(-8). Let u be (0 + 1 - 1) + -1. Which is bigger: u or b