1099 - -5489910/941843. Let g = -3543639/4285 - q. Let a = g + 831. Are a and 4 equal?
False
Suppose 65391 = 5*z + 3*c, -26198 = -2*z - 6*c + 10*c. Is 13082 greater than z?
False
Let j = 92 - 92.101. Let g = 25.901 + j. Let p = -26 + g. Is p bigger than 5?
False
Suppose -4*a - 13 = a - 4*f, 0 = 3*a - f + 5. Let c be 0 - 2/2 - (a + 0). Suppose d + c = -6. Which is bigger: d or -7?
d
Let y be 10 - (-3)/(-57)*306. Which is greater: y or -0.2?
-0.2
Let a = -119019 - -1061292422/8917. Which is bigger: a or -0.1?
a
Let f(z) = 26 + 16 - z - 3. Let o be f(24). Suppose a = 0, -3*s = 2*s + 2*a - 75. Is s > o?
False
Suppose 0 = k + c - 10, 0 = -3*k + 7*c - 2*c + 14. Let s be -59*2/k*-4. Let u(w) = -2*w**3 - 21*w**2 - 33*w + 5. Let g be u(-9). Is s less than or equal to g?
True
Suppose 20 = 2*m + 4*k + 14, -7 = -m - 4*k. Which is smaller: m or 32/43?
m
Let q = -50 - -46. Let n be 23177/(-4386) + q/(-34). Which is greater: n or -4?
-4
Let v = -24.4 + 52. Let s = 27.8 - v. Let o be 2/5 - 368/20. Which is bigger: o or s?
s
Suppose -51869*r = -51845*r - 188496. Is -1/4 at most r?
True
Suppose 84*u - 37*u + 292472 = -35682. Are -6984 and u equal?
False
Let x be ((-1216)/(-10))/(-4 + (528/60)/2). Which is bigger: x or 306?
306
Let y be -3 + (2/(-8)*6)/(6/(-12)). Which is smaller: -50/447 or y?
-50/447
Let u(r) = -r**3 + 6*r**2 + 6*r - 2. Let j = -11 - -18. Let l be u(j). Let m be (-6)/8*(17 - 5). Do l and m have the same value?
True
Suppose 9272*z - 22161 = 9249*z - 6130. Is 700 greater than or equal to z?
True
Suppose -y + 2*y + 2*g = 25, 4*y - g - 73 = 0. Suppose 10*z + y = 9. Let l be (-32)/(-24) + (55/3)/z. Which is greater: l or -15?
-15
Let q(b) = -4*b**2 + 54*b + 30. Let s be q(16). Are -128 and s nonequal?
True
Suppose -48 + 9 = -3*s. Suppose 6 = s*a - 59. Suppose 4*h - 5*t = 2*h - 23, t - a = 0. Is 1/43 > h?
False
Suppose -9*h + 5*h - 2*v = -224, -2*h = -5*v - 88. Let s be (-150)/10*(-20)/h. Is 5 at least s?
False
Let o = 3664 + -2642. Is o greater than or equal to 0?
True
Let r = 156 - 157. Let i = 0.094 + -17.154. Let s = i - -17. Is s less than r?
False
Let o(d) = -d**3 + 10*d**2 + 4*d - 37. Let i be o(10). Suppose 2*l + 310 = -i*l. Are l and -123/2 unequal?
True
Let q(g) = g**3 + 8*g**2 - g - 14. Let y be q(-8). Let u be 2/y*0 + 50. Let t be u/28*(-8)/40. Is 0 greater than t?
True
Let a = 5229/2 + -2615. Which is bigger: a or -15/2?
a
Let t be (1/(-233))/((-1)/(-2)). Let c be (-6)/72 + 70147/(-707388). Let f = t - c. Which is smaller: -1 or f?
-1
Suppose 0 = -16*i + 5 - 117. Let m(s) = -9*s + 47. Let a be m(i). Is a greater than or equal to 112?
False
Suppose -22*w - 47325 = -83*w + 44907. Is 1512 greater than or equal to w?
True
Suppose 0 = 4*p + 3*y - 10, y - 1 - 1 = 0. Let l = -69 - -82. Let h be (-34)/10 + l/((-195)/(-75)). Is p < h?
True
Let y = 7083.38 + -7049. Which is greater: 1 or y?
y
Let j = 6877 + -6876. Which is smaller: -2/1833 or j?
-2/1833
Let d = 5719/3 - 1924. Let y = 1031 - 1049. Is d not equal to y?
True
Let d(l) = -4*l**3 - 16*l**2 - 53*l + 32. Let s be d(-7). Is 992 <= s?
False
Let x = 4 + -3.4. Let v = x - 0.5. Let u = -15.14 - -18.14. Which is greater: v or u?
u
Suppose -4*u - 70*u - 87764 = 0. Which is smaller: u or -1183?
u
Let i = -59767 - -59524.93. Let y = -242 - i. Let s = 5 + -7. Is s >= y?
False
Suppose 5*x + u + 17 = 0, -x - 2*u - 11 = 2*u. Let i = 2 - x. Suppose 0 = i*w - 2*z + 49, 5 = -w + z + z. Which is greater: -10 or w?
-10
Suppose 19*l + 710 = 9*l. Let f = -72 - l. Which is greater: f or 14.5?
14.5
Let f(o) = -32*o**2 - 3*o + 5. Let y be f(-5). Suppose -156*g - 21 = -158*g + 31. Let u be 16/y - (-4)/g. Is u at least as big as 4?
False
Suppose -3*m = -3*v - 9, 0 = 5*v + 13 + 7. Which is smaller: m or 1/16786?
m
Suppose 2*m = 9*m - 147. Let v be 15 + -19 - (m - 2). Suppose -4*c + 96 = -8*c - z, 0 = z. Which is greater: c or v?
v
Let k be (18/(-5) + 2)/(108472/(-10850) - -10). Is -617 greater than k?
True
Let g be ((74/481)/(4/13))/1. Is g at least as big as -0.02404?
True
Let b = -151 - -232. Let i = b + -75.1. Let q = 4.9 - i. Which is bigger: q or -7?
q
Let v = -4503 - -4569. Is v less than 108?
True
Let m = 6 + -4. Suppose 12067*o + 2*b = 12062*o + 241, -4*o + 2*b + 200 = 0. Is o greater than or equal to m?
True
Let y = -1777 + 1843. Let j be 16*16/4 + 3. Which is bigger: y or j?
j
Let l be -3 - 1 - (-1 + 15 - 19). Is l at least -2/16529?
True
Let f = -1646 - -1644.352. Do 2 and f have the same value?
False
Let v = -13826 + 14411. Which is smaller: v or -7?
-7
Let t = -251 + 312. Suppose -t = -3*d - 4*u, 5*d + 0*u = 2*u + 119. Is d > -2?
True
Let l(o) = -118*o + 64. Let f be l(-25). Is 3015 <= f?
False
Let w(l) = -l**2 + 14*l - 6. Let h be w(13). Suppose -h*t - 333 = 108. Let d = t + 53. Which is bigger: -12 or d?
d
Suppose 7*n - 21 = 21. Suppose -d + 55 = -n*d. Suppose 0 = 3*y + y + 40. Which is bigger: y or d?
y
Let h = 1.5019 + -0.5019. Which is greater: h or 2833?
2833
Suppose -10*u - 106057 = 7503. Is -11357 > u?
False
Suppose 366*i + 51*i = 734511 + 52368. Is 1889 less than or equal to i?
False
Let k = -11046 - -11044. Suppose 0 = 3*y - 7*y + 16. Is y > k?
True
Let g = -846.28 + 846.3. Suppose -4 = 2*m - 2*j - 0, 5*m - 30 = -5*j. Suppose 5*f - 10 = 5*h, 5*f + 3*h - m = -0. Is g <= f?
True
Let j = 0.0485 - -430.9515. Let z = j - 304. Do z and 0 have the same value?
False
Let y = -334 + 510. Let a = -38137.8 + 38138. Is y smaller than a?
False
Let d be -12658 - (-5 + (-6 - -11))/(-2). Which is greater: -12657 or d?
-12657
Let d = -31570 - -31583. Is d equal to 244/21?
False
Let h = -21.684 + 9.887. Which is smaller: h or 0.1?
h
Let s = -0.295 + 0.413. Let i = s - -0.412. Which is greater: i or 2?
2
Let b be 15/(-9)*(-5)/(-125). Let s = -14 + 8.6. Let j = s - -4.4. Is b bigger than j?
True
Suppose 0 = 23*h - 81 - 241. Let r be (3/6)/(h/(-28)). Is 2/261 bigger than r?
True
Let k(j) = 69*j - 338. Let v be k(17). Let d = -835 + v. Does 3/17 = d?
False
Let l(s) = s**3 + 38*s**2 - 56*s - 711. Let r be l(-39). Do -6 and r have different values?
True
Let n(v) = v**3 - 4*v**2 + 7*v - 8. Let h be n(3). Suppose 12*p + h*p = 800. Do p and 54 have the same value?
False
Let u = -4668294256483605/23334856129208 - -2/7737021263. Let k = -5938/29 - u. Let c = k - -66/13. Which is smaller: c or 4?
c
Let a = 206 - 200. Which is smaller: -22/5 or a?
-22/5
Let n = 824 - 11553/14. Let t be 4/(-10)*40/(-16). Let b = t + n. Is b greater than -1?
True
Let k = -7608 - -7712. Let f be -1 - ((-2)/(-2) + 81). Let v = k + f. Which is smaller: v or 22?
v
Let c = -2286 + 2285. Do c and -48/53 have the same value?
False
Let a = -19.43 + 0.23. Let o = a - -13.5. Let y = -5.3 - o. Is 0 != y?
True
Let x = 9 - 2. Let t = 315 + -325. Let g = x + t. Is g at most 4/11?
True
Suppose -5*i + 220 = -15*q, 5*q - 144*i + 66 = -146*i. Which is bigger: -90 or q?
q
Suppose -l - 4*b + 24 = -1, -4*b = -5*l + 53. Let x be (-2)/28*(23321 - l). Let p = 1662 + x. Is p <= -4?
False
Let h = -12070.01 + 12070. Let y be (4/8)/(-32 + -2). Let r = y + -4/17. Is h greater than r?
True
Let x be (-74)/592*(-8)/(-1). Is x > 4/1265?
False
Let c(j) be the first derivative of 49*j**2 - 2*j - 40. Let d be c(-1). Is d at most -201/2?
False
Let m(c) = -9*c**3 + 6*c + 21. Let a = -433 + 430. Let s be m(a). Which is greater: 247 or s?
247
Suppose 0 = -57*n - 227 - 32 - 26. Let u be ((-783)/(-30))/((-1)/6). Let o = u - -153. Which is greater: o or n?
o
Let d be 15/(-20) + 27/4 + -17. Which is bigger: -182/19 or d?
-182/19
Let n = -804 - -6443/8. Suppose 0 = -5*c + 25, -4*c + 5 = -0*l - 5*l. Suppose 0 = m + 3*m + 3*s - 7, -m = l*s - 4. Does n = m?
False
Suppose -19*u + 21*u = 84. Let f = u - 37. Let n be 2/(-3) + f/12 + 0. Which is greater: n or 17/3?
17/3
Suppose -62*z + 14 = -76*z. Is -2/1899 < z?
False
Suppose -d - 3*x - 212 = 318, 3*d + 3*x = -1566. Is d less than -520?
False
Let w = 3332 + -4134. Is w greater than or equal to -803?
True
Let u be (4/(-20))/(2/30*3). Let w be 57/(-117) + (-14)/(-91). Which is bigger: w or u?
w
Let v = -16.9 - -34.6. Let t = v - 17.8. Is t less than or equal to 2.1?
True
Let j(g) = -23*g - 603. Let q be j(-27). Suppose -2*p - 4*v = 20, 2 - 11 = 3*p - v. Let n be p/(-3)*q/12. Which is smaller: n or 3/2?
3/2
Let s(a) = 4*a**3 - 3*a**2 - 7*