 -6 + 4 + 0 - 1*-2. Suppose 2*z + 2*h + 6 = g, 7*h - 4*h = -6. Is 2/71 <= z?
False
Let v = -80 - -58. Let p = 1/4912 + -550149/24560. Which is bigger: v or p?
v
Let c(t) = t**2 + 22*t - 9. Let h be c(-13). Let p be 3 + 154/(-49) + (-256)/h. Is p not equal to 2?
True
Suppose x + 43830 = 5*g, -44003 = -4*g - 3*x - 8958. Is 8764 < g?
True
Let h = -43 + 46. Let v(b) = 3*b. Let l be v(h). Suppose 7*a = l*a - 6. Do a and -0.4 have different values?
True
Let o = 695944.0602 - 696138. Let u = o - 0.0602. Which is greater: u or 2?
2
Let j = -241 + 258. Let s(y) = 7*y**2 + 3*y - 1. Let t be s(3). Suppose 4*l - x - t = 0, -3*l + 72 = 2*x + x. Which is greater: j or l?
l
Let n = -2004855/14906 + -1/7453. Let o = -182 - n. Let a = o - -40. Which is smaller: -8 or a?
-8
Suppose -138*h = -125*h - 13. Is h <= 1/4751?
False
Let q(u) = -15*u - 45. Let s be q(-3). Suppose 30*z - 26*z = s. Which is bigger: z or 3?
3
Let o = 1.01 - -0.99. Let a = -32 + 60. Let g = 27 - a. Is g bigger than o?
False
Let l = -1160 - -2020. Let s = -860 + l. Are -201 and s equal?
False
Let y be (-100)/(-108) + 3760/(-17766) + (-4)/(-14). Do y and 16/977 have the same value?
False
Let p = -22 - -22. Let d = 10030/3 + -3490. Let t = -146 - d. Which is smaller: p or t?
p
Suppose 0 = 6*z - 47*z + 96145. Suppose z = 14*j - 371. Is j greater than 1?
True
Let u = -386 + 247. Let c = u - -143. Which is smaller: c or 2/135?
2/135
Let i = -29401 + 29402.5. Is i smaller than 171?
True
Let d = -465/52 - -48/13. Let t = d + 91/4. Let c(k) = -3*k - 4. Let w be c(-7). Which is smaller: w or t?
w
Let g be ((-30)/9)/(14*(-33)/(-2772)). Suppose -1 - 4 = 5*a. Let b = -19 + a. Is b at most as big as g?
True
Let x = -8 - -11. Suppose o = -o + 4. Suppose 4*m + 4*t = 28, -o*m + 8*t = 3*t + 14. Is x not equal to m?
False
Let m = 57.3 + -60. Let i = 1472 + -1472.7. Let n = i - m. Which is smaller: n or -1/8?
-1/8
Let a = -153297/9116 - 813/212. Is a at most as big as -21?
False
Suppose 2*w = -5*n + 159 - 32, 2*n + 5*w - 55 = 0. Suppose 23*g = 24*g. Suppose 206*s - 210*s + 100 = g. Is s equal to n?
True
Suppose -2*f = 2*h - 230, 5*f - 11*h + 14*h - 573 = 0. Suppose f*q - 118*q = 36. Let o be (-2)/(-3) - 40/78. Which is greater: q or o?
o
Suppose -17*a + 12*a + 5 = 0. Let f(p) = -4*p**3 + p**2 - 3*p + 3. Let r be f(a). Are 90 and r nonequal?
True
Let d = 11 - 16. Let p(c) = c**2 + 4*c - 5. Let r be p(d). Suppose -5*i - 82 + 87 = r. Which is smaller: 1/110 or i?
1/110
Let s = 4941.9 - 4942. Is 91/11 at least as big as s?
True
Suppose 0 = 4*f + 5*o + 13, 3*f + 11 = -6*o + 2*o. Let v be f - (14 + -7)*5. Is v at least -32?
True
Let l = -40535 - -66680073/1645. Which is smaller: l or 1?
l
Let y be (-5)/(-7) + (-2)/(-7). Let h = -2/19369 - 38540/1917531. Which is bigger: y or h?
y
Let w be ((-2899)/1239 - -2) + (-132)/(-231). Let m = 6/59 + w. Let z = -158/21 - -48/7. Is z > m?
False
Let j(a) = -296*a - 1414. Let u be j(-5). Is u <= 269/4?
True
Suppose 0*w + 17 = w. Let x(l) = -l**2 + 10*l + 5. Let s be x(9). Suppose -3*h - s = -w. Is -7/5 at most as big as h?
True
Let c be (336/49 - 7)*-2317. Suppose -c*j + 2226 = -324*j. Is 0.1 < j?
True
Let c = 0.134 + -0.55. Let i = 47.016 + c. Let t = i + -47. Is t less than -0.2?
True
Suppose 4 + 1 = 5*h, -4*h = -i + 3. Suppose -3*y + i*y - 56 = 0. Suppose -199 = 38*z - 655. Is z < y?
True
Let m be ((-10)/14)/((-109)/1526)*54/56. Which is smaller: 11 or m?
m
Let f be (-7 + 2*-5137)*((-102)/18 - -6). Is -3427 smaller than f?
False
Suppose -18 + 0 = -18*u. Suppose -10*s - 11 = -u. Which is greater: -1/295 or s?
-1/295
Suppose 0 = -2*g + g + 280. Suppose 12*a = 4*a + g. Let r = a - 25. Which is smaller: r or 11?
r
Let h be 4/76*(-6)/(-69). Suppose -2 = -3*n - w, -2*w + 1 + 6 = 3*n. Which is greater: n or h?
h
Let x be (39/9)/13 - 233/12. Let i = 79/4 + x. Let r be (-6)/28 + (-6)/21. Which is bigger: r or i?
i
Let w = -1249691/14 + 89224. Which is smaller: -41 or w?
-41
Let o(j) = -32*j**2 - 4*j - 2. Let i be o(-1). Suppose 1276 = 54*m - 50*m. Suppose 10*w + w = -m. Which is bigger: i or w?
w
Suppose -14*w - 3777 - 44565 = 0. Which is smaller: -3454 or w?
-3454
Let b be (-3)/2 + (150/12 - 15). Let v = -24 + 12. Which is bigger: v or b?
b
Let j be (-27)/(-156) - 12/(-16). Let b = j + -215/247. Suppose -z = i + 3, -3*i + 2*z - 1 = 2*i. Which is smaller: b or i?
i
Let c(k) = -22*k + 64. Let w be c(3). Which is smaller: w or -45/59?
w
Suppose -l = 5*i + 336, 49 = -3*i + 4*l - 171. Let q = -92 - i. Let f = q + 35. Which is smaller: f or 9?
9
Let m be 4/6 + -1 + 112/21. Suppose m*y = 3*y - 116. Let h be ((-26)/39)/(4/354). Which is smaller: h or y?
h
Let m be (-313)/(-7) - 10/(-35). Let g be (-33)/m + (-12)/(-30). Let i be 5 + (-3)/((-27)/(-60)). Is i less than g?
True
Let h = -111 - -225/2. Let q = -15 + 11. Let r be ((-4)/(-56) - -4) + q. Is h bigger than r?
True
Suppose -23*d + 2*k + 336 = -18*d, 2*k = -4*d + 258. Is 64 at most d?
True
Suppose 0 = 2*j - 3*o + 5 + 80, j + 44 = o. Does j = -48?
False
Let b(r) = r**2 - r + 3. Let j be b(2). Suppose -8*o + 9*o = j*z - 80, 4*z - 154 = 2*o. Is o greater than -73?
False
Let b = -1 + 1.1. Suppose -16*n - 95 = 241. Let d(x) = -x**3 - 24*x**2 - 61*x + 26. Let h be d(n). Is b at least h?
True
Let o(a) = -a**3 - 24*a**2 - 4*a + 11. Let z be o(-24). Let t = z + -48. Let q = t - 56. Is q bigger than 11/7?
True
Suppose -20*i - 83*i = 36*i + 25715. Are -1115/6 and i nonequal?
True
Let y = 37583 - 36893. Is y less than or equal to 683?
False
Let w(h) = -h**3 + 6*h - 3. Let x(j) = 7*j + 46. Let k be x(-7). Let v be w(k). Suppose -5*i + 21 + 19 = 0. Which is smaller: i or v?
v
Suppose 113*r = 131*r - 3636. Let q = 227.2 - 227. Which is smaller: r or q?
q
Let l be 3/(-2)*(-15884)/114. Let v = l + -845/4. Which is smaller: v or -2/7?
v
Let c be (-5)/(-6 - -11)*0. Suppose c = -5*o - 2*u + 14, -2*u - 2 = -2*o - 4*u. Which is smaller: -1 or o?
-1
Let r = 4.2 + -3.8. Let j = r + -0.5. Let v be -4 + 7/(7/22). Which is greater: j or v?
v
Let u = -193 + 190. Let n = 35.196 + -0.196. Which is smaller: u or n?
u
Let h = 17284 - 17054. Is 32 not equal to h?
True
Let j(v) = -4*v + 16. Suppose 0 = 24*h - 15*h - 36. Let u be j(h). Which is greater: u or 2/175?
2/175
Let t = 11 + -29. Let z = t - -73. Is 1 bigger than z?
False
Let h be 600/(-312) - (-3 + 3 + -1). Let s be 70/4*4/(-5). Let n = -16 - s. Which is greater: n or h?
h
Let b(z) = -23*z + 11. Let c be 0 - (4 + (-1 - 0/1)). Let j be b(c). Suppose 3*a - p = j, -24 = -a + 4*p - p. Which is smaller: a or 25?
25
Suppose 3*o - 41 = 5*v - 317, -o - 108 = v. Which is greater: -705/7 or o?
-705/7
Let t(b) = -7*b - 4. Let n(f) = 2*f - 1. Let y(c) = -14*n(c) - 2*t(c). Let m be y(4). Which is greater: -36 or m?
m
Let u = 230845/11154 - 683/33. Which is smaller: u or -1?
-1
Let c be (5/(-30))/((-2)/12). Let d(x) = 16*x + 96. Let z be d(-7). Let p = z - -55/3. Which is bigger: c or p?
p
Let z = 1025 + -1033.09. Let k = 2.09 + z. Is -18 smaller than k?
True
Let p = -483 + 123. Let l = p + 1441/4. Which is smaller: 1 or l?
l
Let m(i) = -2*i**2 + 18*i - 8. Let j(z) be the third derivative of -z**4/24 - 10*z**2. Let a(w) = -3*j(w) - m(w). Let u be a(7). Is -2/93 < u?
True
Suppose -r + 39 = -2*c, 3*r - 136 = -3*c - 28. Suppose 5*i - 25 = 0, 0 = 5*x - 5*i + r - 12. Is x >= 2/3?
False
Let a = 1030.9 + -1029.9. Is -478.1 bigger than a?
False
Suppose q - 5*q = f - 15, f = 2*q - 15. Suppose j - q*g + g = 12, 2*j - 6 = 2*g. Let k = 7806/8303 - 308/361. Does j = k?
False
Let a = -0.3974 - 165.6026. Which is bigger: 6 or a?
6
Let d(i) = 3*i**3 + 4*i**2 + 42*i - 138. Let a be d(5). Is 545 < a?
True
Let q = 12338/4961 - -6/121. Which is bigger: 3 or q?
3
Suppose t + z - 1 = 5*t, 2*t - 3*z + 13 = 0. Suppose -2*i = i + 4*n - 1026, 0 = -2*i - 5*n + 684. Let f = 10601/31 - i. Which is bigger: f or t?
t
Let s be (-161 + 162)/(((-1)/2)/((-5)/(-10))). Is s greater than or equal to 39/521?
False
Let w = 1865.1 - 1894.1. Which is smaller: w or 3.06?
w
Let j be (11/((-231)/(-8982)))/(290/(-70) + 4). Which is greater: -2992 or j?
-2992
Let l(c) = c**2 - 5*c - 3. Let g be l(6). Suppose 3*t + 98 = -2*m + 107, -20*t - 2*m = -26. Which is greater: t or g?
g
Let i = 92 + -139. Let y = i + 48. Let u = -0.2 - 9.8. Is u less than y?
True
Let b be -1 + 